Proxy smallness meets $t$-structures

Technische Samenvatting: Proxy-kleinheid ontmoet t-structuren

1. Probleem en Motivatie
Het artikel behandelt de beperkingen van "proxy-kleinheid", een concept geïntroduceerd door Dwyer, Greenlees en Iyengar [DGI06a, DGI06b] als een verzwakking van compactheid in getrianguleerde categorieën. Hoewel proxy-kleinheid lokaal volledige doorsnede (LCI) singulariteiten in de lokale setting succesvol karakteriseert (bijv. [Pol19]) en verfijnd is via tensoracties om LCI-schema's globaal te karakteriseren ([BILP22]), faalt het om zich goed te gedragen onder globalisering wanneer bekeken door de lens van $t$-structuren. Specifiek vangen naïeve globale analogieën van proxy-kleinheid de juiste geometrische eigenschappen niet wanneer men overgaat van lokale naar globale settings.

De auteurs beogen een natuurlijke verfijning van proxy-kleinheid te introduceren die $t$-structuren en tensoracties integreert. Het centrale doel is het ontwikkelen van een theorie van "proxy-kleinheid voor $t$-structuren" (specifiek $t$-proxy-kleinheid en $t$-$\otimes$-proxy-kleinheid) om nieuwe karakterisering van LCI-schema's te bieden en specifieke subcategorieën (preaisles) binnen de begrenste afgeleide categorie van coherent schoven, $D^b_{\text{coh}}(X)$, te classificeren.

2. Methodologie en Kader
De theorie wordt ontwikkeld binnen de context van rigide compact gegenereerde getrianguleerde tensorcategorieën, met name gericht op $D_{\text{qc}}(X)$ voor een Noethers schema $X$. De methodologie rust op drie primaire technische pijlers:

• Tensoracties en Preaisles: De auteurs maken gebruik van de actie van de categorie van perfecte complexen, $\text{Perf}(X)$, op $D_{\text{qc}}(X)$ en gerelateerde categorieën (zoals de homotopiecategorie van injectieven $K(\text{Inj}(X))$). Zij definiëren $\otimes$-preaisles (subcategorieën gesloten onder positieve verschuivingen, extensies, directe sommanden en tensoren met $\text{Perf}_{\leq 0}(X)$).
• Recollementen: Een cruciaal hulpmiddel is Krause's recollement dat $D_{\text{qc}}(X)$, $K(\text{Inj}(X))$ en de singulariteitscategorie $D_{\text{sg}}(X)$ relateert. De auteurs gebruiken dit kader om $t$-structuren te "lijmen" en te analyseren hoe eigenschappen zoals proxy-kleinheid zich gedragen over deze categorieën heen.
• Pseudocoherente Generatie: Het artikel breidt resultaten uit de affiene geval uit naar willekeurige Noetherse schema's door bestudering van aisles gegenereerd door pseudocoherente complexen. Een belangrijk technisch resultaat (Stelling 3.5) stelt dat $\otimes$-aisles gegenereerd door pseudocoherente complexen compact gegenereerd zijn, wat [ATJLS10] generaliseert.

3. Belangrijkste Definities en Bijdragen

• $t$-Proxy-kleinheid: Een object $P$ wordt gedefinieerd als $t$-proxy-klein als de coproductieve preaisle gegenereerd door $P$, aangeduid als $\langle P \rangle^{(-\infty, 0]}$, compact gegenereerd is en zijn compacte objecten binnen de preaisle liggen die wordt gegenereerd door de compacte objecten van $P$. Dit beperkt het "bouwproces" tot positieve suspensies en extensies, in tegenstelling tot klassieke proxy-kleinheid die willekeurige getrianguleerde operaties toestaat.
• $t$-$\otimes$-Proxy-kleinheid: Dit breidt het concept uit tot de aanwezigheid van een tensoractie. Een object is $t$-$\otimes$-proxy-klein als de $\otimes$-preaisle die door het wordt gegenereerd, voldoet aan de $t$-proxy-kleinheid voorwaarde.
• Structurele Karakterisering (Stelling 4.7): De auteurs karakteriseren $t$-proxy-kleine objecten via recollementen. Een object $P$ is $t$-proxy-klein dan en slechts dan als:
  1. De preaisle $\langle P \rangle^{(-\infty, 0]}$ compact gegenereerd is.
  2. Een specifieke endofunctie die de afgeleide Hom en het tensorproduct omvat, kleine coproducten behoudt.
  3. De standaard $t$-structuur van de dg-endomorfisme-algebra van $P$ langs het relevante recollement plakt.
