Ridge of the tangent cone of a singularity: a forgotten theorem

DOI10.1016/J.CRMA.2017.02.006MaRDI QIDQ524863zbMATH OpenOpenAlexFDO

Authors Vincent Cossart, Olivier Piltant, Bernd Schober

Publication date 26 April 2017

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.crma.2017.02.006

zbMATH Keywords

Hilbert-Samuel functionresolution of singularities

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

Review text

The authors give a proof of a theorem that, according to them, Jean Giraud ``forgot to state. The situation is the following one: let \(X\) be an excellent scheme and let \(H_X\) denote the modified Hilbert-Samuel function of \(X\). It is known that this function cannot increase under permissible blowing ups and that it is upper semi-continuous. The result proved in this paper is a strengthened version of this statement. More precisely, let us assume that \(X\) is embedded in some regular scheme. Then for every \(x\in X\) let us denote by \(\tau_{st}(x)\) the codimension of the ridge of the tangent cone of \(X\) at \(x\) (the ridge of the tangent cone is the largest additive group that preserves the tangent cone by translation). Then the function \[ \iota : X\longrightarrow \mathbb N^{\mathbb N}\times -\mathbb N\qquad \] \[ \qquad x\longmapsto (H_X(x),-\tau_{st}(x)) \] does not increase under permissible blowing ups for the lexicographic ordering and it is upper semi-continuous. When \(X\) is not assumed to be embedded in some regular scheme, the authors proves an analogue of this statement by replacing \(\tau_{st}\) by a modified version of this codimension.

Recommendations

• Semicontinuity for the local Hilbert function
• Constructiveness of Hironaka's resolution
• On the length of the absolute Samuel stratum
• scientific article; zbMATH DE number 3966294
• Strengthening the theorem of embedded desingularization

Cites work

• Contact maximal en caractéristique positive
• scientific article; zbMATH DE number 3611457 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• On the characteristic functions of a local ring
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I

Cited in

(8)

• Semicontinuity for the local Hilbert function
• Partial local resolution by characteristic zero methods
• Characteristic polyhedra of singularities without completion. II
• Idealistic exponents: tangent cone, ridge, characteristic polyhedra
• Invariance of Hironaka's characteristic polyhedron
• RIDGES AND RAVINES: A SINGULARITY APPROACH
• A polyhedral approach to the invariant of Bierstone and Milman
• Functorial resolution by torus actions

This page was built for publication: Ridge of the tangent cone of a singularity: a forgotten theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q524863)