HK manifolds of Type $K3^{[a^2+1]}$ as moduli spaces of projective bundles on HK manifolds of Type $K3^{[2]}$

Technische Samenvatting: HK-variëteiten van Type K3$[a^2+1]$ als Moduli-ruimten van Projectieve Bundels op HK-variëteiten van Type K3$[2]$

Probleemstelling
Het artikel behandelt de realisatie van hyperkählervariëteiten (HK) als moduli-ruimten. Hoewel het algemeen gevestigd is dat elke bekende HK-variëteit deformatie-equivalent is aan een moduli-ruimte van semistabiele breven op een K3- of abeliaanse oppervlak, blijft de specifieke geometrische realisatie van willekeurige HK-variëteiten van Type K3$[a^2+1]$ (die deformatie-equivalent zijn aan de Hilbert-schema van $a^2+1$ punten op een K3-oppervlak) als moduli-ruimten van bundels op een vaste type HK-variëteit een centrale vraag. Specifiek onderzoekt de auteur of een projectieve HK-variëteit $W$ van Type K3$[a^2+1]$ gerealiseerd kan worden als een moduli-ruimte van $\omega$-hellingsstabiele projectieve bundels (of getwiste vectorbundels) op een projectieve HK-variëteit $X$ van Type K3$[2]$ (deformatie-equivalent aan de Hilbert-schema van 2 punten op een K3-oppervlak).

Methodologie
De bewijsstrategie berust op een constructieve benadering via het Hilbert-schema $S^{[2]}$ van een projectief K3-oppervlak $S$, gevolgd door deformatie-argumenten met behulp van de theorie van Verbitsky.

1. Constructie op $S^{[2]}$:

   • De auteur beschouwt een sferische vectorbundel $E_1$ op een K3-oppervlak $S$ met rang $2a$ en een Mukai-vector $v_1$.
   • Laat $E_2$ een stabiele sheaf zijn op $S$ met Mukai-vector $v_2 = a v_1 - (0,0,1)$. De moduli-ruimte $M_{v_2}(S, h_S)$ is een HK-variëteit van Type K3$[a^2+1]$.
   • Met behulp van de Bridgeland-King-Reid (BKR) equivalentie construeert de auteur een vectorbundel $G(E_1, E_2)$ op $S^{[2]}$ uit de tensorproduct $E_1 \otimes E_2 \oplus E_2 \otimes E_1$.
   • De auteur analyseert de stabiliteit van $G(E_1, E_2)$ met betrekking tot polarisaties op $S^{[2]}$. Er wordt aangetoond dat voor $E_2$ buiten een specifieke determinantale divisor $D_{v_2} \subset M_{v_2}$, de bundel $G(E_1, E_2)$ hellingsstabiel is.
   • Voor $E_2 \in D_{v_2}$ is $G(E_1, E_2)$ instabiel. De auteur voert een "semistabiele reductie" uit (via elementaire modificaties) om stabiele vervangingen te construeren. Dit omvat het analyseren van de Brill-Noether stratificatie van $D_{v_2}$ en het construeren van specifieke extensies die betrokken zijn bij rigide bundels $E_1^{[2]\pm}$ en sheaves $B(H, U_k)$ of $B(p, W_a)$.
   • Een cruciaal technisch resultaat is het bewijzen dat deze gemodificeerde sheaves lokaal vrij en hellingsstabiel zijn voor geschikte polarisaties, waardoor een reguliere afbeelding $\psi: M_{v_2} \to M_w(S^{[2]})$ wordt gedefinieerd, waarbij $M_w$ de moduli-ruimte is van projectieve bundels op $S^{[2]}$ met een specifieke mock Mukai-vector $w$.

