Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

Titel: De Tangentbundel van het Puntaal Hilbert-schema en het Onderscheiden van Producten van Variëteiten

Auteur: Supravat Sarkar
Vakgebied: Algebraïsche Meetkunde (MSC 14F06, 14C05)

1. Probleemstelling en Context

Het artikel richt zich op twee fundamentele problemen in de algebraïsche meetkunde:

1. Structuur van de tangentbundel: Het beschrijven van de decompositie van de tangentbundel $T_{X[n]}$ van het punctuele Hilbert-schema $X[n]$ van een gladde projectieve oppervlakte $X$. Het punctuele Hilbert-schema parametreert subschema's van lengte $n$ op $X$ en is een gladde projectieve variëteit van dimensie $2n$.
2. Uniciteit van producten: Het beantwoorden van de vraag of een isomorfisme tussen producten van variëteiten impliceert dat de factoren (tot op hernummering) identiek zijn. Specifiek wordt onderzocht of uit $\prod X[a_i] \cong \prod X[b_j]$ volgt dat de multisets $\{a_i\}$ en $\{b_j\}$ gelijk zijn.

De auteur bestudeert deze problemen voor $X[n]$ en voor symmetrische machten $X^{(n)}$ van een gladde variëteit $X$.

2. Methodologie

De bewijsvoering combineert technieken uit de theorie van vectorbundels, de meetkunde van Hilbert-schema's en de actie van de symmetrische groep $S_n$.

• Decompositie van Vectorbundels: Gebruikmakend van het feit dat elke vectorbundel op een projectieve variëteit uniek kan worden geschreven als een directe som van onontleedbare (indecomposable) bundels (via [2, Theorem 3]).
• Relatie tussen $X^n$ en $X[n]$: De auteur gebruikt de relatie tussen het Cartesiaanse product $X^n$ en het Hilbert-schema $X[n]$. De symmetrische groep $S_n$ werkt op $X^n$, en $X[n]$ is gerelateerd aan de quotiëntruimte. Een cruciale stap is het analyseren van $S_n$-invariante subbundels van de tangentbundel $T_{X^n}$ en het onderzoeken of deze kunnen worden "uitgebreid" (extended) naar $X[n]$ via de Hilbert-Chow-morfisme.
• Classificatie van Oppervlakken: De analyse maakt gebruik van de classificatie van gladde projectieve oppervlakken, specifiek die met een gesplitste tangentbundel ($T_X \cong L \oplus M$) of een triviale sommand. Dit leidt tot een onderscheid tussen abelse oppervlakken, oppervlakken van klasse $\tilde{C}$ (waaronder bi-elliptische oppervlakken en $\mathbb{P}^1$-bundels over elliptische krommen met gesplitste $T_X$), en alle andere gevallen.
• Lokale Berekeningen en Singulariteiten: Voor het bewijs van de niet-uitbreidbaarheid van bepaalde bundels worden lokale berekeningen uitgevoerd in coördinatenkaarten. Voor het onderscheiden van producten wordt gebruikgemaakt van de singulariteiten van symmetrische machten en hun normalisaties.

3. Belangrijkste Resultaten

Stelling A: Decompositie van $T_{X[n]}$

De auteur classificeert de onontleedbare componenten van de tangentbundel $T_{X[n]}$ voor een gladde projectieve oppervlakte $X$ en $n \geq 2$:

1. Abelse Oppervlakken: Als $X$ een abels oppervlak is, dan is
   $$T_{X[n]} \cong \mathcal{O}_{X[n]}^{\oplus 2} \oplus E$$
   waarbij $E$ een onontleedbare vectorbundel is. Er bestaat een gladde morfisme $\pi: X[n] \to F'$ (met $F'$ een abelse variëteit) zodat $E = \ker(d\pi)$.
2. Oppervlakken van Klasse $\tilde{C}$: Als $X$ van klasse $\tilde{C}$ is (waaronder bi-elliptische oppervlakken en specifieke $\mathbb{P}^1$-bundels), dan is
   $$T_{X[n]} \cong \mathcal{O}_{X[n]} \oplus E$$
   met $E$ onontleedbaar. Ook hier geldt een vergelijkbare structuur via een morfisme naar een elliptische kromme.
3. Alle Andere Gevallen: Voor alle andere gladde projectieve oppervlakken is $T_{X[n]}$ onontleedbaar (indecomposable).

