A FINITE SEPARATING SET FOR DAIGLE AND FREUDENBURG S COUNTEREXAMPLE TO HILBERT S FOURTEENTH PROBLEM
|
|
- Antony Gilmore
- 5 years ago
- Views:
Transcription
1 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 set in an invariant ring which is not finitely generated, namely, for Daigle and Freudenburg s 5-dimensional countereample to Hilbert s Fourteenth Problem. 1. Introduction Hilbert s Fourteenth Problem asks if the ring of invariants of an algebraic group action on an affine variety is always finitely generated. The answer is negative in general: Nagata [11] gave the first countereample in In characteristic zero, the Maurer-Weitzenböck Theorem [15] tells us that linear actions of the additive group have finitely generated invariants, but nonlinear actions need not have finitely generated invariants. Indeed, there are several such eamples, the smallest being Daigle and Freudenburg s 5-dimensional countereample [1] to Hilbert s Fourteenth Problem. Although rings of invariants are not always finitely generated, there always eists a finite separating set [2, Theorem ]. In other words, if k is a field and if a group G acts on a finite dimensional k-vector space V, then there always eists a finite subset E of the invariant ring k[v ] G such that if, for two points, y V, we have f() = f(y) for all f E, then f() = f(y) for all f k[v ] G. This notion was introduced by Derksen and Kemper [2, Section 2.3], and has gained a lot of attention in the recent years, for eample see [3, 4, 5, 6, 8, 12]. The proof of the eistence of a finite separating set is not constructive, and until now, no eample was known for infinitely generated invariant rings. The main result of this paper is to give the first eample: a finite separating set for Daigle and Freudenburg s 5-dimensional countereample to Hilbert s Fourteenth Problem. Acknowledgments. We thank Gregor Kemper for funding visits of the first author to TU München. Date: December 3,
2 2 EMILIE DUFRESNE AND MARTIN KOHLS 2. Daigle and Freudenburg s Countereample We now introduce the notation used throughout the paper, and set up the eample. We recommend the book of Freudenburg [7] as an ecellent reference for locally nilpotent derivations. Let k be a field of characteristic zero, and let G a be its additive group. If V = k 5 is a 5-dimensional vector space over k, then k[v ] = k[, s, t, u, v] is a polynomial ring in five variables. Daigle and Freudenburg [1] define a locally nilpotent k-derivation on k[v ]: D = 3 s + s t + t u + 2 v. This derivation D induces an action of G a on V. If r is an additional indeterminate, then the corresponding map of k-algebras is (1) µ : k[v ] k[v ][r], f µ(f) = µ r (f) = k=0 D k (f) r k, k! where k[v ][r] = k[v ] k k[g a ]. The induced action of G a on k[v ] is: ( a) f := µ a (f) for all a G a, f k[v ]. In particular, for a G a, we have ( a) =, ( a) s = s + a 3, ( a) t = t + as + a2 2 3, ( a) u = u + at + a2 2 s + a3 6 3, ( a) v = v + a 2. The invariant ring k[v ] Ga coincides with the kernel of D. Define a grading on k[v ] by assigning deg = 1, deg s = deg t = deg u = 3, deg v = 2. As the action of G a on k[v ] and the derivation D are homogeneous with respect to this grading, the ring of invariants is a graded subalgebra. We write k[v ] Ga + to denote the unique maimal homogeneous ideal of k[v ] Ga. Daigle and Freudenburg [1] proved that k[v ] Ga = ker D is not finitely generated as a k-algebra. The main result of this paper is to ehibit a finite geometric separating set. Theorem 2.1. Let G a act on V as above. The following 6 homogeneous polynomials are invariants and form a separating set E in k[v ] Ga : f 1 =, f 2 = 2 3 t s 2, f 3 = 3 6 u 3 3 ts + s 3, f 4 = v s, f 5 = 2 ts s 2 v tv 3 5 u, f 6 = 18 3 tsu u t 3 + 6s 3 u 3t 2 s 2. Remark 2.2. In [16, Lemma 12], Winkelmann shows that these si invariants separate orbits outside {p V : (p) = s(p) = 0}, which as we will see later, is the easy case. (Note that in [16] there is a typo in the invariant we denoted by f 6.)
3 AN EXPLICIT FINITE SEPARATING SET 3 3. Proof of Theorem 2.1 In this section, we prove our main result. We start by establishing some useful facts. Lemma 3.1. k[v ] Ga k[f 1, f 2, f 3, f 4, 1 ]. Proof. As is a constant, the derivation D etends naturally to k[v ] via D ( ) f := D(f) for all f k[v ], n N, and we have k[v ] Ga n n (k[v ] ) Ga. The element s k[v ] 3 satisfies D ( ) s = 1, that is, it is a 3 slice. By the Slice Theorem (see [14, Proposition 2.1], or [7, Corollary 1.22]), we obtain a generating set of the invariant ring k[v ] Ga by applying µ to the generators of k[v ] = k[, s, t, u, v, 1 ] and evaluating at r = s. Therefore, we have 3 [ ] k[v ] Ga = k µ s (), µ 3 s (s), µ 3 s (t), µ 3 s (u), µ 3 s (v), µ 3 s ( 1) 3 [ f 2 = k f 1, 0, 2, f 3 3 3, f 4 6, 1 ]. Proof of Theorem 2.1. First, note that f i is invariant for i = 1,..., 6. Let p i = (χ i, σ i, τ i, ω i, ν i ), i = 1, 2, be two points in V such that f i (p 1 ) = f i (p 2 ) for each i = 1,..., 6. We will show that f(p 1 ) = f(p 2 ) for all f k[v ] Ga. Since f 1 =, we have χ 1 = χ 2. If χ 1 = χ 2 0, then Lemma 3.1 implies f(p 1 ) = f(p 2 ) for all f k[v ] Ga. Thus, we may assume χ 1 = χ 2 = 0. It follows that σ 1 = f 4 (p 1 ) = f 4 (p 2 ) = σ 2. Define a linear map γ : k 5 k 4, and a k-algebra morphism ρ : k[, s, t, u, v] k[s, t, u, v], (χ, σ, τ, ω, ν) (σ, τ, ω, ν), f(, s, t, u, v) f(0, s, t, u, v). Define a k-linear locally nilpotent derivation on k[s, t, u, v] via = s t + t u. One easily verifies that ρ = ρ D. In particular, ρ induces a map ker D ker. The kernel of is known (or can be computed with van den Essen s Algorithm [14]): it corresponds to the binary forms of degree 2, that is, (2) ker = k[s, 2us t 2, v]. Since χ i = 0, we have f(p i ) = ρ(f)(γ(p i )) for i = 1, 2 and any f k[v ]. Thus, to show f(p 1 ) = f(p 2 ) for all f k[v ] Ga = ker D, it suffices to show f(γ(p 1 )) = f(γ(p 2 )) for all f ρ(ker D) k[s, 2us t 2, v].
4 4 EMILIE DUFRESNE AND MARTIN KOHLS If σ 1 = σ 2 0, then the values of s, 2us t 2, v on γ(p i ) are uniquely determined by the values of ρ(f 4 ) = s, ρ(f 5 ) = s 2 v, and ρ(f 6 ) = 3s 2 (2us t 2 ) on γ(p i ) for i = 1, 2. Since ρ(f i )(γ(p 1 )) = f i (p 1 ) = f i (p 2 ) = ρ(f i )(γ(p 2 )) for all i = 1,..., 6, the case σ 1 = σ 2 0 is done. Assume χ 1 = χ 2 = σ 1 = σ 2 = 0, then by Proposition 3.2, f(p 1 ) = f(p 2 ) = f(0, 0, 0, 0, 0) for all f k[v ] Ga. Proposition 3.2. We have k[v ] Ga k (, s)k[v ]. This proposition is the key to the proof of Theorem 2.1. It could be obtained from a careful study of the generating set of k[v ] Ga given by Tanimoto [13]. We give a more self-contained proof, which relies only on the van den Essen-Maubach Kernel-check Algorithm (see [14], and [10, p. 32]). Proof of Proposition 3.2. It suffices to show that k[v ] Ga + (, s)k[v ]. By way of contradiction, suppose there eists f k[v ] Ga + of the form f = p + sq + h(t, u, v), where p, q k[v ], and h(t, u, v) 0. Without loss of generality, we can assume f is homogeneous of positive degree. We apply the map ρ from the proof of Theorem 2.1. By Equation (2), we have f(0, s, t, u, v) k[s, 2us t 2, v], so we have f(0, 0, t, u, v) = h(t, u, v) k[0, t 2, v], and we set h(t, v) := h(t, u, v) k[t, v]. Since f is homogeneous, so is h, and there is a unique monomial t d v e in h such that the eponent e of v is maimal. Clearly, D = D, and so, for all k, we have v v k f v = p k k v + q k s k v + k h(t, v) k[v ] Ga. k v k If d = 0, then taking k = e 1, implies v is the only monomial appearing (since v has degree 2, and t has degree 3, t cannot have nonzero eponent). Thus, there is a homogeneous invariant of degree 2 of the form p+s q +v k[v ] Ga, but as 2 spans the space of invariants of degree 2, we have a contradiction. Assume now that d > 0. If k = e, then t d is the only monomial in e 1 h(t,v) v e 1 appearing in e h(t,v) v e. Thus, replacing f by e f v e, and dividing by the coefficient of t d, we can assume f = p + sq + t d, where p, q k[v ] and d > 0. Since f(, s, t, u, v) ker D, Lemma 3.3 (a) implies the element (3) g(, t, u, v) := f(, v, t, u, v) = p + v q + t d k[, t, u, v] lies in the kernel of the derivation := 2 + v + t defined on v t u k[, t, u, v]. As no monomial of the form t k (with k > 0) appears in the four generators of ker (by Lemma 3.3 (b)), the monomial t d cannot appear as a monomial in g ker, and so we have a contradiction.
5 AN EXPLICIT FINITE SEPARATING SET 5 In the following Lemma, we write k[, v, t, u] rather than k[, t, u, v], so that the derivation is triangular. Lemma 3.3. Define a k-algebra map φ : k[, s, t, u, v] k[, v, t, u], f(, s, t, u, v) φ(f)(, v, t, u) := f(, v, t, u, v), and a derivation on k[, v, t, u]: It follows that = 2 v + v t + t u. (a) φ = φ D, in particular, φ maps ker D to ker ; (b) ker = k[h 1, h 2, h 3, h 4 ], where h 1 =, h 2 = 2t v 2, h 3 = 3 3 u 3vt + v 3, h 4 = 8t u tuv 3t 2 v 2 + 6uv 3 = (h h 2 3)/ 2. Proof. (a): For f = f(, s, t, u, v) k[, s, t, u, v], we have ( φ)(f) = ( 2 v + v t + t )f(, v, t, u, v) u = 3 φ( f s ) + 2 φ( f v ) + vφ( f = φ ( 3 f s + 2 f v + s f t + t f u t ) + tφ( f u ) ) = (φ D)(f). (b): Since is a triangular monomial derivation of a four dimensional polynomial ring, by Maubach [9], its kernel is generated by at most four elements. In fact, [9, Theorem 3.2, Case 3] gives the same generators for ker, up to multiplication by a scalar (the formula for h 4 contains a typo). Alternatively, one can use van den Essen s Algorithm. As in the proof of Lemma 3.1, the derivation can be etended to k[, v, t, u], and as ( v ) = 1, the Slice Theorem [14, Proposition 2] yields 2 (4) (ker ) = µ v 2 ( k[, v, t, u, 1 ]) = k[h 1, h 2, h 3, 1 ], where µ is defined similarly as in Equation (1). Consider the additional invariant h 4 := (h h 2 3)/ 2 k[, v, t, u]. We claim ker = k[h 1, h 2, h 3, h 4 ] =: R. Equation (4) implies R ker R. Net, we look at the ideal of relations modulo between the generators of R, I := {P k[x 1, X 2, X 3, X 4 ] P (h 1, h 2, h 3, h 4 ) ()k[, v, t, u]} = {P k[x 1, X 2, X 3, X 4 ] P (0, v 2, v 3, 3t 2 v 2 ) = 0} = (X 1, X X 2 3)k[X 1, X 2, X 3, X 4 ].
6 6 EMILIE DUFRESNE AND MARTIN KOHLS Since (h h 2 3)/ = h 4 R, we have that P (f 1, f 2, f 3, f 4 )/ R for every P I, and the Kernel-check algorithm implies ker = R (see [7, p. 184]). References [1] Daniel Daigle and Gene Freudenburg. A countereample to Hilbert s fourteenth problem in dimension 5. J. Algebra, 221(2): , [2] Harm Derksen and Gregor Kemper. Computational invariant theory. Invariant Theory and Algebraic Transformation Groups, I. Springer-Verlag, Berlin, Encyclopaedia of Mathematical Sciences, 130. [3] M. Domokos. Typical separating invariants. Transform. Groups, 12(1):49 63, [4] Jan Draisma, Gregor Kemper, and David Wehlau. Polarization of separating invariants. Canad. J. Math., 60(3): , [5] Emilie Dufresne. Separating invariants and finite reflection groups. Adv. Math., 221: , [6] Emilie Dufresne, Jonathan Elmer, and Martin Kohls. The Cohen-Macaulay property of separating invariants of finite groups. Transformation groups, 2009, to appear. [7] Gene Freudenburg. Algebraic theory of locally nilpotent derivations, volume 136 of Encyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, Invariant Theory and Algebraic Transformation Groups, VII. [8] Gregor Kemper. Separating invariants. Journal of Symbolic Computation, 44(9): , Effective Methods in Algebraic Geometry. [9] Stefan Maubach. Triangular monomial derivations on k[x 1, X 2, X 3, X 4 ] have kernel generated by at most four elements. J. Pure Appl. Algebra, 153(2): , [10] Stefan Maubach. Polynomial endomorphisms and kernels of derivations. Ph.D. thesis, Univ. Nijmegen, The Netherlands, [11] Masayoshi Nagata. On the 14-th problem of Hilbert. Amer. J. Math., 81: , [12] Müfit Sezer. Constructing modular separating invariants. J. Algebra. doi: /j.jalgebra [13] Ryuji Tanimoto. On Freudenburg s countereample to the fourteenth problem of Hilbert. Transform. Groups, 11(2): , [14] Arno van den Essen. An algorithm to compute the invariant ring of a G a -action on an affine variety. J. Symbolic Comput., 16(6): , [15] R. Weitzenböck. Über die Invarianten von linearen Gruppen. Acta Math., 58(1): , [16] Jörg Winkelmann. Invariant rings and quasiaffine quotients. Math. Z., 244(1): , Mathematics Center Heidelberg (MATCH), Ruprecht-Karls-Universität Heidelberg, Im Neuenheimer Feld 368, Heidelberg, Germany address: emilie.dufresne@iwr.uni-heidelberg.de Technische Universität München, Zentrum Mathematik-M11, Boltzmannstrasse 3, Garching, Germany address: kohls@ma.tum.de
Additive group invariants in positive characteristic
Additive group invariants in positive characteristic Emilie Dufresne Ruprecht-Karls-Universität Heidelberg June 6, 2010 Additive group invariants in pos. char. Summer meeting of the Canadian Mathematical
More informationOn 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 informationComputational Invariant Theory
Computational Invariant Theory Gregor Kemper Technische Universität München Tutorial at ISSAC, München, July 25, 2010 moments a i,j := x i y j f(x, y)dx dy I moment invariants I 1 = a 00 (a 20 + a 02 )
More informationInvariant Theory 13A50
Invariant Theory 13A50 [1] Thomas Bayer, An algorithm for computing invariants of linear actions of algebraic groups up to a given degree, J. Symbolic Comput. 35 (2003), no. 4, 441 449. MR MR1976577 (2004c:13045)
More informationA 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 informationA 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 informationThe Computation of Invariant Fields and a Constructive Version of a Theorem by Rosenlicht
The Computation of Invariant Fields and a Constructive Version of a Theorem by Rosenlicht Gregor Kemper Technische Universität München, Zentrum Mathematik - M11 Boltzmannstr. 3, 85 748 Garching, Germany
More informationPolarization of Separating Invariants
Polarization of Separating Invariants Jan Draisma, Gregor Kemper, and David Wehlau August 11, 2005 Abstract We prove a characteristic free version of Weyl s theorem on polarization. Our result is an exact
More informationHILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS
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
More informationPDF 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 informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationConstructing (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 informationINVARIANTS OF UNIPOTENT TRANSFORMATIONS ACTING ON NOETHERIAN RELATIVELY FREE ALGEBRAS. Vesselin Drensky
Serdica Math. J. 30 (2004), 395 404 INVARIANTS OF UNIPOTENT TRANSFORMATIONS ACTING ON NOETHERIAN RELATIVELY FREE ALGEBRAS Vesselin Drensky Communicated by V. Brînzănescu Abstract. The classical theorem
More informationDegree Bounds in the Nonmodular Case Invariant Theory
Degree Bounds in the Nonmodular Case Invariant Theory Moise Mouyebe Advisor: Harm Derksen Abstract This paper is the sequel of the work done last year at the University of Michigan during the REU program
More informationINVARIANTS OF UNIPOTENT GROUPS A survey
INVARIANTS OF UNIPOTENT GROUPS A survey Klaus Pommerening Fachbereich Mathematik der Johannes-Gutenberg-Universität Saarstraße 21 D-6500 Mainz Federal Republic of Germany 15 August 1985, typo corrected
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationMath 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 informationBLOCH FUNCTIONS ON THE UNIT BALL OF AN INFINITE DIMENSIONAL HILBERT SPACE
BLOCH FUNCTIONS ON THE UNIT BALL OF AN INFINITE DIMENSIONAL HILBERT SPACE OSCAR BLASCO, PABLO GALINDO, AND ALEJANDRO MIRALLES Abstract. The Bloch space has been studied on the open unit disk of C and some
More informationarxiv: v1 [math.ac] 6 Jan 2019
GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field
More information2.4 Algebra of polynomials
2.4 Algebra of polynomials ([1], p.136-142) In this section we will give a brief introduction to the algebraic properties of the polynomial algebra C[t]. In particular, we will see that C[t] admits many
More informationAlgebraic 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 informationMATRIX GENERATORS FOR THE REE GROUPS 2 G 2 (q)
MATRIX GENERATORS FOR THE REE GROUPS 2 G 2 (q) Gregor Kemper Frank Lübeck and Kay Magaard May 18 2000 For the purposes of [K] and [KM] it became necessary to have 7 7 matrix generators for a Sylow-3-subgroup
More informationNUMERICAL MONOIDS (I)
Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More information(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 informationSeparating Invariants
Separating Invariants by Emilie Sonia Dufresne A thesis submitted to the Department of Mathematics and Statistics in conformity with the requirements for the degree of Doctor of Philosophy Queen s University
More informationRUSSELL 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 informationCHARACTERIZING SEPARATING INVARIANTS DEDICATED TO LUCHO AVRAMOV ON THE OCCASION OF HIS 60TH BIRTHDAY
CHARACTERIZING SEPARATING INVARIANTS DEDICATED TO LUCHO AVRAMOV ON THE OCCASION OF HIS 60TH BIRTHDAY MARA D. NEUSEL AND MÜFİT SEZER Abstract. We study separating algebras for rings of invariants of finite
More informationPDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a postprint version which may differ from the publisher's version. For additional information about this
More informationarxiv: v1 [math.ra] 10 May 2013
ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS arxiv:1305.2285v1 [math.ra] 10 May 2013 Abstract. Let K be a field, R be an associative and commutative K-algebra and L be a Lie algebra over K.
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More informationMATH 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 informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More informationIntroduction 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 informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationCAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS
CAYLEY-BACHARACH AND EVALUATION CODES ON COMPLETE INTERSECTIONS LEAH GOLD, JOHN LITTLE, AND HAL SCHENCK Abstract. In [9], J. Hansen uses cohomological methods to find a lower bound for the minimum distance
More informationAlgebraic 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 informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationFormal 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 informationarxiv: v1 [math.ac] 19 Apr 2007
arxiv:0704.2594v1 [math.ac] 19 Apr 2007 Computing Invariants of Algebraic Group Actions in Arbitrary Characteristic Harm Derksen and Gregor Kemper April 11, 2007 Abstract Let G be an affine algebraic group
More informationarxiv: v1 [math.ra] 5 Feb 2015
Noncommutative ampleness from finite endomorphisms D. S. Keeler Dept. of Mathematics, Miami University, Oxford, OH 45056 arxiv:1502.01668v1 [math.ra] 5 Feb 2015 Abstract K. Retert Dept. of Mathematics,
More informationAn Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch
An Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch Une Interprétation Algébrique de la Suite des Ordres de Multiplicité d une Branche Algébrique Proc. London Math. Soc. (2),
More informationFREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS
FREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS N. ALTAFI, N. NEMATI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let S = K[x 1,..., x n ] be the polynomial ring over a field K. In this
More informationTHE 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 informationALGEBRAIC 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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 217 (2013) 230 237 Contents lists available at SciVerse ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa On differential
More informationCLASSIFYING CAMINA GROUPS: ATHEOREMOFDARKANDSCOPPOLA
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 CLASSIFYING CAMINA GROUPS: ATHEOREMOFDARKANDSCOPPOLA MARK L. LEWIS ABSTRACT. Recall that a group G is a Camina group if every nonlinear irreducible
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More information4. 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 informationThe automorphism theorem and additive group actions on the affine plane
The automorphism theorem and additive group actions on the affine plane arxiv:1604.04070v1 [math.ac] 14 Apr 2016 Shigeru Kuroda Abstract Due to Rentschler, Miyanishi and Kojima, the invariant ring for
More informationTotal binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg
Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Setup Let k be a field. For computations we use k = Q. k[p] := k[p 1,..., p n ] the polynomial ring in n indeterminates
More informationOn 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 informationNON-COMMUTATIVE POLYNOMIAL COMPUTATIONS
NON-COMMUTATIVE POLYNOMIAL COMPUTATIONS ARJEH M. COHEN These notes describe some of the key algorithms for non-commutative polynomial rings. They are intended for the Masterclass Computer algebra, Spring
More informationTIGHT 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 informationDISCRIMINANTS, SYMMETRIZED GRAPH MONOMIALS, AND SUMS OF SQUARES
DISCRIMINANTS, SYMMETRIZED GRAPH MONOMIALS, AND SUMS OF SQUARES PER ALEXANDERSSON AND BORIS SHAPIRO Abstract. Motivated by the necessities of the invariant theory of binary forms J. J. Sylvester constructed
More informationMath 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 informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
More informationALGEBRAIC 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 informationGordans Finiteness Theorem (Hilberts proof slightly modernized)
Gordans Finiteness Theorem Hilberts proof slightly modernized Klaus Pommerening April 1975 Let k be an infinite entire ring, V = k 2, the free k-module of rank 2, G, the group SLV. Then G acts in a canocical
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
More informationGRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases
GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.
More informationPolynomial derivations and their rings of constants
U N I W E R S Y T E T M I K O L A J A K O P E R N I K A Rozprawy Andrzej Nowicki Polynomial derivations and their rings of constants T O R U Ń 1 9 9 4 Polynomial derivations and their rings of constants
More informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
More informationBASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO
Freitag, E. and Salvati Manni, R. Osaka J. Math. 52 (2015), 879 894 BASIC VECTOR VALUED SIEGEL MODULAR FORMS OF GENUS TWO In memoriam Jun-Ichi Igusa (1924 2013) EBERHARD FREITAG and RICCARDO SALVATI MANNI
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationABSTRACT 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 informationREGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL
REGULARITY AND ALGEBRAIC PROPERTIES OF CERTAIN LATTICE IDEALS JORGE NEVES, MARIA VAZ PINTO, AND RAFAEL H. VILLARREAL Dedicated to Professor Aron Simis on the occasion of his 70th birthday Abstract. We
More informationA 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 informationCOMPLEXITY IN INVARIANT THEORY
COMPLEXITY IN INVARIANT THEORY by Harlan Kadish A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2011
More informationAn introduction to Hodge algebras
An introduction to Hodge algebras Federico Galetto May 28, 2009 The Grassmannian Let k be a field, E a k-vector space of dimension m Define Grass(n, E) := {V E dim V = n} If {e 1,, e m } is a basis of
More informationMath 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 informationIntertwining integrals on completely solvable Lie groups
s on s on completely solvable Lie June 16, 2011 In this talk I shall explain a topic which interests me in my collaboration with Ali Baklouti and Jean Ludwig. s on In this talk I shall explain a topic
More informationSurvey 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 informationRings 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 informationCOARSENINGS, INJECTIVES AND HOM FUNCTORS
COARSENINGS, INJECTIVES AND HOM FUNCTORS FRED ROHRER It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationMATH 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 informationSmith 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 informationBirational geometry and deformations of nilpotent orbits
arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationOn intersections of complete intersection ideals
On intersections of complete intersection ideals Mircea Cimpoeaş I.M.A.R. mircea.cimpoeas@imar.ro joint work with Dumitru Stamate July 7, 2016, I.M.N.S., Levico Terme, Italy Overview 1 Introduction 2 Main
More informationOn Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION
Malaysian Journal of Mathematical Sciences (): 47-59 (009) Isamiddin S.Rakhimov Department of Mathematics Faculty of Science and Institute for Mathematical Research Universiti Putra Malaysia 4400 UPM Serdang
More informationHonors 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 informationOn a theorem of Weitzenbiick in invariant theory
J. Math. Kyoto Univ. 1-3 (1962) 403-409. On a theorem of Weitzenbiick in invariant theory By C. S. SESHADRI (Communicated by Prof. M. Nagata, March 14, 1962) L e t V be an affine variety and G an algebraic
More informationPacific 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 informationDe Nugis Groebnerialium 5: Noether, Macaulay, Jordan
De Nugis Groebnerialium 5: Noether, Macaulay, Jordan ACA 2018 Santiago de Compostela Re-reading Macaulay References Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including
More informationSome Algebraic and Combinatorial Properties of the Complete T -Partite Graphs
Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede
More informationPolynomials, 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 informationKey words. n-d systems, free directions, restriction to 1-D subspace, intersection ideal.
ALGEBRAIC CHARACTERIZATION OF FREE DIRECTIONS OF SCALAR n-d AUTONOMOUS SYSTEMS DEBASATTAM PAL AND HARISH K PILLAI Abstract In this paper, restriction of scalar n-d systems to 1-D subspaces has been considered
More information