Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-03T09:14:13.570Z Has data issue: false hasContentIssue false

Proper morphisms and excellent schemes

Published online by Cambridge University Press:  22 January 2016

Barbara Bellaccini*
Affiliation:
Istituto Matematico Università di Siena Italy
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let f: XY be a finite type morphism of locally noetherian schemes. It is well known ([3, IV, 7.8.6]) that the excellent property ascends from Y to X. On the other side there are counter-examples where X is excellent and Y is not. First of all it is easy to show that the condition on chains of prime ideals does not descend (see [3, IV, 7.8.4]), even by finite morphisms. Secondly in [2] it is produced an example where X is excellent while Y is not a G-scheme (i.e. it has not the good properties of formal fibers). However in [2] it is also proved that the property concerning the openness of regular loci (the so called “J-2”) descends by finite type surjective morphisms. Therefore we are led to the following question: When does the G-scheme property descend? I.e. what conditions do we need on f? A reasonable condition is conjectured (in [2]) as the following: f is proper surjective. The aim of the present paper is precisely to give an answer to such a question. What we really prove is the following. If X is a G-scheme and J-2 (quasi-excellent), then the same is true for Y, provided that f is proper surjective and moreover all the residue fields of Y have characteristic 0. We remark that the result is strongly based on Hironaka’s desingularization for quasi-excellent schemes defined over a field of characteristic 0.

Type
Research Article
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1989

References

[ 1 ] Atiyah, M. and MacDonald, L., Introduction to Commutative Algebra, Addison-Wesley, Reading, 1969.Google Scholar
[ 2 ] Greco, S., Two theorems on excellent rings, Nagoya Math. J., 60 (1976) 139149.Google Scholar
[ 3 ] Grothendieck, A. and Dieudonne, J., Elements de Geometrie Algebrique, Publ. I.H.E.S., chapp. I, II, IV, 1961, …Google Scholar
[ 4 ] Hartshorne, R., Algebraic Geometry, Springer Verlag, 1977.Google Scholar
[ 5 ] Hironaka, H., Resolution of singularities of an algebraic variety over a field of characteristic 0, Ann. of Math., 79 (1964), 109326.CrossRefGoogle Scholar
[ 6 ] Matsumura, H., Commutative Algebra, Benjamin, New York, 1972.Google Scholar
[ 7 ] Valabrega, P., P-morfismi e prolungamento di f asci, Rend. Sem. Mat. Univers. Politecn. Torino, 36 (197778), 118.Google Scholar