ALBANIAN JOURNAL OF MATHEMATICS Volume 6, Number 1, Pages 3–8 ISSN: 1930-1235; (2012)

A NOTE ABOUT INVARIANTS OF ALGEBRAIC CURVES

Leonid Bedratyuk Department of Applied Mathematics, Khmelnitskiy National University, Khmelnitskiy, Ukraine. Email: [email protected] Webpage: http://sites.google.com/site/bedratyuklp/

Abstract. Let G be the group generated by the transformations x = α˜ x+ b, y = y˜, α 6= 0, α, b ∈ k, char k of the affine plane k2 . For affine algebraic plane curves of the form y n = f (x) we reduce a calculation of its G-invariants to calculation of the intersection of kernels of some locally nilpotent derivations. We compute a complete set of independent invariants and then reconstruct a curve from given values of these invariants.

1. Introduction Consider an affine algebraic curve X C : F (x, y) = ai,j xi y j = 0, ai,j ∈ k, i+j≤d

defined over field k, char k = 0. Let k[C] and k(C) be the algebras of polynomial and rational functions of coefficients of the curve C. Those affine transformations of plane which preserve the algebraic form of equation F (x, y) generate a group G which is a subgroup of the group of affine plane transformations. A function φ(a0,0 , a1,0 , . . . , ad,0 ) ∈ k(C) is called G-invariant if φ(˜ a0,0 , a ˜1,0 , . . . , a ˜d,0 ) = φ(a0,0 , a1,0 , . . . , ad,0 ) where a ˜0,0 , a ˜1,0 , . . . , a ˜d,0 are defined from the condition X X F (gx, gy) = ai,j (gx)i (gy)j = a ˜i,j xi y j , i+j≤d

i+j≤d

for all g ∈ G. The curves C and C 0 are said to be G-isomorphic if they lies on the same G-orbit. 2000 Mathematics Subject Classification. 14H99, 20F10, 30F10. Key words and phrases. algebraic curves, automorphisms, invariants. c

2012 Aulona Press (Albanian J. Math.)

3

Invariants of algebraic curves

Leonid Bedratyuk

The algebras of all G-invariant polynomials and rational functions we denote by k[C]G and by k(C)G , respectively. One way to find elements of the algebra k[C]G is the specification of invariants of associated ternary form P of order d. In fact, consider a vector space Td generated by the ternary forms bi,j xd−(i+j) y i z j , i+j≤d

bi,j ∈ k endowed with the natural action of the group GL3 := GL3 (k). Given GL3 -invariant function f of k(Td )GL3 , a specification f of the form bi,j 7→ ai,j or bi,j 7→ 0 in the case when ai,j ∈ / k(C), gives us an element of k(C)G . But SL3 -invariants(thus and GL3 -invariants) of ternary forms are known only for the cases d ≤ 4, see [1]. Furthermore, analyzing of the Poincare series of the algebra of invariants of ternary forms, [2], we see that the algebras are very complicated and there is no chance to find theirs minimal generating set. Since k(Td )GL3 coincides with k(Td )gl3 it implies that the algebra of invariants is the intersection of kernels of some derivations of the algebra k(Td ). Then in place of the specification of coefficients of the form we may use a ”specification” of those derivations. First, consider a motivating example. Let C3 : y 2 + a0 x3 + 3a1 x2 + 3a2 x + a3 = 0, and let G0 be the group generated by the translations x 7→ α˜ x + b. It is easy to show that j-invariant of the curve C3 equals ([3], p. 46): 3 a0 a2 − a1 2 . j(C3 ) = 6912 2 a0 (4 a1 3 a3 − 6 a3 a0 a1 a2 − 3 a1 2 a2 2 + a3 2 a0 2 + 4 a0 a2 3 ) S3 where S and T are the specification of two T SL3 -invariants of ternary cubic, see [4], p.173. From another viewpoint a direct calculation yields that the following is true: D (j(C3 )) = 0 and H (j(C3 )) = 0 where D, H denote the following derivations of the algebra of rational functions k(C3 ) = k(a0 , a1 , a2 , a3 ) : Up to constant factor j(C3 ) equal to

