arxiv: v1 [math.ac] 3 Jan 2016
|
|
- Godfrey Goodman
- 5 years ago
- Views:
Transcription
1 A new characterization of the invertibility of polynomial maps arxiv: v1 [math.ac] 3 Jan 2016 ELŻBIETA ADAMUS Faculty of Applied Mathematics, AGH University of Science and Technology al. Mickiewicza 30, Kraków, Poland esowa@agh.edu.pl PAWE L BOGDAN Faculty of Mathematics and Computer Science, Jagiellonian University ul. Lojasiewicza 6, Kraków, Poland pawel.bogdan@uj.edu.pl TERESA CRESPO Departament d Àlgebra i Geometria, Universitat de Barcelona Gran Via de les Corts Catalanes 585, Barcelona, Spain teresa.crespo@ub.edu ZBIGNIEW HAJTO Faculty of Mathematics and Computer Science, Jagiellonian University ul. Lojasiewicza 6, Kraków, Poland zbigniew.hajto@uj.edu.pl Abstract In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the invertibility of F as well as a formula for F 1 in terms of these finite sequences of polynomials. Some examples illustrate the effective aspects of our approach. 1
2 1 Introduction The Jacobian Conjecture originated in the question raised by Keller in [8] on the invertibility of polynomial maps with Jacobian determinant equal to 1. The question is still open in spite of the efforts of many mathematicians. We recall in the sequel the precise statement of the Jacobian Conjecture, some reduction theorems and other results we shall use. We refer to [5] for a detailed account of the research on the Jacobian Conjecture and related topics. Let K be a field and K[X] = K[X 1,...,X n ] the polynomial ring in the variables X 1,...,X n over K. A polynomial map is a map F = (F 1,...,F n ) : K n K n of the form (X 1,...,X n ) (F 1 (X 1,...,X n ),...,F n (X 1,...,X n )), where F i K[X],1 i n. The polynomial map F is invertible if there exists a polynomial map G = (G 1,...,G n ) : K n K n such that X i = G i (F 1,...,F n ),1 i n. We shall call F a Keller map if the Jacobian matrix ( ) Fi J = X j 1 i n 1 j n has determinant equal to 1. Clearly an invertible polynomial map F has a Jacobian matrix J with non zero determinant and may be transformed into a Keller map by composition with the linear automorphism with matrix J(0) 1. Jacobian Conjecture. Let K be a field of characteristic zero. A Keller map F : K n K n is invertible. In the sequel, K will always denote a field of characteristic 0. For F = (F 1,...,F n ) K[X] n, we define the degree of F as degf = max{degf i : 1 i n}. It is known that if F is a polynomial automorphism of K n, then degf 1 (degf) n 1 (see [1] or [9]). The Jacobian conjecture for quadratic maps was proved by Wang in [10]. We state now the reduction of the Jacobian conjecture to the case of maps of third degree (see [1], [11], [2] and [3]). 2
3 Proposition 1. a) (Bass-Connell-Wright-Yagzhev) Given a Keller map F : K n K n, there exists a Keller map F : K N K N, N n of the form F = Id + H, where H(X) is a cubic homogeneous map and having the following property: if F is invertible, then F is invertible too. b) (Drużkowski) The cubic part H may be chosen of the form ( ) N N ( a 1j X j ) 3,...,( a Nj X j ) 3 j=1 and with the matrix A = (a ij ) 1 i N 1 j N j=1 satisfying A 2 = 0. Polynomial maps in the Drużkowski form are easier to handle than general cubic homogeneous polynomial maps. However we note the following result. Proposition 2 ([6] Proposition 2.9). Let r N. If the Jacobian Conjecture holds for all cubic homogeneous polynomial maps in r variables, then for all n N the Jacobian Conjecture holds for all polynomial maps of the form with A M n (K) and ranka r. F = X +(AX) 3 In[4] Drużkowski and Rusek give the following inversion formula for cubic homogeneous polynomial maps. Theorem 3 ([4], Theorem 2.1). Let H : K n K n be a cubic homogeneous polynomial map, F = Id H and let G = j=0 G j, where G j : K n K n is a homogeneous polynomial map of degree j, be the formal inverse of F. Then G 1 = Id, G 2k+1 = p+q+r=k 1 ϕ H(G 2p+1,G 2q+1,G 2r+1 ), k 1, G 2k = 0, k 1, whereϕ H denotesthe unique symmetric trilinearmapsuch thatϕ H (X,X,X) = H(X). 3
4 As a corollary, they obtain that, if for some natural number k, we have G 3 k +2 = = G 3 k+1 = 0, (1) then F is a polynomial automorphism and degf 1 3 k. However, in [7], Gorni and Zampieri present an example of a polynomial automorphism of C 4 for which condition (1) is not satisfied for any k (see example 7 below). In this paper we present an algorithm providing a new characterization of the invertibility of polynomial maps. Given a polynomial map F : K n K n of the form F = Id + H, where H(X) has lower degree 2, we define recursively, for1 i n, asequencepk i ofpolynomialsink[x]withpi 0 = X i such that F is invertible if and only if the alternating sum j=0 ( 1)j Pj(X) i satisfies a certain relation with Pm i for all i = 1,...,n, where m is an integer given explicitly and depending on the degrees of the components of H. When F is invertible, its inverse F 1 is given in terms of these alternating sums of polynomials. In the last section, we apply the algorithm to several examples of polynomial maps, including the one of Gorni and Zampieri. 2 A sufficient condition for invertibility Let us consider a polynomial map F : K n K n. Given a polynomial P(X 1,...,X n ) K[X] = K[X 1,...,X n ], we define the following sequence of polynomials in K[X], P 0 (X 1,...,X n ) = P(X 1,...,X n ), P 1 (X 1,...,X n ) = P 0 (F 1,...,F n ) P 0 (X 1,...,X n ), and, assuming P k 1 is defined, P k (X 1,...,X n ) = P k 1 (F 1,...,F n ) P k 1 (X 1,...,X n ). The following lemma is easy to prove. Lemma 4. For a positive integer m, we have P(X 1,...,X n ) = ( 1) l P l (F 1,...,F n )+( 1) m P m (X 1,...,X n ). l=0 4
5 In particular, if we assume that for some integer m, P m (X 1,...,X n ) = 0, then P(X 1,...,X n ) = ( 1) l P l (F 1,...,F n ). l=0 Corollary 5. Let F : K n K n be a polynomial map. Let us consider the polynomial sequence (P i k ) constructed with P = X i, i = 1,...,n. Let us assume that for all i = 1,...,n, there exists an integer m i such that P i m i = 0. Then the inverse map G of F is given by G i (Y 1,Y 2,...,Y n ) = m i 1 l=0 ( 1) l P i l(y 1,Y 2,...,Y n ), 1 i n. The condition Pm i i = 0, for some integer m i for all i = 1,...,n, is not necessary for the invertibility of F (see example 7). However we give in theorem 8 an equivalent condition to the invertibility of F using a finite number of terms of the polynomial sequences (Pk i ). The following lemma gives a precise description of the polynomials Pk i. Lemma 6. Let F : K n K n be a polynomial map of the form F 1 (X 1,...,X n ) = X 1 +H 1 (X 1,...,X n ). F n (X 1,...,X n ) = X n +H n (X 1,...,X n ), where H i (X 1,...,X n ) is a polynomial in X 1,...,X n of degree D i and lower degree d i, with d i 2, for i = 1,...,n. Let d = mind i,d = maxd i. Then for the polynomial sequence (P i k ) constructed with P = X i we have that P i k is a polynomial of degree D k 1 D i and lower degree (k 1)(d 1)+d i. In particular, if each H i is a homogeneous polynomial of degree d, we have (dk 1)/(d 1) k+1 Pk i = j=1 Q kj, where Q kj is a homogeneous polynomial in X 1,...,X n of degree (k + j 1)(d 1)+1. 5
6 Proof. Let us consider, for a fixed i, the polynomial sequence P i 0 (X 1,...,X n ) = X i, P i 1(X 1,...,X n ) = F i (X 1,...,X n ) X i = H i (X 1,...,X n ), P i 2 (X 1,...,X n ) = H i (F 1,...,F n ) H i (X 1,...,X n ),. We write the Taylor series for the polynomial H i (F 1,...,F n ) = H i (X 1 + H 1,...,X n +H n ) and obtain where P i 2 (X 1,...,X n ) = H i (F 1,...,F n ) H i (X 1,...,X n ) = Q i 21 +Qi Qi 2D i Q i 22 = 1 2! Q i 2D i = 1 D i! Q i 21 = n n j=1 1 j 1,j 2 n n j 1,j 2,...,j Di =1. H i X j H j 2 H i X j1 X j2 H j1 H j2 D i H i x j1... x jdi H j1...h jdi. The polynomial P2 i has lower degree equal to the lower degree of Qi 21, which is d+d i 1, and degree equal to the degree of Q i 2D i, which is D D i. Let us prove by induction that Pk i is a polynomial of degree Dk 1 D i and lower degree (k 1)(d 1) + d i. We have already seen it for k = 2. Let us assume Pk 1 i is a polynomial of degree Dk 2 D i and lower degree (k 2)(d 1)+d i. We want to prove the property for Pk i. We have P i k(x 1,...,X n ) = P i k 1(F 1,...,F n ) P i k 1(X 1,...,X n ) If Q(X 1,...,X n ) is a polynomial of degree S and lower degree s, Q(F 1,...,F n ) Q(X 1,...,X n ) = n Q j=1 H j n S! j X 1,...,j S j 6 S Q x j1..., x js H j1...h js
7 is a polynomial of degree S D and lower degree s 1 + d. Hence P i k 1 (F 1,...,F n ) P i k 1 (X 1,...,X n ) is a polynomial of degree D k 1 D i and lower degree (k 1)(d 1)+d i. The homogeneous case is proved analogously using induction. Example 7. We shall consider the polynomial automorphism of C 4 given in [7] to prove that the condition P i m i = 0, for some m i, for all i, is not a necessary condition to the invertibility of F. Let p := X 1 X 3 +X 2 X 4 and define F by F 1 = X 1 +px 4 F 2 = X 2 px 3 F 3 = X 3 +X 3 4 F 4 = X 4 Clearly P 4 1 = 0 and P 3 2 = 0. But P 1 j and P 2 j are not zero for any j. In order to prove that P 1 j 0, we shall prove by induction that the homogeneous summand of lowest degree Q 1 j1 of P 1 j has the following form depending on the parity of j, for all j 2. Q 1 2k,1 = X 1 X4 4k Q 1 2k+1,1 = X 1 X 3 X4 4k+1 +X 2 X4 4k+2 BycalculationweobtainQ 1 21 = X 1X4 4,Q1 31 = X 1X 3 X4 5+X 2X4 6. Now, Q1 2k,1 = X 1 X4 4k Q 1 2k+1,1 = X4k 4 H 1 + 4kX 1 X4 4k 1 H 4 = X4 4k (X 1 X 3 + X 2 X 4 )X 4 = X 1 X 3 X4 4k+1 +X 2 X4 4k+2 and Q 1 2k+1,1 = X 1X 3 X4 4k+1 +X 2 X4 4k+2 Q 1 2k+2,1 = X 3 X 4k+1 4 H 1 +X 4k+2 4 H 2 +X 1 X 4k+1 4 H 3 +((4k+1)X 1 X 3 X 4k 4 +(4k+2)X 2 X 4k+1 4 )H 4 = X 3 X4 4k+1 (X 1 X 3 + X 2 X 4 )X 4 X4 4k+2 (X 1 X 3 + X 2 X 4 )X 3 + X 1 X 4k+4 X 1 X 4(k+1) 4. 4 = Analogously, in order to prove that Pj 2 0, we shall prove by induction that the homogeneous summand of lowest degree Q 2 j1 of Pj 2 has the following form depending on the parity of j, for all j 2. Q 2 2k,1 = 2kX 1 X 3 X4 4k 1 (2k 1)X 2 X4 4k Q 2 2k+1,1 = X 1 X3 2X4k 4 X 2 X 3 X4 4k+1 2kX 1 X4 4k+2 By calculation we obtain Q 2 21 = 2X 1 X 3 X4 3 X 2 X4,Q = X 1 X3X X 2 X 3 X4 5 2X 1X4 6. Now Q2 2k,1 = 2kX 1X 3 X4 4k 1 (2k 1)X 2 X 4k 4 4 Q 2 2k+1,1 = 2kX 3X 4k 1 4 H 1 (2k 1)X 4k 4 H 2 2kX 1 X 4k 1 4 H 3 = X 1 X 2 3X 4k X 2 X 3 X4 4k+1 2kX 1 X4 4k+2 andq 2 2k+1,1 = X 1X3 2X4k 4 X 2X 3 X4 4k+1 2kX 1 X4 4k+2 7
8 Q 2 2k+2,1 = ( X2 3 X4k 4 2kX4k+2 4 )H 1 X 3 X4 4k+1 H 2 (2X 1 X 3 X4 4k+X 2X4 4k+1 )H 3 = (2k +2)X 1 X 3 X4 4k+3 (2k +1)X 2 X4 4k+4. 3 An equivalent condition to invertibility The following theorem gives an equivalent condition to the invertibility of F using a finite number of terms in the polynomial sequences (P i k ). Theorem 8. Let F : K n K n be a polynomial map of the form F 1 (X 1,...,X n ) = X 1 +H 1 (X 1,...,X n ). F n (X 1,...,X n ) = X n +H n (X 1,...,X n ), where H i (X 1,...,X n ) is a polynomial in X 1,...,X n of degree D i and lower degree d i, with d i 2, for i = 1,...,n. Let d = mind i,d = maxd i. The following conditions are equivalent: 1) F is invertible. 2) For i = 1,...,n and every m > Dn 1 d i d 1 +1, we have ( 1) j Pj(X) i = G i (X)+Rm(X). i j=0 where G i (X) is a polynomial of degree D n 1, independent of m, and Rm i (X) is a polynomial satisfying Ri m (F) = ( 1)m+1 Pm i (X) (with lower degree ()(d 1)+d i > D n 1 ). 3) For i = 1,...,n and m = Dn 1 d i d , we have ( 1) j Pj i (X) = G i(x)+rm i (X). j=0 where G i (X) is a polynomial of degree D n 1, and Rm i (X) is a polynomial satisfying Rm i (F) = ( 1)m+1 Pm i (X). 8
9 Moreover the inverse G of F is given by G i (Y 1,...,Y n ) = ( 1) l Pi l (Y 1,...,Y n ), i = 1,...,n, l=0 where P i l is the sum of homogeneous summands of P i l of degree D n 1 and m is an integer > Dn 1 d i d Proof. 1) 2): If F is invertible, then G = F 1 has degree D n 1. Applying lemma 4, we obtain, for any positive integer m, X i = ( 1) l P l (F 1,...,F n )+( 1) m P m (X 1,...,X n ). l=0 Since X i = G i (F 1,...,F n ), we obtain the following equality of polynomials in the variables Y 1,...,Y n. G i (Y 1,...,Y n ) = l=0 ( 1)l P l (Y 1,...,Y n ) which implies +( 1) m P m (G 1 (Y 1,...,Y n ),...,G n (Y 1,...,Y n )), l=0 ( 1)l P l (Y 1,...,Y n ) = G i (Y 1,...,Y n ) Hence, writing ( 1) m P m (G 1 (Y 1,...,Y n ),...,G n (Y 1,...,Y n )), R i m (Y 1,...,Y n ) := ( 1) m P m (G 1 (Y 1,...,Y n ),...,G n (Y 1,...,Y n )), we obtain 2). Now, G i is a polynomial of degree at most D n 1 in Y 1,...,Y n. For an integer m such that m > Dn 1 d i + 1, P d 1 m is a polynomial in the variablesx 1,...,X n oflowerdegreebiggerthand n 1, hencethelower degree ofp m (G 1 (Y 1,...,Y n ),...,G n (Y 1,...,Y n ))in thevariables Y 1,...,Y n is bigger than D n 1. Therefore, the sum of homogeneous summands of degrees not bigger than D n 1 in the righthand side of the equality above is precisely l=0 ( 1)l Pi l (Y 1,Y 2,...,Y n ). 9
10 2) 3) is obvious. 3) 1): Let us assume that for m = Dn 1 d i +1 +1, we have d 1 ( 1) j Pj(X) i = G i (X)+Rm(X), i j=0 where G i (X) is a polynomial of degree D n 1 and Rm i (X) is a polynomial satisfying Rm(F) i = ( 1) m+1 Pm(X). i By lemma 4, we have We obtain then X i = ( 1) l Pl(F i 1,...,F n )+( 1) m Pm(X i 1,...,X n ). l=0 X i = G i (F)+R i m (F)+( 1)m P i m (X) = G i (F)+( 1) m+1 P i m(x)+( 1) m P i m(x) = G i (F). Hence F is invertible with inverse G = (G 1,...,G n ). 4 Examples 4.1 We consider the following nonhomogeneous Keller map in dimension 2. { F1 = X 1 +(X 2 +X 3 1 )2 F 2 = X 2 +X 3 1 Let us write H 1 := (X 2 +X 3 1) 2,H 2 := X 3 1. With the notations in theorem 8, we have d 1 = 2,d 2 = 3,d = 2,D = 6 and we obtain 5 i=0 ( 1) i P 1 i (X) = X 1 X 2 2 +R1 6 (X), where R6(X) 1 is a polynomial of degree 6 5 and lower degree 9 satisfying R6 1(F) = P1 6 (X), and 10
11 4 ( 1) i Pi 2 (X) = X 2 X1 3 +3X2 1 X2 2 3X 1X2 4 +X6 2 +R2 5 (X), i=0 where R 2 5 (X) is a polynomial of degree 3 63 and lower degree 8 satisfying R 2 5(F) = P 2 5(X). Hence the inverse of F is given by { G1 = X 1 X G 2 = X 2 X X2 1 X2 2 3X 1X 4 2 +X6 2 We consider the following Keller map F in dimension 5. F 1 = X 1 +a 1 X 3 4 +a 2x 2 4 X 5 +a 3 X 4 X 2 5 +a 4x a 2c 5 X 2 X a 3c 5 X 2 X 4 X 5 + 3a 4c 5 X 2 X 2 5 a 2e 2 X 3 X 2 4 2a 3e 2 X 3 X 4 X 5 3a 4e 2 X 3 X a 3 5 X2 2 X a 3e 2 2 X2 3 X a 4 5 X2 2 X a 4e 2 2 X3 3 X 5 2 2a 3c 5 e 2 X 2 X 3 X a 4e 3 5 X3 2 c 3 2 3a 4 5 e 2X 2 2 X 3 c 3 2 6a 4c 5 e 2 X 2 X 3 X a 4c 5 e 2 2X 2 X 2 3 c 3 2 a 4e 3 2X 3 3 c 3 2 F 2 = X 2 +b 1 X 3 4 F 3 = X 3 +c 5 X 2 X 2 4 +c 1X 3 4 +X 4 4 X 5 e 2 X 3 X 2 4 F 4 = X 4 F 5 = X 5 +e 2 X 2 4 X 5 + c 5e 2 X 2 X 2 4 e2 2X 3 X 2 4 (b 1c 5 c 1 e 2 )X 3 4 with parameters a 1,a 2,a 3,a 4,b 1,c 1,,c 5,e 2. By applying the algorithm we obtain P i 2 = 0, for i = 1,...,5, hence F is a quasi-translation, i.e. F 1 = 2Id F. 11
12 4.3 We consider the following Keller map F in dimension 6 F 1 = X 1 +a 5 e 1 (X 1 +X 2 ) 3 /a 4 +a 4 X 2 X 4 X 6 +a 5 X 4 X 5 X 6 F 2 = X 2 a 5 e 1 (X 1 +X 2 ) 3 /a 4 F 3 = X 3 +c 1 X 3 1 +(X 1 +X 5 ) 3 +c 3 (X 1 +X 2 ) 3 +c 4 (X 1 +X 4 ) 3 +c 5 X 3 6 F 4 = X 4 +d 4 X 2 X 2 6 +a 5d 4 X 5 X 2 6 /a 4 F 5 = X 5 +e 1 (X 1 +X 2 ) 3 F 6 = X 6 with parameters a 4,a 5,c 1,,c 3,c 4,c 5,d 4,e 1. Denoting G = F 1 and taking variables (Y 1,...,Y 6 ) for G, we obtain P 1 8 = 0, P 2 9 = 0 and G 1 = (20a 4 5 e 1Y 9 6 d3 4 Y 3 2 Y 3 5 a3 4 6a4 5 e 1Y 4 6 Y 4Y 3 5 d 4Y 2 a 2 4 +a 5e 1 a 6 4 Y 9 6 Y 6 2 d3 4 +3Y 3 6 a 5e 1 Y 4 2 d 4a a 5 e 1 a 5 4Y6 6 Y2 5 d 2 4 a 5 e 1 a 6 4Y2 3 Y4 3 Y6 3 +a 5 4Y 2 Y 4 Y 6 Y6 3 a 5 4d 4 Y2 2 +a 7 5e 1 Y6 9 d 3 4Y5 6 +a 5 e 1 a 3 4 Y 3 1 +a 5e 1 a 3 4 Y 3 2 Y 1a 4 4 3a2 5 e 1a 5 2 Y 3 4 Y 3 6 Y 5 6a 5 e 1 Y 1 Y 2 2 Y 4Y 6 a a 5 5 e 1Y6 6Y 1d 2 4 Y 5 4a 4 +12a 4 5 e 1Y6 6Y 2 2d2 4 Y 5 3a2 4 6a4 5 e 1Y6 4Y 1Y 4 d 4 Y5 3a2 4 +3a 5e 1 a 3 4 Y 1Y2 2 6a 5 e 1 a 5 4Y 4 6 Y 1 Y 3 2 Y 4 d 4 +3Y 3 6 a 5 e 1 Y 2 1 Y 2 2 d 4 a a 5 e 1 a 5 4Y 1 Y a 3 5e 1 Y 7 6 Y 4 d 2 4Y 3 5 a Y 3 6 a 5e 1 Y 1 Y 3 2 d 4a a3 5 e 1Y 9 6 d3 4 Y 4 5 a4 4 +6a2 5 e 1a 5 4 Y 9 6 Y 5 2 d3 4 Y 5 18a 2 5 e 1Y 4 6 Y 3 2 Y 4d 4 Y 5 a a 2 5 e 1a 5 4 Y 5 6 Y 3 4 d 4Y 5 15a 2 5 e 1a 5 4 Y 7 6 Y 4 2 Y 4d 2 4 Y 5 +12a 2 5 e 1Y 6 6 Y 1Y 3 2 d2 4 Y 5a a2 5 e 1Y 4 6 Y 1Y 2 2 Y 4d 4 Y 5 a 4 4 3a 5 e 1 a 6 4Y 7 6 Y 5 2 Y 4 d a 5 e 1 a 3 4Y 2 1 Y 2 +18a 3 5e 1 Y 5 4 d 5 a a 2 5e 1 Y 6 6 Y 4 2 d 2 4Y 5 a a 5 e 1 a 5 4 Y 6 6 Y 1Y 4 2 d2 4 +3a 5e 1 a 6 4 Y 5 6 Y 4 4 d 4 6a 5 e 1 Y 4 6 a5 4 Y 4 2 Y 4d 4 +a 5 Y 4 Y 5 Y 6 a a 5 5e 1 Y 9 6 d 3 4Y 2 2 Y 4 5 a a 6 5e 1 Y 9 d 3 4Y 5 5 a 4 18a 3 5e 1 Y 4 2 Y 4 d 5 a a 3 5e 1 Y 6 6 Y 1 d 2 4Y 2 5 a 3 4 3a 6 5 e 1Y 7 6 Y 4Y 5 5 d2 4 a 4 18a 3 5 e 1Y 4 6 Y 1Y 4 d 4 Y 5 a3 4 +6a3 5 e 1Y 3 6 Y 1d 5 Y 2a a4 5 e 1Y 7 6 Y 4d 2 2 Y 3 5 a a 4 5 e 1Y 5 Y 2 4 d 4Y 3 5 a a4 5 e 1Y 6 6 Y 1d 2 Y 3 5 a2 4 +3a5 5 e 1Y 6 6 d2 4 Y 4 5 Y 2a 4 +3a 3 5 e 1Y 3 1 d 4Y 2 5 a a 3 5e 1 Y 6 6 Y 3 2 d 2 4Y 2 5 a a 2 5e 1 Y 1 Y 6 Y 5 a 4 4 3a 5 e 1 Y 3 2 Y 4 Y 6 a 4 4 2Y 3 a 5 d 4 Y 5 a a 5 5 e 1Y6 5Y 4 2Y 5 4d 4a 2 4 3a3 5 e 1Y 2 Y4 3Y 6 3Y 5 2a4 4 3a 5e 1 Y1 2Y 2Y 4 Y 6 a a 5e 1 a 5 3Y 4 2Y a 2 5 e 1Y 2 6 Y 5a 4 4 3a2 5 e 1Y 4 Y 5 Y 2 a3 4 a2 5 Y 3 6 d 4Y 2 5 a3 4 3a2 5 e 1Y 2 1 Y 4Y 5 Y 6 a a 3 5e 1 Y 2 5 Y 2 a Y 3 6 a 2 5e 1 Y 2 1 Y 2 d 4 Y 5 a a 5 5e 1 Y 7 Y 4 d 2 4Y 4 5 a Y 3 6 a 2 5e 1 Y 1 Y 2 2 d 4 Y 5 a Y6 3a2 5 e 1Y2 3d 4Y 5 a a3 5 e 1Y6 3d 4Y5 2Y 2 2a2 4 +3a3 5 e 1Y 1 Y4 2Y 5 2Y 6 2a3 4 6a2 5 e 1Y 1 Y 4 Y 5 Y a 3 4 a 4 5e 1 Y4 3 Y5 3 Y6 3 a 3 4)/a 4 4; 12
13 G 2 = (20a 4 5 e 1Y 9 6 d3 4 Y 3 2 Y 3 5 a3 4 6a4 5 e 1Y 4 6 Y 4Y 3 5 d 4Y 2 a 2 4 +a 5e 1 a 6 4 Y 9 6 Y 6 2 d3 4 +3Y 3 6 a 5e 1 Y 4 2 d 4a a 5 e 1 a 5 4Y6 6 Y2 5 d 2 4 a 5 e 1 a 6 4Y2 3 Y4 3 Y6 3 +a 7 5e 1 Y6 9 d 3 4Y5 6 +a 5 e 1 a 3 4Y1 3 +a 5 e 1 a 3 4 Y 3 2 3a2 5 e 1a 5 2 Y 3 4 Y 3 6 Y 5 6a 5 e 1 Y 1 Y 2 2 Y 4Y 6 a a5 5 e 1Y 6 6 Y 1d 2 4 Y 4 5 a 4 +12a 4 5e 1 Y 6 2 d 2 4Y 3 5 a 2 4 6a 4 5e 1 Y 4 6 Y 1 Y 4 d 4 Y 3 5 a a 5 e 1 a 3 4Y 1 Y 2 2 6a 5 e 1 a 5 4Y 4 6 Y 1 Y 3 2 Y 4 d 4 +3Y 3 6 a 5 e 1 Y 2 1 Y 2 2 d 4 a a 5 e 1 a 5 4Y 1 Y a 3 5e 1 Y 7 6 Y 4 d 2 4Y 3 5 a Y 3 6 a 5 e 1 Y 1 Y 3 2 d 4 a a 3 5 e 1Y 9 6 d3 4 Y 4 5 a4 4 +6a2 5 e 1a 5 4 Y 9 6 Y 5 2 d3 4 Y 5 18a 2 5 e 1Y 4 6 Y 3 2 Y 4d 4 Y 5 a a2 5 e 1a 5 4 Y 5 6 Y 3 4 d 4Y 5 15a 2 5e 1 a 5 4Y 7 6 Y 4 2 Y 4 d 2 4Y 5 +12a 2 5e 1 Y 6 6 Y 1 Y 3 2 d 2 4Y 5 a a 2 5e 1 Y 4 6 Y 1 Y 2 2 Y 4 d 4 Y 5 a 4 4 3a 5 e 1 a 6 4Y 7 6 Y 5 2 Y 4 d a 5 e 1 a 3 1 Y 2 +18a 3 5 e 1Y 5 4 d 4Y 2 5 a a2 5 e 1Y 6 6 Y 4 2 d2 4 Y 5a a 5e 1 a 5 4 Y 6 6 Y 1Y 4 2 d2 4 +3a 5 e 1 a 6 4 Y 5 6 Y 4 4 d 4 6a 5 e 1 Y 4 6 a5 4 Y 4 2 Y 4d 4 +15a 5 5 e 1Y 9 6 d3 2 Y 4 5 a2 4 +6a6 5 e 1Y 9 d 3 4 Y 5 5 a 4 18a 3 5e 1 Y 4 2 Y 4 d 5 a a 3 5e 1 Y 6 6 Y 1 d 2 4Y 2 5 a 3 4 3a 6 5e 1 Y 7 6 Y 4 Y 5 5 d 2 4a 4 18a 3 5e 1 Y 4 6 Y 1 Y 4 d 4 Y 5 a a 3 5 e 1Y 3 6 Y 1d 5 Y 2a a4 5 e 1Y 7 6 Y 4d 2 2 Y 3 5 a a4 5 e 1Y 5 Y 2 4 d 4Y 3 5 a a4 5 e 1Y 6 6 Y 1d 2 Y 3 5 a2 4 +3a 5 5 e 1Y 6 6 d2 4 Y 4 5 Y 2a 4 +3a 3 5 e 1Y 3 1 d 4Y 2 5 a a3 5 e 1Y 6 6 Y 3 2 d2 5 a3 4 +6a2 5 e 1Y 1 Y 6 Y 5a 4 4 3a 5 e 1 Y 3 2 Y 4 Y 6 a a 5 5e 1 Y 5 4 Y 4 5 d 4 a 2 4 3a 3 5e 1 Y 2 Y 3 4 Y 3 5 a 4 4 3a 5 e 1 Y 2 1 Y 2 Y 4 Y 6 a a 5 e 1 a 5 4 Y a2 5 e 1Y 2 6 Y 5a 4 4 3a2 5 e 1Y 4 Y 5 Y 2 a3 4 3a2 5 e 1Y 2 1 Y 4Y 5 Y 6 a a 3 5e 1 Y 2 5 Y 2 a Y 3 6 a 2 5e 1 Y 2 1 Y 2 d 4 Y 5 a a 5 5e 1 Y 7 Y 4 d 2 4Y 4 5 a Y 3 6 a 2 5e 1 Y 1 Y 2 2 d 4 Y 5 a Y6 3a2 5 e 1Y2 3d 4Y 5 a a3 5 e 1Y6 3d 4Y5 2Y 2 2a2 4 +3a3 5 e 1Y 1 Y4 2Y 5 2Y 6 2a3 4 6a2 5 e 1Y 1 Y 4 Y 5 Y a 3 4 a 4 5 e 1Y4 3Y 5 3Y 6 3a3 4 +Y 2a 4 4 )/a4 4. Now, G 6 = Y 6 G 5 = Y 5 e 1 (G 1 +G 2 ) 3 G 4 = Y 4 d 4 G 2 G 2 6 a 5 d 4 G 5 G 2 6/a 4 G 3 = Y 3 c 1 G 3 1 (G 1 +G 5 ) 3 c 3 (G 1 +G 2 ) 3 c 4 (G 1 +G 4 ) 3 +c 5 G Let us consider again the polynomial automorphism of C 4 given in example 7. We have p := X 1 X 3 +X 2 X 4 and F defined by We obtain F 1 = X 1 +px 4 F 2 = X 2 px 3 F 3 = X 3 +X 3 4 F 4 = X 4 13 j=0 ( 1) j P 1 j (X) = X 1 X 1 X 3 X 4 X 2 X 2 4 +X 1X 4 4 +R1 14 (X), 13
14 where R14(X) 1 = 35X 1 X 3 X X 1 X 3 X4 45 X 1 X 3 X X 1 X 3 X4 41 6X 1 X 3 X X 1 X 3 X4 37 X 1X4 28 6X 2X X 1X X 2X X 1 X X 2X X 1X X 2X4 42 9X 1X X 2 X4 46 X 1 X4 48 X 2 X4 50 satisfies R 1 14(F)+P 1 14(X) = 0. And 13 j=0 where ( 1) j P 2 j (X) = X 2 2X 1 X 3 X 3 4 +X 2X 3 X 4 X 2 X 4 4 +X 1X 6 4 +X 1X 2 3 +R2 14 (X), R14 2 (X) = 14X 1X 3 X X 2X 3 X X 1X 3 X X 1X3 2X X 2X 3 X X 1 X 3 X X 1 X3X X 2 X 3 X X 1 X 3 X X 1 X3X X 2 X 3 X X 1X 3 X X 1X3 2X X 1X 3 X X 2X X 1 X X 2X X 1X X 2X X 1X X 2 X X 1 X X 2 X X 1 X X 2 X X 1 X X 2X X 1X3 2X X 1X 3 X X 2X 3 X4 45 +X 1 X3 2X48 4 +X 2X 3 X4 49 satisfies R 2 14 (F)+P2 14 (X) = 0. Hence G = F 1 is given by G 1 = X 1 X 1 X 3 X 4 X 2 X 2 4 +X 1X 4 4 G 2 = X 2 2X 1 X 3 X 3 4 +X 2X 3 X 4 X 2 X 4 4 +X 1X 6 4 +X 1X 2 3 G 3 = X 3 X 3 4 G 4 = X 4 Acknowledgments. E. Adamus acknowledges support of the Polish Ministry of Science and Higher Education. T. Crespo and Z. Hajto acknowledge support of grant MTM , Spanish Science Ministry. 14
15 References [1] H. Bass, E. Connell and D. Wright, The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. 7 (1982), [2] L. Drużkowski, An effective approach to Keller s Jacobian conjecture, Math. Ann. 264 (1983), [3] L. Drużkowski, New reduction in the Jacobian conjecture, Univ. Iagel. Acta Math. No. 39 (2001), [4] L. Drużkowski, K. Rusek, The formal inverse and the Jacobian conjecture, Ann. Polon. Math. 46 (1985), [5] A. van der Essen, Polynomial automorphisms and the Jacobian Conjecture, Progress in Mathematics 190, Birkhäuser Verlag, [6] A. van der Essen, Seven lectures on polynomial automorphisms, Automorphisms of affine spaces (Curaçao, 1994), Kluwer Acad. Publ., Dordrecht, 1995, [7] G. Gorni, G. Zampieri, Yagzhev polynomial mappings: on the structure of the Taylor expansion of their local inverse, Ann. Polon. Math. 64 (1996), [8] O. H. Keller, Ganze Cremona-Transformationen, Monatsh. Math. Phys. 47 (1939), [9] K. Rusek and T. Winiarski, Polynomial automorphisms of C n, Univ. Iagell. Acta Math. 24 (1984), [10] S. Wang, A Jacobian criterion for separability, J. Algebra 65 (1980), [11] A.V.Yagzhev, On a problemof O.H. Keller,Sibirsk.Mat.Zh.21(1980),
THE DEGREE OF THE INVERSE OF A POLYNOMIAL AUTOMORPHISM
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIV 2006 THE DEGREE OF THE INVERSE OF A POLYNOMIAL AUTOMORPHISM by Sabrina Brusadin and Gianluca Gorni Abstract. Let F : C n C n be an invertible
More informationGalois Correspondence Theorem for Picard-Vessiot Extensions
Arnold Math J. (2016) 2:21 27 DOI 10.1007/s40598-015-0029-z RESEARCH CONTRIBUTION Galois Correspondence Theorem for Picard-Vessiot Extensions Teresa Crespo 1 Zbigniew Hajto 2 Elżbieta Sowa-Adamus 3 Received:
More informationComplexity of the Inversion Algorithm of Polynomial Mappings
Schedae Informaticae Vol 25 2016): 209 225 doi: 104467/20838476SI160166197 Complexity of the Inversion Algorithm of Polynomial Mappings Pawe l Bogdan Chair of Effective Methods in Algebra, Department of
More informationTHE JACOBIAN CONJECTURE: SURVEY OF SOME RESULTS
TOPICS IN COMPLEX ANALYSIS BANACH CENTER PUBLICATIONS, VOLUME 31 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1995 THE JACOBIAN CONJECTURE: SURVEY OF SOME RESULTS LUDWIK M. DRUŻKOWSKI Institute
More informationPDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a postprint version which may differ from the publisher's version. For additional information about this
More informationA Simple Proof of Jung Theorem on Polynomial Automorphisms of C 2
arxiv:math/0408077v [math.ag] 5 Aug 2004 A Simple Proof of Jung Theorem on Polynomial Automorphisms of C 2 Nguyen Van Chau Abstract. The Automorphism Theorem, discovered first by Jung in 942, asserts that
More informationA family of local rings with rational Poincaré Series
arxiv:0802.0654v1 [math.ac] 5 Feb 2008 A family of local rings with rational Poincaré Series Juan Elias Giuseppe Valla October 31, 2018 Abstract In this note we compute the Poincare Series of almost stretched
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationarxiv: v8 [math.ra] 13 Apr 2015
SPECIAL CASES OF THE JACOBIAN CONJECTURE VERED MOSKOWICZ arxiv:1501.06905v8 [math.ra] 13 Apr 2015 Abstract. The famous Jacobian conjecture asks if a morphism f : K[x,y] K[x,y] that satisfies Jac(f(x),f(y))
More informationAnalytic Conjugation, Global Attractor, and the Jacobian Conjecture
Analytic Conjugation, Global Attractor, and the Jacobian Conjecture Bo Deng Abstract: It is proved that the dilation λf of an analytic map f on with f(0) = 0, f (0) = I, λ > 1 has an analytic conjugation
More informationExamples and counterexamples for Markus-Yamabe and LaSalle global asymptotic stability problems Anna Cima, Armengol Gasull and Francesc Mañosas
Proceedings of the International Workshop Future Directions in Difference Equations. June 13-17, 2011, Vigo, Spain. PAGES 89 96 Examples and counterexamples for Markus-Yamabe and LaSalle global asmptotic
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationThe set of points at which a polynomial map is not proper
ANNALES POLONICI MATHEMATICI LVIII3 (1993) The set of points at which a polynomial map is not proper by Zbigniew Jelonek (Kraków) Abstract We describe the set of points over which a dominant polynomial
More informationThe automorphism theorem and additive group actions on the affine plane
The automorphism theorem and additive group actions on the affine plane arxiv:1604.04070v1 [math.ac] 14 Apr 2016 Shigeru Kuroda Abstract Due to Rentschler, Miyanishi and Kojima, the invariant ring for
More informationarxiv: v1 [math.ag] 27 Oct 2007
A NOTE ON SINGULARITY AND NON-PROPER VALUE SET OF POLYNOMIAL MAPS OF C 2 arxiv:0710.5212v1 [math.ag] 27 Oct 2007 NGUYEN VAN CHAU Abstract. Some properties of the relation between the singular point set
More informationOn canonical number systems
On canonical number systems Shigeki Akiyama and Attila Pethő Abstract. Let P (x) = p d x d +... + Z[x] be such that d 1, p d = 1, 2 and N = {0, 1,..., 1}. We are proving in this note a new criterion for
More informationSkew Cyclic Codes Of Arbitrary Length
Skew Cyclic Codes Of Arbitrary Length Irfan Siap Department of Mathematics, Adıyaman University, Adıyaman, TURKEY, isiap@adiyaman.edu.tr Taher Abualrub Department of Mathematics and Statistics, American
More informationPolynomial Maps of n-space Injectivity, Surjectivity, Inverse. The 1939 Jacobian Conjecture of Ott-Heinrich Keller
Polynomial Maps of n-space Injectivity, Surjectivity, Inverse The 1939 Jacobian Conjecture of Ott-Heinrich Keller The Markus-Yamabe Conjecture R. I. P. MYC 1960 1995 Many Examples & Open Questions SPRING
More informationON A FAMILY OF ELLIPTIC CURVES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationA POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE
Bull. Korean Math. Soc. 47 (2010), No. 1, pp. 211 219 DOI 10.4134/BKMS.2010.47.1.211 A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE Dosang Joe Abstract. Let P be a Jacobian polynomial such as deg P =
More informationLocal properties of plane algebraic curves
Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying
More informationRoots and Coefficients Polynomials Preliminary Maths Extension 1
Preliminary Maths Extension Question If, and are the roots of x 5x x 0, find the following. (d) (e) Question If p, q and r are the roots of x x x 4 0, evaluate the following. pq r pq qr rp p q q r r p
More informationOn a functional equation connected with bi-linear mappings and its Hyers-Ulam stability
Available online at www.isr-publications.com/jnsa J. Nonlinear Sci. Appl., 10 017, 5914 591 Research Article Journal Homepage: www.tjnsa.com - www.isr-publications.com/jnsa On a functional equation connected
More informationA FINITE VERSION OF THE KAKEYA PROBLEM
A FINITE VERSION OF THE KAKEYA PROBLEM SIMEON BALL, AART BLOKHUIS, AND DIEGO DOMENZAIN Abstract. Let L be a set of lines of an affine space over a field and let S be a set of points with the property that
More informationJacobian Conjecture: A Birational Geometry Approach
Jacobian Conjecture: A Birational Geometry Approach Alexander Borisov University of Pittsburgh March 5, 2013 Johns Hopkins University Algebraic Geometry and Number Theory Seminar 1 Suppose n N. Suppose
More informationArithmetic properties of lacunary sums of binomial coefficients
Arithmetic properties of lacunary sums of binomial coefficients Tamás Mathematics Department Occidental College 29th Journées Arithmétiques JA2015, July 6-10, 2015 Arithmetic properties of lacunary sums
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to
More informationOCR Maths FP1. Topic Questions from Papers. Roots of Polynomial Equations
OCR Maths FP1 Topic Questions from Papers Roots of Polynomial Equations PhysicsAndMathsTutor.com 18 (a) The quadratic equation x 2 2x + 4 = 0hasroots and. (i) Write down the values of + and. [2] (ii) Show
More information1. Definition of a Polynomial
1. Definition of a Polynomial What is a polynomial? A polynomial P(x) is an algebraic expression of the form Degree P(x) = a n x n + a n 1 x n 1 + a n 2 x n 2 + + a 3 x 3 + a 2 x 2 + a 1 x + a 0 Leading
More information8 Appendix: Polynomial Rings
8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMathematical Olympiad Training Polynomials
Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,
More information(2) Dividing both sides of the equation in (1) by the divisor, 3, gives: =
Dividing Polynomials Prepared by: Sa diyya Hendrickson Name: Date: Let s begin by recalling the process of long division for numbers. Consider the following fraction: Recall that fractions are just division
More information(Inv) Computing Invariant Factors Math 683L (Summer 2003)
(Inv) Computing Invariant Factors Math 683L (Summer 23) We have two big results (stated in (Can2) and (Can3)) concerning the behaviour of a single linear transformation T of a vector space V In particular,
More informationON THE STABILITY OF THE MONOMIAL FUNCTIONAL EQUATION
Bull. Korean Math. Soc. 45 (2008), No. 2, pp. 397 403 ON THE STABILITY OF THE MONOMIAL FUNCTIONAL EQUATION Yang-Hi Lee Reprinted from the Bulletin of the Korean Mathematical Society Vol. 45, No. 2, May
More informationON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES
ON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES BY LEONID MAKAR - LIMANOV DETROIT) AND ANDRZEJ NOWICKI TORUŃ) Abstract. Let k[[x, y]] be the formal power series ring in
More informationSection Properties of Rational Expressions
88 Section. - Properties of Rational Expressions Recall that a rational number is any number that can be written as the ratio of two integers where the integer in the denominator cannot be. Rational Numbers:
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
More informationCOUNTING SEPARABLE POLYNOMIALS IN Z/n[x]
COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number
More information+ 1 3 x2 2x x3 + 3x 2 + 0x x x2 2x + 3 4
Math 4030-001/Foundations of Algebra/Fall 2017 Polynomials at the Foundations: Rational Coefficients The rational numbers are our first field, meaning that all the laws of arithmetic hold, every number
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationarxiv: v1 [math.ac] 24 Mar 2015
A Note on Darboux Polynomials of Monomial Derivations arxiv:1503.07011v1 [math.ac] 24 Mar 2015 Abstract Jiantao Li School of Mathematics, Liaoning University, Shenyang, 110031, China We study a monomial
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More information(for k n and p 1,p 2,...,p k 1) I.1. x p1. x p2. i 1. i k. i 2 x p k. m p [X n ] I.2
October 2, 2002 1 Qsym over Sym is free by A. M. Garsia and N. Wallach Astract We study here the ring QS n of Quasi-Symmetric Functions in the variables x 1,x 2,...,x n. F. Bergeron and C. Reutenauer [4]
More informationA note on Nil and Jacobson radicals in graded rings
A note on Nil and Jacobson radicals in graded rings arxiv:1301.2835v2 [math.ra] 24 Jan 2013 Agata Smoktunowicz Abstract It was shown by Bergman that the Jacobson radical of a Z-graded ring is homogeneous.
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationCHAPTER 2 POLYNOMIALS KEY POINTS
CHAPTER POLYNOMIALS KEY POINTS 1. Polynomials of degrees 1, and 3 are called linear, quadratic and cubic polynomials respectively.. A quadratic polynomial in x with real coefficient is of the form a x
More informationarxiv: v1 [math.ag] 1 Apr 2013
The characterization of Hermitian surfaces by the number of points arxiv:1304.0302v1 [math.ag] 1 Apr 2013 Masaaki Homma Department of Mathematics and Physics Kanagawa University Hiratsuka 259-1293, Japan
More informationWRONSKIANS AND LINEAR INDEPENDENCE... f (n 1)
WRONSKIANS AND LINEAR INDEPENDENCE ALIN BOSTAN AND PHILIPPE DUMAS Abstract We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationAn irreducibility criterion for integer polynomials
An irreducibility criterion for integer polynomials Anuj Jakhar, Neeraj Sangwan arxiv:1612.01712v1 [math.ac] 6 Dec 2016 anujjakhar@iisermohali.ac.in, neerajsan@iisermohali.ac.in Indian Institute of Science
More informationSection 0.2 & 0.3 Worksheet. Types of Functions
MATH 1142 NAME Section 0.2 & 0.3 Worksheet Types of Functions Now that we have discussed what functions are and some of their characteristics, we will explore different types of functions. Section 0.2
More information1. Vélu s formulae GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES. Josep M. Miret, Ramiro Moreno and Anna Rio
Publ. Mat. 2007, 147 163 Proceedings of the Primeras Jornadas de Teoría de Números. GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES Josep M. Miret, Ramiro Moreno and Anna Rio Abstract
More informationA SURPRISING FACT ABOUT D-MODULES IN CHARACTERISTIC p > Introduction
A SUPISING FACT ABOUT D-MODULES IN CHAACTEISTIC p > 0 JOSEP ÀLVAEZ MONTANE AND GENNADY LYUBEZNIK Abstract. Let = k[x,..., x d ] be the polynomial ring in d independent variables, where k is a field of
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationA note on Derivations of Commutative Rings
A note on Derivations of Commutative Rings MICHAEL GR. VOSKOGLOU School of Technological Applications Graduate Technological Educational Institute (T. E. I.) Meg. Alexandrou 1, 26334 Patras GREECE e-mail:
More informationApplication of Polynomial Interpolation in the Chinese Remainder Problem
Journal of Mathematical Research with Applications Jan., 017, Vol. 37, No. 1, pp. 90 96 DOI:10.3770/j.issn:095-651.017.01.008 Http://jmre.dlut.edu.cn Application of Polynomial Interpolation in the Chinese
More informationTransformations Preserving the Hankel Transform
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 10 (2007), Article 0773 Transformations Preserving the Hankel Transform Christopher French Department of Mathematics and Statistics Grinnell College Grinnell,
More informationarxiv: v1 [math.nt] 3 Jun 2016
Absolute real root separation arxiv:1606.01131v1 [math.nt] 3 Jun 2016 Yann Bugeaud, Andrej Dujella, Tomislav Pejković, and Bruno Salvy Abstract While the separation(the minimal nonzero distance) between
More informationSolving Differential Equations Using Power Series
LECTURE 8 Solving Differential Equations Using Power Series We are now going to employ power series to find solutions to differential equations of the form () y + p(x)y + q(x)y = 0 where the functions
More informationSolving Differential Equations Using Power Series
LECTURE 25 Solving Differential Equations Using Power Series We are now going to employ power series to find solutions to differential equations of the form (25.) y + p(x)y + q(x)y = 0 where the functions
More informationMath 547, Exam 2 Information.
Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationarxiv: v1 [math.cv] 7 Mar 2019
ON POLYNOMIAL EXTENSION PROPERTY IN N-DISC arxiv:1903.02766v1 [math.cv] 7 Mar 2019 KRZYSZTOF MACIASZEK Abstract. In this note we show that an one-dimensional algebraic subset V of arbitrarily dimensional
More informationA CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS
A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS Gregory Tollisen Department of Mathematics, Occidental College, 1600 Campus Road, Los Angeles, USA tollisen@oxy.edu
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationFinite Elements. Colin Cotter. January 18, Colin Cotter FEM
Finite Elements January 18, 2019 The finite element Given a triangulation T of a domain Ω, finite element spaces are defined according to 1. the form the functions take (usually polynomial) when restricted
More informationarxiv: v3 [math.ac] 3 Jul 2012
DAGGER CLOSURE IN REGULAR RINGS CONTAINING A FIELD HOLGER BRENNER AND AXEL STÄBLER arxiv:1103.1786v3 [math.ac] 3 Jul 2012 Abstract. We prove that dagger closure is trivial in regular domains containing
More informationA SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS
J. Austral. Math. Soc. {Series A) 50 (1991), 320-332 A SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS ALICE ANN MILLER (Received 22 May 1989; revised 16 January 1990) Communicated by J. H.
More informationRATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS
RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS TODD COCHRANE, CRAIG V. SPENCER, AND HEE-SUNG YANG Abstract. Let k = F q (t) be the rational function field over F q and f(x)
More informationParity of the Number of Irreducible Factors for Composite Polynomials
Parity of the Number of Irreducible Factors for Composite Polynomials Ryul Kim Wolfram Koepf Abstract Various results on parity of the number of irreducible factors of given polynomials over finite fields
More informationPartial permutation decoding for binary linear Hadamard codes
Partial permutation decoding for binary linear Hadamard codes R. D. Barrolleta 1 and M. Villanueva 2 Departament d Enginyeria de la Informació i de les Comunicacions Universitat Autònoma de Barcelona Cerdanyola
More informationPDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a publisher's version. For additional information about this publication click this link. http://hdl.handle.net/66/449
More informationarxiv: v1 [math.ac] 28 Dec 2007
arxiv:0712.4329v1 [math.ac] 28 Dec 2007 On the value-semigroup of a simple complete ideal in a two-dimensional regular local ring S. Greco Politecnico di Torino Abstract K. Kiyek University of Paderborn
More informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
More informationSOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p
MATHEMATICS OF COMPUTATION Volume 79, Number 269, January 2010, Pages 535 544 S 0025-5718(09)02294-7 Article electronically published on July 22, 2009 SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p NICOLAS
More informationLECTURE 5, FRIDAY
LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we
More informationA FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S
A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI Abstract Keller [9] introduced families of W
More informationCONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING
CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING RYO TAKAHASHI Introduction The notion of a contravariantly finite subcategory (of the category of finitely generated modules)
More informationOn the lifting of the Nagata automorphism
Sel. Math. New Ser. DOI 10.1007/s00029-011-0061-3 Selecta Mathematica New Series Alexei Belov-Kanel Jie-Tai Yu Springer Basel AG 2011 Abstract It is proved that all wild z-automorphisms including the well-known
More informationSign of Permutation Induced by Nagata Automorphism over Finite Fields
Journal of Mathematics Research; Vol. 9, No. 5; October 217 ISSN 1916-9795 E-ISSN 1916-989 Published by Canadian Center of Science and Education Sign of Permutation Induced by Nagata Automorphism over
More informationOn symmetric square values of quadratic polynomials
ACTA ARITHMETICA 149.2 (2011) On symmetric square values of quadratic polynomials by Enrique González-Jiménez (Madrid) and Xavier Xarles (Barcelona) 1. Introduction. In this note we are dealing with the
More informationHAVE STABLE RANGE ONE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 11, November 1996 STRONGLY π-regular RINGS HAVE STABLE RANGE ONE PERE ARA (Communicated by Ken Goodearl) Abstract. AringRis said to be
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationDecomposition of a recursive family of polynomials
Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af
More informationON THE GRAPH ATTACHED TO TRUNCATED BIG WITT VECTORS
ON THE GRAPH ATTACHED TO TRUNCATED BIG WITT VECTORS NICHOLAS M. KATZ Warning to the reader After this paper was written, we became aware of S.D.Cohen s 1998 result [C-Graph, Theorem 1.4], which is both
More informationPositivity of Turán determinants for orthogonal polynomials
Positivity of Turán determinants for orthogonal polynomials Ryszard Szwarc Abstract The orthogonal polynomials p n satisfy Turán s inequality if p 2 n (x) p n 1 (x)p n+1 (x) 0 for n 1 and for all x in
More informationNumerical Analysis: Interpolation Part 1
Numerical Analysis: Interpolation Part 1 Computer Science, Ben-Gurion University (slides based mostly on Prof. Ben-Shahar s notes) 2018/2019, Fall Semester BGU CS Interpolation (ver. 1.00) AY 2018/2019,
More informationAVERAGING THEORY AT ANY ORDER FOR COMPUTING PERIODIC ORBITS
This is a preprint of: Averaging theory at any order for computing periodic orbits, Jaume Giné, Maite Grau, Jaume Llibre, Phys. D, vol. 25, 58 65, 213. DOI: [1.116/j.physd.213.1.15] AVERAGING THEORY AT
More informationISOCHRONICITY FOR TRIVIAL QUINTIC AND SEPTIC PLANAR POLYNOMIAL HAMILTONIAN SYSTEMS
ISOCHRONICITY FOR TRIVIAL QUINTIC AND SEPTIC PLANAR POLYNOMIAL HAMILTONIAN SYSTEMS FRANCISCO BRAUN JAUME LLIBRE AND ANA C. MEREU Abstract. In this paper we completely characterize trivial polynomial Hamiltonian
More informationITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XL 2002 ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES by Joanna Jaroszewska Abstract. We study the asymptotic behaviour
More informationON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM. Zygmunt Wronicz
Opuscula Math. 36, no. 5 (2016), 681 687 http://dx.doi.org/10.7494/opmath.2016.36.5.681 Opuscula Mathematica ON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM Zygmunt Wronicz Communicated by P.A. Cojuhari
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationINVARIANTS OF UNIPOTENT TRANSFORMATIONS ACTING ON NOETHERIAN RELATIVELY FREE ALGEBRAS. Vesselin Drensky
Serdica Math. J. 30 (2004), 395 404 INVARIANTS OF UNIPOTENT TRANSFORMATIONS ACTING ON NOETHERIAN RELATIVELY FREE ALGEBRAS Vesselin Drensky Communicated by V. Brînzănescu Abstract. The classical theorem
More informationHecke Operators, Zeta Functions and the Satake map
Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for
More information