The Complete Intersection Discrepancy of a Curve II: Families of Curves
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912918148218880 |
|---|---|
| author | Benguş-Lasnier, Andrei Gaffney, Terence Rangachev, Antoni |
| author_facet | Benguş-Lasnier, Andrei Gaffney, Terence Rangachev, Antoni |
| contents | We study equisingularity of families of reduced curves over smooth parameter spaces of arbitrary positive dimension, using the difference between two analytic invariants of a curve singularity: the multiplicity of its Jacobian ideal and its complete intersection discrepancy. This difference provides a fiberwise multiplicity criterion for Whitney equisingularity. We prove that Whitney equisingularity (equivalently, strong simultaneous resolution) is characterized by equidimensionality of the fibers of the exceptional locus of either the relative conormal space or the relative Nash blowup. We further show that this condition is equivalent to the emptiness of the relative polar variety of smallest dimension. In addition, we establish that the Milnor number of a reduced curve is Zariski upper semicontinuous. As an application, we show that the constancy of the Milnor number in a family of reduced curves is equivalent to its topological equisingularity. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_16558 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The Complete Intersection Discrepancy of a Curve II: Families of Curves Benguş-Lasnier, Andrei Gaffney, Terence Rangachev, Antoni Algebraic Geometry Commutative Algebra Complex Variables 32S15, 32S30, 32S60, 14C17, 13H15 We study equisingularity of families of reduced curves over smooth parameter spaces of arbitrary positive dimension, using the difference between two analytic invariants of a curve singularity: the multiplicity of its Jacobian ideal and its complete intersection discrepancy. This difference provides a fiberwise multiplicity criterion for Whitney equisingularity. We prove that Whitney equisingularity (equivalently, strong simultaneous resolution) is characterized by equidimensionality of the fibers of the exceptional locus of either the relative conormal space or the relative Nash blowup. We further show that this condition is equivalent to the emptiness of the relative polar variety of smallest dimension. In addition, we establish that the Milnor number of a reduced curve is Zariski upper semicontinuous. As an application, we show that the constancy of the Milnor number in a family of reduced curves is equivalent to its topological equisingularity. |
| title | The Complete Intersection Discrepancy of a Curve II: Families of Curves |
| topic | Algebraic Geometry Commutative Algebra Complex Variables 32S15, 32S30, 32S60, 14C17, 13H15 |
| url | https://arxiv.org/abs/2310.16558 |