Abstract
Let k be a field of characteristic p > 0. We discuss the automorphisms of the polynomial ring k[x1,…,xn] of order p, or equivalently the Z/pZ-actions on the affine space \({\textbf {A}}_{k}^{n}\). When n = 2, such an automorphism is known to be a conjugate of an automorphism fixing a variable. It is an open question whether the same holds when n ≥ 3. In this paper, (1) we give a negative answer to this question when n = 3. In fact, we show that every Ga-action on \({\textbf {A}}_{k}^{3}\) of rank three yields an automorphism of k[x1,x2,x3] of order p which is not a conjugate of an automorphism fixing a variable. We give a family of such automorphisms of k[x1,x2,x3] by constructing a family of rank three Ga-actions on \({\textbf {A}}_{k}^{3}\). (2) For the automorphisms of k[x1,x2,x3] induced by this family of Ga-actions, we show that the invariant ring is isomorphic to k[x1,x2,x3] if and only if the plinth ideal is principal, under some mild assumptions. (3) We study the Nagata type automorphism of R[x1,x2], where R is a UFD of characteristic p > 0. This type of automorphism is of order p. We give a necessary and sufficient condition for the invariant ring to be isomorphic to R[x1,x2]. This condition is equivalent to the condition that the plinth ideal is principal.
Similar content being viewed by others
Notes
The author announced this theorem, together with a negative answer to Question 1.1, on the occasion of the 13th meeting of Affine Algebraic Geometry at Osaka on March 5, 2015 (see [18]).
References
Atiyah, M.F., Macdonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Publishing Co., Reading (1969)
Berson, J., van den Essen, A., Wright, D.: Stable tameness of two-dimensional polynomial automorphisms over a regular ring. Adv. Math. 230(4–6), 2176–2197 (2012)
Campbell, H.E.A.E., Wehlau, D.L.: Modular Invariant Theory. Encyclopaedia of Mathematical Sciences, vol. 139. Springer, Berlin (2011)
van den Essen, A.: Polynomial Automorphisms and the Jacobian Conjecture. Progress in Mathematics, vol. 190. Birkhäuser Verlag, Basel (2000)
Freudenburg, G.: Actions of Ga on A3 defined by homogeneous derivations. J. Pure Appl. Algebra 126, 169–181 (1998)
Freudenburg, G.: Algebraic Theory of Locally Nilpotent Derivations, 2nd edn., Encyclopaedia of Mathematical Sciences, vol. 136. Springer, Berlin (2017)
Huneke, C., Swanson, I.: Integral Closure of Ideals, Rings, and Modules. London Mathematical Society Lecture Note Series, vol. 336. Cambridge University Press, Cambridge (2006)
Jung, H.: Über ganze birationale Transformationen der Ebene. J. Reine Angew. Math. 184, 161–174 (1942)
Kambayashi, T.: On the absence of nontrivial separable forms of the affine plane. J. Algebra 35, 449–456 (1975)
van der Kulk, W.: On polynomial rings in two variables. Nieuw Arch. Wisk. (3) 1, 33–41 (1953)
Kuroda, S.: Shestakov-Umirbaev reductions and Nagata’s conjecture on a polynomial automorphism. Tohoku Math. J. 62, 75–115 (2010)
Kuroda, S.: Wildness of polynomial automorphisms: applications of the Shestakov-Umirbaev theory and its generalization. In: Higher Dimensional Algebraic Geometry, pp. 103–120. RIMS Kôkyûroku Bessatsu, B24, Res. Inst. Math. Sci. (RIMS), Kyoto (2011)
Kuroda, S.: Recent developments in polynomial automorphisms: the solution of Nagata’s conjecture and afterwards. Sugaku Expositions 29, 177–201 (2016)
Maubach, S.: Invariants and conjugacy classes of triangular polynomial maps. J. Pure Appl. Algebra 219(12), 5206–5224 (2015)
Miyanishi, M.: Ga-action of the affine plane. Nagoya Math. J. 41, 97–100 (1971)
Miyanishi, M.: Curves on Rational and Unirational Surfaces. Tata Institute of Fundamental Research Lectures on Mathematics and Physics, 60, Tata Inst. Fund. Res., Bombay (1978)
Miyanishi, M.: Normal affine subalgebras of a polynomial ring. In: Algebraic and Topological Theories, pp. 37–51. Kinokuniya, Tokyo (1984)
Miyanishi, M.: Wild \(\mathbb {Z}/p\mathbb {Z}\)-actions on algebraic surfaces. J. Algebra 477, 360–389 (2017)
Miyanishi, M., Ito, H.: Algebraic Surfaces in Positive Characteristics—Purely Inseparable Phenomena in Curves and Surfaces. World Scientific Publishing Co. Pte. Ltd., Hackensack (2021)
Nagata, M.: On Automorphism Group of k[x,y]. Kinokuniya Book Store Co. Ltd., Tokyo (1972)
Rentschler, R.: Opérations du groupe additif sur le plan affine. C. R. Acad. Sci. Paris Sér. A-B 267, 384–387 (1968)
Russell, P.: Simple birational extensions of two dimensional affine rational domains. Compositio Math. 33(2), 197–208 (1976)
Sathaye, A.: On linear planes. Proc. Amer. Math. Soc. 56, 1–7 (1976)
Shestakov, I., Umirbaev, U.: The tame and the wild automorphisms of polynomial rings in three variables. J. Amer. Math. Soc. 17, 197–227 (2004)
Takeda, Y.: Artin-Schreier coverings of algebraic surfaces. J. Math. Soc. Japan 41(3), 415–435 (1989)
Tanimoto, R.: Pseudo-derivations and modular invariant theory. Transform. Groups 23(1), 271–297 (2018)
Funding
This work is partly supported by JSPS KAKENHI Grant Numbers 15K04826 and 18K03219.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The author declares no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kuroda, S. Polynomial Automorphisms of Characteristic Order and Their Invariant Rings. Transformation Groups (2022). https://doi.org/10.1007/s00031-022-09764-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00031-022-09764-2