Publication: A going-down theorem for real spectra
Loading...
Full text at PDC
Publication Date
1989-08-01
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Academic Press
Citations
Exportar
Abstract
In this note, the author gives a proof of the following going-down theorem: If ψ:A→B is a regular map between Noetherian rings with A excellent, any chain of specialization in Spec r A comes from a chain of the same length in Spec r B with corresponding points of the same height. This theorem, trivially well known for Zariski spectra, has been originally proved by M. Coste and M. F. Coste-Roy for real spectra [in Ordered fields and real algebraic geometry (San Francisco, CA, 1981), 27–59, Contemp. Math., 8, Amer. Math. Soc., Providence, RI, 1982] with the extra assumption that ψ is finitely presented. The motivation for dropping that hypothesis is to be able to work in formal and analytic algebras, in which context the author has already contributed to make real algebra and geometry work pretty well. The counterexample of Coste and Coste-Roy to the real going-down with no assumption on ψ was simply the projection on the x-axis of the parabola x=y 2. The second part of the paper under review is devoted to the study of this example as the dimension increases, in the framework of convergent power series: If ψ is the map R{t}→R{x 1 ,⋯,x n } given by ψ(t)=∑x 2 i, the author shows that ψ has more and more regularity properties as n increases, without being regular (it clearly does not satisfy real going-down). More precisely, the generic fiber of ψ is geometrically regular and connected when n≥2, and the special fiber is a geometrically isolated singularity of codimension 1, multiplicity 2, normal for n≥3 and factorial for n≥5.
Description
UCM subjects
Unesco subjects
Keywords
Citation
S. ABHYANKAR, Concepts of order and rank on a complex space, and a condition for normality, Math. Ann. 141 (1960), 171-192.
N. BOURBAKI, “Algèbre,” Chap. IV to VII, Masson, Paris, 1981.
M. COSTE AND M. F. ROY, La topologie du spectre réel, Contemp. Math. 8 (1982), 27-60.
H. MATSUMURA, ‘Commutative Algebra,” 2nd ed., Benjamin, New York, 1980.
M. F. ROY, Faisceau structural sur le spectre réel et fonctions de Nash, in Lecture Notes in Math. 959 (1982), 406-432.
J. M. Ruiz, On Hilbert’s 17th problem and real nullstellensatz for global analytic functions, Math. Z. 190 (1985), 447-454.
J. M. RUIZ, Cônes locaux et complétions, C.R. Acad. Sci. 302, I, 2 (1986). 67-69.
J. M. Ruiz, A dimension theorem for real spectra, J. Algebra 124 (1989), 271-277.
A. GROTHENDIECK, “Cohomologie locale des faisceaux cohérents et théoremes de Lefschetz locaux et globaux,” Masson, Paris & North-Holland, Amsterdam, 1962.