Symplectic leaves of meromorphic Hitchin systems

Technische Samenvatting: Symplectische Bladen van Meromorfe Hitchin-systemen

Probleemstelling
Het artikel behandelt de geometrische structuur van de moduli-ruimte van stabiele meromorfe Higgs-bundels, aangeduid als $\text{Higgss}(C, D)$, waarbij $C$ een glad projectief kromme is en $D$ een gereduceerde effectieve divisor. Hoewel deze ruimte een holomorfe Poisson-structuur bezit (vastgesteld door Bottacin en Markman), mist het een globale holomorfe symplectische structuur. Een fundamenteel probleem in de Poisson-geometrie is de identificatie en het begrip van de symplectische bladen ervan.

In de context van meromorfe Higgs-bundels biedt de residu van het Higgs-veld bij de gemarkeerde punten $D$ het lokale model. De auteurs onderzoeken de loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ die worden gedefinieerd door het residu van het Higgs-veld vast te leggen in een specifieke product van adjoint-banen $\mathcal{O} = \prod \mathcal{O}_i$. De centrale vragen zijn:

1. Zijn deze loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ inderdaad symplectische bladen van de omringende Poisson-variëteit?
2. Kan de Hitchin-afbeelding, wanneer deze wordt beperkt tot deze bladen, gedeeltelijk worden gecompactificeerd om een algebraïsch volledig integreerbaar systeem (ACIS) te vormen, met name wanneer de banen niet van maximale rang zijn (wat leidt tot singuliere spectrale krommen) of wanneer de bladen niet gesloten zijn?

Methodologie
De auteurs maken gebruik van een combinatie van deformatietheorie, algebraïsche meetkunde en de spectrale correspondentie om deze vragen op te lossen.

1. Infinitesimale Analyse: De auteurs maken gebruik van de deformatietheorie van meromorfe Higgs-bundels met vaste residu-condities. Zij construeren de tangent-complex $C^\bullet_{\mathcal{O},E}$ en de Serre-duaal daarvan om expliciet de transgressie-ruimte van $\text{Higgs}_{\mathcal{O},s}(C, D)$ te identificeren met de karakteristieke distributie van de Bottacin–Markman Poisson-structuur. Dit bevestigt dat de locus tangent is aan de Poisson-structuur.
2. Parabolische Resolutie: Om de singulariteiten aan te pakken die voortvloeien uit baan-sluitingen en het gebrek aan properheid in de beperkte Hitchin-afbeelding, introduceren de auteurs $\vec{\xi}$-parabolische Higgs-bundels. Dit zijn triples $(E, E^\bullet_D, \Phi)$ waarbij het Higgs-veld $\Phi$ residuen heeft in $\mathcal{O}$, maar de bundel $E$ is uitgerust met een flag-structuur $E^\bullet_D$ bij de gemarkeerde punten die compatibel is met de residu-eigenwaarden $\vec{\xi}$.
3. Spectrale Correspondentie: Bouwend op eerder werk ([LL24], [LL25]), maken de auteurs gebruik van een spectrale correspondentie voor $\vec{\xi}$-parabolische Higgs-bundels. Deze relateert de moduli-ruimte aan een moduli-ruimte van zuivere één-dimensionale sheaves op een specifieke oppervlakte $Z_{\vec{\xi}}$ (geconstrueerd via iteratieve blow-ups van een geroteerde oppervlakte). Deze correspondentie maakt het mogelijk om de vezels van de Hitchin-afbeelding te beschrijven als de gecompactificeerde Jacobiaan van spectrale krommen.
4. Vergeet-morfisme: Een cruciaal technisch instrument is de constructie van een vergeet-afbeelding $F: \text{Higgs}^{\vec{\xi}\text{-par}}_{\vec{\alpha}}(C, D, \vec{m}, \vec{\alpha}) \to \text{Higgs}_{\mathcal{O},ss}(C, D)$, die de parabolische flags weglaat. De auteurs analyseren de stabiliteitscondities (met behulp van voldoende kleine parabolische gewichten $\vec{\alpha}$) om te waarborgen dat deze afbeelding goed gedefinieerd, projectief en een isomorfisme is over de stabiele locus.

Belangrijkste Bijdragen en Resultaten

