arxiv: v1 [math.ac] 28 Feb 2018

Size: px

Start display at page:

Download "arxiv: v1 [math.ac] 28 Feb 2018"

Darcy Pitts
5 years ago
Views:

1 arxiv: v1 [mathac] 28 Feb 2018 Rings of constants of linear derivations on Fermat rings Marcelo Veloso Ivan Shestakov Abstract In this paper we characterize all the linear C-derivations of the Fermat ring We show that the Fermat ring has linear C-derivations with trivial ring of constants and construct some examples Keywords: Derivations, Fermat ring, ring of constants 2010 AMS MSC: 13N15, 13A50, 16W25 Introduction The present paper deals with C-derivations of the Fermat ring Bn m = C[X 1,,X n ] (X m Xn mn ), where C[X 1,,X n ] is the polynomial ring in n variables over the complex numbers C, n 3, m = (,, ), m i Z and m i 2 for i = 1,,n It is well known the difficulty to describe the ring of constants of an arbitrary derivation (see [1, 3, 4, 5]) It is also difficult to decide if the ring of constants of a derivation is trivial (see [5, 6, 7]) In this work we study the ring of constants of linear derivations of Fermat rings and its locally nilpotent derivations In [5], Andrzej Nowicki presents a description of all linear C-derivations of the polynomial ring C[X 1,,X n ] which do not admit any nontrivial rational constant In a recent paper[1], P Brumatti and M Veloso show that form = (2,,2) the ring Bn m has nonzero irreducible locally nilpotent derivations Furthermore, whenever = =, They show that certain classes of derivations of C[X 1,,X n ] do not induce derivations of Bn m or are not locally nilpotent if they do In this work we obtain some similar results to [1], considering more general Fermat rings We present a description of all the linear C-derivations of Bn m 1

2 when m = (,, ) and m i 3 (Theorem 5) and m = (2,,2) (Theorem 6) We also provide examples of linear derivations of Bn m with trival ring constants The text is organized as follows: Section 1 gathers the basic definitions and notations Further, we discuss several properties of the ring Bn m are discussed and a set of generators for Der(Bn m ) is presented Section 2 is dedicated to the study of the linear derivations of the Fermat ring The set of all locally nilpotent C-derivations of Bn m is studied in Section 3 Finally, Sections 4 and 5 are devoted to the study of the rings of constants of linear derivations of Fermat rings 1 Preliminaries and Some Results In this paper the word ring" means a commutative ring with unit and characteristic zero Furthermore, we denote the group of units of a ring R by R and the polynomial ring in n variables over R by R[X 1,,X n ] A domain is an integral domain An additive mapping D : R R is said to be a derivation of R if it satisfies the Leibniz rule: D(ab) = ad(b) + D(a)b, for all a,b R If A is a subring of R and D is a derivation of R satisfying D(A) = 0 is called D an A-derivation The set of all derivations of R is denoted by Der(R), the set of all A-derivations of R by Der A (R) and by ker(d), the ring of constants of D, that is ker(d) = {a R D(r) = 0} In this paper, the word "derivation" implicitly means a derivation which is C-derivation and therefore we will use the notation Der(B ) to denote Der C (B ) The residue classes of variables X, Y, Z, module an ideal are represented by x, y, z, respectively The symbol C is reserved to indicate the field of complex numbers A derivation D is locally nilpotent if for each r R there is an integer n 0 such that D n (r) = 0 We denote by LND(R) the set of all locally nilpotent derivations of R We say that a element b R is a Darboux element of D Der(R) if b 0, b is not invertible in R and D(b) = λb for some λ R In other words, a nonzero element b of R is a Darboux element of D if, and only if, the principal ideal (b) = {rb r R} is different from R and it is invariant with respect to D, that is D((b)) (b) If b is a Darboux element of D, then every λ R, such that D(b) = λb, is said to be an eigenvalue of b In particular, every element nonzero and noninvertible element belonging to the ring of constants, ker D, is a Darboux element of D If R is a domain and D(b) = λb, then it is easy to see such the eigenvalue λ is unique Lemma 1 Let B where m = (,, ) Then, for each f B, there is a unique F C[X 1,,X n ] such that deg Xn < and f = F(x 1,,x n ) Proof It follows directly from the Euclidean division algorithm by considering the polynomial X m Xn mn as a monic polynomial in X n with coefficients 2

