×

P-rings and P-homomorphisms. (English) Zbl 0544.13011

Let \(\phi:\quad A\to B\) be a local flat homomorphism of local rings. When R is a property of a ring, call \(\phi\) a P-homomorphism if, for each prime ideal p of A, \(B\otimes_ AK\) is locally R for all finite extensions K of the associated field k(p). To answer a question of A. Grothendieck [”Éléments de géométrie algébrique” \(=EGA\), IV. 2 (1965; Zbl 0135.397)], the author seeks results of following type: if \(k\to B\otimes_ Ak\) (where \(k=residue\quad field\quad of\quad A)\) is a P-homomorphism and if, for all prime ideals p of A, \(A_ p\to \hat A_ p\) (completion) is a P-homomorphism then \(\phi\) is a P-homomorphism. Proofs are given: when \(char k=0\) for general nice R; also, in arbitrary characteristic, for \(R=the\) complete intersection property (assuming the residue field of B has finite inseparable multiplicity over k) and for \(R=Cohen\)-Macaulay (assuming there exists a finitely generated Cohen- Macaulay A-module whose Supp is Spec A). The author also discusses a related problem on lifting properties from A/\({\mathfrak I}\) to A where A is a complete Zariski ring with respect to \({\mathfrak I}\).
Reviewer: C.P.L.Rhodes

MSC:

13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
14M10 Complete intersections
14B25 Local structure of morphisms in algebraic geometry: étale, flat, etc.
13B02 Extension theory of commutative rings
13C05 Structure, classification theorems for modules and ideals in commutative rings
13C11 Injective and flat modules and ideals in commutative rings

Citations:

Zbl 0135.397
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abhankar, S., Local uniformization of algebraic surfaces over ground field of characteristic \(p\) ≠ 0, Ann. of Math., 63, 491-526 (1956) · Zbl 0108.16803
[2] André, M., Homologie des Algèbres Commutatives (1974), Springer-Verlag: Springer-Verlag New York/Berlin · Zbl 0284.18009
[3] André, M., Localisation de la lissité formelle, Manuscripta Math., 13, 297-307 (1974) · Zbl 0287.18019
[4] Avramov, L. L., Flat morphisms of complete intersections, Soviet Math. Dokl., 16, 1413-1417 (1975) · Zbl 0334.13009
[5] Avramov, L. L., Homology of local flat extensions and complete intersection defects, Math. Ann., 228, 27-37 (1977) · Zbl 0333.13011
[6] Bourbaki, N., Algèbre commutative (1965), Hermann: Hermann Paris · Zbl 0141.03501
[7] Grothendieck, A., EGA, I (1971), Springer-Verlag: Springer-Verlag New York/Berlin
[8] Grothendieck, A., EGA, IV (1965), P.U.F: P.U.F Paris
[9] Hall, J. E.; Sharp, R. Y., Dualizing complexes and flat homomorphisms of commutative noetherian rings, (Math. Proc. Cambridge Philos. Soc., 84 (1978)), 37-45 · Zbl 0391.13005
[10] Hartshorne, R., Residues and duality, (Lecture Notes in Mathematics No. 20 (1966), Springer-Verlag: Springer-Verlag New York/Berlin) · Zbl 0196.24301
[11] Hironaka, H., Resolution of singularities of an algebraic variety over at field of characteristic zero, Ann. of Math., 79, 109-326 (1964) · Zbl 0122.38603
[12] Hochster, M., (Conference on commutative algebra. Conference on commutative algebra, Lecture Notes in Mathematics No. 311 (1972), Springer-Verlag: Springer-Verlag New York/Berlin)
[13] Hochster, M., Deep local rings, (Preprint series No. 8 (1973), Aarhus University) · Zbl 0194.54304
[14] Marot, J., Sur les anneaux universellement japonais, Bull. Soc. Math. France, 103, 103-111 (1975) · Zbl 0305.13007
[15] Matsumura, H., Commutative Algebra (1970), Benjamin: Benjamin New York · Zbl 0211.06501
[16] Nagata, M., Local Rings (1962), Interscience: Interscience New York · Zbl 0123.03402
[17] Nishimura, J., On ideal adic completion of noetherian rings, J. Math. Kyoto Univ., 21, 153-169 (1981) · Zbl 0464.13006
[18] J. Nishimura, Rings with good formal fibres, J. Math. Kyoto Univ., in press.; J. Nishimura, Rings with good formal fibres, J. Math. Kyoto Univ., in press. · Zbl 0503.13008
[19] Rotthaus, C., Komplettierung semilokaler quasiausgezeichneter Ringe, Nagoya Math. J., 76, 173-180 (1979) · Zbl 0388.13014
[20] H. Seydi, Sur la complétion des anneaux excellents I, to appear.; H. Seydi, Sur la complétion des anneaux excellents I, to appear. · Zbl 0442.13012
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.