D(ai ) = iai−1 , H(ai ) = (3 − i)ai , i = 0, 1, 2, 3. From the computational point of view, the calculation of ker D ∩ ker H is more effective than the calculating of the algebra of invariants of the ternary cubic. We will derive further that ! 3 a0 a2 − a1 2 a3 a20 + 2 a1 3 − 3 a1 a2 a0 ker D3 ∩ ker H3 = k , . a30 a20 In section 2, we give a full description of the algebras of polynomial and rational invariants for the curve y n = f (x). We compute a complete set of independent invariants and then reconstruct a curve from given values of these invariants. 2. Invariants of curves y n = f (x). Consider the curve n

d

Cn,d : y = a0 x + da1 x

d−1

d X

  d d−i + · · · + ad = ad x , n ≥ 1, i i=0

and let G be the group generated by the following transformations x = α˜ x + b, y = y˜, α 6= 0. 4

c

2012Albanian J. Math.

Leonid Bedratyuk

Invariants of algebraic curves

It is clear that G is isomorphic to the group of the affine transformations of the complex line k1 . The algebra k(Cn,d )G consists of functions φ(a0 , a1 , . . . , ad ) that have the invariance property φ(˜ a0 , a ˜1 , . . . , a ˜d ) = φ(a0 , a1 , . . . , ad ). Here a ˜i denote the coefficients of the curve C˜n,d : C˜n,d :

d X i=0

ad

    d X d d d−i (α˜ x + b)d−i = a ˜d x ˜ . i i i=0

The coefficients a ˜i are given by the formulas i   X i (1) a ˜i = αn−i ai−k bk . k k=0

The following statement holds Theorem 2.1. We have k(Cn,d )G = ker Dd ∩ ker Ed , where Dd , Ed denote the following derivations of the algebra k(Cn,d ) : Dd (ai ) = iai−1 , Ed (ai ) = (d − i)ai .

(2)

A linear map D : k(Cn,d ) → k(Cn,d ) is called a derivation of the algebra k(Cn,d ) if D(f g) = D(f )g + f D(g), for all f, g ∈ k(Cn,d ). The subalgebra ker D := {f ∈ k(Cn,d ) | D(f ) = 0} is called the kernel of the derivation D. The above derivation Dd is called the basic Weitzenb¨ock derivation. Proof. Following the arguments of Hilbert [7],page 26, we differentiate with respect to b both sides of the equality φ(˜ a0 , a ˜1 , . . . , a ˜d ) = φ(a0 , a1 , . . . , ad ), and obtain in this way ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂˜ ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂˜ a0 a1 ad ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂˜ + + ··· + = 0. ∂˜ a0 ∂b ∂˜ a1 ∂b ∂˜ ad ∂b ∂˜ ai Substitute α = 1, b = 0 to φ(˜ a0 , a ˜1 , . . . , a ˜d ) and taking into account that = ∂b b=0 iai−1 , we get: ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂φ(˜ a0 , . . . , a ˜d ) ∂φ(˜ a0 , . . . , a ˜d ) + 2˜ a1 + · · · d˜ ad−1 =0 ∂˜ a1 ∂˜ a2 ∂˜ ad Since the function φ(˜ a0 , . . . , a ˜d ) depends on the variables a ˜i in the exact same way as the function φ(a0 , a1 , . . . , ad ) depends on the ai then it implies that φ(a0 , a1 , . . . , ad ) satisfies the differential equation ∂φ(a0 , a1 . . . , ad ) ∂φ(a0 , a1 . . . , ad ) ∂φ(a0 , a1 . . . , ad ) a0 + 2a1 + dad−1 = 0. ∂a1 ∂a2 ∂ad Thus, Dd (φ) = 0. Now we differentiate with respect to α both sides of the same equality φ(˜ a0 , a ˜1 , . . . , a ˜d ) = φ(a0 , a1 , . . . , ad ). ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂˜ a0 ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂˜ a1 ∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂˜ ad + + ··· + = 0. ∂˜ a0 ∂α ∂˜ a1 ∂α ∂˜ ad ∂α a ˜0

