AUTHOR(S):
|
TITLE A Study on Smooth Varieties with Differentially Simple Coordinate Rings |
![]() ![]() |
KEYWORDS Derivations, Differentially simple rings, Algebraic sets, Singularities, Coordinate rings of smooth varieties |
ABSTRACT The notion of the algebraic sets was proved to be fundamental for the development of the Algebraic Geometry. In the paper at hands we study irreducible algebraic sets (varieties) with differentially simple coordinate rings. Starting from the fact that the coordinate ring of a singular variety does not admit simple derivations, we turn our attention to smooth varieties proving that the coordinate rings of the circle of the cylinder and of the real torus are differentially simple rings. However, this is not true for the coordinate rings of all smooth varieties; for example the coordinate ring of the real sphere does not admit simple derivations.
|
1. Introduction All he rings considered in this paper are commutative with identity and all the fields are of characteristic zero, while a local ring is understood to be a Noetherian ring with a unique maximal ideal. For general facts on commutative ring theory we refer to the books [1-3]. A prime ideal P of a ring R is said to be of height n, where n is an integer, n Further, the Krull dimension of R, denoted by dim R, is defined to be the supremum of heights of all maximal ideals of R. Note that, if R is a finitely generated algebra over a field K, then all its maximal ideals have the same height. Therefore, if M is a maximal ideal of R, then dim R = ht M. A local ring is said to be regular if its dimension is equal to the minimal number of generators, say V(M), of its unique maximal ideal M. Generalizing, a ring R is said to be regular, if all its localizations RM with respect to a maximal ideal M are regular local rings. In the paper at hands we study smooth varieties over a field K, whose coordinate rings admit simple K-derivations. The rest of the paper is organized as follows: Section II contains a brief account about the differential simplicity of a ring, which is needed for the purposes of the present work. In Section III some ideas from Algebraic Geometry are exposed, which are useful for the better understanding of the paper. Finally, Section IV contains the main paper’s results concerning the differential simplicity of the coordinate rings of a circle, of a cylinder and of the real torus.
2. Differentially Simple Rings Let R be a ring and let d be a derivation of R. Then an ideal I of R is called a d-ideal if d (I) For reasons of brevity we shall write dI instead of d (I). A d-simple ring R contains the field F = {x In earlier works [4, 5] we have studied the d-simplicity of a commutative ring. If R is a d-simple ring of characteristic p, then things are quite simple; namely R is a 0-dimensional quasi-local ring and therefore, if R is a domain, then R is a field [5; Theorem 1.5]. On the contrary, if R is of characteristic zero and d is a derivation of R, then no general criterion is known to decide whether or not R is a d-simple ring, unless if R is a one-dimensional (as a ring) finitely generated algebra of the form K[y1, y2,…, y n] over a field K . In fact, in this case R is a d-simple ring, if, and only if, R =(dy1, dy2,…, dy n) [5; Theorem 2.4]. Several examples of d-simple rings of dimension greater than one and even of infinite dimension are exposed in [4, 5], such as the polynomial rings in finitely and infinitely many variables and the Laurent polynomial rings over a field K, the regular local rings of finitely generated type [6] , etc. Another important result that we are going to use later in this paper states that, if R is a d-simple G-ring - a wide class of rings containing all finitely generated algebras over fields and all complete local rings, and being closed under localization [3; pp. 249-257] - of characteristic zero, then R is a regular ring [7; Theorem 1].
3. Ideas from Algebraic Geometry This section contains the background from Algebraic Geometry which is necessary for the understanding of the rest of the paper. For general facts on Algebraic Geometry we refer to the books [8, 9]. Definition 1: Let K be a field. Then the Cartesian product Kn = k x k x…x k (n-times) is called an affine space over K, and its elements a = (a1, a2,,…,, an), are called points of Kn, with a1, a2,,…,, an in K being the coordinates of the point a. . Definition 2: Let K[x1, x2,….,xn] be a polynomial ring over a field K . Then a subset Y of Kn is called analgebraic set over Kn, if there exists a non-empty subset S of K[x 1, x2,….,xn] such that Y = {a We write then Y = U(S), while, if S = {f} is a singleton set, we write for simplicity Y = U (f). Examples: U(0) = Kn, U(1) = Definition 3: Let Y be an algebraic set of an affine space over a field K. Then, it is easy to check that the set I = J(Y) = {f is an ideal of K[x1, x2,….,xn], called the ideal of Y. As a special case J( Obviously, if Y= U (S), then J(Y) Proposition 4: If Y is an algebraic set over Kn, then Y = U(J(Y)) Proof: If a Conversely, let Y = U(S) and let a Definition 5: Let Y be an algebraic set of an affine space over a field K and let I= J(Y). Then the factor ring R = K[x1, x2,….,xn] / I is called the coordinate ring of Y. Further, the dimension of Y is defined to be equal to the dimension of R. Definition 6: Let Y be an algebraic set of an affine space over a field K, let R be the coordinate ring of Y and let a be a point of Y. It is easy then to check that the set J(a) = {f is a maximal ideal of the polynomial ring K[x1, x 2,….,xn]. Therefore, the image Ma = J(a)/I of J(a) in R is a maximal ideal of R. Then, the local ring Ra = RMa is called the local ring of a in Y. Definition 7: An algebraic set of an affine space over a field K is said to be irreducible if it cannot be written as the union of two smaller algebraic sets. In this paper an irreducible algebraic set is called a variety. Definition 8: Let Y be a variety over Kn and let a be a point of Y. Then an element (b1, b2, …, bn) of Kn is said to be a tangent to Y at a, if for all f in J(Y) we have that
It is easy to check that the set Ta of all tangents of Y at a is a vector space over K called the tangent space of Y at a.. It is well known that the dimension of the vector space Ta is equal to the minimal number, say V(Ma), of generators of the maximal ideal Ma of the local ring of a in Y (Definition 6). But, by the generalized principal ideal theorem [2; Theorem 152) ht Ma dim R Definition 9: Let Y be a variety over Kn. Then a point a of Y is said to be a simple point, if the dimension of Y is equal to the dimension of the tangent space Ta. Otherwise a is called a singular point of Y. A variety Y has always simple points, while it may have or not singular points. Definition 10: A variety Y over Kn not having singular points is called asmooth variety, otherwise it is called a singular variety. It is now easy to prove the following result: Proposition 11: If the coordinate ring of a variety Y over Kn is a regular ring, then Y is a smooth variety. Proof: Let a be any point of Y and let Ra be the local ring of a in Y. Since R is a regular ring, dim Ra = V(Ma). But R is a finitely generated K-algebra, therefore dim R = ht Ma .= dim Ra = V(Ma) = dim Ta . This shows that a is a simple point of Y, therefore Y is a smooth variety.
4. Main results In this section we present examples of smooth varieties, whose coordinate rings admit simple derivations, i.e. they are differentially simple rings. We emphasize that this is not always true; e.g. it is well known that the coordinate ring S= of the real sphere, although it is regular, admits no derivation d , such that S is d-simple. [7; Section 3, Example (iii)]. We start with the following result showing that only the coordinate rings of smooth varieties can admit simple derivations: Theorem 12: Let k be a field, let n be a non negative integer, and let Y be a singular variety over k Proof: Assume that there exists a derivation d of R, such that R is a d-simple ring. But R, being a finitely generated K-algebra is a G-ring, therefore R is a regular ring [7; Theorem 1]. Consequently, by Proposition 11, Y is a smooth variety, which contradicts our hypothesis.. Next we are going to present some characteristic examples of smooth varieties having d-simple coordinate rings, for suitably chosen k-derivations d of them. First, we study the case of the circle: Theorem 13: The coordinate ring R= of the unit circle defined over a field k admits k-derivations d such that R is a d-simple ring. Proof: Since P = ( Consider the k-derivation d of k[ d for some non zero element a of k. Since dP Given f in k[
Thus the result follows by Theorem 2.4 of [5], stating that, if d is a k-derivation of an one-dimensional finitely generated k-algebra, say R=k[ Next, we consider the case of the cylinder: Theorem 14: The coordinate ring C= of the cylinder defined over a field k is d-simple for suitable k-derivation d of C. Proof: Reconsider the coordinate ring R of the unit circle. We can write R=k [ and C = k [ The derivation d = of k [ The above derivation d is the special case of the derivation of Theorem 13 for a = 1, therefore R is a d-simple ring. We shall show that d can be extended to a derivation of C, such that C is also a d-simple ring. For this, observe first that any F in R can be written in the form F= where n is a non negative integer and g But
therefore F = with f, g in k [ This expression of f is unique, because
gives that f Thus, on comparing the degrees of both sides with respect to f = g = 0. We shall show further that dF dF = d Thus, if dF=
and (1- But f = for some non negative integer t, with - (t+1) Therefore Consider now the derivation
of k [ In fact, assume that I is a proper non zero d-ideal of C = R[x Let a be in A, then there is a polynomial F in I, such that F = ax But dF = (da) x This means that there exists a monic polynomial, say G=x Then dG =nx n + d( or d (- a contradiction, since - Remark: The varieties whose ideals are principal, like the circle and the cylinder, are called hypersurfaces. Next we study the case of the real torus obtained by rotating a cycle around an axis in its plane which does not intersect it (Figure 1). Figure 1: The surface of a torus For this, we need the following Lemma: Lemma 15: Let A= R [ d with T= denoted also by d, such that T is d-simple if, and only if, Proof: Set I= Since d (x for each i, is d I Consider now the polynomial ring B=C [ complex numbers and set I d (f + ig) = df + idg for all f, g in A. It is easy to check that I It is straightforward to show that Set y and y for j = 1,2,….,n. Then we have that
and y for each j and therefore we can write
But d (y
Therefore the result follows by Theorem 3.5 of [4], stating that C [y For n =2 the ring T= of Lemma 15 is the coordinate ring of the real torus, considered as a 2-dimensional surface in 4 dimensions. Thus one obtains the following result: Theorem 16: The coordinate ring T of the real torus is d-simple for suitable R-derivations d of T. Proof: Set d = where a is an irrational number and apply Lemma.15. Remark: Combining the above results with Corollary 3.6 of [10] one obtains examples of simple skew polynomial rings over the coordinate rings of the circle, the cylinder and the real torus.
References [1] Atiyah, M. F. & MacDonald, I. G., Introduction to Commutative Algebra, Addison-Wesley, Reading, Massachusetts, 1969. [2] Kaplansky, I., Commutative Rings, Revised Edition, The Univ. of Chicago Press, Chicago and London, 1974. [3] Matsumura H., Commutative Algebra, Second Edition, Benjamin/Cummings, Reading, Mass.., 1980. [4] Voskoglou M.Gr., Differential simplicity and dimension of a commutative ring, Riv. Mat. Univ.. Parma,, 6(4), 111-119, 2001. [5] Voskoglou M.Gr., Derivations and Iterated Skew Polynomial Rings, NAUN International Journal of Applied Mathematics and Informatics, 6(2), 2011, pp. 32-90. [6] Hart, R., Derivations on regular local rings of finitely generated type, J. London Math. Soc., 10, 1975, pp. 292-294. [7] Hart, R., Derivations on commutative rings, J. London Math. Soc., 8, 1974, pp. 171-175. [8] Fulton W., Algebraic Curves: An introduction to Algebraic Geometry, Benjamin / Cummings, Reading, Mass. , 1978 [9] Mumford, D.., Algebraic Geometry I - Complex projective varieties, Springer, New York, 1995 [10] Voskoglou M.Gr.., Simple skew polynomial rings, Publ. I. Math. (Beograd), 37(51), 1985, pp. 37-41. |
Cite this paper Michael Gr. Voskoglou. (2017) A Study on Smooth Varieties with Differentially Simple Coordinate Rings. International Journal of Mathematical and Computational Methods, 2, 53-59 |
|