3 in C[X 1,,X n 1 ] Theore ([3, Theorem 4]) If n 5 and m i 2 for all 1 i n, then Bn m is a unique factorization domain We also can write Bn m = C[x 1,,x n ], where x m x mn n = 0 Here x 1, x 2,,x n are the images of X 1, X 2,,X n under the canonical epimorphism C[X 1,,X n ] Bn m An element of form ax m1 1 x mn 1 n 1 or bx m1 1 x mn 1 n 1 x j n, for 1 j 1, is called monomial A nonzero element f C[x 1,,x n ] is said to be homogeneous element of degree k if f is of the form f = i 1+ +i n=k a (i1 i n)x i1 where 1 i n 1 and a (i1 i n) C for all (i 1 i n ) We assume that the zero element is a homogeneous element of any degree Furthermore, we denote by V k the set of all homogeneous elements of degree k Clearly V k is a subspace of B 11 A set of generators for Der(B ) Now we will present a set of generators for the Bn m-module Der(B ) First some notation will be established Given H S = C[X 1,,X n ] and 1 i n, the partial derivative (H) X i is denoted by H Xi For all pairs i, j {1,,n} withi j, we define the derivationd Hij = H Xi H Xj X j X i on S Observe that D Hij (H) = 0 Let A = C[n] I be a finitely generated C-algebra Consider the C [n] -submodule D I = {D Der C (C [n] ) D(I) I} of the module Der C (C [n] ) It is well known that the C [n] -homomorfism ϕ : D I Der C (A) given by ϕ(d)(g+i) = D(g)+I induces a C [n] D -isomorfism of I IDer C (C [n] ) in Der C(A) The Theorem 3 will be needed, its proof can be found in [2,Proposition 1] Theorem 3 Let F C [n] = C[X 1,,X n ] (n 2) be such that {F X1,,F Xn } is a regular sequence in S If there exists a derivation on S such that (F) = αf for some α C, then the C [n] -module D F := {D Der(S) D(F) F C [n] } is generated by the derivation and the derivations D ij = D F ij for i < j Froow on, the derivations D Fij, where F = X m Xn mn, will be denoted by Dij Since m j X mj 1 j if k = i D ij (X k ) = m i X mi 1 i if k = j 0 if k / {i,j} 3

4 so D ij (F) = 0 Then D ij Der(S) induces d ij = m i x mi 1 i m j x mj 1 j x j x i in Der(Bn m ) Consider the derivation E = 1 X 1 X X n X n Note that E satisfies E(F) = F Hence, E Der(S) induces ε = 1 x 1 x x n x n Der(B ) As a consequence of Theorem 3 the following result is obtained: Proposition 4 If F = X m Xn mn then D F := {D Der(S) D(F) F S} is generated by the derivation E and the derivations D ij, i < j In particular the Bn m -module Der(Bn m ) is generated by the derivation ε and by the derivations d ij, for i < j Proof Since { X m1 1,, X mn 1 } is a regular sequence and E(F) = F the result following by Theorem 3 2 Linear derivations This section is dedicated to the study of the linear derivations of the Fermat ring B = C[x 1,,x n ], where x m x mn n = 0 A derivation d of the ring B d(x i ) = is called linear if a ij x j for i = 1,,n, where a ij C The matrix [d] = [a ij ] is called the associated matrix of the derivation d Theorem 5 Let d Der(Bn m ) be linear If m = (,, ) with m i 3 for all i = 1,,n, then its associated matrix [d] is a diagonal matrix and has the following form for some α C α α α 4