c

2012Albanian J. Math.

5

Invariants of algebraic curves

Leonid Bedratyuk

Substitute α = 1, b = 0, to φ(˜ a0 , a ˜1 , . . . , a ˜d ) and taking into account ∂˜ ai = (d − i)ai , ∂α α=1 b=0 we get: a ˜0

∂φ(˜ a0 , a ˜1 , . . . , a ˜d ) ∂φ(˜ a0 , . . . , a ˜d ) ∂φ(˜ a0 , . . . , a ˜d ) + (d − 1)˜ a1 + ··· + a ˜d−1 =0 ∂˜ a0 ∂˜ a1 ∂˜ ad−1

It implies that Ed (φ(a0 , a1 . . . , ad )) = 0. The formulas (1) define a representation of two-parametric Lie group G on the polynomial algebra k[a0 , a1 , . . . , ad ]. By construction of the operators Dd and ker Ed the formulas (2) define a representation of the corresponding Lie algebra of the group G. It is well-known fact of the representation theory that algebras of invariants of Lie group coincide with the algebra of invariant of its Lie algebra, see [8]. Thus k(Cn,d )G = ker Dd ∩ ker Ed . 

md 0 m1 The derivation Ed sends the monomial am to the term 0 a1 · · · ad md 0 m1 (m0 d + m1 (d − 1) + · · · md−1 )am 0 a1 · · · ad .

md 0 m1 Let the number ω (am 0 a1 · · · ad ) := m0 d + m1 (d − 1) + · · · md−1 be called the m0 m1 d weight of the monomial a0 a1 · · · am d . In particular ω(ai ) = d − i. A homogeneous polynomial f ∈ k[Cn,d ] be called isobaric if all their monomial have equal weights. A weight ω(f ) of an isobaric polynomial f is called a weight of its monomials. Since ω(f ) > 0, then k[Cn,d ]Ed = 0. It implies that k[Cn,d ]G = 0. If f, g are two isobaric polynomials then   f f = (ω(f ) − ω(g)) . Ed g g

Therefore the algebra k(Cn,d )Ed is generated by rational functions which both denominator and numerator has equal weight. The kernel of the derivation Dd also is well-known, see [5], [6]. It is given by ker Dd = k(a0 , z2 , . . . , zd ), where zi :=

i−2 X

  i (−1) ai−k ak1 ai−k−1 + (i − 1)(−1)i+1 ai1 , i = 2, . . . , d. 0 k k

k=0

In particular, for d = 5 we get z2 z3 z4 z5

= a2 a0 − a1 2 = a3 a20 + 2 a1 3 − 3 a1 a2 a0 = a4 a30 − 3 a1 4 + 6 a1 2 a2 a0 − 4 a1 a3 a20 = a5 a40 + 4 a1 5 − 10 a1 3 a2 a0 + 10 a1 2 a3 a20 − 5 a1 a4 a30 .

It is easy to see that ω(zi ) = i(n − 1). The following element weight for any i. Therefore, the statement holds: 6

zid i(d−1)

has the zero

a0

c

2012Albanian J. Math.

Leonid Bedratyuk

Invariants of algebraic curves

Theorem 2.2. k(Cn,d )G = k

z2d 2(d−1)

a0

,

z3d 3(d−1)

,··· ,

a0

!

zdd d(d−1)

.

a0

For the curve 0 Cn,d : y n = xd + da1 xd−1 + · · · + ad = xd +

d X

ad

i=1

  d d−i x . i

