HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS

Size: px
Start display at page:

Download "HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS"

Transcription

1 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS DANIEL DAIGLE The first section of this text is a survey of Hilbert s Fourteenth Problem. However the reader will quickly realize that the survey is somewhat biased, as more attention is given to the questions pertaining to derivations than to those having to do with algebraic group actions. In fact the aim is to arrive quickly at destination, namely, the following special case of Hilbert s question: ( ) If D is a locally nilpotent derivation of a polynomial ring k[x 1,..., X n ], where k is a field of characteristic zero, is ker(d) finitely generated as a k-algebra? Also, we will not pay much attention to the historical aspect but will make a serious effort to explain the logical organization of the various subcases of the problem. The question addressed by the second section can be phrased as follows: Which subalgebras of k[x 1,..., X n ] are kernels of locally nilpotent derivations? In this perspective, the question whether these algebras are finitely generated (that is, question ( )) is only one aspect of the problem. We shall discuss this question for small values of n, and in particular for n = 3, in which case these algebras are known to be finitely generated. Throughout, k is a field and R = k [n] (which means that R is a polynomial ring in n variables over k). The field of fractions of a domain A is denoted Frac A, and Frac(k [n] ) is denoted k (n). If A is a ring, A denotes its group of units. 1. A biased survey of Hilbert s Fourteenth Problem Let k be a field and R = k [n]. In Hilbert s famous paper [21] proposing 23 mathematical problems, the 14th item of the list is the following: H14. If K is a field such that k K Frac(R), is K R finitely generated as a k-algebra? We begin by stating five special cases of this problem. The first three are concerned with group actions and invariants, and the other two with derivations and rings of constants. Group Actions If A is an affine k-domain and H is a subgroup of Aut k (A), define a k-subalgebra A H of A (called the ring of invariants) by: (1) A H = { a A h H h(a) = a }. 1

2 2 DANIEL DAIGLE It is immediate that Frac(A H ) A = A H (the intersection being taken in Frac A), so if A = k [n] then the question whether A H is finitely generated is a special case of H14. Suppose now that G is an algebraic group acting on an affine algebraic variety V = Spec A. Since each element of G determines an automorphism of V and hence an automorphism of A, the action determines a subgroup G of Aut k (A) in a natural way and one defines the ring of invariants A G of the action by: A G = A G where A G is defined in (1). This leads to the following special case of H14 (where GA refers to group actions ): H14-GA. If G is an algebraic group acting algebraically on A n = Spec R, is R G finitely generated as a k-algebra? We shall mention two special cases of H14-GA but first we need some definitions. Recalll that R = k [n]. By a coordinate system of R we mean an ordered n-tuple γ = (X 1,..., X n ) of elements of R such that R = k[x 1,..., X n ]. Choosing a coordinate system γ determines an embedding GL n (k) Aut k (R) whose image we shall denote GL γ n (k). Suppose that G is an algebraic group acting on A n = Spec R and consider the corresponding subgroup G of Aut k (R) as before. If there exists a coordinate system γ of R such that GL γ n (k) G, we say that G acts by linear automorphisms. 1 So we may consider the following special case of H14-GA: H14-LinGA. If G is an algebraic group acting algebraically on A n = Spec R by linear automorphisms, is R G finitely generated as a k-algebra? This problem was Hilbert s motivation for H14 and, for that reason, is sometimes referred to as the Original 14th Problem. However we stress that the problem that Hilbert proposed in paper [21] was H14, not H14-LinGA (so original refers to the origin of the problem, not to its authenticity as a member of Hilbert s list). The second special case of H14-GA which we consider is: H14-ConnGA. If G is a connected algebraic group acting algebraically on A n = Spec R, is R G finitely generated as a k-algebra? However we note that H14-ConnGA and H14-GA are equivalent, by virtue of the following: 1.1. Lemma. Let G be an algebraic group acting algebraically on A n = Spec R, and let G 0 be the connected component of G containing the identity. Then R G is finitely generated over k R G 0 is finitely generated over k. Proof. Consider the inclusions k R G R G 0. As G 0 has finite index in G it follows that R G 0 is integral over R G. Moreover, R G = Frac(R G ) R is an intersection of normal domains, and so is normal; similarly, R G 0 is normal. The desired conclusion follows from these observations together with finiteness of integral closure. 1 In this situation one also says that the group action is linearizable.

