Planes of the form \(b(X,Y)Z^n-a(X,Y)\) over a DVR (Q412560): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Karol Palka / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14R10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6030530 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
discrete valuation ring | |||
Property / zbMATH Keywords: discrete valuation ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
epimorphism theorems | |||
Property / zbMATH Keywords: epimorphism theorems / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
residual variable | |||
Property / zbMATH Keywords: residual variable / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 2002.02118 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on expansion techniques in algebraic geometry. With notes by Balwant Singh / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the uniqueness of the coefficient ring in a polynomial ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally polynomial algebras are symmetric algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized epimorphism theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On residual variables and stably polynomial algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear planes over a discrete valuation ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On separable <i>A</i><sup>1</sup>-forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On plane curves with one place at infinity. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the \(R\)-invariance of \(R[X]\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über ganze birationale Transformationen der Ebene. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4109749 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On finding and cancelling variables in k[X,Y,Z] / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Linear Planes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124941 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5818521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cancellation of variables of the form \(bT^n-a\) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:07, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Planes of the form \(b(X,Y)Z^n-a(X,Y)\) over a DVR |
scientific article |
Statements
Planes of the form \(b(X,Y)Z^n-a(X,Y)\) over a DVR (English)
0 references
4 May 2012
0 references
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.
0 references
discrete valuation ring
0 references
epimorphism theorems
0 references
residual variable
0 references