5 Proof Let [d] = [a ij ] be the associated matrix of d Then d(x i ) = all i Since x m x mn n = 0, Then, 0 = x m1 1 1 ( Now note that x m1 1 1 ( x m1 1 1 d(x 1 )+ + x mi 1 n d(x n ) = 0 a 1j x j )+ x m2 1 2 ( a 1j x j ) = a 11 (x m1 1 )+ a ij x j, for a 2j x j )+ + x mn 1 n ( j 1 a 1j x j x m1 1 1 = a 11 ( x m2 2 x mn n )+ j 1 a nj x j ) a 1j x j x m1 1 1 (21) and x m2 1 2 ( a 2j x j ) = a 22 x m2 2 + j 2 a 2j x j x m2 1 2 x mn 1 n ( a nj x j ) = a nn x mn n + replacing in the Equation (21) we obtain j n a nj x j x mn 1 n 0 = ( a 22 a 11 )x m ( a nn a 11 )x mn n + n j 2 a 2j x j x m Observe that if m i 3, then j n a nj x j x mn 1 n j 1 a 1j x j x m (22) {x m1 2,,xmn n } {x jx mi 1 i 1 i < j n,} {x j x mi 1 i 1 j < i n} is a linearly independent set over C Thus, we conclude that a nn = = a 22 = a 11 = α and a ij = 0 if i j, 5