and for the group G0 generated by translations x = x ˜ + b, the algebra of invariants becomes simpler: G 0 = k(z2 , z3 , . . . , zd ). k Cd0 Theorem 2.3. (i) For arbitrary set of d − 1 numbers j2 ,j3 , . . . , jd there exists a curve C such that zi (C) = ji . (ii) For two curves C and C 0 the equalities zi (C) = zi (C 0 ) hold for 2 ≤ i ≤ d, if and only if these curves are G0 -isomorphic. Proof. (i). Consider the system of equations  a2 − a1 2 = j2     a3 + 2 a1 3 − 3 a1 a2 = j3     a4 − 3 a1 4 + 6 a1 2 a2 − 4 a1 a3 = j4 ...     d−2  X   k d  (−1) ad−k ak1 + (d − 1)(−1)d+1 ad1 = jd a +   d k k=1

Put a1 = 0 we get an = jn , i.e., the curve   d j2 xd−2 + · · · + jd , C : y n = xd + 2 has the required property zi (C) = ji . (ii). We may assume, without loss of generality, that the curve C has the form   d C : y 2 = xd + j2 xd−2 + · · · + jd . 2 Suppose that for a curve   d X d d−i C 0 : y 2 = xd + da1 xd−1 + · · · + ad = xd + ad x . i i=1 holds zi (C 0 ) = zi (C) = ji . By solving the above system we obtain i−2   X i s i (2) a ji−s , i = 2, 3, . . . , d. ai = ji + a1 + s 1 s=1 Comparing (3) with (1) we deduce that the curve C 0 is obtained from the curve C by the translation x + a1 .  3. Acknowledgments The author would like to thank the referee for many valuable suggestions that improved the paper. c

2012Albanian J. Math.

7

Invariants of algebraic curves

Leonid Bedratyuk References

[1] A. Brower, Invariants of the ternary quartic, http://www.win.tue.nl/∼aeb/math/ternary quartic.html [2] L. Bedratyuk, G.Xin, MacMahon Partition Analysis and the Poincar´ e series of the algebras of invariants of ternary and quaternary forms, Linear and Multilinear Algebra, V.59. No 7, (2011), 789–799 [3] J. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, 106, SpringerVerlag, 1986. [4] B. Sturmfels, Algorithms in invariant theory, Texts and Monographs in Symbolic Computation. Wien: Springer, 2008. [5] A. Nowicki, Polynomial derivation and their Ring of Constants.–UMK: Torun,–1994. [6] L. Bedratyuk, On complete system of invariants for the binary form of degree 7, J. Symb. Comput., 42, (2007), 935-947. [7] D. Hilbert, Theory of Algebraic Invariants,Cambridge University Press,1993. [8] W. Fulton, J. Harris. Representation theory: a first course, 1991.

8

c

2012Albanian J. Math.

Bedratyuk, Leonid A note about invariants of algebraic curves ...

Abstract. Let G be the group generated by the transformations x = α˜x + b, y = ˜y, α = 0, α, b ∈ k, char k of the affine plane k2. For affine algebraic plane curves of ...

292KB Sizes 0 Downloads 324 Views

Recommend Documents