3 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS 3 It also follows from 1.1 that H14-GA has an affirmative answer whenever G is a finite group (G 0 is the trivial group, so R G 0 is finitely generated, so R G is finitely generated by 1.1). There are other cases where H14-GA is known to have an affirmative answer, for instance when G is reductive, or in the special case G = G a of H14-LinGA, but we shall not discuss this (some details can be found in [19]). Derivations Let R = k [n] where k is a field of characteristic zero. If A is a k-domain and D : A A a k-derivation then ker D = { x A Dx = 0 } is a k-subalgebra of A and Frac(ker D) A = ker D. So the following is a special case of H14: H14-Der. If D : R R is a k-derivation, is ker D finitely generated as a k-algebra? and of course the following is a special case of H14-Der: H14-LND. If D : R R is a locally nilpotent derivation, is ker D finitely generated as a k-algebra? Recall that a derivation D : R R is locally nilpotent if for each f R there exists N > 0 (depending on f) such that D N (f) = 0. Consider the algebraic group G a (which can be identified with (k, +) when k is algebraically closed). It is well-known that each locally nilpotent derivation D : R R determines an algebraic action of G a on A n satisfying R Ga = ker D, and that all G a -actions on A n are obtained in this way. Thus H14-LND can also be viewed as the special case G = G a of H14-ConnGA. Moreover, Nowicki [28] showed that H14-ConnGA is a special case of H14-Der. We explain this. Let A B be integral domains. An element b B is algebraic over A if there exists a nonzero polynomial f(t ) A[T ] such that f(b) = 0 (where f(t ) is not required to be monic). If the elements of A are the only elements of B which are algebraic over A, we say that A is algebraically closed in B. The following are Theorems 5.4 and 6.4 of [28]. In both statements, k is an arbitrary field of characteristic zero; in the second result, R = k [n] Theorem (Nowicki, 1994). For a subalgebra A of an affine k-domain B, the following are equivalent: (a) A is the kernel of some k-derivation D : B B (b) A is algebraically closed in B Theorem (Nowicki, 1994). If G is a connected algebraic group acting on A n = Spec R, then R G is algebraically closed in R (and hence R G = ker D for some k- derivation D : R R). Remark. As far as this author knows, the following is an open question: If A is the kernel of some k-derivation of R = k [n], does there exist an algebraic group action on A n such that A = R G?

4 4 DANIEL DAIGLE So we have the following hierarchy of special cases of H14: H14 H14-GA 1.1 H14-Der 1.3 H14-ConnGA H14-LinGA H14-LND Status of H14 The last open cases of H14 and H14-Der have been settled by Kuroda in 2005, but the other cases (H14-GA, H14-LinGA and H14-LND) are still open. The present subsection briefly describes the situation concerning H14, and the next one discusses H14-LND and H14-Der. According to a comment by Nagata in [27], no contribution to H14 was made until 1953 when Zariski obtained the following: Zariski s Theorem (cf. [34]). Let A be a normal affine domain over a field k and let K be a field such that k K Frac A. If trdeg(k/k) 2, then K A is finitely generated as a k-algebra. So H14 has an affirmative answer whenever trdeg(k/k) 2. Having obtained this result, Zariski proposed a generalised version of H14 in which R would be any normal affine k-domain. In 1957 Rees [30] gave a counterexample to that generalized problem, but this was not a counterexample to H14. However Rees idea to use symbolic blowup of prime ideals would eventually be revisited by others and give rise to important developments (notably 1.5, below). The first counterexamples to H14 were found by Nagata, and were in fact counterexamples to H14-LinGA (which he calls the original 14-th problem). In particular, one example given in [27] implies: 1.4 (Nagata, 1959). Let k be a field (of any characteristic) whose transcendence degree over the prime field is at least 48. Then there exists an algebraic group G acting algebraically on R = k [32] by linear automorphisms such that R G is not finitely generated over k. Moreover, K = Frac(R G ) has transcendence degree 4 over k. The next counterexamples to H14 were found 30 years later by Roberts, and imply the following statement: 1.5 (Roberts 1990, [32]). Let k be a field of characteristic zero and R = k [7]. Then there is a field K such that k K Frac R, trdeg(k/k) = 6 and K R is not finitely generated.

5 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS 5 This reignited the interest in the subject and, in the following years, several authors contributed counterexamples. However in all cases K had transcendence degree at least 4, and in fact the case trdeg(k/k) = 3 of H14 remained completely open until Kuroda found several counterexamples in In particular: 1.6 (Kuroda, [25]). Let k be a field of characteristic zero and e 3 an integer. Then there exists a field K such that k K k(x, Y, Z), [k(x, Y, Z) : K] = e and K k[x, Y, Z] is not finitely generated. An easy consequence of 1.6 is: 1.7. Corollary. Let k be a field of characteristic zero, 3 d n integers, R = k [n]. Then there exists a field K such that k K Frac(R), trdeg(k/k) = d and K R is not finitely generated as a k-algebra. Zariski s Theorem and 1.7 settle H14, in the narrow sense that for every pair of integers n d 0 we know whether or not there exists a counterexample (to H14) with R = k [n] and trdeg(k/k) = d. However, we understand very little of the problem! Status of H14-Der and of H14-LND Throughout this subsection, k is any field of characteristic zero. From Zariski s Theorem and the elementary fact that the kernel of a derivation of R = k [n] is algebraically closed in R, one immediately obtains: 1.8. Corollary. If R = k [n] with n 3, then the kernel of any k-derivation D : R R is a finitely generated k-algebra. Kuroda [24] constructed some examples in 2005 showing that there exists a k- derivation of k [4] whose kernel is not finitely generated as a k-algebra (note that Kuroda s derivation is not locally nilpotent). From this and Nowicki s result 1.2, it is easy to derive the following statement: 1.9. Corollary. Given integers n > d 3, there exists a k-derivation of k [n] whose kernel has transcendence degree d over k and is not finitely generated. By 1.8 and 1.9, H14-Der is settled (in the narrow sense that we have already explained). Before discussing the status of H14-LND, we make two remarks. So far we have been parametrizing Hilbert s Problem by the pair (n, d), where R = k [n] and d = trdeg(k/k), but here the reader should note that if D 0 is a locally nilpotent derivation of k [n] then ker D has transcendence degree n 1 over k. In other words, H14-LND depends on n alone. Let R = k[x 1,..., X n ] = k [n] and recall that a k-derivation D : R R is triangular if DX i k[x 1,..., X i 1 ] holds for all i. Our second remark is that triangular derivations have the following (well-known and elementary) property: If D : R R is triangular then it is locally nilpotent and moreover ker D contains a variable of R,

