A modified coefficient ideal for use with the strict transform

DOI10.1016/J.JSC.2010.10.005MaRDI QIDQ633082zbMATH OpenOpenAlexFDO

Authors Anne Frühbis-Krüger

Publication date 31 March 2011

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0812.1776

zbMATH Keywords

blowing upHilbert-Samuel functionresolution of singularitiesweak transform

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and the use of a stratification by the Hilbert-Samuel function in the one using the strict transform. In this article, a (hybrid-type) algorithmic approach is proposed which allows the use of the strict transform without the full impact of the complexity of the stratification by the Hilbert-Samuel function at each step of the desingularization process. This new approach is not intended to always be superior to the implemented one which uses the weak transform, instead it has its strengths precisely at the weak point of the other one and is thus a candidate to be joined with it by an appropriate heuristic.

Review text

There are two different algorithmic approaches to the resolution of singularities. One is due to \textit{B. Bierstone} and \textit{P. Milman} [Invent. Math. 128, No.2, 207--302 (1997; Zbl 0896.14006)] using a stratification by the Hilbert--Samuel--function at the beginning of each choice--of--center step and the strict transform as the corresponding notion of transform. The other approach is due to \textit{O. Villamayor} [Ann. Sci. Éc. Norm. Supér. (4) 22, No. 1, 1--32 (1989; Zbl 0675.14003)] with many contributions by others is based on the use of the weak transform which picks up extra components lying inside the exceptional divisor at each blowing up. The approaches also differ in their descent in dimension of the ambient space. In this article, a hybrid--type algorithmic approach is proposed which allows the use of the strict transform without the full impact of the complexity of the stratification by the Hilbert--Samuel--function, i.e. the Hilbert--Samuel--stratum is not computed in each step, but instead auxiliary ideals are computed which provide the information whether the Hilbert--Samuel--function of the original ideal dropped, in terms of their order. The new approach is illustrated by two examples.

Recommendations

• scientific article; zbMATH DE number 2100964
• scientific article; zbMATH DE number 5056665
• A simplified proof of desingularization and applications
• A new proof of desingularization over fields of characteristic zero
• scientific article; zbMATH DE number 2212623

Cites work

• A simplified proof of desingularization and applications
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Computational aspects of singularities
• scientific article; zbMATH DE number 1420931 (Why is no real title available?)
• Jumping numbers on algebraic surfaces with rational singularities
• Lectures on Resolution of Singularities (AM-166)
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Some applications of resolution of singularities from the practical point of view
• Strong resolution of singularities in characteristic zero

Describes a project that uses

Uses Software

• desing
• reszeta.lib

This page was built for publication: A modified coefficient ideal for use with the strict transform

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