Integral Perverse Obstructions for Normal Surface Singularities: Resolution Determinants and Monodromy
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914503676919808 |
|---|---|
| author | Rahman, Abdul |
| author_facet | Rahman, Abdul |
| contents | For a germ $(X,0)$ of a normal complex analytic surface, let $E:=H^0({}^p_+IC_X\mathbb Z)_0$, where ${}^pIC_X\mathbb Z$ and ${}^p_+IC_X\mathbb Z$ denote the ordinary and dual middle-perversity intersection complexes with integral coefficients. This finite abelian group measures the integral discrepancy between the two middle extensions. Motivated by work of Jung--Saito, we study $E$ as a local invariant of the singularity. We prove that $E$ admits a topological realization as $H^2(L,\mathbb Z)_{\tors}$, where $L$ is the link of the singularity, and a geometric realization as the discriminant group of the exceptional lattice of the minimal resolution. In particular, if $M$ is the intersection matrix of the irreducible exceptional curves, then $|E|=|\det(M)|$. If $(X,0)$ is an isolated hypersurface surface singularity, we further prove that $E\cong \coker(T-\id)_{\tors}$, where $T$ is the Milnor monodromy on integral vanishing cohomology. Under the additional hypothesis that $(T-\id)\otimes_{\mathbb Z}\mathbb Q$ is an isomorphism, this yields $|E|=|\det(T-\id)|$. Thus the same local integral obstruction admits compatible perverse, topological, resolution-theoretic, and monodromy-theoretic realizations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_22132 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Integral Perverse Obstructions for Normal Surface Singularities: Resolution Determinants and Monodromy Rahman, Abdul Algebraic Geometry Algebraic Topology Category Theory Complex Variables For a germ $(X,0)$ of a normal complex analytic surface, let $E:=H^0({}^p_+IC_X\mathbb Z)_0$, where ${}^pIC_X\mathbb Z$ and ${}^p_+IC_X\mathbb Z$ denote the ordinary and dual middle-perversity intersection complexes with integral coefficients. This finite abelian group measures the integral discrepancy between the two middle extensions. Motivated by work of Jung--Saito, we study $E$ as a local invariant of the singularity. We prove that $E$ admits a topological realization as $H^2(L,\mathbb Z)_{\tors}$, where $L$ is the link of the singularity, and a geometric realization as the discriminant group of the exceptional lattice of the minimal resolution. In particular, if $M$ is the intersection matrix of the irreducible exceptional curves, then $|E|=|\det(M)|$. If $(X,0)$ is an isolated hypersurface surface singularity, we further prove that $E\cong \coker(T-\id)_{\tors}$, where $T$ is the Milnor monodromy on integral vanishing cohomology. Under the additional hypothesis that $(T-\id)\otimes_{\mathbb Z}\mathbb Q$ is an isomorphism, this yields $|E|=|\det(T-\id)|$. Thus the same local integral obstruction admits compatible perverse, topological, resolution-theoretic, and monodromy-theoretic realizations. |
| title | Integral Perverse Obstructions for Normal Surface Singularities: Resolution Determinants and Monodromy |
| topic | Algebraic Geometry Algebraic Topology Category Theory Complex Variables |
| url | https://arxiv.org/abs/2604.22132 |