6 ie { 0 if i j a ij = α m i if i = j This theorem shows that form = (,, ) andm i 3 linear derivations of B2 m are what is called diagonal derivations The next result characterizes linear derivations of Bn m whenever m = (2,,2) Previously, remember that a square matrix with complex elements A is said to be skew-symmetric matrix if A T = A (here A T stands, of course, for the transpose of the matrix A) Theorem 6 Let d Der(B ) be linear If m = (2,,2), then there exist a scalar derivation d α ([d α ] is a scalar matrix) and a skew-symmetric derivation d s ([d s ] a skew-symmetric matrix) such that d = d α +d s This decomposition is unique Proof Let d Der(B ) be a linear derivation and A = [a ij] its associated matrix Using the same arguments used in Theorem 5 we obtain 0 = (a 22 a 11 )x (a nn a 11 )x 2 n + i<j(a ij +a ji )x i x j Since the set {x 2 2,,x2 n } {x ix j ; 1 i < j n} is linearly independent over C, it follows that a 11 = a 22 = = a nn = α and a ij = a ji if i < j, then its associated matrix [d] has the following form α a 12 a 1n a 12 α a 2n a 1n a 2n α where α,a ij C Now define d α by d α (x i ) = αx i, i = 1,,n and d s = d d α 3 Locally Nilpotent Derivations In this section we proof that the unique locally nilpotent derivation linear of Bn m for m = (,, ) and m i 3 is the zero derivation Further, we show that a certain class of derivations ofc[x 1,,X n ] do not induce nonzero locally nilpotent derivation of Bn m Let S = C[n] I be a finitely generated C-algebra Consider the C [n] -submodule D I = {D Der C (C [n] ) D(I) I} of the module Der C (C [n] ) It is well known 6

7 that the C [n] -homomorfism ϕ : D I Der C (S) given by ϕ(d)(g+i) = D(g)+I induces a C [n] D -isomorfism of I IDer C (C [n] ) in Der C(S) From this fact the following result is obtained Proposition 7 Let d be a derivation of the B If d(x 1) = a C and for each i, 1 < i n, d(x i ) C[x 1,,x i 1 ], then d is the zero derivation Proof Let F be the polynomial X m Xn mn We know that exists D Der(C [n] ) such that D(F) FC [n] and that d(x i ) = D(X i ) + FC [n], i Thus D(X 1 ) a FC [n], and for each i > 1 there exists G i = G i (X 1,,X i 1 ) C[X 1,,X i 1 ] such that D(X i ) G i FC [n] Since D(F) = m i X mi 1 i D(X i ) FC [n] and i=1 D(F) = i=1 where G 1 = a, we obtain m i X mi 1 i (D(X i ) G i )+ i=1 for all i Thus d is the zero derivation i=1 m i X mi 1 i G i, m i X mi 1 i G i FC [n] and then obviously G i = 0 Lemma 8 Let d be a linear derivation of B and [a ij ] its associated matrix Then d is locally nilpotent if and only if [a ij ] is nilpotent Proof The following equality can be verified by induction over s d s (x 1 ) d s (x n ) = [a ij ] s x 1 x n (33) We know that d is locally nilpotent if and only if there exists r N such that d r (x i ) = 0 for all i As {x 1,,x n } is linearly independent over C by the (33), the result follows Theorem 9 If d LND(B ) is linear and m = (,, ) wich m i 3, then d is the zero derivation Proof Since d is locally nilpotent, [d] is nilpotent (by Lemma 8) and diagonal (by Theorem 5) Thus, the matrix [d] is null and d is the zero derivation In the case m = (2,,2), linear locally nilpotent derivations of the ring were characterized as follows B Theore0 [1, Theore] If d Der(Bn m ) is linear and m = (2,,2), then d LND(Bn 2 ) if, and only if, its associated matrix is nilpotent and skewsymmetric 7

8 4 Ring of constants In this section we show that the ring of constants of all nonzero linear derivations of B, where m = (,, ) and m i 3, is trivial, that is ker(d) = C During all this section we always consider m = (,, ) with m i 3 The next result ensures the existence of Darboux elements for every nonzero linear derivation of B Proposition 11 Let d be a nonzero linear derivation of B If d(x i) = α m i x i, i = 1,,n, for some α C, then f = bx i1 is a Darboux element of d, d(f) = λf, and Proof Let f = bx i1 Then ( i1 λ = α + i i n d(f) =d(bx i1 ) =bd(x i1 1 xin =b i k x i1 1 xi k 1 =b =αb =bα =λf k=1 n ) k i k x i1 1 xi k 1 k=1 k=1 k i k x i1 1 m xin n k ) x in n d(x k ) x in n ( i1 + i i n ( ) α x k m k ) x i1 Corollary 12 Let d be a nonzero linear derivation of Bn m If f is a homogeneous element of degree k, then f is a Darboux element of Bn m with eigenvalue λ = k m Proof Letf = i 1+ +i n=k k, where 0 i n < m and a (i1 i n) C a (i1 i n)x i1 be a homogeneous element of degree 8

9 d(f) =d = = = ( i 1+ +i n=k i 1+ +i n=k i 1+ +i n=k a (i1 i n)x i1 a (i1 i n)d(x i1 ) a (i1 i n) a (i1 i n) m xi1 i 1+ +i n=k = k m =λf ( i 1+ +i n=k ) ( i1 m + i 2 m + + i ) n x i1 1 m xin n k a (i1 i n)x i1 ) The main result this section is: Theore3 Let d be a nonzero linear derivation of Bn m Then ker(d) = C Proof By Theorem 5, d(x i ) = α m i x i for i = 1,,n and α C Since d 0, so α 0 Let0 f Bn m such thatd(f) = 0 Thusf = b (i1,,i n)x i1 where 0 b (i1,,i n) C for all (i 1,,i n ) I Then 0 = d(f) = b (i1 i n)d(x i1 1 xin = b (i1 i n)α n ) ( i1 + i i n (i 1,,i n) I ) x i1 It follows from Lemma 1 that b (i1 i n)α( i1 + i2 + + in ) 0 for all (i 1,,i n ) I, because b (i1 i n)α 0 for all (i 1,,i n ) I So i1 + i2 + + in = 0 for all (i 1,,i n ) I This implies that (i 1,,i n ) = (0,,0) for all (i 1,,i n ) I Therefore f C Theore4 Let d Der(Bn m ) be given by d(x i ) = α m i, i = 1,,n, for some α C If f = a (i1,,i n)x i1 (i 1,,i n) I is a darboux element of d, this is, d(f) = λf for some λ Bn m, then λ = α( i1 + i2 + + in ) for all (i 1,,i n ) I 9

10 Proof Let f = a (i1,,i n)x i1 It follows from Theorems 13 and 5 that d(f) = a (i1 i n)b (i1i n)x i1 (i 1,,i n) I where b (i1 i n) = α( i1 + i2 + + in ) C Then a(i1 i n)b (i1i n)x i1 = d(f) = λf = λa (i1 i n)x i1 So a (i1i n)b (i1 i n) = λa (i1i n) for all (i 1,,i n ) I, by Lemma 1 Therefore λ = b (i1i n) = α( i1 + i2 + in ) for all (i 1,,i n ) I 5 The case m = (2,,2) In this section we focus on the Fermat rings B = C[X 1,,X n ] (X X2 n), + where m = (2,,2) and n 3 For simplicity we denote Bn m by Bn 2 We study linear derivations of Bn 2, their rings of constants, and we show how to construct examples of linear derivations with trivial ring of constants The next result will be useful for this purpose Proposition 15 Let d be a nonzero linear derivation of Bn m, with d = d α +d s, where d α is the scalar derivation and is skew-symmetric derivation Let d α definid by d α (x i ) = αx i for i = 1,,n and α C If f Bn 2 is homogeneous element of degree k then d(f) = λf if, and only if, d s (f) = (λ kα)f Proof It is easy to see that d α (f) = kaf Suppose that d(f) = λf Then Hence, λf = d(f) = d α (f)+d s (f) = αkf +d s (f) Now suppose d 1 (f) = (λ ka)f Then d s (f) = (λ kα)f d(f) = d α (f)+d s (f) = kαf +(λ kα)f = λf Corollary 16 Let d = d α + d s be a nonzero linear derivation of B 2 n, where d α is the scalar derivation and d s is skew-symmetric derivation If f B 2 n is homogeneous element of degree k then d(f) = 0 if, and only if, d s (f) = kαf 10

11 Proof Consider λ = 0 in Proposition 15 The next Theorem shows that every skew-symmetric derivation has a nontrivial ring of constants and every nonzero scalar derivation has trivial ring of constants Theore7 Let d = d α +d s be a nonzero linear derivation of B 2 n, where d α is the scalar derivation and d s is skew-symmetric derivation Then 1 If d s is zero the derivation, then ker(d) = ker(d α ) is trivial 2 If d α is the zero derivation, then ker(d) = ker(d s ) is nontrivial Proof 1) Observe that d α (f) = kaf for all homogeneous element of degree k and d α (V k ) V k 2) It suffices to prove that there isf B 2 n such thatd s (f) = 0 andf C Let f a homogeneous element of degree 2 of B 2 n, then f = XAXT where A = [a ij ] is a symmetric matrix and X = (x 1,,x n ) Observe that for B = [d s ] we have d(f) = d(xax T ) =(XB)AX T +XA(XB) T =XBAX T +XA( BX T ) =XBAX T XABX T =X(BA AB)X T If B 2 0 consider the symmetric matrix B 2 It follows from the above remark that for f = XB 2 X T we have d s (f) = 0 and f C, because A = B 2 0 If B 2 = 0, then λ = 0 is eigenvalue of B and B T In this case, choose a nonzero element f = a 1 x 1 + +a n x n such that the nonzero vector (a 1,,a n ) T is an eigenvector of B T So d(f) = 0 and f C Therefore, ker(d s ) C We also show that there are linear derivations with d α 0, d s 0, and trivial ring of constants Theore8 Let d s be a nonzero skew-symmetric derivation of B 2 n Then exists a scalar derivation d α of B 2 n such that the derivation d = d α+d s satisfies ker(d) = C Proof First note that the vector space V k (the set of homogeneous elements of degree k of B 2 n) is invariant with respect to d s Hence d s (f) = 0 if only if d s (f k ) = 0 for all homogeneous components f k of f As a consequence of this fact we assume that f is a homogeneous element of degree k Let α be a nonzero complex number that satisfies the conditions 1 α / Spec(d s ), 2 for all positive integer k, kα / Spec(d s V k ) 11