• Identificatie van Symplectische Bladen:
  De paper bewijst dat voor een product van conjugatieklassen $\mathcal{O}$ die voldoen aan de trace-conditie, de locus $\text{Higgs}_{\mathcal{O},s}(C, D)$ een irreducibel symplectisch blad is van $\text{Higgss}(C, D)$. De sluiting ervan in de moduli-ruimte is $\text{Higgs}_{\mathcal{O},s}(C, D)$ (Theorem 1.3, Theorem 3.12, Theorem 3.13). Dit lost het verbondenheidsprobleem op en bevestigt het symplectische karakter van deze strata.

• Gedeeltelijke Compactificatie naar ACIS:
  De auteurs demonstreren dat de moduli-ruimte van $\vec{\xi}$-parabolische Higgs-bundels, $\text{Higgs}^{\vec{\xi}\text{-par}}(C, D, \vec{m}, \vec{\alpha})$, een gedeeltelijke compactificatie vormt van de beperkte Hitchin-afbeelding.

  • De beperkte Hitchin-afbeelding $h^{(\vec{m})}_{\vec{\xi}}: \text{Higgs}^{\vec{\xi}\text{-par}} \to \mathcal{B}^{(\vec{m})}_{\vec{\xi}}$ wordt getoond te een propere, vlakke, Lagrangiaanse fibratie te zijn met generieke vezels die abelse variëteiten zijn (Theorem 1.7, Theorem 5.4).
  • Dit vestigt dat het beperkte systeem een algebraïsch volledig integreerbaar systeem is, zelfs wanneer de onderliggende spectrale krommen singulier zijn of de oorspronkelijke blad niet gesloten is.

• Symplectische Resolutie:
  Het vergeet-morfisme $F$ wordt getoond een symplectische resolutie te zijn van de normalisatie van de sluiting $\text{Higgs}_{\mathcal{O},ss}(C, D)$ (Theorem 1.9, Theorem 5.11). Specifiek heeft de normalisatie van de sluiting van de meromorfe blad symplectische singulariteiten, en de gladde moduli-ruimte van $\vec{\xi}$-parabolische Higgs-bundels lost deze singulariteiten op terwijl de symplectische structuur behouden blijft.

• Verbondenheid van Betti Moduli-ruimten:
  Via de tame non-abelse Hodge-correspondentie van Simpson wordt de verbondenheidsresultaten van de Dolbeault-zijde (parabolische Higgs-bundels) overgedragen naar de Betti-zijde.

  • De paper bewijst dat de stabiele moduli-ruimte van gefilterde lokale systemen met voorgeschreven residu-diagrammen verbonden is (Theorem 1.10, Theorem 6.6).
  • Een belangrijke toepassing is de resultaten voor karakter-variëteiten $\chi(C^\circ, \mathcal{C})$ met voorgeschreven lokale monodromie-klassen $\mathcal{C}$. Onder de aanname dat de eigenwaarden van de monodromie-matrices een gemeenschappelijk argument delen (een conditie die compatibiliteit met scalaire gegradeerde residuen waarborgt), wordt aangetoond dat de irreducibele locus $\chi(C^\circ, \mathcal{C})^{\text{irr}}$ verbonden is telkens wanneer deze niet-leeg is (Theorem 1.11, Theorem 6.7). Dit breidt eerdere verbondenheidsresultaten uit naar niet-generieke monodromie-klassen.

Betekenis
Het artikel claimt betekenis te hebben door een compleet geometrisch beeld te bieden van de symplectische bladen van meromorfe Hitchin-systemen, die voorheen primair begrepen werden in het geval van maximale rang (gesloten blad). Door $\vec{\xi}$-parabolische Higgs-bundels te introduceren, bereiken de auteurs het volgende:

1. Zij lossen de singulariteiten van baan-sluitingen in de moduli-ruimte van meromorfe Higgs-bundels op.
2. Zij breiden de theorie van algebraïsch volledig integreerbare systemen uit naar willekeurige rank symplectische bladen, waarmee zij de "Lax project" voor niet-maximale rank gevallen adresseren.
3. Zij vestigen nieuwe verbondenheidsresultaten voor karakter-variëteiten met niet-generieke lokale monodromie, waarmee zij de kloof tussen de Dolbeault- en Betti-zijden van de non-abelse Hodge-theorie voor singuliere strata overbruggen.

Het werk steunt op de onafhankelijke bijdragen van Bottacin en Markman met betrekking tot de Poisson-structuur en bouwt voort op de eerdere spectrale correspondentie-resultaten van de auteurs voor parabolische Higgs-bundels. Het stelt geen nieuwe experimentele toepassingen voor, maar verdiept het theoretische begrip van de moduli-ruimten van Higgs-bundels en hun relatie tot de representatietheorie.