×

Purely inseparable extensions of unique factorization domains. (English) Zbl 0736.13014

Let \(k\) be a field of characteristic \(p>0\), \(f_ 1,\ldots,f_{n-1}\) polynomials in the polynomial ring \(A:=k[x_ 1,\ldots,x_ n]\) and \(F\) the variety in \((2n-1)\)-dimensional affine space over \(k\) defined by the equations \(w_ i^ p-f_ i(x_ 1,\ldots,x_ n)\), \(i=1,\ldots,n-1\). The coordinate ring of \(F\) is then isomorphic to \(k[x^ p_ 1,\ldots,x^ p_ n,f_ 1,\ldots,f_{n-1}]\). The author shows under some additional technical assumption that the divisor class group \(\text{Cl}(F)\) is a finite \(p\)-group of type \((p,\ldots,p)\) and order \(p^ N\) with \(N<{M \choose n}\), \(M:=\sum^{n-1}_{i=1}\deg(f_ i)\). Assume furthermore that \(k\) is algebraically closed and that \(f_ 1,\ldots,f_{n-2}\) generate a height \(n-2\) prime ideal \(P\) in \(A\). Let \(W\) be the variety in \((n+1)\)-dimensional affine space defined by \(f_ 1,\ldots,f_{n-2}\), \(w^ p-f_{n-1}\). A similar theorem for the divisor class group \(\text{Cl}(W)\) is then proved under the condition that \(A/P\) is factorial and some more technical assumptions hold.
Reviewer: H.Wiebe (Bochum)

MSC:

13F15 Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial)
13A35 Characteristic \(p\) methods (Frobenius endomorphism) and reduction to characteristic \(p\); tight closure
14M05 Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal)
13C20 Class groups
Full Text: DOI

References:

[1] Blass, P., Joyce, D. and J. Lang, The divisor classes of the surface zp - G(x, y), a programmable problem, J. v4/gf., 101 (1986), 1. · Zbl 0627.14001 · doi:10.1016/0021-8693(86)90108-0
[2] Blass, P. and J. Lang, Zariski Surfaces and Differential Equations in Characteristic p &gt; 0, Marcel Decker, New York, 1987. · Zbl 0614.14011
[3] [4] Possum, R., The Divisor Class Group of a Krull Domain, Springer-Verlag, New York, 1973.
[4] Grant, A. and J. Lang, Applications of the fundamental group and purely inseparable descent to the study of curves on Zariski surfaces, to appear in the Journal of Algebra, · Zbl 0738.14021 · doi:10.1016/0021-8693(90)90134-A
[5] Griffiths and J. Harris, Principles of Algebraic Geometry, Wiley, New York, 1978. · Zbl 0408.14001
[6] Hartshorne, R., Algebraic Geometry, Springer-Verlag, New York, 1977.
[7] Lang, J., The divisor class group of the surface zpm = G(x, y) over fields of characteristic p &gt; 0, J. Alg. 2 (1983), 84. £9 ] ^ Generic Zariski Surfaces, submitted.
[8] Matsumura, H., Commutative Ring Theory, Cambridge University Press, Cambridge-New York, 1989. · Zbl 0666.13002
[9] Samuel, P., Lectures on Unique Factorization Domains, Tata Lecture Notes, 1964.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.