6 6 DANIEL DAIGLE where by a variable of R we mean an element f R for which there exist f 2,..., f n satisfying R = k[f, f 2,..., f n ]. The first counterexamples to H14-LND were obtained by A Campo-Neuen [1] and Deveney and Finston [15], by showing that Robert s counterexamples 1.5 to H14 were in fact kernels of locally nilpotent derivations of k [7]. So the case n = 7 of H14-LND has a negative answer, and so does the case n = 6 by an example of Freudenburg [18]. Then Freudenburg and this author gave the following example in [9]: Let R = k[a, b, x, y, z] = k [5] and define a k-derivation D : R R by D = a 2 + (ax + b) x y + y z. Then ker D is not finitely generated as a k-algebra. Note that D (in 1.10) is triangular, hence locally nilpotent. The current status of H14-LND can be summarized by: H14-LND has an affirmative answer when n 3 (by 1.8), it follows from 1.10 that, for each n 5, there exists a locally nilpotent derivation of k [n] whose kernel is not finitely generated. The case n = 4 of H14-LND is still open, and is quite interesting. Freudenburg and this author gave the following results in [11] and [10]: The kernel of any triangular derivation of k [4] is finitely generated Given m N, there exists a triangular derivation of k [4] whose kernel cannot be generated by fewer than m elements. Result 1.11 is particularly interesting if one remembers that D in 1.10 is a triangular derivation of k [5]. We point out that 1.11 was obtained in [11] as a corollary of the case A = k [1] of the following result (also proved in [11]): Theorem. If A is a k-affine Dedekind domain then the kernel of any triangular A-derivation of A [3] is finitely generated as a k-algebra. In unpublished work, Bhatwadekar showed that 1.13 remains valid (with almost the same proof, modulo some clever observations) if the word triangular is replaced by locally nilpotent. This gives the following improved versions (due to Bhatwadekar) of 1.13 and 1.11: Theorem. If A is a k-affine Dedekind domain then the kernel of any locally nilpotent A-derivation of A [3] is finitely generated as a k-algebra Corollary. Let D : R R be a locally nilpotent derivation, where R = k [4]. If ker D contains a variable of R, then ker D is finitely generated as a k-algebra. Regarding 1.13 and , one should note that the hypothesis that dim A = 1 is important: if A = k [2] then (by 1.10) there exists an A-triangular derivation of A [3] whose kernel is not finitely generated. Not all locally nilpotent derivations D of R = k [4] have the property that ker D contains a variable of R (cf. [17]); so it is still not known whether or not there exists a locally nilpotent derivation of k [4] whose kernel is not finitely generated.