• Onderscheid van Klassieke Proxy-kleinheid: Het artikel demonstreert dat $t$-proxy-kleinheid een strikt sterkere voorwaarde is. Voorbeeld 4.11 construeert een object in $D^b_{\text{coh}}(R)$ (waarbij $R$ een specifieke lokale Artinse ring is) dat proxy-klein is maar niet $t$-proxy-klein. Dit berust op module-theoretische tegenvoorbeelden aan conjecturen van Eisenbud en Auslander gevonden in [JŞ04] en [GP90].

4. Hoofdresultaten

• Karakterisering van LCI-schema's (Propositie 1.2): Het artikel biedt een nieuwe karakterisering van lokaal volledige doorsnede schema's. Voor een Noethers schema $X$ zijn de volgende equivalent:

  1. $X$ is lokaal een volledige doorsnede.
  2. Elk object van $D^b_{\text{coh}}(X)$ is $\otimes$-proxy-klein.
  3. Elk object van $D^b_{\text{coh}}(X)$ is $t$-$\otimes$-proxy-klein.
     De nieuwigheid ligt in voorwaarde (3), die een $t$-structurele verfijning biedt van bestaande karakterisering. Het bewijs maakt gebruik van een lokaal-naar-globaal eigenschap vastgesteld via Lemma 6.8, wat aantoont dat lidmaatschap van een compact gegenereerde aisle op $K(\text{Inj}(X))$ een stalk-lokale voorwaarde is.

• Classificatie van Preaisles (Stelling 1.1 en Stelling 5.4): De auteurs stellen een injectieve afbeelding $\Theta$ vast van de collectie van $\otimes$-gesuspendeerde subcategorieën van $D^b_{\text{coh}}(X)$ (gegenereerd door $t$-$\otimes$-proxy-kleine objecten) naar het Cartesisch product van:

  • $\star$-gesuspendeerde subcategorieën van de singulariteitscategorie $D_{\text{sg}}(X)$.
  • Thomason-filtraties op $X$.
    De afbeelding wordt gegeven door $A \mapsto (\langle \pi(A) \rangle^{(-\infty, 0]}, \phi_A)$, waarbij $\pi$ de Verdier-localisatie is en $\phi_A$ de Thomason-filtratie die geassocieerd is met de gegenereerde aisle in $D_{\text{qc}}(X)$.

• Expliciete Classificaties in Specifieke Gevallen:

  • Hypervlaksingulariteiten (Stelling 1.3): Als $X$ uitsluitend hypervlaksingulariteiten heeft, wordt $\Theta$ een bijectie tussen $\otimes$-gesuspendeerde subcategorieën van $D^b_{\text{coh}}(X)$ en paren $(W, \phi)$, waarbij $W$ een gespecialiseerde gesloten deelverzameling is van de singulariteitslocus en $\phi$ een Thomason-filtratie is die voldoet aan een specifieke bevattingsvoorwaarde.
  • Nulloci van Secties (Stelling 1.5): Voor schema's $X$ die voortkomen als nulloci van secties van vectorbundels op reguliere schema's (die resolutie-eigenschappen voldoen), wordt de classificatie verfijnd om de singulariteitslocus van een gerelateerd hypervlakschema $Y$ te betrekken. Dit resultaat biedt een niet-affine generalisatie van Takahashi's classificatie [Tak25] voor gesuspendeerde subcategorieën die de structuurhevel bevatten.

5. Betekenis en Claims
Het artikel claimt een "natuurlijke verfijning" van proxy-kleinheid te bieden die gevoelig is voor de $t$-structuur. De betekenis is tweeledig:

1. Geometrische Karakterisering: Het biedt een nieuw, $t$-structureel criterium voor het identificeren van lokaal volledige doorsnede schema's, waardoor eerdere resultaten worden opgewaardeerd om niet-gescheiden gevallen te behandelen en een robuuster lokaal-naar-globaal principe te bieden.
2. Classificatietheorie: Het levert een topologische classificatie van $\otimes$-preaisles op $D^b_{\text{coh}}(X)$ voor specifieke klassen van schema's (hypervlakken en nulloci). Deze classificatie verbindt de geometrie van het schema (via Thomason-filtraties) en zijn singulariteiten (via de singulariteitscategorie) met de structuur van zijn afgeleide categorie.

De auteurs benadrukken dat hun aanpak onafhankelijk is van de methoden die in Takahashi's recente werk [Tak25] worden gebruikt, en biedt een alternatief bewijs en generalisatie naar niet-affine settings. Bovendien benadrukt de constructie van tegenvoorbeelden (Voorbeeld 4.11) de subtiele verschillen tussen klassieke en $t$-structurele noties van kleinheid, waarbij diepgaande resultaten in commutatieve algebra worden benut met betrekking tot het gedrag van modules over niet-LCI-ringen.