Coherent sheaves on primitive multiple schemes

Technische Samenvatting: Coherente Sheaves op Primitieve Multiple Schema's

Probleemstelling
Het artikel behandelt de studie van coherente sheaves op primitieve multiple schema's. Een primitief multiple schema $Y$ wordt gedefinieerd als een Cohen-Macaulay schema over $\mathbb{C}$ waarvoor het gereduceerde subschema $X = Y_{\text{red}}$ een gladde, irreducibele variëteit is, en $Y$ lokaal inbedbaar is in een gladde variëteit van dimensie $\dim(X) + 1$. De integer $n$ waarvoor $Y = X_n$ (de $n$-de infinitesimale buurt van $X$) is, wordt de multipliciteit van $Y$ genoemd.

Een primaire moeilijkheid in deze context is dat zelfs als de ondersteuning $X$ projectief is, het schema $Y$ zelf niet noodzakelijkerwijs quasi-projectief hoeft te zijn. Bijgevolg zijn standaardinstrumenten zoals de Hilbert-veelterm, die steunen op een ample lijnbundel op het omringende schema, niet direct toepasbaar. Het artikel streeft ernaar een raamwerk te vestigen voor het definiëren van invarianten voor coherente sheaves op dergelijke schema's, het bestuderen van vlakke families van deze sheaves, en het construeren van moduli-ruimten voor specifieke klassen van sheaves, met name "gebalanceerde sheaves" en ideaalsheaves van punten.

Methodologie
De auteur maakt gebruik van een combinatie van lokale algebraïsche technieken en globale geometrische constructies:

1. Primitieve Multiple Ringen: De studie begint bij de lokale algebraïsche structuur door primitieve multiple ringen $R[n] = R[t]/(t^n)$ te definiëren die geassocieerd zijn met een Noethersche domein $R$. Het artikel analyseert modules over deze ringen door de introductie van kanonieke filtraties (eerste en tweede) en definieert eigenschappen zoals "quasi-vrij" en "gebalanceerd" voor modules.
2. Kanonieke Filtraties: Voor een coherente sheaf $E$ op $Y$ worden twee kanonieke filtraties gedefinieerd:
   • De eerste kanonieke filtratie ($E_i$) wordt gedefinieerd door de kernen van restricties naar het gereduceerde subschema.
   • De tweede kanonieke filtratie ($E^{(i)}$) wordt gedefinieerd door subsheaves die geannihileerd worden door machten van het ideaalsheaf $I_X$.
     Deze filtraties maken het mogelijk om globale problemen op $Y$ te reduceren tot problemen op de gladde ondersteuning $X$.
3. Gereduceerde Invarianten: Om de het gebrek aan quasi-projectiviteit op te vangen, definieert het artikel de gereduceerde Hilbert-veelterm $P_{\text{red}, \mathcal{O}_X(1)}(E)$ en gereduceerde Chern-klassen. Deze worden geconstrueerd door de standaard invarianten van de opeenvolgende quotienten van de kanonieke filtratie (die ondersteund worden op $X$) bij elkaar op te tellen. Het artikel bewijst dat deze invarianten onafhankelijk zijn van de keuze van de filtratie en invariant zijn onder vlakke deformaties.
4. Gebalanceerde Sheaves: Een coherente sheaf $E$ wordt gedefinieerd als gebalanceerd indien zijn twee kanonieke filtraties samenvallen ($E_i = E^{(n-i)}$). Deze conditie generaliseert het begrip vectorbundels. Het artikel onderzoekt de stabiliteit van deze eigenschap in vlakke families en bewijst dat dit een open conditie is.
5. Affiene Bundelstructuren: Voor specifieke gevallen, met name ideaalsheaves op primitieve dubbele oppervlakken ($n=2, \dim(X)=2$), maakt het artikel gebruik van cohomologische methoden om de parameterruimten van deze sheaves te beschrijven als affiene bundels over de ondersteuning $X$.

Belangrijkste Bijdragen en Resultaten