12 This number exists because C is uncountable and the set of the numbers that satisfies 1) and 2) are countable Let α be a number that satisfies the conditions 1) and 2), then d s (f) αf and d s (f) kαf, for all f / C and for all positive integer k Let d α be a scalar derivation defined by d α (x i ) = αx i, i = 1,,n Finally, by considering the derivation d = d α +d s, we show that ker(d) = C In order to do that, if g Bn 2 is a nonzero homogeneous element of degree k, then d(g) = 0 if, and only if, d s (g) = kαg, by Corollary 16, which implies k = 0 Therefore, g C We now provide and explicit example of such derivation: Example 19 Let d = d 1 +d s be the linear derivation of B3 2 = C[x,y,z] given by [d] = [d 1 ]+[d s ] = = We claim that ker(d) = C To be more precise, let V k be the set of all homogeneous elements of degree k in C[y,z] The set is a basis for V k The matrix [d V k ] = S k = {y k,y k 1 z,,yz k 1,z k } k k k (k 1) k 0 (k 2) k k k k k k is the matrix the linear derivation d restrict to subspace V k in the basis S k It is easy check that Det([d V k ]) 0 for all k 1, by the principle of induction Then d(f) 0 for all homogeneous elements of degree k 1 Therefore, ker(d) = C Theore0 Let d = d α +d s be a nonzero linear derivation of B 2 n, where d α is a scalar derivation and d s is a skew-symmetric derivation If d s is a locally nilpotent derivation then ker(d) = C, for all nonzero scalar derivation d α Proof Let 0 f Bn 2 such that d(f) = 0 It suffices to show that f C We may assume that f is a nonzero homogeneous element of degree k, because V k is invariant byd Letmbe the smallest positive integer such thatg = d m 1 s (f) 0 and d m s (f) = 0, this m exists because d s is a locally nilpotent derivation This 12

