Abstract
Let k be a field of characteristic zero and B a k-domain. Let R be a retract of B being the kernel of a locally nilpotent derivation of B. We show that if B = R ⊕ I for some principal ideal I (in particular, if B is a UFD), then B = R[1], i.e., B is a polynomial algebra over R in one variable. It is natural to ask that, if a retract R of a k-UFD B is the kernel of two commuting locally nilpotent derivations of B, then does it follow that B ≅ R[2]? We give a negative answer to this question. The interest in retracts comes from the fact that they are closely related to Zariski’s cancellation problem and the Jacobian conjecture in affine algebraic geometry.
Similar content being viewed by others
References
S. S. Abhyankar, T.-T. Moh: Embeddings of the line in the plane. J. Reine Angew. Math. 276 (1975), 148–166.
S. Chakraborty, N. Dasgupta, A. K. Dutta, N. Gupta: Some results on retracts of polynomial rings. J. Algebra 567 (2021), 243–268.
D. L. Costa: Retracts of polynomial rings. J. Algebra 44 (1977), 492–502.
P. C. Craighero: A result on m-flats in \(\mathbb{A}_k^n\). Rend. Semin. Mat. Univ. Padova 75 (1986), 39–46.
P. Das, A. K. Dutta: On codimension-one \({\mathbb{A}^1}\) with retraction. J. Commut. Algebra 3 (2011), 207–224.
G. Freudenburg: Algebraic Theory of Locally Nilpotent Derivations. Encyclopaedia of Mathematical Sciences 136. Invariant Theory and Algebraic Transformation Groups 7. Springer, Berlin, 2017.
S.-J. Gong, J.-T. Yu: Test elements, retracts and automorphic orbits. J. Algebra 320 (2008), 3062–3068.
N. Gupta: On the cancellation problem for the affine space \({\mathbb{A}^3}\) in characteristic p. Invent. Math. 195 (2014), 279–288.
N. Gupta: On the family of affine threefolds xmy = F(x, z, t). Compos. Math. 150 (2014), 979–998.
N. Gupta: On Zariski’s cancellation problem in positive characteristic. Adv. Math. 264 (2014), 296–307.
Z. Jelonek: The extension of regular and rational embeddings. Math. Ann. 277 (1987), 113–120.
D. Liu, X. Sun: A class of retracts of polynomial algebras. J. Pure Appl. Algebra 222 (2018), 382–386.
A. A. Mikhalev, V. Shpilrain, J.-T. Yu: Combinatorial Methods: Free Groups, Polynomials, and Free Algebras. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC 19. Springer, New York, 2004.
T. Nagamine: A note on retracts of polynomial rings in three variables. J. Algebra 534 (2019), 339–343.
V. Shpilrain, J.-T. Yu: Polynomial retracts and the Jacobian conjecture. Trans. Am. Math. Soc. 352 (2000), 477–484.
X. Sun: Automorphisms of the endomorphism semigroup of a free algebra. Int. J. Algebra Comput. 25 (2015), 1223–1238.
M. Suzuki: Propriétés topologiques des polynômes de deux variables complexes et automorphismes algébriques de l’espace C2. J. Math. Soc. Japan 26 (1974), 241–257. (In French.)
A. van den Essen: Polynomial Automorphisms and the Jacobian Conjecture. Progress in Mathematics 190. Birkhäuser, Basel, 2000.
A. van den Essen: Around the cancellation problem. Affine Algebraic Geometry. Osaka University Press, Osaka, 2007, pp. 463–481.
J.-T. Yu: Automorphic orbit problem for polynomial algebras. J. Algebra 319 (2008), 966–970.
Acknowledgments
An earlier version of the paper was finished in May 2019 when the authors visited Western Michigan University. They thank Prof. Gene Freudenburg and Dr. Takanori Nagamine for helpful discussions on retracts and locally nilpotent derivations during their visiting, and they are indebt to Prof. Gene Freudenburg for showing them how to compute the Derksen invariant in Proposition 2.14.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the NSF of China (11871241), and the Science and Technology Project of Jilin Provincial Education Department (JJKH20211032KJ).
Rights and permissions
About this article
Cite this article
Liu, D., Sun, X. Retracts that are kernels of locally nilpotent derivations. Czech Math J 72, 191–199 (2022). https://doi.org/10.21136/CMJ.2021.0388-20
Received:
Published:
Issue Date:
DOI: https://doi.org/10.21136/CMJ.2021.0388-20