I. POINCARÉ SERIES Leonid Bedratyuk
P r o o f. Taking into account the formal property [xi−k]f(x)=[xi](xkf(x)), we get dim(Id)m = ωm(d; 0) − ωm(d;2) = [tm]fd(t, z) − [tm z2]fd(t, z) = = [tm]fd(t, z) − [tm]z−2fd(t, ...

algebraic curves
Jan 28, 2008 - The image of F under ˜ϕ is written F(s1,...,sn). The ring R[X1,... ..... So any algebraic set V may be written as V = V1 ∪···∪Vm, Vi irreducible. To.

ARNOLD-TYPE INVARIANTS OF CURVES ON ...
surface F. Thus, we get that m{QSTF, A) is isomorphic to Z(X) < m{STF,X{a)). From the proof of the Hansen Proposition it follows that the isomorphism is induced.

Lie algebras and algebraic curves responsible for Bäcklund ...
differential coverings of a PDE can be described in terms of actions of the ... These algebras help to construct and classify Bäcklund transformations.

pdf-1891\and-sometimes-i-wonder-about-you-a-leonid-mcgill ...
Try one of the apps below to open or edit this item. pdf-1891\and-sometimes-i-wonder-about-you-a-leonid-mcgill-mystery-leonid-mcgill-mysteries.pdf.

Cuentos-Leonid Andreiev.pdf
Page. 1. /. 261. Loading… Page 1 of 261. Page 1 of 261. Page 2 of 261. Page 3 of 261. Page 3 of 261. Cuentos-Leonid Andreiev.pdf. Cuentos-Leonid Andreiev.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying Cuentos-Leonid Andreiev.pdf.

A continuous generalization of domination-like invariants
bound of the c-self-domination number for all c ≥ 1. 2 . Key words and ... All graphs considered in this paper are finite, simple, and undirected. Let G be ..... 0 (otherwise) is a c-SDF of Tp,q with w(f1) = cp + 1. Hence γc(Tp,q) ≤ w(f1) = cp +

ALGEBRAIC GEOMETRY 1. Introduction Algebraic ...
An affine variety is an irreducible affine algebraic set. Definition 2.6. Let X ⊆ An be an affine algebraic set. The ideal IX of X is defined as. IX = {f ∈ k[T1,··· ,Tn] ...

Leonid Kubbel Selected Ch.pdf
Page 1 of 225. Page 1 of 225. Page 2 of 225. Page 2 of 225. Page 3 of 225. Page 3 of 225. Leonid Kubbel Selected Ch.pdf. Leonid Kubbel Selected Ch.pdf.

A Variational Technique for Time Consistent Tracking of Curves ... - Irisa
oceanography where one may wish to track iso-temperature, contours of cloud systems, or the vorticity of a motion field. Here, the most difficult technical aspect ...

Automatic Verification of Algebraic Transformations
restructuring transformations are called global data-flow transformations. In our earlier work [2], we have presented an intra- procedural method for showing the ...

Algebraic Number Theory, a Computational Approach - GitHub
Jan 16, 2013 - 2.2.1 The Ring Z is noetherian . .... This material is based upon work supported by the National Science ... A number field K is a finite degree algebraic extension of the ... How to use a computer to compute with many of the above obj

Foundations of Algebraic Coding Theory
Dec 28, 2013 - Coding theory began in the late 1940s, together with the development of electronic commu- nication and computing. In fact, it is possible to pinpoint the moment of its birth exactly, namely the publication of Claude Shannon's landmark

A Variational Technique for Time Consistent Tracking of Curves ... - Irisa
divergence maps depending on the kind of targeted applica- tions. The efficiency of the approach is demonstrated on two types of image sequences showing ...

Elements of Nonstandard Algebraic Geometry
techniques of nonstandard mathematics. Contents. 1 Introduction. 2. 2 List of Notation ..... the collection {Af,g,U }x∈U,f∈p,g /∈p has finite intersection property.

algebraic construction of parsing schemata
Abstract. We propose an algebraic method for the design of tabular parsing algorithms which uses parsing schemata [7]. The parsing strategy is expressed in a tree algebra. A parsing schema is derived from the tree algebra by means of algebraic operat

Leonid Kubbel 150 Endgame.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Leonid Kubbel 150 Endgame.pdf. Leonid Kubbel 150 Endgame.pdf. Open. Extract. Open with. Sign In. Main menu.

algebraic construction of parsing schemata
matics of Language (MOL 6), pages 143–158, Orlando, Florida, USA, July 1999. ... In Masaru Tomita, editor, Current Issues in Parsing Technology, pages ...

Performance evaluation of local colour invariants
no or limited effect on the region description. State-of-the-art ... For an illustration of images recorded under varying illumina- tion directions, see Fig. .... [50] have considered colour moments, which are invariant to illumination colour. Howeve