7 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS 7 Status of H14-GA and of H14-LinGA Much could be said here, but we limit ourselves to the following utterly incomplete remarks. Freudenburg [20] gave a counterexample to H14-LinGA with n = 11; this appears to be the lowest dimension for which a counterexample is known, and the question remains open for 5 n 10. By Zariski s Theorem, 1.1 and 1.3, H14-GA has an affirmative answer whenever n 3; by 1.10, it has a negative answer when n 5. As far as this author knows, the case n = 4 is open (see also the remark after 1.3). 2. Kernels of locally nilpotent derivations Throughout this section, R = k [n] where k is an arbitrary field of characteristic zero. We shall discuss the following question: ( ) Which subalgebras of R are kernels of locally nilpotent derivations D : R R? It is convenient to introduce a notation: if B is a ring, we define klnd(b) = { ker D Then the question ( ) under consideration is: D : B B is a locally nilpotent derivation 2.1. Problem. Describe the set klnd(r), where R = k [n]. other than the zero derivation }. Hilbert s Problem H14-LND asks whether each element of klnd(r) is finitely generated as a k-algebra, which is one aspect of 2.1. There is good motivation for Problem 2.1. Solving it would immediately lead to a description of all locally nilpotent derivations of k [n], which is equivalent to describing all G a -actions on A n (note that Problem 2.1 asks for a classification of the algebraic quotient maps A n A n //G a ). Also, the subgroup E of Aut k (R) generated by the set { exp(d) D : R R is a locally nilpotent derivation } is in fact normal, E Aut k (R), and is thought to be essentially all of Aut k (R) (it is conjectured that Aut k (R) is generated by E and the linear automorphisms); so one hopes that progress in 2.1 would lead to progress in the understanding of automorphisms of k [n]. As another motivation, observe that any subalgebra A of R satisfying R = A [1] is an element of klnd(r); so this is closely related to the Cancellation Problem, which asks: if A is a subalgebra of R = k [n] such that R = A [1], does it follow that A = k [n 1]? In what follows we sometimes refer to the fact that the group Aut k (R) acts on the set klnd(r); the action is the obvious one: if θ Aut k (R) and A klnd(r) then θa := θ(a). Also, it is good to keep in mind the following fact, valid for all n 1: Let R = k [n] and let A klnd(r). Then Frac A A R = (Frac A) [1]. Consequently, Frac A is stably rational: (Frac A) (1) = k (n).

8 8 DANIEL DAIGLE We shall now make a few very basic comments on Problem 2.1 for small values of n. The case n = 3 will be elaborated afterwards The case n = 1 of 2.1 is trivial: klnd(k [1] ) = {k} The case n = 2 is not trivial, but is solved: Rentschler proved in [31] that if A klnd(r) where R = k [2], then there exist X, Y such that R = k[x, Y ] and A = k[x]. Thus, if R = k [n] with n {1, 2}, each element A klnd(r) satisfies (2) A = k [n 1] and R = A [1]. It follows that Aut k (R) acts transitively on klnd(r) when n Case n = 3. By a theorem of Miyanishi [26], each A klnd(k [3] ) satisfies A = k [2] (which is a great improvement over 1.8); in other words, the first part of (2) is still valid. However the second part fails, as one can prove: If n 3 then the action of Aut k (R) on klnd(r) is not transitive, and the set of orbits has cardinality k Case n = 4. Here, it is no longer the case that any two elements of klnd(r) are isomorphic to each other; indeed, one can show: If n 4 then { [A] A klnd(r) } is an infinite set, where [A] denotes the isomorphism class of the the k-algebra A. However, Deveney and Finston [14] showed that (if k = C) the field of fractions of any element of klnd(k [4] ) is k (3). It is not known whether every A klnd(k [4] ) is finitely generated over k, as we saw in the first section. Moreover, one knows examples of kernels A klnd(r) (where R = k [4] ) such that R is not a flat A-module (in contrast with the case n 3, where R is always a faithfully flat A-module; cf. 2.2) If n 5 then some elements of klnd(r) are not finitely generated. The question whether A klnd(k [n] ) implies Frac A = k (n 1) is open, as far as this author knows (however (Frac A) (1) = k (n) is always true). We summarize the above discussion with the following table: For all A klnd(r) n = A = k [n 1] and R = A [1] yes yes a no no no A = k [n 1] yes yes yes b no no Frac A = k (n 1) yes yes yes yes c? A is finitely generated yes yes yes? no a Rentschler 1968, [31]. b Miyanishi 1985, [26]. c Deveney and Finston 1994, [14].

9 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS 9 The case n = 3 We now restrict ourselves to the problem of describing klnd(r) when R = k [3] (and where k is any field of characteristic zero). Although this is still far from being understood, many partial results are known and there is steady progress, for instance: 2.2. Theorem (Bonnet 2002, [2]). If A klnd(r) then the morphism Spec R Spec A, determined by the inclusion A R, is surjective. Furthermore, R is faithfully flat as an A-module Theorem (Kaliman 2002, [22]). A fixed point free G a -action on A 3 is a translation There has been significant progress also in the homogeneous case of the problem. Given a positive grading g of R (that is, an N-grading R = i N R i satisfying R 0 = k), one considers the set klnd(r, g) of kernels of g-homogeneous locally nilpotent derivations of R; the problem then is to describe klnd(r, g) for each positive grading g. Early work on this question was done in [4], [5], and a geometric version of the problem was solved in [12], [13]. Although we cannot claim to have a complete solution, work in progress [8] describes klnd(r, g) to a large extent. For instance we will mention below that certain conjectures have been proved in the homogeneous case; the proofs are in [8]. We note that [8] makes crucial use of [12], [13]. Local slice construction. In the homogeneous case as well as in the general case, the main hope is to obtain a description of klnd(r) in terms of the local slice construction (LSC). The LSC is a method, introduced by Freudenburg in [16], for modifying a kernel. That is, given a kernel A klnd(r) and a parameter σ (which has to be chosen in a certain set), the process constructs a new element lsc(a, σ) of klnd(r) distinct from A. One says that A = lsc(a, σ) is obtained from A by local slice construction. We recall the definition of lsc(a, σ) in 2.7, below, but first we need a notation If A klnd(r) then, up to multiplication by an element of k, there exists a unique locally nilpotent derivation A : R R which satisfies (i) ker( A ) = A; and (ii) A is irreducible, i.e., the only principal ideal of R which contains A (R) is R itself. Concretely, A can be obtained as follows: choose X, Y, Z such that R = k[x, Y, Z] and (cf ) choose f, g such that A = k[f, g]; then for any h R define A (h) = (f,g,h) (X,Y,Z). (The fact that this jacobian derivation coincides with A is proved in [3].) 2.6. Definition. Given A klnd(r), let Σ A be the set of ordered triples (f, g, s) of elements of R satisfying A = k[f, g] and A (s) = αg for some α k[f] \ {0}. The following is essentially Theorem 2 of [16] Theorem and definition. Suppose that A klnd(r) and σ = (f, g, s) Σ A. (a) There exists an essentially unique irreducible polynomial in two variables Φ(U, V ) k[u, V ] such that Φ(f, s) gr.

10 10 DANIEL DAIGLE (b) If we define g = Φ(f, s)/g R, then there exists a unique element A klnd(r) such that k[f, g ] A. Moreover, A A. In this situation, we define lsc(a, σ) = A Note that in 2.7 we have f A A Examples (cf. Section 4.2 of [16]). Fix X, Y, Z such that R = k[x, Y, Z] and let s = X 3 + XY Z Y 3. Let A 1 = k[h 0, H 1 ] klnd(r), where H 0 = Y and H 1 = X, and let σ 1 = (H 1, H 0, s); then σ 1 Σ A1 and lsc(a 1, σ 1 ) = k[h 1, H 2 ] where H 2 = XZ Y 2. Let A 2 = k[h 1, H 2 ] and σ 2 = (H 2, H 1, s), then σ 2 Σ A2 and lsc(a 2, σ 2 ) = k[h 2, H 3 ], where H 3 = X 5 + 2X 3 Y Z 2X 2 Y 3 + X 2 Z 3 2XY 2 Z 2 + Y 4 Z. Let A 3 = k[h 2, H 3 ] and σ 3 = (H 3, H 2, s), then σ 3 Σ A3 and lsc(a 3, σ 3 ) = k[h 3, H 4 ], where H 4 is a homogeneous polynomial of degree 13 which we will not write down explicitely. Continuing this process, one obtains an infinite sequence {H n } n=0 of homogeneous polynomials of degrees 1, 1, 2, 5, 13, 34, 89,... (every other term in the Fibonacci sequence), and an infinite sequence {A n } n=1 of elements of klnd(r), where A n = k[h n 1, H n ]. Moreover, A n+1 is obtained from A n by a local slice construction: k[h 0, H 1 ] LSC k[h 1, H 2 ] LSC k[h 2, H 3 ] LSC k[h 3, H 4 ] k[h n 1, H n ] klnd(r) for all n 1. Remark. The sequence {H n } n=1 was discovered and rediscovered by several authors. We have already mentioned Freudenburg s paper [16]; there it is shown that k[h n 1, H n ] klnd(r) for all n 1. The sequence {H n } n=1 also appeared in unpublished work of Gizatullin, in relation with automorphisms of k [3]. Now consider the curve V (H n ) P 2 whose equation is H n = 0. Then V (H 3 ) is Yoshihara s rational quintic [33]. More generally, all V (H n ) are Kashiwara curves : in [23], they correspond to the case where the divisor Γ is a linear chain. The V (H n ) are also Orevkov curves : in [29] Orevkov defines curves C j P 2 where j > 0 is either odd or a multiple of 4, and uses them to show that a certain inequality (involving degree of a rational curve and highest multiplicity of a singular point) is best possible; the V (H n ) correspond exactly to the C j with j odd, i.e., to the Orevkov curves whose complements have logarithmic Kodaira dimension. In my joint work [13] with Peter Russell, the curves V (H n ) appear in the basic affine rulings of P 2. One can also show that, up to automorphism of P 2, the V (H n ) are precisely the curves C P 2 whose complement P 2 \ C is completable by a rational zigzag, or equivalently, whose complement P 2 \ C has trivial Makar-Limanov invariant. All this shows that {H n } n=1 is indeed a remarkable sequence of polynomials! As we have already said, one hopes to describe klnd(r) in terms of the local slice construction. One aspect of such a description would be:

11 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS Conjecture. Given any A, A klnd(r), there exists a finite sequence of local slice constructions which transforms A into A. A weaker version of 2.9 asks for the existence of a finite sequence of operations which transforms A into A, where the allowed operations are local slice constructions and k-automorphisms of R; this appeared as a question in [16]. Two special cases of Conjecture 2.9 have now been proved; in both cases, assume that k is algebraically closed: (cf. [8]). If A, A klnd(r, g) for some positive grading g of R, there exists a finite sequence of local slice constructions which transforms A into A (cf of [7]). Let A, A be elements of klnd(r) such that A A k. Then there exists a finite sequence of local slice constructions which transforms A into A. Result is a corollary of 2.14 (below) and of [6]. It was obtained as a byproduct of an effort to answer the following question: ( ) Which polynomials f(x, Y, Z) are annihilated by at least two independent locally nilpotent derivations? (Here the word independent means that the derivations are nonzero and have distinct kernels.) It appears to this author that answering the above question is an essential step in the classification of locally nilpotent derivations of k [3]. So let us now discuss this question. Basic elements Until the end of this section, we assume that k is algebraically closed (and has characteristic zero, as before). Let R = k [3]. The following discussion is based on [7] Definition. An element of R is said to be basic if it is irreducible and belongs to at least two elements of klnd(r). One can show that if A, A are distinct elements of klnd(r) such that A A contains a nonconstant polynomial, then A A = k[f] where f is basic. So question ( ) will be fully answered if we can understand basic elements of R. It is immediate that all variables of R are basic. Moreover, one can show that each basic element is a good field generator, i.e., 2.11 (cf. 1.5 of [7]). If f is a basic element of R then there exist g, h R such that k(f, g, h) is the field of fractions of R. As the set of basic elements includes all variables and is included in the set of good field generators, it seems legitimate to state that the concept of basic element is a natural generalization of that of variable Example. Let R = k[x, Y, Z], choose a nonconstant ϕ(z) k[z] and let f = XY ϕ(z); then f is an irreducible element of R and k[x, f], k[y, f] are two elements of klnd(r); thus f is a basic element of R.

12 12 DANIEL DAIGLE Example. Let P (X, Y, Z) R = k[x, Y, Z] be a variable of R over k[x] such that deg P (0, 0, Z) > 0, and define f = P (X, XY, Z). Then one can show that f is a basic element of R. The following result characterizes basic elements in terms of their generic fiber Theorem (cf and 1.11 of [7]). Let R = k [3] where k is an algebraically closed field of characteristic zero. For an element f R, the following conditions are equivalent: (a) f is a basic element of R (b) the k(f)-algebra k(f) k[f] R is isomorphic to k(f)[u, V, W ] /(UV P (W )) for some nonconstant polynomial P (W ) k(f)[w ], where U, V, W are independent indeterminates over k(f). Moreover, if f satisfies the above conditions then it also satisfies: (c) For general λ k, the hypersurface f = λ in A 3 is isomorphic to a hypersurface with equation xy = ϕ λ (z), for some nonconstant polynomial ϕ λ (z) k[z]. Remark. In statement (c), there does not necessarely exist an automorphism of A 3 which maps one hypersurface onto the other Example. Let f = H 3, where H 3 R = k[x, Y, Z] is defined in 2.8, i.e., f = X 5 + 2X 3 Y Z 2X 2 Y 3 + X 2 Z 3 2XY 2 Z 2 + Y 4 Z. As f is irreducible and belongs to each of k[h 2, H 3 ], k[h 3, H 4 ] klnd(r), f is a basic element of R and so satisfies 2.14(a). Therefore, f must satisfy conditions (b c) of Regarding (b), one can show that there is an isomorphism of k(f)-algebras, k(f) k[f] R = k(f)[u, V, W ]/(UV W 5 f 3 ). Regarding (c) one can show that, for each λ k, the hypersurface f = λ in A 3 is isomorphic to the hypersurface xy = z 5 + 1, but that no automorphism of A 3 maps one hypersurface onto the other. More generally, each H n is a basic element of R and, for each λ k, the hypersurface H n = λ in A 3 is isomorphic to the hypersurface xy = z an + 1, where a n = deg H n, and if n 3 then no automorphism of A 3 maps one hypersurface onto the other. Let us also recall that it was once hoped that every element of klnd(r) contained a variable of R, because that would have enabled one to classify all locally nilpotent derivations of R; however Freudenburg [17] exhibited a kernel which did not contain a variable (namely, k[h 2, H 3 ] in 2.8). In this regard, we propose: Conjecture. Each element of klnd(r) contains a basic element of R. It is shown in [8] that Conjecture 2.16 is true in the homogeneous case. In fact the basic elements are well understood in the homogeneous case, and we conclude this text with a brief (and very incomplete) remark to this effect.

13 HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS 13 Homogeneous basic elements Let g be a positive grading of R (cf. 2.4). By a g-basic element of R, we mean a g-homogeneous irreducible element f R which belongs to at least two elements of klnd(r, g). Then [8] gives, for each g, the complete list of g-basic elements of R. This list is obtained as a corollary to a classification of a certain type of curve on the weighted projective plane P g = Proj(R, g). It is worthwile to give that list in the special case where g is the standard grading of R = k[x, Y, Z], i.e., each of X, Y, Z is homogeneous of degree 1: Theorem (cf. [8]). Let g be the standard grading of R. Up to an automorphism of the graded ring (R, g) (i.e., a linear automorphism), the g-basic elements of R are the terms of the sequence {H n } n=1 defined in 2.8. References [1] A. A Campo Neuen, Note on a counterexample to Hilbert s fourteenth problem given by P. Roberts, Indag. Math., N.S. 5 (1994), [2] P. Bonnet, Surjectivity of quotient maps for algebraic (C, +)-actions and polynomial maps with contractible fibres, Transf. Groups 7 (2002), [3] D. Daigle, On some properties of locally nilpotent derivations, J. Pure Appl. Algebra 114 (1997), [4], Homogeneous locally nilpotent derivations of k[x, Y, Z], J. Pure Appl. Algebra 128 (1998), [5], On kernels of homogeneous locally nilpotent derivations of k[x, Y, Z], Osaka J. Math. 37 (2000), [6], Locally nilpotent derivations and Danielewski surfaces, Osaka J. of Math. 41 (2004), [7], On polynomials in three variables annihilated by two locally nilpotent derivations, to appear in J. of Algebra, [8], Classification of homogeneous locally nilpotent derivations of k[x, Y, Z], in preparation. [9] D. Daigle and G. Freudenburg, A counterexample to Hilbert s Fourteenth Problem in dimension five, J. of Algebra 221 (1999), [10], A note on triangular derivations of k[x 1, X 2, X 3, X 4 ], Proc. Amer. Math. Soc. 129 (2001), [11], Triangular derivations of k[x 1, X 2, X 3, X 4 ], J. Algebra 241 (2001), [12] D. Daigle and P. Russell, Affine rulings of normal rational surfaces, Osaka J. Math. 38 (2001), [13], On weighted projective planes and their affine rulings, Osaka J. Math. 38 (2001), [14] J. K. Deveney and D. R. Finston, Fields of G a invariants are ruled, Canad. Math. Bull. 37 (1994), [15], G a -actions on C 3 and C 7, Comm. Algebra 22 (1994), [16] G. Freudenburg, Local slice constructions in K[X, Y, Z], Osaka J. Math. 34 (1997), [17], Actions of G a on A 3 defined by homogeneous derivations, J. Pure and Appl. Algebra 126 (1998), [18], A counterexample to Hilbert s Fourteenth Problem in dimension six, Transformation Groups 5 (2000),

14 14 DANIEL DAIGLE [19], A survey of counterexamples to Hilbert s fourteenth problem, Serdica Math. J. 27 (2001), [20], A linear counterexample to the Fourteenth Problem of Hilbert in dimension eleven, Proc. Amer. Math. Soc. 135 (2007), [21] D. Hilbert, Mathematical problems, Bull. Amer. Math. Soc. 8 (1902), [22] S. Kaliman, Free C + -actions on C 3 are translations, Invent. Math. 156 (2004), [23] H. Kashiwara, Fonctions rationnelles de type (0, 1) sur le plan projectif complexe, Osaka J. Math. 24 (1987), [24] S. Kuroda, Fields defined by locally nilpotent derivations and monomials, J. Algebra 293 (2005), [25], Hilbert Fourteenth Problem and algebraic extensions, J. Algebra 309 (2007), [26] M. Miyanishi, Normal affine subalgebras of a polynomial ring, Algebraic and Topological Theories to the memory of Dr. Takehiko MIYATA, Kinokuniya, 1985, pp [27] M. Nagata, On the 14-th problem of Hilbert, Amer. J. Math. 81 (1959), [28] A. Nowicki, Rings and fields of constants for derivations in characteristic zero, J. Pure Appl. Algebra 96 (1994), [29] S. Yu. Orevkov, On rational cuspidal curves. I. Sharp estimate for degree via multiplicities, Math. Ann. 324 (2002), [30] D. Rees, On a problem of Zariski, Illinois J. Math. 2 (1958), [31] R. Rentschler, Opérations du groupe additif sur le plan affine, C. R. Acad. Sc. Paris 267 (1968), [32] P. Roberts, An infinitely generated symbolic blow-up in a power series ring and a new counterexample to Hilbert s fourteenth problem, J. Algebra 132 (1990), [33] H. Yoshihara, On Plane Rational Curves, Proc. Japan Acad. (Ser. A) 55 (1979), [34] O. Zariski, Interprétations algébro-géométriques du quatorzième problème de Hilbert, Bull. Sci. Math. 78 (1954), Department of Mathematics and Statistics, University of Ottawa, Ottawa, Canada K1N 6N5 address: ddaigle@uottawa.ca

On some properties of elementary derivations in dimension six

On some properties of elementary derivations in dimension six Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,

More information

RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW

RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW Hedén, I. Osaka J. Math. 53 (2016), 637 644 RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

On the Cancellation Problem for the Affine Space A 3 in characteristic p

On the Cancellation Problem for the Affine Space A 3 in characteristic p On the Cancellation Problem for the Affine Space A 3 in characteristic p Neena Gupta School of Mathematics, Tata Institute of Fundamental Research Dr. Homi Bhabha Road, Colaba, Mumbai 400005, India e-mail

More information

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

Survey on Polynomial Automorphism Groups

Survey on Polynomial Automorphism Groups David Washington University St. Louis, MO, USA November 3, 2012 Conference on Groups of Automorphisms in Birational and Affine Geometry, Levico Terme, Italy Group of polynomial automorphisms Notation We

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 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 information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

Math 711: Lecture of September 7, Symbolic powers

Math 711: Lecture of September 7, Symbolic powers Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of

More information

A FINITE SEPARATING SET FOR DAIGLE AND FREUDENBURG S COUNTEREXAMPLE TO HILBERT S FOURTEENTH PROBLEM

A FINITE SEPARATING SET FOR DAIGLE AND FREUDENBURG S COUNTEREXAMPLE TO HILBERT S FOURTEENTH PROBLEM A FINITE SEPARATING SET FOR DAIGLE AND FREUDENBURG S COUNTEREXAMPLE TO HILBERT S FOURTEENTH PROBLEM EMILIE DUFRESNE AND MARTIN KOHLS Abstract. This paper gives the first eplicit eample of a finite separating

More information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI. RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

More information

MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION

MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic

More information

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,

More information

12. Hilbert Polynomials and Bézout s Theorem

12. 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 information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Locally nilpotent derivations

Locally nilpotent derivations Conventions Locally nilpotent derivations Daniel Daigle Lecture notes for the September School of Algebraic Geometry Lukȩcin, Poland, September 2003 The word ring means commutative ring with a unity element.

More information

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

More information

Smith theory. Andrew Putman. Abstract

Smith theory. Andrew Putman. Abstract Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

10. Noether Normalization and Hilbert s Nullstellensatz

10. 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 information

(dim Z j dim Z j 1 ) 1 j i

(dim Z j dim Z j 1 ) 1 j i Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the

More information

4. Noether normalisation

4. Noether normalisation 4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

More information

The Automorphism Group of Certain Factorial Threefolds and a Cancellation Problem

The Automorphism Group of Certain Factorial Threefolds and a Cancellation Problem The Automorphism Group of Certain Factorial Threefolds and a Cancellation Problem David R. Finston and Stefan Maubach David R. Finston Department of Mathematical Sciences New Mexico State University Las

More information

9. Integral Ring Extensions

9. Integral Ring Extensions 80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications

More information

A NOTE ABOUT THE NOWICKI CONJECTURE ON WEITZENBÖCK DERIVATIONS. Leonid Bedratyuk

A NOTE ABOUT THE NOWICKI CONJECTURE ON WEITZENBÖCK DERIVATIONS. Leonid Bedratyuk Serdica Math. J. 35 (2009), 311 316 A NOTE ABOUT THE NOWICKI CONJECTURE ON WEITZENBÖCK DERIVATIONS Leonid Bedratyuk Communicated by V. Drensky Abstract. We reduce the Nowicki conjecture on Weitzenböck

More information

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99 Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of

More information

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite

More information

arxiv: v1 [math.ag] 14 Mar 2019

arxiv: v1 [math.ag] 14 Mar 2019 ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically

More information

0.1 Spec of a monoid

0.1 Spec of a monoid These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.

More information

A short proof of Klyachko s theorem about rational algebraic tori

A short proof of Klyachko s theorem about rational algebraic tori A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture

More information

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.

More information

The automorphism theorem and additive group actions on the affine plane

The 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 information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE

ON 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 information

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal

More information

Algebraic Geometry and Convex Geometry. A. Khovanskii

Algebraic Geometry and Convex Geometry. A. Khovanskii Algebraic Geometry and Convex Geometry A. Khovanskii 1 Intersection index on an irreducible variety X, dim X = n Let K(X) be the semigroup of spaces L of rational functions on X such that: a) dim L