13 implies that g is a nonzero homogeneous element of degree k, because V k is invariant by d One easily verifies that d α d s = d s d α and dd s = d s d Note that d(g) = d α (g)+d s (g) = kαg, because g is an homogeneous element of degree k and d m s (f) = 0 Now observe that d(g) = d(d m 1 s (f)) = d m 1 s (d(f)) = d m 1 s (0) = 0 We thus get kαg = 0 And so k = 0 Therefore, f C To conclude this section we construct two families of examples which illustrate this theorem Example 21 Let n 3 be an odd number and d s a linear derivation of Bn 2 defined by the skew-symmetric matrix n n i [d s ] = i 1 i 1 i 0 It is easy to check that [d s ] 3 = 0, which implies that [d s ] is nilpotent Then d s is a locally nilpotent linear derivation of B 2 n, by Theore0 Now consider the linear derivation d = d 1 +d s, where d 1 (x i ) = x i for i = 1,,n It follows from Theore0 that ker(d s ) = C Example 22 Let n 4 be an even number and ε C a primitive (n 1)-th root of unity Set d s a linear derivation of Bn 2 by the skew-symmetric matrix n n ε [d s ] = ε k ε n 2 1 ε ε k ε n 2 0 Again, [d s ] is nilpotent ([d e ] 3 = 0) Thus, d s is a locally nilpotent derivation of B 2 n, by Theore0 Now considering the linear derivation d = d 1 +d e, where d 1 is the same as in the previous example, we conclude that ker(d s ) = C, by Theore0 Remark: In the Example 19 it easy see that [d s ] is not nilpotent and, consequentlyd s is not locally nilpotent (Theorem10) This shows thatd s locally nilpotent is not a necessary condition in Theore0 for ker(d α +d s ) = C 13

14 References [1] P Brumatti and M Veloso, On locally nilpotent derivations of Fermat Rings, Algebra and Discrete Mathematics 16 (1), 33 41, (2013) [2] P Brumatti and M Veloso, A note on Nakai s conjecture for the ring, Colloquium Mathematicu23 (2), , (2011) K[X 1,,X n] (a 1X 1 + +a nxn mn ) [3] D Fiston and S Maubach, Constructing (almost) rigid rings and a UFD having infinitely generated Derksen and Makar-Limanov invariant, Canadian Mathematical Bulletin 53 (1), 77-86, (2010) [4] G Freudenberg, Algebraic Theory of Locally Nilpotent Derivations, Encyclopaedia of Mathematical Sciences 136, Springer-Verlag Berlin Heidelberg, (2006) [5] A Nowicki, On the nonexistence of rational first integrals for systems of linear differential equations, Linear Algebra and Its Applications 235, , (1996) [6] J M Ollagnie and A Nowicki, Derivations of polynomial algebras without Darboux polynomials, Journal of Pure and Applied Algebra 212, , (2008) [7] J Zielinski, Rational Constants of Generic LV Derivations and of Monomial Derivations, Bulletin of the Polish Academy of Sciences Mathematics 61, Issue: 3, , (2013) 14

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.