Semicontinuity of singularity invariants in families of formal power series

DOI10.1007/978-3-030-61958-9_10MaRDI QIDQ5011669zbMATH OpenOpenAlexFDO

Authors Gert-Martin Greuel, Gerhard Pfister

Publication date 27 August 2021

Published in Trends in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

completed tensor productdeterminacyformal power seriesHenselian tensor productMilnor numbersemicontinuityTjurina number

Mathematics Subject Classification ID

Completion of commutative rings (13B35) Étale and flat extensions; Henselization; Artin approximation (13B40) Formal power series rings (13F25) Singularities in algebraic geometry (14B05) Deformations of singularities (14B07)

Abstract: The problem we are considering came up in connection with the classification of singularities in positive characteristic. Then it is important that certain invariants like the determinacy can be bounded simultaneously in families of formal power series parametrized by some algebraic variety. In contrast to the case of analytic or algebraic families, where such a bound is well known, the problem is rather subtle, since the modules defining the invariants are quasi-finite but not finite over the base space. In fact, in general the fibre dimension is not semicontinuous and the quasi-finite locus is not open. However, if we pass to the completed fibers in a family of modules we can prove that their fiber dimension is semicontinuous under some mild conditions. We prove this in a rather general framework by introducing and using the completed and the Henselian tensor product, the proof being more involved as one might think. Finally we apply this to the Milnor number and the Tjurina number in families of hypersurfaces and complete intersections and to the determinacy in a family of ideals.

Recommendations

• On delta for parameterized curve singularities
• The Delta Invariant and Fiberwise Normalization for Families of isolated Non-Normal Singularities
• Invariants of hypersurface singularities in positive characteristic
• The finite \(\mathcal{S}\)-determinacy of singularities in positive characteristic \(\mathcal{S}=\mathcal{R}_{\mathcal{G}},\mathcal{R}_{\mathcal{A}}, \mathcal{K}_{\mathcal{G}},\mathcal{K}_{\mathcal{A}}\)
• A new invariant for plane curve singularities

Cites work

• Die Approximationseigenschaft lokaler Ringe
• Finite determinacy of matrices and ideals
• scientific article; zbMATH DE number 5509903 (Why is no real title available?)
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• scientific article; zbMATH DE number 3479036 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3365583 (Why is no real title available?)
• Introduction to Singularities and Deformations
• Invariants of hypersurface singularities in positive characteristic
• Normal forms of hypersurface singularities in positive characteristic
• Quasihomogeneous isolated singularities of hyperplanes.
• SINGULAR
• Smoothness, regularity and complete intersection

Cited in

(6)

• On delta for parameterized curve singularities
• Using semicontinuity for standard bases computations
• Singularities. Abstracts from the workshop held September 26 -- October 2, 2021 (hybrid meeting)
• The Delta Invariant and Fiberwise Normalization for Families of isolated Non-Normal Singularities
• Classification of simple 0-dimensional isolated complete intersection singularities
• Hypersurface singularities in any characteristic

Describes a project that uses

Uses Software

• SINGULAR

This page was built for publication: Semicontinuity of singularity invariants in families of formal power series

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