More information

THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE

THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of

More information

Unipotent groups and some

Unipotent groups and some Unipotent groups and some A 1 -contractible smooth schemes math.ag/0703137 Aravind Asok (joint w/ B.Doran) July 14, 2008 Outline 1. History/Historical Motivation 2. The A 1 -homotopy black box 3. Main

More information

PDF hosted at the Radboud Repository of the Radboud University Nijmegen

PDF hosted at the Radboud Repository of the Radboud University Nijmegen PDF hosted at the Radboud Repository of the Radboud University Nijmegen The version of the following full text has not yet been defined or was untraceable and may differ from the publisher's version. For

More information

ON k-subspaces OF L-VECTOR-SPACES. George M. Bergman

ON k-subspaces OF L-VECTOR-SPACES. George M. Bergman ON k-subspaces OF L-VECTOR-SPACES George M. Bergman Department of Mathematics University of California, Berkeley CA 94720-3840, USA gbergman@math.berkeley.edu ABSTRACT. Let k L be division rings, with

More information

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS

A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements

More information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative

More information

Algebra Homework, Edition 2 9 September 2010

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.

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Exercise Sheet 3 - Solutions

Exercise Sheet 3 - Solutions Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 3 - Solutions 1. Prove the following basic facts about algebraic maps. a) For f : X Y and g : Y Z algebraic morphisms of quasi-projective