Technische kern: Het bewijs toont aan dat als $T_{X[n]}$ zou decomponeren, dit zou leiden tot een decompositie van $T_{X^n}$ in $S_n$-invariante subbundels. Door te analyseren welke decomposities van $T_{X^n}$ mogelijk zijn en welke daarvan kunnen worden "uitgebreid" naar $X[n]$, wordt geconcludeerd dat alleen de bovenstaande gevallen mogelijk zijn. Een cruciaal lemma (Stelling 5.1) toont aan dat specifieke subbundels van $T_{X^n}$ (zoals $\bigoplus \pi_i^* M$) niet uitbreidbaar zijn naar $X[n]$.

Stelling B: Classificatie van Producten van Hilbert-schema's

Als $X$ een vaste gladde projectieve oppervlakte is en er geldt een isomorfisme:
$$\prod_{i=1}^r X[a_i] \cong \prod_{j=1}^s X[b_j]$$
dan geldt $r = s$ en zijn de multisets $\{a_1, \dots, a_r\}$ en $\{b_1, \dots, b_s\}$ gelijk.

• Bewijsidee: De auteur gebruikt de rangen van de onontleedbare componenten van de tangentbundel van het product. Aangezien de tangentbundel van een product de directe som is van de pullbacks van de tangentbundels van de factoren, en de onontleedbaarheid behouden blijft bij pullback via projecties, kan men het aantal keer dat een bepaalde rang voorkomt in de decompositie van de totale tangentbundel tellen. Dit aantal correspondeert direct met de frequentie van de getallen $a_i$ (of $b_j$) in de multiset.

Stelling C: Classificatie van Producten van Symmetrische Machten

Voor een gladde variëteit $X$ van dimensie $\geq 2$ (niet noodzakelijk projectief of proper), als
$$\prod_{i=1}^r X^{(a_i)} \cong \prod_{j=1}^s X^{(b_j)}$$
dan geldt $r = s$ en $\{a_i\} = \{b_j\}$ als multisets.

• Bewijsidee: Dit wordt bewezen door inductie op de som van de indices. De auteur analyseert de singulariteiten van het product. De normalisatie van de singulariteiten van $X^{(m)}$ is gerelateerd aan $X \times X^{(m-2)}$. Door de normalisaties van de irreducibele componenten van de singulariteiten van de totale producten te vergelijken, kan men de multipliciteiten $k_m$ en $\ell_m$ van elke macht $m$ onderscheiden.

4. Significatie en Bijdrage

• Bevestiging van een Conjecture: Het artikel bewijst een recente conjecture uit [10] over de classificatie van producten van punctuele Hilbert-schema's van gladde projectieve oppervlakken. Dit breidt eerdere resultaten uit voor Hilbert-schema's van punten op krommen ([20]) naar oppervlakken.
• Geometrische Informatie: De beschrijving van de tangentbundel $T_{X[n]}$ levert nieuwe inzichten op in de meetkunde van Hilbert-schema's, een centraal object in de moderne algebraïsche meetkunde en de hyperkähler-geometrie. Het onderscheid tussen de gevallen waar $T_{X[n]}$ decomposeert en waar niet, hangt nauw samen met de Kodaira-dimensie en de structuur van het onderliggende oppervlak $X$.
• Uniciteit van Producten: De resultaten dragen bij aan het bredere probleem van het "Zariski cancellation problem" en de uniciteit van productontbindingen. Het toont aan dat voor deze specifieke klassen van variëteiten (Hilbert-schema's en symmetrische machten), de productstructuur uniek is bepaald door de factoren, zelfs zonder de aanname dat de variëteiten proper zijn (in het geval van Stelling C).
• Technische Innovatie: De methode om de decompositie van $T_{X[n]}$ te bestuderen via $S_n$-invariante subbundels van $T_{X^n}$ en het analyseren van de "uitbreidbaarheid" (extendability) via de Hilbert-Chow-morfisme, biedt een krachtig nieuw perspectief voor het bestuderen van vectorbundels op quotiëntvariëteiten en gerelateerde constructies.

Samenvattend biedt dit werk een volledig antwoord op de vraag hoe de tangentbundel van Hilbert-schema's eruitziet en bevestigt het dat producten van deze schema's (en symmetrische machten) uniek zijn te herleiden tot hun factoren, wat een belangrijke stap is in de classificatietheorie van algebraïsche variëteiten.