Joint Deformations of Manifolds, Coherent Sheaves and Sections

Technische Samenvatting: Gezamenlijke Deformaties van Variëteiten, Coherente Schoven en Secties

Probleemstelling
Het artikel behandelt de deformatietheorie van triples $(X, F, \sigma)$, waarbij $X$ een gladde variëteit is over een lichaam met karakter 0, $F$ een coherente schof op $X$, en $\sigma \in H^0(X, F)$ een globale sectie is. Hoewel de deformatietheorie van paren $(X, Z)$ (waarbij $Z$ een divisor is) goed begrepen is via de hypercohomologie van de complex $\Theta_X \xrightarrow{\gamma} N_{Z|X}$, bestaat er een aanzienlijk technisch gat: de complex $D = [\Theta_X \xrightarrow{\gamma} N_{Z|X}]$ draagt niet van nature de structuur van een schof van differentieel-graduele Lie-algebra's (DG-Lie-algebra's). Deze afwezigheid bemoeilijkt het bestuderen van deformaties met behulp van de standaard machinerie van Maurer–Cartan-oplossingen en gauge-equivalentie, met name voor het berekenen van primaire obstructies en Massey-producten.

Vorig werk door de auteurs en anderen stelde vast dat voor een lijnbundel $L$ en een sectie $\sigma$, de deformaties van $(X, L, \sigma)$ worden beheerst door de complex $P(X, L) \xrightarrow{e_\sigma} L$, waarbij $P(X, L)$ de schof van eerste-orde differentiaaloperatoren is. Een algemeen kader voor willekeurige coherente schoven $F$ (die mogelijk niet lokaal vrij zijn) en hun secties ontbrak echter.

Methodologie
De auteurs maken gebruik van de theorie van DG-Lie-algebra's en Deligne-groupoids om een controlemechanisme voor deze deformaties te construeren. De methodologie verloopt in verschillende stadia:

1. Resolutie en Constructie: Voor een coherente schof $F$ selecteren de auteurs een eindige lokaal vrije resolutie $E^\bullet$ en een sectie $s \in H^0(X, E^0)$ die $\sigma$ lift. Ze construeren een schof van DG-Lie-algebroïden $C^\bullet(X, E^\bullet, s)$, gedefinieerd als de mapping-cocone van de evaluatiemorfisme $e_s: P^\bullet(X, E^\bullet) \to E^\bullet$. Hierbij is $P^\bullet(X, E^\bullet)$ de schof van eerste-orde differentiaaloperatoren met scalaire symbool.
2. Onafhankelijkheid van Resolutie: Met behulp van homologische algebra-technieken (specifiek de "killing cycles"-procedure en eigenschappen van quasi-isomorfismen) bewijzen de auteurs dat de quasi-isomorfie-klasse van de DG-Lie-algebroïde $C^\bullet(X, E^\bullet, s)$ onafhankelijk is van de keuze van de resolutie $(E^\bullet, s)$.
3. Descent-theorie: Om van lokale affiene patches naar de globale variëteit $X$ te gaan, gebruiken de auteurs de Thom–Whitney-totalisatie van de semicosimpliciale DG-Lie-algebra gevormd door de restricties van $C^\bullet$ naar een affiene open dekking. Ze passen een variatie toe van Hinichs descent-stelling voor Deligne-groupoids (specifiek de uitbreiding door Fiorenza–Iacono–Martinengo) om de globale deformatiefunctie te relateren aan de afgeleide globale secties van de getotaliseerde DG-Lie-algebra.
4. Formele Groupoids: De auteurs definiëren formele groupoids $G(X,F,\sigma)$ die de isomorfieklassen van infinitesimale deformaties representeren. Ze stellen equivalenties vast tussen deze groupoids en de Deligne-groupoids geassocieerd met de geconstrueerde DG-Lie-algebra's.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Stelling 5.6): De infinitesimale deformaties van de triple $(X, F, \sigma)$ worden beheerst door de DG-Lie-algebra $L$ van de afgeleide globale secties van de complex $C^\bullet(X, E^\bullet, s)$. Specifiek is er een isomorfisme van deformatiefunctoren:
  $$\text{Def}_{\text{Tot}(U, C^\bullet)} \cong \text{Def}_{(X,F,\sigma)}$$
  Consequentelijk wordt de raakruimte aan de deformaties geïdentificeerd met $T^1_{(X,F,\sigma)} = H^1(X, C^\bullet(X, E^\bullet, s))$, en liggen obstructies in $T^2_{(X,F,\sigma)} = H^2(X, C^\bullet(X, E^\bullet, s))$.
• Generalisatie naar Secties: Het kader breidt zich op natuurlijke wijze uit naar eindige sequenties van secties $\sigma_1, \dots, \sigma_n$ door het doel van het evaluatiemorfisme te vervangen door de directe som van de resoluties.
• Herstel van Bekende Resultaten (Sectie 6): Het artikel demonstreert dat wanneer $F = L$ een lijnbundel is en $\sigma$ een divisor $Z$ definieert, de complex $C^\bullet(X, L, \sigma)$ quasi-isomorf is aan de klassieke complex $\Theta_X \xrightarrow{\gamma} N_{Z|X}$. Hiermee wordt het bekende resultaat hersteld dat de hypercohomologie van deze complex de deformaties van het paar $(X, Z)$ beheerst.
• Structureel Inzicht (Voorbeeld 6.2): De auteurs bewijzen expliciet dat de complex $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ geen DG-Lie-algebra structuur toelaat die compatibel is met de Lie-bracket op $\Theta_X$ op een manier die de projectie een DG-Lie morfisme maakt. Dit benadrukt de noodzaak van de tussenliggende schof van differentiaaloperatoren $P(X, L)$ om een geldige DG-Lie-structuur te verkrijgen.
• Gladheidscriterium (Corollary 5.8): Als $H^1(X, F) = 0$, dan is de forgetful morfisme van de deformaties van $(X, F, \sigma)$ naar de deformaties van $(X, F)$ glad.

Betekenis
Het artikel claimt betekenis door een verenigd, rigoureus DG-Lie-algebra kader te bieden voor de gezamenlijke deformaties van een manifold, een coherente schof en een sectie. Deze aanpak lost de technische moeilijkheid op van het hanteren van niet-lokaal vrije schoven en secties waar de standaard tangent-normaal complex geen DG-Lie-structuur bezit. Door vast te stellen dat de afgeleide globale secties van de geconstrueerde mapping-cocone de deformaties beheersen, stellen de auteurs de toepassing van standaard deformatietheorie-instrumenten (zoals obstructietheorie en Massey-producten) op een bredere klasse van geometrische objecten mogelijk. Bovendien generaliseert het werk de bestaande resultaten over de deformaties van paren $(X, Z)$ naar gevallen waar de divisor $Z$ singular kan zijn, zonder dat de schof van logaritmische vectorenvelden de enige controller hoeft te zijn.