More information

Projective Schemes with Degenerate General Hyperplane Section II

Projective Schemes with Degenerate General Hyperplane Section II Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco

More information

Polynomials, Ideals, and Gröbner Bases

Polynomials, Ideals, and Gröbner Bases Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

More information

arxiv: v1 [math.ac] 7 Feb 2009

arxiv: v1 [math.ac] 7 Feb 2009 MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of

More information

Constructing (almost) rigid rings and a UFD having in nitely generated Derksen and Makar-Limanov invariant

Constructing (almost) rigid rings and a UFD having in nitely generated Derksen and Makar-Limanov invariant Constructing (almost) rigid rings and a UFD having in nitely generated Derksen and Makar-Limanov invariant David Finston New Mexico State University Las Cruces, NM 88003 d nston@nmsu.edu Stefan Maubach

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. 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 information

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x

More information

On orderability of fibred knot groups

On orderability of fibred knot groups Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On orderability of fibred knot groups By BERNARD PERRON Laboratoire de Topologie, Université de Bourgogne, BP 47870 21078 - Dijon Cedex,

More information

Parameterizing orbits in flag varieties

Parameterizing orbits in flag varieties Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.

More information

Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

More information

THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.

THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

The Proj Construction

The Proj Construction The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

On conjugacy classes of the Klein simple group in Cremona group

