Measuring birational derived splinters

Titel: Het Meten van Birationale Afgeleide Splinters (Measuring Birational Derived Splinters)

1. Probleemstelling en Achtergrond

Het artikel richt zich op de categorische studie van singulariteiten in algebraïsche meetkunde. De auteurs bouwen voort op het concept van splinters (variëteiten waarbij de natuurlijke morfisme $\mathcal{O}_X \to f_*\mathcal{O}_Y$ splitst voor alle eindige surjectieve morfismen $f: Y \to X$), een idee dat sterk verbonden is met de Direct Summand Conjecture van Hochster.

De kern van het probleem ligt in het onderscheid tussen verschillende soorten singulariteiten en hun gedrag in verschillende kenmerken (characteristic):

• In karakteristiek 0 komt het eigenschap van een splinter overeen met een normale schema, en "afgeleide splinters" (waarbij de morfisme splitst voor propre morfismen in de afgeleide categorie) komen overeen met rationele singulariteiten.
• In positieve karakteristiek is de situatie complexer. Een schema kan een splinter zijn zonder een afgeleide splinter te zijn (bijvoorbeeld een elliptische kromme in positieve karakteristiek is een birationale afgeleide splinter, maar geen afgeleide splinter).
• Er bestaat een behoefte aan een methode om de "mate" van singulariteit te kwantificeren, vooral voor birationale afgeleide splinters (waarbij de splinter-eigenschap geldt voor alle propre birationale morfismen). Bestaande methoden voor rationele singulariteiten zijn vaak afhankelijk van verdwijningsstellingen die in positieve karakteristiek niet altijd gelden.

2. Methodologie: Categorie-theoretische Generatie

De auteurs gebruiken technieken uit de theorie van getrianguleerde categorieën om deze singulariteiten te meten. De centrale tool is het concept van generatie en het bijbehorende niveau (level) van een object.

• Generatie: Voor een subcategorie $\mathcal{S}$ in een getrianguleerde categorie $\mathcal{T}$, wordt $\langle \mathcal{S} \rangle_n$ gedefinieerd als de subcategorie gegenereerd door $\mathcal{S}$ met behulp van verschuivingen, directe sommen, directe sommanden en maximaal $n$ kegels (cones).
• Niveau (Level): Het niveau van een object $E$ ten opzichte van $\mathcal{S}$, genoteerd als $\text{level}_{\mathcal{S}}(E)$, is het kleinste getal $N$ waarvoor $E \in \langle \mathcal{S} \rangle_N$. Als dit niet bestaat, is het oneindig.
• Toepassing op Splinters: Een schema $X$ is een birationale afgeleide splinter dan en slechts dan als de natuurlijke morfisme $\mathcal{O}_X \to Rf_*\mathcal{O}_Y$ splitst voor elke propre birationale $f$. Dit splitstingsvoorwaarde is equivalent met het feit dat $\mathcal{O}_X$ een niveau 1 heeft ten opzichte van de categorie $Rf_*D^b_{\text{coh}}(Y)$.

3. Kernbijdrage: De Invariant $\mu_{\text{bds}}$

De auteurs introduceren een nieuwe numerieke invariant, $\mu_{\text{bds}}(X)$, die de "mislukking" van een schema om een birationale afgeleide splinter te zijn, kwantificeert.

• Definitie:
  $$\mu_{\text{bds}}(X) := \sup \{ \text{level}_{Rf_*D^b_{\text{coh}}(Y)}(\mathcal{O}_X) \mid f: Y \to X \text{ is propre en birationaal} \}$$
• Interpretatie:
  • $\mu_{\text{bds}}(X) = 1$ betekent dat $X$ een birationale afgeleide splinter is.
  • $\mu_{\text{bds}}(X) > 1$ geeft aan hoe "ver" $X$ verwijderd is van deze eigenschap.
  • De auteurs tonen aan dat deze invariant ook kan worden gekarakteriseerd door alleen te kijken naar blow-ups langs niet-nul ideaalstelsels (Propositie 3.3).

4. Belangrijkste Resultaten

