Multidegrees, families, and integral dependence
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929340640395264 |
|---|---|
| author | Cid-Ruiz, Yairon Polini, Claudia Ulrich, Bernd |
| author_facet | Cid-Ruiz, Yairon Polini, Claudia Ulrich, Bernd |
| contents | We study the behavior of multidegrees in families and the existence of numerical criteria to detect integral dependence. We show that mixed multiplicities of modules are upper semicontinuous functions when taking fibers and that projective degrees of rational maps are lower semicontinuous under specialization. We investigate various aspects of the polar multiplicities and Segre numbers of an ideal and introduce a new invariant that we call polar-Segre multiplicities. In terms of polar multiplicities and our new invariants, we provide a new integral dependence criterion for certain families of ideals. By giving specific examples, we show that the Segre numbers are the only invariants among the ones we consider that can detect integral dependence. Finally, we generalize the result of Gaffney and Gassler regarding the lexicographic upper semicontinuity of Segre numbers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_07000 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Multidegrees, families, and integral dependence Cid-Ruiz, Yairon Polini, Claudia Ulrich, Bernd Commutative Algebra Algebraic Geometry 13H15, 14C17, 13B22, 13D40, 13A30 We study the behavior of multidegrees in families and the existence of numerical criteria to detect integral dependence. We show that mixed multiplicities of modules are upper semicontinuous functions when taking fibers and that projective degrees of rational maps are lower semicontinuous under specialization. We investigate various aspects of the polar multiplicities and Segre numbers of an ideal and introduce a new invariant that we call polar-Segre multiplicities. In terms of polar multiplicities and our new invariants, we provide a new integral dependence criterion for certain families of ideals. By giving specific examples, we show that the Segre numbers are the only invariants among the ones we consider that can detect integral dependence. Finally, we generalize the result of Gaffney and Gassler regarding the lexicographic upper semicontinuity of Segre numbers. |
| title | Multidegrees, families, and integral dependence |
| topic | Commutative Algebra Algebraic Geometry 13H15, 14C17, 13B22, 13D40, 13A30 |
| url | https://arxiv.org/abs/2405.07000 |