Noncommutative analogues of a cancellation theorem of Abhyankar, Eakin, and Heinzer (Q2028003)

This paper continues work by \textit{J. Bell} and \textit{J. J. Zhang} in [Sel. Math., New Ser. 23, No. 3, 1709--1737 (2017; Zbl 1380.16024)] on the Zariski Cancellation Problem for noncommutative algebras. Let \(k\) be a field. A \(k\)-algebra \(A\) is said to be \textit{cancellative} if \(A[x]\cong B[x]\), for any \(k\)-algebra \(B\), implies \(A \cong B\). When \(k\) has characteristic zero and \(A\) is affine of Gelfand-Kirillov dimension one, the authors prove that \(A\) is cancellative. This should be compared to a theorem of \textit{S. S. Abhyankar} et al. [J. Algebra 23, 310-342 (1972; Zbl 0255.13008)] in the context of commutative integral domains of Krull dimension one. The authors also show that this result fails in prime characteristic. The second part of this paper considers \textit{skew cancellation}, or cancellation of Ore extensions of automorphism or derivation type. The question here is a natural extension of the classical problem. Suppose \(A\) and \(B\) are \(k\)-algebras such that \(A[x;\sigma] \cong B[x';\sigma']\) for automorphisms \(\sigma\) and \(\sigma'\) of \(A\) and \(B\), respectively. Then is \(A \cong B\)? One can ask a similar question when \(\sigma,\sigma'\) are replaced by derivations \(\delta,\delta'\). This latter question was considered previously by \textit{Bergen} [Commun. Algebra 46, No. 2, 705-707 (2018, Zbl 1410.16029)]. In either case, the authors prove that skew cancellation holds when \(A\) and \(B\) are affine commutative integral domains of Krull dimension one, though in the derivation case there is the additional hypothesis that \(k\) has characteristic zero.