The automorphism theorem and additive group actions on the affine plane
|
|
- Heather Haynes
- 6 years ago
- Views:
Transcription
1 The automorphism theorem and additive group actions on the affine plane arxiv: v1 [math.ac] 14 Apr 2016 Shigeru Kuroda Abstract Due to Rentschler, Miyanishi and Kojima, the invariant ring for a G a -action on the affine plane over an arbitrary field is generated by one coordinate. In this note, we give a new short proof for this result using the automorphism theorem of Jung and van der Kulk. 1 Introduction Let k be a field, A a k-domain, A[T] the polynomial ring in one variable over A, and σ : A A[T] a homomorphism of k-algebras. Then, σ defines an action of the additive group G a = Speck[T] on SpecA if and only if the following holds for each a A, where we write σ(a) = i 0 a it i with a i A, and U is a new variable: (A1) a 0 = a. (A2) i 0 σ(a i)u i = i 0 a i(t +U) i in A[T,U]. If this is the case, we call σ a G a -action on A. The σ-invariant ring A σ := {a A σ(a) = a} is equal to σ 1 (A) by (A1). We say that σ is nontrivial if A σ A. Now, let k[x 1,x 2 ] be the polynomial ring in two variables over k, and Aut k k[x 1,x 2 ] the automorphism group of the k-algebra k[x 1,x 2 ]. We often express φ Aut k k[x 1,x 2 ] as (φ(x 1 ),φ(x 2 )). We call f k[x 1,x 2 ] a coordinate of k[x 1,x 2 ] if there exists g k[x 1,x 2 ] such that (f,g) belongs to Aut k k[x 1,x 2 ], that is, k[f,g] = k[x 1,x 2 ]. The following theorem is a fundamental result for G a -actions on k[x 1,x 2 ]. Theorem 1.1. For every nontrivial G a -action σ on k[x 1,x 2 ], there exists a coordinate f of k[x 1,x 2 ] such that k[x 1,x 2 ] σ = k[f] Mathematics Subject Classification. Primary 14R10; Secondary 13A50, 14R20. Partly supported by JSPS KAKENHI Grant Number 15K
2 This theorem was first proved by Rentschler [13] when chark = 0 in 1968, and then by Miyanishi [11] when k is algebraically closed in Recently, Kojima [7] proved the general case by making use of Russell-Sathaye [14] (see also [9]). For each f k[x 1,x 2 ], we denote by degf the total degree of f, and by f or (f) the highest homogeneous part of f for the standard grading on k[x 1,x 2 ]. The following well-known theorem was first proved by Jung [5] when chark = 0 in The general case was proved by van der Kulk [8] in 1953 (see also the proof of Makar-Limanov [10] and its modifications by Dicks [3] and Cohn [1, Thm. 8.5]). Theorem 1.2. For every (f 1,f 2 ) Aut k k[x 1,x 2 ] with degf 1 2 or degf 2 2, there exist (i,j) {(1,2),(2,1)}, α k and l 1 such that f i = α f j l The purpose of this note is to give a new short proof of Theorem 1.1 based on Theorem 1.2 (cf. 2). We should mention that, if k is an infinite field, Theorem 1.1 can be derived from Theorem 1.2 by a group-theoretic approach (cf. [6]). Our approach is different from this approach, and is valid for an arbitrary k. Conversely, Theorem 1.2 can be derived easily from Theorem 1.1. This seems known to experts, at least when chark = 0 (cf. e.g. [4, 5.1] for related discussion). For completeness, we also give a proof for this implication (cf. 3). The author thanks Prof. Ryuji Tanimoto (Shizuoka University) for discussion. 2 G a -action Recall that, if σ is a nontrivial G a -action on A, then A has transcendence degree one over A σ (cf. [12, 1.5]). For each t A σ, the map σ t : A σ A[T] f(t) f(t) A is an automorphism of the k-algebra A. Actually, we have σ 0 = id A by (A1), and σ t σ u = σ t+u for each t,u A σ by (A2). Now, wederive Theorem 1.1fromTheorem 1.2. Foreach q = i 0 q it i k[x 1,x 2 ][T]\{0} with q i k[x 1,x 2 ], we define the Z 2 -degree of q by deg Z 2q := max{(i,degq i ) Z 2 i 0, q i 0}, where Z 2 isorderedlexicographically, i.e., (a,b) (a,b )if andonly ifa < a, ora = a andb b. Letσ beanynontrivialg a -actiononk[x 1,x 2 ]. Itsuffices to find (f 1,f 2 ) Aut k k[x 1,x 2 ] for which σ(f 1 ) or σ(f 2 ) belongs to k[x 1,x 2 ]. Suppose that such an (f 1,f 2 ) does not exist. Choose (f 1,f 2 ) Aut k k[x 1,x 2 ] 2
3 so that deg Z 2σ(f 1 ) + deg Z 2σ(f 2 ) is minimal, and write σ(f i ) = q i (T) = mi j=1 q i,jt j for i = 1,2, where q i,j k[x 1,x 2 ] with q i,mi 0. By supposition, we have m 1,m 2 1. Since k[x 1,x 2 ] σ k, we may take g k[x 1,x 2 ] σ with g k. Then, σ g r = (q 1 (g r ),q 2 (g r )) belongs to Aut k k[x 1,x 2 ] for each r 0 as mentioned above. Since degg 1, there exists r 0 > 0 such that, for each r r 0 and i = 1,2, we have (q i (g r )) = q i,mi ḡ rm i and degq i (g r ) 2. By Theorem 1.2, for each r r 0, there exist (i,j) {(1,2),(2,1)}, α k and l 1 such that q i,mi ḡ rm i = α( q j,mj ḡ rm j ) l. This equality implies that r(m i lm j )degg = ldegq j,mj degq i,mi. (2.1) Wenotethat(i,j),αandlabovedependonr. By(2.1),weseethatm i = lm j holds for sufficiently large r. Take such an r. Then, we have q i,mi = α q l j,m j, and hence deg(q i,mi αq l j,m j ) < degq i,mi. Thus, the Z 2 -degree of σ(f i αf l j ) = q i(t) αq j (T) l = (q i,mi αq l j,m j )T m i +(terms of lower degree in T) is strictly less than that of σ(f i ). Since (f i αf l j,f j) belongs to Aut k k[x 1,x 2 ], this contradicts the minimality of deg Z 2σ(f 1 )+deg Z 2σ(f 2 ), completing the proof. 3 Automorphism Theorem We derive Theorem 1.2 from Theorem 1.1. Let f = i 1,i 2 0 u i 1,i 2 x i 1 1 x i 2 2 be an element of k[x 1,x 2 ]\{0}, where u i1,i 2 k. For each w = (w 1,w 2 ) R 2, we define deg w f := max{i 1 w 1 +i 2 w 2 i 1,i 2 0, u i1,i 2 0} and f w := ui1,i 2 x i 1 1 x i 2 2, where the sum is taken over i 1,i 2 0 with i 1 w 1 +i 2 w 2 = deg w f. We say that f is w-homogeneous if f w = f, and non-univariate if f k[x 1 ] k[x 2 ]. We define w(f) := (deg (0,1) f,deg (1,0) f). We remark that f w(f) is non-univariate if f is non-univariate. The following lemma is a consequence of Theorem 1.1. Lemma 3.1. If σ is a nontrivial G a -action on k[x 1,x 2 ], and f k[x 1,x 2 ] σ is non-univariate, then there exist a,b k, (i,j) {(1,2),(2,1)} and l,m 1 such that f w(f) = a(x i bx l j) m. (3.1) 3
4 Proof. Since f is non-univariate, so is f w(f) as remarked. By Derksen Hadas Makar-Limanov[2, Prop. 2.2], thereexists anontrivialg a -actionτ on k[x 1,x 2 ] such that f w(f) belongs to k[x 1,x 2 ] τ. By Theorem 1.1, k[x 1,x 2 ] τ = k[h] holds for some coordinate h of k[x 1,x 2 ]. We may assume that h has no constant term. Then, since f w(f) belongs to k[h] \ k and f w(f) is w(f)- homogeneous, we see that h is w(f)-homogeneous, and f w(f) = αh m for some α k and m 1. This implies that h is non-univariate. Since h is a w(f)-homogeneous coordinate, h must have the form βx i +γx l j for some β,γ k and l 1. Therefore, f w(f) is written as in (3.1). Now, we prove Theorem 1.2. Take φ = (f 1,f 2 ) Aut k k[x 1,x 2 ]. Set w i := degf i and g i := φ 1 (x i ) for i = 1,2. Assume that w 1 2 or w 2 2. Then, there exists t {1,2} such that g t is non-univariate. Note that a nontrivialg a -actionσ onk[x 1,x 2 ]isdefinedbyσ(g t ) = g t andσ(g u ) = g u +T, where u t. Since g t belongs to k[x 1,x 2 ] σ, we may write g w(gt) t as in (3.1) by Lemma 3.1. Set w := (w 1,w 2 ). Then, we have deg w g t = mmax{w i,lw j } max{w 1,w 2 } 2 > 1 = degx t = degφ(g t ). This implies that a( f i b f l j )m = 0. Therefore, we get f i = b f l j, proving Theorem 1.2. References [1] P. M. Cohn, Free rings and their relations, Second edition, Academic Press, London, [2] H. Derksen, O. Hadas and L. Makar-Limanov, Newton polytopes of invariants of additive group actions, J. Pure Appl. Algebra 156 (2001), no. 2-3, [3] W. Dicks, Automorphisms of the polynomial ring in two variables, Publ. Sec. Mat. Univ. Autònoma Barcelona 27 (1983), [4] A. van den Essen, Polynomial automorphisms and the Jacobian conjecture, Progress in Mathematics, Vol. 190, Birkhäuser, Basel, Boston, Berlin, [5] H. Jung, Über ganze birationale Transformationen der Ebene, J. Reine Angew. Math. 184 (1942), [6] T. Kambayashi, Automorphism group of a polynomial ring and algebraic group action on an affine space, J. Algebra 60 (1979),
5 [7] H. Kojima, Locally finite iterative higher derivations on k[x, y], Colloq. Math. 137 (2014), no. 2, [8] W. van der Kulk, On polynomial rings in two variables, Nieuw Arch. Wisk. (3) 1 (1953), [9] S. Kuroda, A generalization of Nakai s theorem on locally finite iterative higher derivations, arxiv:math.ac/ [10] L. Makar-Limanov, On Automorphisms of Certain Algebras (Russian), PhD Thesis, Moscow, [11] M. Miyanishi, G a -action of the affine plane, Nagoya Math. J. 41 (1971), [12] M. Miyanishi, Curves on rational and unirational surfaces, Tata Institute of Fundamental Research Lectures on Mathematics and Physics, 60, Tata Inst. Fund. Res., Bombay, [13] R. Rentschler, Opérations du groupe additif sur le plan affine, C. R. Acad. Sci. Paris Sér. A-B 267 (1968), [14] P. Russell and A. Sathaye, On finding and cancelling variables in k[x, Y, Z], J. Algebra 57 (1979), no. 1, Department of Mathematics and Information Sciences Tokyo Metropolitan University 1-1 Minami-Osawa, Hachioji, Tokyo , Japan kuroda@tmu.ac.jp 5
A Simple Proof of Jung Theorem on Polynomial Automorphisms of C 2
arxiv:math/0408077v [math.ag] 5 Aug 2004 A Simple Proof of Jung Theorem on Polynomial Automorphisms of C 2 Nguyen Van Chau Abstract. The Automorphism Theorem, discovered first by Jung in 942, asserts that
More 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 informationTHE AUTOMORPHISM GROUP OF THE FREE ALGEBRA OF RANK TWO. P. M. Cohn
Serdica Math. J. 28 (2002), 255-266 THE AUTOMORPHISM GROUP OF THE FREE ALGEBRA OF RANK TWO P. M. Cohn Communicated by V. Drensky Abstract. The theorem of Czerniakiewicz and Makar-Limanov, that all the
More informationSign of Permutation Induced by Nagata Automorphism over Finite Fields
Journal of Mathematics Research; Vol. 9, No. 5; October 217 ISSN 1916-9795 E-ISSN 1916-989 Published by Canadian Center of Science and Education Sign of Permutation Induced by Nagata Automorphism over
More informationOn the lifting of the Nagata automorphism
Sel. Math. New Ser. DOI 10.1007/s00029-011-0061-3 Selecta Mathematica New Series Alexei Belov-Kanel Jie-Tai Yu Springer Basel AG 2011 Abstract It is proved that all wild z-automorphisms including the well-known
More 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 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 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 informationON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES
ON THE RING OF CONSTANTS FOR DERIVATIONS OF POWER SERIES RINGS IN TWO VARIABLES BY LEONID MAKAR - LIMANOV DETROIT) AND ANDRZEJ NOWICKI TORUŃ) Abstract. Let k[[x, y]] be the formal power series ring in
More informationWarren Dicks. Let k be a field, k[x,y] the polynomíal ring in two variables, and. x+a 22y +a 2)I a 11
Pub. Mat. UAB Vol. 27 Ne 1 AUTOMORPHISMS OF THE POLYNOMIAL RING IN TWO VARIABLES` Warren Dicks Let k be a field, k[x,y] the polynomíal ring in two variables, and Aut k[x,y] the group of all its k-algebra
More informationMathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch
Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive
More informationarxiv: v1 [math.ac] 3 Jan 2016
A new characterization of the invertibility of polynomial maps arxiv:1601.00332v1 [math.ac] 3 Jan 2016 ELŻBIETA ADAMUS Faculty of Applied Mathematics, AGH University of Science and Technology al. Mickiewicza
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 POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE
Bull. Korean Math. Soc. 47 (2010), No. 1, pp. 211 219 DOI 10.4134/BKMS.2010.47.1.211 A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE Dosang Joe Abstract. Let P be a Jacobian polynomial such as deg P =
More informationA 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 informationarxiv: v1 [math.ac] 24 Mar 2015
A Note on Darboux Polynomials of Monomial Derivations arxiv:1503.07011v1 [math.ac] 24 Mar 2015 Abstract Jiantao Li School of Mathematics, Liaoning University, Shenyang, 110031, China We study a monomial
More informationarxiv: v1 [math.ag] 27 Oct 2007
A NOTE ON SINGULARITY AND NON-PROPER VALUE SET OF POLYNOMIAL MAPS OF C 2 arxiv:0710.5212v1 [math.ag] 27 Oct 2007 NGUYEN VAN CHAU Abstract. Some properties of the relation between the singular point set
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationRELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS
Kragujevac Journal of Mathematics Volume 38(1) (2014), Pages 147 161. RELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL
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 informationRing of the weight enumerators of d + n
Ring of the weight enumerators of Makoto Fujii Manabu Oura Abstract We show that the ring of the weight enumerators of a self-dual doubly even code in arbitrary genus is finitely generated Indeed enough
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 informationFINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN
FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the
More informationNIL, NILPOTENT AND PI-ALGEBRAS
FUNCTIONAL ANALYSIS AND OPERATOR THEORY BANACH CENTER PUBLICATIONS, VOLUME 30 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1994 NIL, NILPOTENT AND PI-ALGEBRAS VLADIMÍR MÜLLER Institute
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 informationThe 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 informationarxiv: v1 [math.ag] 1 Apr 2013
The characterization of Hermitian surfaces by the number of points arxiv:1304.0302v1 [math.ag] 1 Apr 2013 Masaaki Homma Department of Mathematics and Physics Kanagawa University Hiratsuka 259-1293, Japan
More informationThe tame and the wild automorphisms of an affine quadric threefold
c 2013 The Mathematical Society of Japan J. Math. Soc. Japan Vol. 65, No. 1 (2013 pp. 299 320 doi: 10.2969/jmsj/06510299 The tame and the wild automorphisms of an affine quadric threefold By Stéphane Lamy
More informationarxiv: v2 [math.ra] 29 May 2018
arxiv:1708.04361v2 [math.ra] 29 May 2018 A SHORT PROOF THAT THE FREE ASSOCIATIVE ALGEBRA IS HOPFIAN ALEXEI BELOV-KANEL, LOUIS ROWEN AND JIE-TAI YU Abstract. A short proof is given of the fact that for
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 informationarxiv: v8 [math.ra] 13 Apr 2015
SPECIAL CASES OF THE JACOBIAN CONJECTURE VERED MOSKOWICZ arxiv:1501.06905v8 [math.ra] 13 Apr 2015 Abstract. The famous Jacobian conjecture asks if a morphism f : K[x,y] K[x,y] that satisfies Jac(f(x),f(y))
More informationDetermining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More informationFINITE REGULARITY AND KOSZUL ALGEBRAS
FINITE REGULARITY AND KOSZUL ALGEBRAS LUCHEZAR L. AVRAMOV AND IRENA PEEVA ABSTRACT: We determine the positively graded commutative algebras over which the residue field modulo the homogeneous maximal ideal
More informationNEWTON POLYGONS AND FAMILIES OF POLYNOMIALS
NEWTON POLYGONS AND FAMILIES OF POLYNOMIALS ARNAUD BODIN Abstract. We consider a continuous family (f s ), s [0,1] of complex polynomials in two variables with isolated singularities, that are Newton non-degenerate.
More informationRESEARCH 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 informationz-classes in finite groups of conjugate type (n, 1)
Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:31 https://doi.org/10.1007/s12044-018-0412-5 z-classes in finite groups of conjugate type (n, 1) SHIVAM ARORA 1 and KRISHNENDU GONGOPADHYAY 2, 1 Department
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationAN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES
AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES Abstract. We give a proof of the group law for elliptic curves using explicit formulas. 1. Introduction In the following K will denote an algebraically
More informationCOMPLETE REDUCIBILITY AND SEPARABLE FIELD EXTENSIONS
COMPLETE REDUCIBILITY AND SEPARABLE FIELD EXTENSIONS MICHAEL BATE, BENJAMIN MARTIN, AND GERHARD RÖHRLE Abstract. Let G be a connected reductive linear algebraic group. The aim of this note is to settle
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 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 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 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 informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
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 informationarxiv: v2 [math.ac] 7 May 2018
INFINITE DIMENSIONAL EXCELLENT RINGS arxiv:1706.02491v2 [math.ac] 7 May 2018 HIROMU TANAKA Abstract. In this note, we prove that there exist infinite dimensional excellent rings. Contents 1. Introduction
More informationProblem 1.1. Classify all groups of order 385 up to isomorphism.
Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5
More informationThe Hilbert functions which force the Weak Lefschetz Property
The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO
More informationOne-Dimensional Line Schemes Michaela Vancliff
One-Dimensional Line Schemes Michaela Vancliff University of Texas at Arlington, USA http://www.uta.edu/math/vancliff/r vancliff@uta.edu Partial support from NSF DMS-1302050. Motivation Throughout, k =
More informationKATTHALEEYA DAOWSUD AND THOMAS A. SCHMIDT
CONTINUED FRACTIONS FOR RATIONAL TORSION KATTHALEEYA DAOWSUD AND THOMAS A. SCHMIDT Abstract. We exhibit a method to use continued fractions in function fields to find new families of hyperelliptic curves
More informationTHE JACOBIAN CONJECTURE: SURVEY OF SOME RESULTS
TOPICS IN COMPLEX ANALYSIS BANACH CENTER PUBLICATIONS, VOLUME 31 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1995 THE JACOBIAN CONJECTURE: SURVEY OF SOME RESULTS LUDWIK M. DRUŻKOWSKI Institute
More 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 informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More informationORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS
ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)
More informationApproximability of word maps by homomorphisms
Approximability of word maps by homomorphisms Alexander Bors arxiv:1708.00477v1 [math.gr] 1 Aug 2017 August 3, 2017 Abstract Generalizing a recent result of Mann, we show that there is an explicit function
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.
More informationWRONSKIANS AND LINEAR INDEPENDENCE... f (n 1)
WRONSKIANS AND LINEAR INDEPENDENCE ALIN BOSTAN AND PHILIPPE DUMAS Abstract We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly
More information1. Algebra 1.5. Polynomial Rings
1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are
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 informationRealization of locally extended affine Lie algebras of type A 1
Volume 5, Number 1, July 2016, 153-162 Realization of locally extended affine Lie algebras of type A 1 G. Behboodi Abstract. Locally extended affine Lie algebras were introduced by Morita and Yoshii as
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationREDUCIBILITY OF RATIONAL FUNCTIONS IN SEVERAL VARIABLES
REDUCIBILITY OF RATIONAL FUNCTIONS IN SEVERAL VARIABLES ARNAUD BODIN Abstract. We prove a analogous of Stein theorem for rational functions in several variables: we bound the number of reducible fibers
More informationGalois Theory. Torsten Wedhorn. July 13, These lecture notes contain the final third of my lecture on abstract algebra.
Galois Theory Torsten Wedhorn July 13, 2015 These lecture notes contain the final third of my lecture on abstract algebra. Notation: If not otherwise stressed, all rings and all algebras are commutative.
More informationAlgebraic 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 informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to
More informationCONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT
MATHEMATICS OF COMPUTATION Volume 66, Number 217, January 1997, Pages 411 415 S 0025-5718(97)00779-5 CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT KOH-ICHI NAGAO Abstract. We
More informationSolutions of exercise sheet 11
D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial
More informationDecidability of Sub-theories of Polynomials over a Finite Field
Decidability of Sub-theories of Polynomials over a Finite Field Alla Sirokofskich Hausdorff Research Institute for Mathematics Poppelsdorfer Allee 45, D-53115, Bonn, Germany Department of Mathematics University
More informationTHE DEGREE OF THE INVERSE OF A POLYNOMIAL AUTOMORPHISM
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIV 2006 THE DEGREE OF THE INVERSE OF A POLYNOMIAL AUTOMORPHISM by Sabrina Brusadin and Gianluca Gorni Abstract. Let F : C n C n be an invertible
More informationThe secondary Novikov-Shubin invariants of groups and quasi-isometry
The secondary Novikov-Shubin invariants of groups and quasi-isometry SHIN-ICHI OGUNI 2005.. 6 Abstract We define new L 2 -invariants which we call the secondary Novikov-Shubin invariants. We calculate
More informationBelyi Lattès maps. Ayberk Zeytin. Department of Mathematics, Galatasaray University. İstanbul Turkey. January 12, 2016
Belyi Lattès maps Ayberk Zeytin Department of Mathematics, Galatasaray University Çırağan Cad. No. 36, 3357 Beşiktaş İstanbul Turkey January 1, 016 Abstract In this work, we determine all Lattès maps which
More informationTHE STRUCTURE OF A RING OF FORMAL SERIES AMS Subject Classification : 13J05, 13J10.
THE STRUCTURE OF A RING OF FORMAL SERIES GHIOCEL GROZA 1, AZEEM HAIDER 2 AND S. M. ALI KHAN 3 If K is a field, by means of a sequence S of elements of K is defined a K-algebra K S [[X]] of formal series
More informationCOUNTABLY COMPLEMENTABLE LINEAR ORDERINGS
COUNTABLY COMPLEMENTABLE LINEAR ORDERINGS July 4, 2006 ANTONIO MONTALBÁN Abstract. We say that a countable linear ordering L is countably complementable if there exists a linear ordering L, possibly uncountable,
More informationFILTERED 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 informationarxiv:math/ v1 [math.rt] 9 Oct 2004
On compression of Bruhat Tits buildings Yurii A. Neretin arxiv:math/0410242v1 [math.rt] 9 Oct 2004 Consider an affine Bruhat-Tits building Lat n of the type A n 1 and the complex distance in Lat n, i.e.,
More informationADDITIVE GROUPS OF SELF-INJECTIVE RINGS
SOOCHOW JOURNAL OF MATHEMATICS Volume 33, No. 4, pp. 641-645, October 2007 ADDITIVE GROUPS OF SELF-INJECTIVE RINGS BY SHALOM FEIGELSTOCK Abstract. The additive groups of left self-injective rings, and
More informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
More informationarxiv: v1 [math.ra] 23 Apr 2018
ON GROUP RINGS GUY RENAULT arxiv:1804.08586v1 [math.ra] 23 Apr 2018 Note by M. Guy Renault, presented by M. Jean Leray. Abstract. We characterize the rings A and groups G for which the group rings A[G]
More informationHandout - Algebra Review
Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much
More informationGEOMETRY OF 3-SELMER CLASSES THE ALGEBRAIC GEOMETRY LEARNING SEMINAR 7 MAY 2015
IN GEOMETRY OF 3-SELMER CLASSES THE ALGEBRAIC GEOMETRY LEARNING SEMINAR AT ESSEN 7 MAY 2015 ISHAI DAN-COHEN Abstract. We discuss the geometry of 3-Selmer classes of elliptic curves over a number field,
More informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationADDENDUM TO FROBENIUS AND CARTIER ALGEBRAS OF STANLEY-REISNER RINGS [J. ALGEBRA 358 (2012) ]
ADDENDUM TO FROBENIUS AND CARTIER ALGEBRAS OF STANLEY-REISNER RINGS [J. ALGEBRA 358 (2012) 162-177] JOSEP ÀLVAREZ MONTANER AND KOHJI YANAGAWA Abstract. We give a purely combinatorial characterization of
More informationarxiv: v3 [math.gt] 23 Dec 2014
THE RASMUSSEN INVARIANT, FOUR-GENUS AND THREE-GENUS OF AN ALMOST POSITIVE KNOT ARE EQUAL arxiv:1411.2209v3 [math.gt] 23 Dec 2014 KEIJI TAGAMI Abstract. An oriented link is positive if it has a link diagram
More informationBoij-Söderberg Theory
? September 16, 2013 Table of contents? 1? 2 3 4 5 6 Preface? In this presentation we try to give an outline on a new theory on free resolutions. This theory is named after two Swedish mathematicians Mats
More informationAN INTRODUCTION TO GALOIS THEORY
AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is
More informationON MONOCHROMATIC LINEAR RECURRENCE SEQUENCES
Volume 11, Number 2, Pages 58 62 ISSN 1715-0868 ON MONOCHROMATIC LINEAR RECURRENCE SEQUENCES Abstract. In this paper we prove some van der Waerden type theorems for linear recurrence sequences. Under the
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationDimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations
Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations Alexander Levin The Catholic University of America Washington, D. C. 20064 Spring Eastern Sectional AMS Meeting
More informationarxiv: v1 [math.fa] 1 Nov 2017
NON-EXPANSIVE BIJECTIONS TO THE UNIT BALL OF l 1 -SUM OF STRICTLY CONVEX BANACH SPACES V. KADETS AND O. ZAVARZINA arxiv:1711.00262v1 [math.fa] 1 Nov 2017 Abstract. Extending recent results by Cascales,
More informationA NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO
A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension
More informationOn a Theorem of Dedekind
On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA
ON GRADED MORITA EQUIVALENCES FOR AS-REGULAR ALGEBRAS KENTA UEYAMA Abstract. One of the most active projects in noncommutative algebraic geometry is to classify AS-regular algebras. The motivation of this
More informationNonhomogeneous linear differential polynomials generated by solutions of complex differential equations in the unit disc
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 20, Number 1, June 2016 Available online at http://acutm.math.ut.ee Nonhomogeneous linear differential polynomials generated by solutions
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 informationA SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS
J. Austral. Math. Soc. {Series A) 50 (1991), 320-332 A SUBSPACE THEOREM FOR ORDINARY LINEAR DIFFERENTIAL EQUATIONS ALICE ANN MILLER (Received 22 May 1989; revised 16 January 1990) Communicated by J. H.
More informationDERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION
DERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION HIROTAKA KOGA Abstract. In this note, we introduce the notion of complexes of finite Gorenstein projective dimension and show that a derived equivalence
More informationAN 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 informationFinite Generation of Adjoint Ring for Log Surfaces
J. Math. Sci. Univ. Tokyo 23 (2016), 741 761. Finite Generation of Adjoint Ring for Log Surfaces Contents By Kenta Hashizume Abstract. We prove the finite generation of the adjoint ring for Q-factorial
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More information