Showing 1–4 of 4 results for author: Piltant, O

Constancy of the Hilbert-Samuel function

Authors: Vincent Cossart, Olivier Piltant, Bernd Schober

Abstract: The Hilbert-Samuel function and the multiplicity function are fundamental locally defined invariants on Noetherian schemes. They have been playing an important role in desingularization for many years. Bennett studied upper semicontinuity of the Hilbert-Samuel function on schemes and proved that it is non increasing under permissible blowing ups. The latter are blowing ups at regular subschemes al… ▽ More The Hilbert-Samuel function and the multiplicity function are fundamental locally defined invariants on Noetherian schemes. They have been playing an important role in desingularization for many years. Bennett studied upper semicontinuity of the Hilbert-Samuel function on schemes and proved that it is non increasing under permissible blowing ups. The latter are blowing ups at regular subschemes along which the singular scheme is normally flat. For a reduced scheme, the Hilbert-Samuel function is constant if and only if it is regular: this translates the question of resolution of singularities into a problem of lowering the Hilbert-Samuel function. We show here that this result can be extended to non reduced schemes as follows: Given a locally Noetherian scheme X such that the local rings are excellent for every point, then the Hilbert-Samuel function is constant on X if and only if X is normally flat along its reduction and the reduction itself is regular. △ Less

Submitted 26 October, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Resolution of Singularities of Arithmetical Threefolds II

Authors: Vincent Cossart, Olivier Piltant

Abstract: We prove Grothendieck's Conjecture on Resolution of Singulari-ties for quasi-excellent schemes X of dimension three and of arbitrary characteristic. This applies in particular to X = SpecA, A a reduced complete Noetherian local ring of dimension three and to algebraic or arithmetical varieties of dimension three. Similarly, if F is a number field, a complete discretely valued field or more general… ▽ More We prove Grothendieck's Conjecture on Resolution of Singulari-ties for quasi-excellent schemes X of dimension three and of arbitrary characteristic. This applies in particular to X = SpecA, A a reduced complete Noetherian local ring of dimension three and to algebraic or arithmetical varieties of dimension three. Similarly, if F is a number field, a complete discretely valued field or more generally the quotient field of any excellent Dedekind domain O, any regular projective sur-face X/F has a proper and flat model X over O which is everywhere regular. △ Less

Submitted 8 January, 2019; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: updates and extends 'Resolution of Singularities of Arithmetical Threefolds I' posted on this website

Characteristic polyhedra of singularities without completion

Authors: Vincent Cossart, Olivier Piltant

Abstract: Let $(R,M,k)$ be a regular local G-ring with regular system of parameters $(u_1, \ldots ,u_d,y)$. We prove that the Hironaka characteristic polyhedron $Δ(f;u_1, \ldots ,u_d)$, $f \not \in (u_1, \ldots ,u_d)$ of a hypersurface singularity $X={\rm Spec}R/(f)$ can be computed in some system of coordinates belonging to $R$. No assumption on the residue characteristic is required. Let $(R,M,k)$ be a regular local G-ring with regular system of parameters $(u_1, \ldots ,u_d,y)$. We prove that the Hironaka characteristic polyhedron $Δ(f;u_1, \ldots ,u_d)$, $f \not \in (u_1, \ldots ,u_d)$ of a hypersurface singularity $X={\rm Spec}R/(f)$ can be computed in some system of coordinates belonging to $R$. No assumption on the residue characteristic is required. △ Less

Submitted 4 July, 2014; v1 submitted 12 March, 2012; originally announced March 2012.

Monomial resolutions of morphisms of algebraic surfaces

Authors: Steven Dale Cutkosky, Olivier Piltant

Abstract: Suppose that $f: Y\to X$ is a proper, dominant, tamely ramified morphism of algebraic surfaces, over a perfect field. We show that it is possible to perform sequences of monoidal transforms $Y'\to Y$ and $X'\to X$ to obtain an induced morphism $Y'\to Y$ which is a monomial morphism. Suppose that $f: Y\to X$ is a proper, dominant, tamely ramified morphism of algebraic surfaces, over a perfect field. We show that it is possible to perform sequences of monoidal transforms $Y'\to Y$ and $X'\to X$ to obtain an induced morphism $Y'\to Y$ which is a monomial morphism. △ Less

Submitted 14 October, 1999; originally announced October 1999.

Comments: 25 pages

MSC Class: 14E