On conjugacy classes of the Klein simple group in Cremona group Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an

More information

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

More information

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

1 Flat, Smooth, Unramified, and Étale Morphisms

1 Flat, Smooth, Unramified, and Étale Morphisms 1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q

More information

MATH 690 NOTES. 1. Associated graded rings

MATH 690 NOTES. 1. Associated graded rings MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

STABLY FREE MODULES KEITH CONRAD

STABLY 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 information

A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN)

A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN) A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN) Z. REICHSTEIN Abstract. This is an expository note based on the work of D. J. Saltman. We discuss the notions of retract rationality and retract equivalence

More information

MODULI SPACES OF CURVES

MODULI SPACES OF CURVES MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information

GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui

GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY Sampei Usui Abstract. This article is a geometric application of polarized logarithmic Hodge theory of Kazuya Kato and Sampei Usui. We prove generic Torelli

More information

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove

More information

COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES

COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Density of rational points on Enriques surfaces

Density of rational points on Enriques surfaces Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

More information

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure

More information

MOTIVES OF SOME ACYCLIC VARIETIES

MOTIVES OF SOME ACYCLIC VARIETIES Homology, Homotopy and Applications, vol.??(?),??, pp.1 6 Introduction MOTIVES OF SOME ACYCLIC VARIETIES ARAVIND ASOK (communicated by Charles Weibel) Abstract We prove that the Voevodsky motive with Z-coefficients

More information

On the vanishing of Tor of the absolute integral closure

On the vanishing of Tor of the absolute integral closure On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

k k would be reducible. But the zero locus of f in A n+1

k k would be reducible. But the zero locus of f in A n+1 Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along

More information

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let: Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.

More information

Algebraic Varieties. Chapter Algebraic Varieties

Algebraic Varieties. Chapter Algebraic Varieties Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Rings With Topologies Induced by Spaces of Functions

Rings With Topologies Induced by Spaces of Functions Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,

More information

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

On a theorem of Ziv Ran

On a theorem of Ziv Ran INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae

More information

A SURVEY OF RINGS GENERATED BY UNITS

A SURVEY OF RINGS GENERATED BY UNITS A SURVEY OF RINGS GENERATED BY UNITS ASHISH K. SRIVASTAVA Dedicated to Melvin Henriksen on his 80 th Birthday Abstract. This article presents a brief survey of the work done on rings generated by their

More information