A. Finitude en Onafhankelijkheid bij Resoluties
Als $X$ een resolutie van singulariteiten $f: \tilde{X} \to X$ toelaat (waarbij $\tilde{X}$ regulier is), dan is $\mu_{\text{bds}}(X)$ altijd eindig en onafhankelijk van de gekozen resolutie (Stelling 3.4). Dit betekent dat de invariant goed gedefinieerd is voor veel interessante klassen van schema's.

B. Gedrag onder Operaties (Pullback en Producten)
De auteurs bestuderen hoe $\mu_{\text{bds}}$ zich gedraagt onder verschillende meetkundige operaties, met name in de context van schema's van eindig type over een perfect veld $k$:

1. Velduitbreidingen: Voor een velduitbreiding $L/k$ geldt $\mu_{\text{bds}}(X) \geq \mu_{\text{bds}}(X \times_k \text{Spec}(L))$. Als $L/k$ eindig is, zijn ze gelijk (Propositie 4.3).
2. Producten: Voor twee propre schema's $X$ en $Y$ geldt:
   $$\max\{\mu_{\text{bds}}(X), \mu_{\text{bds}}(Y)\} \leq \mu_{\text{bds}}(X \times_k Y) \leq \mu_{\text{bds}}(X) \cdot \mu_{\text{bds}}(Y)$$
   (Stelling 4.6).
3. Lokalisatie en Completering: Voor een quasi-excellent normale lokale ring $R$ geldt $\mu_{\text{bds}}(R) \geq \mu_{\text{bds}}(\hat{R})$ (Corollarium 3.5). Voor affiene schema's geldt bovendien dat de globale invariant gelijk is aan het supremum van de lokale invarianten: $\mu_{\text{bds}}(X) = \sup_{p \in X} \mu_{\text{bds}}(\mathcal{O}_{X,p})$ (Propositie 3.12).

C. Karakterisering van Birationale Afgeleide Splinters
Een direct gevolg van de bovenstaande ongelijkheden is dat de eigenschap "een birationale afgeleide splinter zijn" stabiel is onder basisverandering en producten, mits men werkt over een perfect veld en resoluties van singulariteiten bestaan:

• $Y$ is een birationale afgeleide splinter dan en slechts dan als $Y \times_k \bar{k}$ dat is (Corollarium 1.5).
• $Y_1$ en $Y_2$ zijn birationale afgeleide splinters dan en slechts dan als $Y_1 \times_k Y_2$ dat is (Corollarium 4.7).

5. Significatie en Impact

• Nieuwe Perspectieven in Positieve Karakteristiek: De resultaten bieden nieuwe inzichten in de theorie van singulariteiten in positieve karakteristiek, waar klassieke technieken (zoals Grauert-Riemenschneider-verdwijning) vaak falen. De auteurs tonen aan dat categorische methoden robuust kunnen zijn in deze setting.
• Kwantificering van Singulariteiten: In plaats van alleen te vragen of een singulariteit "goed" of "slecht" is (een binair antwoord), introduceert $\mu_{\text{bds}}$ een numerieke maatstaf voor de ernst van de singulariteit.
• Verbinding tussen Meetkunde en Categorie-theorie: Het werk versterkt het verband tussen de meetkundige eigenschappen van een variëteit en het gedrag van de bijbehorende afgeleide categorie. Het toont aan dat de "generatie" van de structuurheef in de afgeleide categorie een diepe meetkundige betekenis heeft.
• Toepasbaarheid: De methoden zijn niet beperkt tot karakteristiek 0 en kunnen worden toegepast op een breed scala aan schema's, inclusief die in gemengde karakteristiek (zoals BCM-rationale singulariteiten).

Samenvattend biedt dit artikel een krachtig nieuw raamwerk voor het analyseren van singulariteiten door het gebruik van triangulatie-categorieën, met name door de introductie van de $\mu_{\text{bds}}$-invariant, die zowel theoretische diepgang biedt als concrete meetkundige gevolgen heeft voor het gedrag van singulariteiten onder basisverandering en producten.