• Gereduceerde Hilbert-veeltermen: Het artikel stelt vast dat voor elke coherente sheaf $E$ op een primitief multiple schema $Y$, een gereduceerde Hilbert-veelterm kan worden gedefinieerd ten opzichte van een ample lijnbundel op $X$. Er wordt aangetoond dat deze veelterm constant is in vlakke families, wat een noodzakelijke invariant biedt voor moduli-problemen, zelfs wanneer $Y$ niet projectief is.
• Quasi-lokale Vrije Sheaves: Het artikel breidt de theorie van quasi-lokaal vrije sheaves (die lokaal isomorf zijn aan directe sommen van de structuursheaves van infinitesimale buurten) uit naar hogere dimensies. Het bewijst dat in een vlakke familie van dergelijke sheaves met constante type, de kanonieke filtraties zelf vlakke families vormen.
• Gebalanceerde Sheaves:
  • Het concept van gebalanceerde sheaves wordt geïntroduceerd als een natuurlijke generalisatie van vectorbundels.
  • Er wordt bewezen dat de eigenschap van gebalanceerd zijn open is in vlakke families over een gladde curve.
  • Voor primitieve dubbele schema's ($n=2$) karakteriseert het artikel gebalanceerde sheaves via de surjectiviteit van specifieke morfismen tussen de gegradeerde componenten van de kanonieke filtratie.
  • Een sluitendheidsresultaat wordt vastgesteld: gegeven een vlakke familie van torsievrije sheaves op een oppervlak $X$, is de locus van punten waar de sheaf kan worden uitgebreid naar een gebalanceerde sheaf op het dubbele schema $X_2$ gesloten.
• Moduli van Ideaalsheaves op Dubbele Oppervlakken:
  • Het artikel richt zich op de eenvoudigste niet-lokaal vrije gebalanceerde sheaves op een primitief dubbel oppervlak $X_2$: zij waarvan de restrictie naar $X$ de ideaalsheaf van een punt $P$ is.
  • Het wordt aangetoond dat voor een vast punt $P$, de verzameling van dergelijke ideaalsheaves een affiene ruimte vormt met de bijbehorende vectorruimte $T_{X,P} \otimes L$ (waarbij $L$ de lijnbundel is geassocieerd aan $Y$).
  • Globaal gezien vormt de verzameling $\mathcal{I}$ van al deze sheaves een affiene bundel over de ondersteuning $X$ met de bijbehorende vectorbundel $T_X \otimes L$.
  • Het artikel construeert een universele familie van deze ideaalsheaves geparametriseerd door $\mathcal{I}$.
• Fijne Moduli-ruimten: Door de affiene bundel van ideaalsheaves te combineren met de Picard-groep van $X_2$, construeert het artikel een fijne moduli-ruimte $\mathcal{I}(X_2) \cong \mathcal{I} \times \text{Pic}(X_2)$ voor sheaves van de vorm $I \otimes D$. De structuur van deze moduli-ruimte wordt beschreven in termen van affiene bundels over de basis $X \times \Gamma(X_2)$, waarbij $\Gamma(X_2)$ de subgroep is van lijnbundels op $X$ die uitbreidbaar zijn naar $X_2$.

Betekenis en Claims
Het artikel beweert het fundamentele raamwerk te bieden voor het bestuderen van coherente sheaves op primitieve multiple schema's, een klasse van singuliere schema's die natuurlijk voorkomen in de deformatietheorie maar vaak een globale projectieve inbedding missen.

• Generalisatie: Het werk generaliseert eerdere resultaten over primitieve multiple curven (bestudeerd in referenties [17], [2], [3], etc.) naar willekeurige dimensies.
• Moduli-theorie: Het breidt de constructie van fijne moduli-ruimten van vectorbundels (voorheen beschreven in [15]) uit naar de bredere categorie van gebalanceerde sheaves en torsievrije sheaves.
• Nieuwe Invarianten: De introductie van gereduceerde Hilbert-veeltermen en Chern-klassen maakt de toepassing van stabiliteits- en moduli-technieken mogelijk op schema's die niet quasi-projectief zijn.
• Specifieke Toepassingen: De gedetailleerde analyse van ideaalsheaves op dubbele oppervlakken biedt concrete voorbeelden van moduli-ruimten die affiene bundels zijn, waardoor de geometrie van de moduli-ruimte direct wordt gekoppeld aan de tangentbundel van de ondersteuning en de geassocieerde lijnbundel.

Het artikel claimt niet het algemene moduli-probleem voor alle coherente sheaves op primitieve multiple schema's op te lossen, maar stelt in plaats daarvan de noodzakelijke definities, invarianten en structurele resultaten vast voor specifieke, belangrijke klassen (quasi-lokaal vrije en gebalanceerde sheaves), waardoor verdere studie van hun moduli-ruimten mogelijk wordt gemaakt.