Planes of the form \(b(X,Y)Z^n-a(X,Y)\) over a DVR (Q412560): Difference between revisions

For a commutative ring \(R\) with unity we denote the polynomial ring in \(n\) variables by \(R^{[n]}\). Let \(K\) be a field of characteristic \(p\geq 0\) and let \(g=b(X,Y)Z^n-a(X,Y)\) with \(b\neq 0\) and \(p\nmid n\) be a polynomial in \(K[X,Y,Z]\;(=K^{[3]})\), such that \(K[X,Y,Z]/(g)\cong K^{[2]}\). Is then \(K[X,Y,Z]=K[g]^{[2]}\)? The answer is `yes' if \(n=1\) without any additional assumptions by [\textit{P. Russell}, Compos. Math. 33, 197--208 (1976; Zbl 0342.13003)] and [\textit{A. Sathaye}, Proc. Am. Math. Soc. 56, 1--7 (1976; Zbl 0345.14013)] or if \(n\geq 2\) under the assumption that \(K\) is algebraically closed by \textit{D. Wright} [J. Algebra 52, 94--100 (1978; Zbl 0383.13014)]. Modifying the arguments of Wright the authors show (Theorem 4.5) that the assumption that \(K\) is algebraically closed may be removed. Let now \((R,t)\) be a discrete valuation ring with the residue field \(R/tR\) of characteristic \(p\) and let \(g=b(X,Y)Z^n-a(X,Y)\) with \(b\neq 0\) and \(p\nmid n\) be a polynomial in \(R[X,Y,Z]\;(=R^{[3]})\), such that \(R[X,Y,Z]/(g)\cong R^{[2]}\). Is then \(R[X,Y,Z]=R[g]^{[2]}\)? Again the answer is positive if \(n=1\) by \textit{S. M. Bhatwadekar} and \textit{A. K. Dutta} [J. Algebra 166, No. 2, 393--405 (1994; Zbl 0812.13015)]. The authors show that it is also positive if \(n\geq 2\). An analogous result is obtained (Theorem 6.2) for any Noetherian domain which either contains a field rational numbers or is seminormal.