Cancellation for two-dimensional unique factorization domains

DOI10.1016/J.JPAA.2009.01.003MaRDI QIDQ1020952zbMATH OpenOpenAlexFDO

Authors Anthony J. Crachiola

Publication date 4 June 2009

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2009.01.003

zbMATH Keywords

cancellation problemlocally finite iterative higher derivationlocally nilpotent derivationMakar-Limanov invariant

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10)

Review text

This surprisingly short paper (approx. one page of preliminaries, one for the proof), a proof is given of cancellation for finitely generated two-dimensional UFDs over an algebraically closed field. To be precise: Let \(A,B\) be finitely generated two-dimensional UFDs over an algebraically closed field. If \(A[x]\cong B[x]\), then \(A\cong B\). The main technique for the proof is the AK-invariant (often denoted ML, as Makar-Limanov invariant). The main difficulty is in avoiding issues with characteristic \(p\), which is done in the introduction, by not considering locally nilpotent derivations, but exponential maps (or in fact ``locally finite iterative higher derivation which coincides with ``locally nilpotent if the characteristic is zero). Note that a generalisation to the theorem is not possible, due to counterexamples of \textit{D. Finston} and the reviewer [Isr. J. Math. 163, 369--381 (2008; Zbl 1139.14045)]. Also, the assumption UFD cannot be dropped: the famous Danielewski surfaces are counterexamples.

Recommendations

• Cancellation over commutative rings of dimension one and two
• scientific article; zbMATH DE number 1086150
• On unique factorization domains
• On unique factorization domains
• Unique factorization property of non-unique factorization domains. II
• scientific article; zbMATH DE number 1205617
• scientific article; zbMATH DE number 1309470
• Cancellation of symmetric bilinear forms over dedekind domains
• Unique factorisation in normal domains
• Cancellation of projective modules over polynomial extensions over a two-dimensional ring

Cites work

• Affine surfaces containing cylinderlike open sets
• Algebraic theory of locally nilpotent derivations
• An algebraic proof of a cancellation theorem for surfaces
• On affine-ruled rational surfaces
• On complex affine surfaces with \(\mathbb{C}^ +\)-action
• On finding and cancelling variables in k[X,Y,Z]
• On fixed point schemes of actions of multiplicative and additive groups
• On the uniqueness of the coefficient ring in a polynomial ring
• On Zariski problem
• Quasi-Affine Surfaces with G a -Actions
• Some remarks on strongly invariant rings
• The automorphism group of certain factorial threefolds and a cancellation problem

Cited in

(6)

• Universally coefficient domains and their relation to the cancellation problem for rings
• Cancellation of Morita and skew types
• A note on the rigid core of affine surfaces
• Zariski cancellation problem for noncommutative algebras
• On the methods to construct UFD counterexamples to a cancellation problem
• An algebraic characterization of the affine three space in arbitrary characteristic

This page was built for publication: Cancellation for two-dimensional unique factorization domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1020952)