Abstract
Let k be a field and let A be a finitely generated k-algebra. The algebra A is said to be cancellative if whenever B is another k-algebra with the property that \(A[x]\cong B[x]\) then we necessarily have \(A\cong B\). An important result of Abhyankar, Eakin, and Heinzer shows that if A is a finitely generated commutative integral domain of Krull dimension one then it is cancellative. We consider the question of cancellation for finitely generated not-necessarily-commutative domains of Gelfand–Kirillov dimension one, and show that such algebras are necessarily cancellative when the characteristic of the base field is zero. In particular, this recovers the cancellation result of Abhyankar, Eakin, and Heinzer in characteristic zero when one restricts to the commutative case. We also provide examples that show affine domains of Gelfand–Kirillov dimension one need not be cancellative when the base field has positive characteristic, giving a counterexample to a conjecture of Tang, the fourth-named author, and Zhang. In addition, we prove a skew analogue of the result of Abhyankar–Eakin–Heinzer, in which one works with skew polynomial extensions as opposed to ordinary polynomial rings.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abhyankar, S., Eakin, P., Heinzer, W.: On the uniqueness of the coefficient ring in a polynomial ring. J. Algebra 23, 310–342 (1972)
Bell, J., Zhang, J.J.: Zariski cancellation problem for noncommutative algebras. Selecta Math. (N.S.) 23(3), 1709–1737 (2017)
Bergen, J.: Cancellation in skew polynomial rings. Commun. Algebra 46(2), 705–707 (2018)
Bourbaki, N.: Algebra II. Chapters 4–7. Translated from the 1981 French edition by Cohn, P.M., Howie, J., Elements of Mathematics (Berlin). Springer-Verlag, Berlin, (2003)
Ceken, S., Palmieri, J., Wang, Y.-H., Zhang, J.J.: The discriminant criterion and the automorphism groups of quantized algebras. Adv. Math. 286, 754–801 (2016)
Chan, K., Young, A., Zhang, J.J.: The discriminant formulas and applications. Algebra Number Theory 10, 557–596 (2016)
Crachiola, A., Makar-Limanov, L.: On the rigidity of small domains. J. Algebra 284(1), 1–12 (2005)
Danielewski, W.: On the cancellation problem and automorphism groups of affine algebraic varieties, (1989). Preprint
Farb, B., Dennis, R.K.: Noncommutative algebra. Graduate Texts in Mathematics, 144. Springer-Verlag, New York, (1993)
Freudenburg, G.: Algebraic theory of locally nilpotent derivations, Second edition. Encyclopedia of Mathematical Sciences, 136. Invariant Theory and Algebraic Transformation Groups, VII. Springer-Verlag, Berlin, (2017)
Fujita, T.: On Zariski problem. Proc. Jpn. Acad. 55(A), 106–110 (1979)
Gaddis, J., Wang, X.-T.: The Zariski cancellation problem for Poisson algebras. Available at arXiv:1904.05836 (2019)
Gupta, N.: On the Cancellation Problem for the Affine Space \({\mathbb{A}}^3\) in characteristic \(p\). Invent. Math. 195(1), 279–288 (2014)
Gupta, N.: On Zariski’s cancellation problem in positive characteristic. Adv. Math. 264, 296–307 (2014)
Hartshorne, R.: Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, (1977)
Hochster, M.: Non-uniqueness of the ring of coefficients in a polynomial ring. Proc. Am. Math. Soc. 34, 81–82 (1972)
Jelonek, Z.: Testing sets for properness of polynomial mappings. Math. Ann. 315, 1–35 (1999)
Krause, G.R., Lenagan, T.H.: Growth of algebras and Gelfand-Kirillov dimension. Revised edition. Graduate Studies in Mathematics, 22. American Mathematical Society, Providence, RI, (2000)
Lezama, O., Wang, Y.-H., Zhang, J.J.: Zariski cancellation problem for non-domain noncommutative algebras. Math. Z. 292(3–4), 1269–1290 (2019)
Lu, D.-M., Wu, Q.-S., Zhang, J.J.: A Morita cancellation problem. Can. J. Math. 72(3), 708–731 (2020)
Makar-Limanov, L.: Locally nilpotent derivations, a new ring invariant and applications. Available online at http://www.math.wayne.edu/~lml/lmlnotes (2008)
Makar-Limanov, L.: On the hypersurface \(x+x^2y+z^2+t^3=0\) in \({ C}^4\) or a \({ C}^3\)-like threefold which is not \({ C}^3\). Israel J. Math. 96, 419–429 (1996)
Miyanishi, M.: Curves on rational and unirational surfaces. Tata Institute of Fundamental Research Lectures on Mathematics and Physics, 60. Tata Institute of Fundamental Research, Bombay. Narosa Publishing House, New Delhi, (1978)
Miyanishi, M., Sugie, T.: Affine surfaces containing cylinderlike open sets. J. Math. Kyoto Univ. 20, 11–42 (1980)
Russell, P.: On Affine-Ruled rational surfaces. Math. Ann. 255(3), 287–302 (1981)
Small, L.W., Warfield Jr., R.B.: Prime affine algebras of Gelfand-Kirillov dimension one. J. Algebra 91(2), 386–389 (1984)
Stasica, A.: Geometry of the Jelonek set. J. Pure Appl. Algebra 137, 49–55 (1999)
Tang, X., Venegas, H., Zhang, J.: Cancellation problem for AS-regular algebras of dimension three. Available at arXiv:1904.07281 (2019)
Acknowledgements
We thank the referee for supplying two relevant references.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Jason Bell was supported by NSERC Grant RGPIN-2016-03632.
Rights and permissions
About this article
Cite this article
Bell, J., Hamidizadeh, M., Huang, H. et al. Noncommutative analogues of a cancellation theorem of Abhyankar, Eakin, and Heinzer. Beitr Algebra Geom 62, 295–315 (2021). https://doi.org/10.1007/s13366-020-00518-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00518-3
Keywords
- Zariski cancellation problem
- Derivations
- Makar-Limanov invariant
- Gelfand–Kirillov dimension
- Skew polynomial extensions