2. Extensie naar Algemene HK-variëteiten:

   • De auteur maakt gebruik van de theorie van Verbitsky over projectief hyperholomorfe vectorbundels. Deze theorie maakt het mogelijk om stabiele bundels van een specifieke vezel (zoals $S^{[2]}$) uit te breiden naar de gehele twistor-familie van deformaties.
   • Door aan te tonen dat de moduli-ruimte van deze bundels correct deformeert langs twistor-paden, worden de resultaten vastgesteld voor $S^{[2]}$ uitgebreid naar willekeurige HK-variëteiten $X$ van Type K3$[2]$.

3. Hodge-theorie en Isometrieën:

   • Het artikel analyseert de tweede Chern-klasse van de universele bundel op het product $X \times \widetilde{M}_w(X, \omega)$ om een rationale Hodge-isometrie tussen $H^2(X)$ en $H^2(\widetilde{M}_w(X, \omega))$ te definiëren.
   • Deze isometrie wordt gecombineerd met de resultaten van Markman over de Shafarevich-conjectuur voor HK-variëteiten.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1: Voor een HK-variëteit $X$ van Type K3$[2]$ en een geschikte Kähler-klasse $\omega$, bevat de moduli-ruimte $M_w(X, \omega)$ van $\omega$-hellingsstabiele projectieve bundels met een specifieke mock Mukai-vector $w$ een irreducibele component $\widetilde{M}_w(X, \omega)^\bullet$. De normalisatie van deze component is een HK-variëteit van Type K3$[a^2+1]$. Als $X$ projectief is en $\omega$ ample is, is deze normalisatie isomorf aan een HK-variëteit van Type K3$[a^2+1]$.
• Stelling 1.3 (Surjectiviteit/Realisatie): Omgekeerd is elke projectieve HK-variëteit $W$ van Type K3$[a^2+1]$ isomorf aan $\widetilde{M}_w(X, h)^\bullet$ voor een gepolariseerde HK-variëteit $(X, h)$ van Type K3$[2]$. Dit stelt vast dat Type K3$[a^2+1]$ variëteiten moduli-ruimten zijn van projectieve bundels op Type K3$[2]$ variëteiten.
• Stelling 1.7 (Shafarevich-conjectuur Analoog): Het artikel bewijst een analoog van de Shafarevich-conjectuur voor rationale Hodge-isometrieën tussen projectieve HK-variëteiten van de types K3$[a_1^2+1]$ en K3$[a_2^2+1]$. Specifiek is elke rationale Hodge-isometrie $f: H^2(W_1) \to H^2(W_2)$ geïnduceerd door een algebraïsche cyclusklasse in $CH^2(W_1 \times W_2)$.
• Modulaire Sheaves: Het werk demonstreert dat de geconstrueerde sheaves (specifiek $G(E_1, E_2)$ en hun stabiele vervangingen) modulair maar niet atomair zijn, wat hen onderscheidt van de sheaves bestudeerd in recente werken van Markman en Bottini.

Betekenis en Claims
De auteur claimt dat deze resultaten een concrete geometrische realisatie bieden van een brede klasse van HK-variëteiten (Type K3$[a^2+1]$) als moduli-ruimten van bundels op een lager-dimensionale HK-variëteit (Type K3$[2]$). Dit is parallel aan het klassieke resultaat waar HK-variëteiten moduli-ruimten zijn van sheaves op K3-oppervlakken, wat wijst op een structurele gelijkenis tussen de theorie van sheaves op Type K3$[2]$ variëteiten en sheaves op K3-oppervlakken.

Het artikel merkt expliciet op dat het niet oplost of de moduli-ruimte $M_w(X, \omega)$ irreducibel is, maar dat het er wel in slaagt een specifieke irreducibele component met de gewenste eigenschappen te identificeren. De resultaten rusten zwaar op de specifieke geometrie van Type K3$[2]$ en de eigenschappen van modulaire sheaves, waarmee het bekende landschap van HK-variëteiten geconstrueerd via moduli-problemen wordt uitgebreid. Het bewijs van de Shafarevich-conjectuur analoog voor deze specifieke types berust op de existentie van de moduli-ruimte realisatie en het eerdere werk van Markman over atomaire sheaves.