Technische Samenvatting: Het Spectrum van Stabiele $\infty$-categorieën met Acties

Probleemstelling

De studie van spectra geassocieerd met triangulante of stabiele $\infty$-categorieën dient als een brug tussen abstracte categorische structuren en onderliggende geometrie. Er bestaan twee primaire kaders:

1. Balmers Tensor Triangulaire Spectrum: Geïntroduceerd door Balmer [Bal05], dit associeert een lokaal geringde ruimte $\text{Spec}^\otimes(\mathcal{T})$ aan een tensor triangulante categorie $\mathcal{T}$, waarbij dikke tensor-idealen worden geclassificeerd. Het herstelt succesvol geometrische ruimtes (bijv. schema's) uit categorieën van perfecte complexen. Het vereist echter een globale tensorproductstructuur.
2. Matsui's Triangulaire Spectrum: Voorgesteld door Matsui [Mat21] en verder ontwikkeld door Hirano, Ouchi en anderen [HO22, HO24, HKO24, Ito23, IM24], dit generaliseert het concept naar triangulante categorieën die geen tensorstructuur bezitten, waarbij dikke subcategorieën worden geclassificeerd.

Er blijft een kloof bestaan in het verenigen van deze benaderingen en het uitbreiden naar instellingen waar een categorie $\mathcal{D}$ een actie heeft van een andere categorie $\mathcal{S}$ (een $\mathcal{S}$-module), maar zelf geen globale tensorproduct bezit. Het artikel adresseert de behoefte aan een verenigend invariant dat dikke $\mathcal{S}$-submodules van een stabiele $\infty$-categorie $\mathcal{D}$ classificeert, die is uitgerust met een actie van een stabiele $\infty$-categorie $\mathcal{S}$, terwijl klassieke geometrische intuïtie wordt hersteld in diverse niet-tensoriële of relatieve instellingen.

Methodologie

De auteur construeert een nieuw invariant genaamd het relatieve Matsui-spectrum, aangeduid als $\text{Spec}(\mathcal{D}, \mathcal{S}, \mathcal{B})$, voor een gegeven $(\mathcal{D}, \mathcal{S}, \mathcal{B})$ bestaande uit algebra-objecten $\mathcal{B}, \mathcal{S} \in \text{Cat}^{\text{perf}}_\infty$, een homomorfisme $\phi: \mathcal{B} \to \mathcal{S}$, en een linker $\mathcal{S}$-module $\mathcal{D} \in \text{Cat}^{\text{perf}}_\infty$.

Constructie:

1. Primes en Topologie: De onderliggende topologische ruimte wordt gedefinieerd via $\mathcal{S}$-primes. Een dikke $\mathcal{S}$-submodule $P \subset \mathcal{D}$ is een $\mathcal{S}$-prime als de intersectie van elke familie van $\mathcal{S}$-submodules die $P$ strikt bevatten, eveneens strikt groter is dan $P$. De ruimte $\text{Spc}(\mathcal{D}, \mathcal{S})$ is de verzameling van dergelijke primes, uitgerust met een topologie gegenereerd door supports $\text{Supp}(W) = \{P \mid W \not\subset P\}$.
2. Structuurbundel: De structuurbundel $\mathcal{O}$ wordt geconstrueerd met behulp van natuurlijke transformaties van identiteitsfuncties op gelokaliseerde categorieën, specifiek $\mathcal{O}(U) = \text{Nat}^0_{\mathcal{B}}(\text{Id}_{\mathcal{D}_U}, \text{Id}_{\mathcal{D}_U})$, waarbij $\mathcal{D}_U$ de lokalisatie van $\mathcal{D}$ is bij de open verzameling $U$.
3. Universaliteit: Het spectrum wordt gekarakteriseerd als het universele support-datum. Een support-datum is een topologische $T_0$-ruimte uitgerust met een afbeelding van objecten van $\mathcal{D}$ naar gesloten deelverzamelingen die shift-invariantie, actie-compatibiliteit, directe som-additiviteit, exactheid en onderscheidbaarheid voldoen. Het relatieve Matsui-spectrum wordt getoond als het initiële object in de categorie van dergelijke support-data.

Belangrijke Technische Instrumenten:

• Commutativiteit van Lokalisaties: Het artikel maakt gebruik van voorwaarden waaronder lokalisaties van stabiele $\infty$-categorieën communiceren (Lemma 5.1, Lemma 5.4), wat cruciaal is voor het vestigen van descent-eigenschappen en vezelrijke decomposities.
• Admissibiliteit en Smashing: De auteur introduceert voorwaarden (admissibel, smashing, rigide) op het gegeven $(\mathcal{D}, \mathcal{S})$ om de existentie van een natuurlijke morfisme naar het spectrum van de basis $\text{Spec}(\mathcal{S}, \mathcal{S})$ te garanderen en om te waarborgen dat het spectrum goed functioneert onder base change en lokalisatie.

Belangrijkste Bijdragen en Resultaten

1. Unificatie en Generalisatie

Het relatieve Matsui-spectrum generaliseert zowel de constructies van Balmer als van Matsui:

• Als $\mathcal{D} = \mathcal{S} = \mathcal{T}$ (een rigide tensor triangulante categorie), herstelt $\text{Spec}(\mathcal{D}, \mathcal{S})$ het Balmer-spectrum $\text{Spec}^\otimes(\mathcal{T})$.
• Als $\mathcal{S} = \text{Perf}(Z)$ of $\text{Sp}^\omega$ (eindige spectra), herstelt het het Matsui-spectrum $\text{Spec}_\triangle(\mathcal{D})$.
• Het biedt een verenigend kader voor het classificeren van dikke $\mathcal{S}$-submodules, waarmee tensor triangulaire geometrie wordt uitgebreid naar instellingen zonder een globaal tensorproduct.

2. Fundamentele Eigenschappen

• Classificatie van Submodules: Er is een bijeenwerking tussen dikke $\mathcal{S}$-submodules van $\mathcal{D}$ en specialisatie-gesloten deelverzamelingen van $\text{Spc}(\mathcal{D}, \mathcal{S})$ (Theorem 4.3). Elke $\mathcal{S}$-submodule is een intersectie van priem $\mathcal{S}$-submodules.
• Morfisme naar de Basis: Voor admissibele data is er een canonieke morfisme $\text{Spec}(\mathcal{D}, \mathcal{S}) \to \text{Spec}(\mathcal{S}, \mathcal{S})$. Dit maakt een vezelrijke analyse van het spectrum mogelijk.
• Descent en Base Change: Het spectrum voldoet aan descent-eigenschappen (Lemma 7.2) en gedraagt zich goed onder base change (Theorem 6.7), inclusclusief inbeddingen wanneer de basis lokaal wordt gegenereerd door de afbeelding van een sub-algebra.

3. Geometrische Toepassingen

Het artikel demonstreert dat het relatieve Matsui-spectrum klassieke geometrische ruimtes herstelt uit diverse categorische data:

• Schema's: Voor een vlakke morfisme $X \to Y$ met een regelmatige $Y$, is het spectrum van $\text{Perf}(X)$ als een $\text{Perf}(Y)$-module een lokaal geringde ruimte over $Y$, vezelrijk gegeven door het Matsui-spectrum van $\text{Perf}(X_y)$. Relatief derivaat-equivalente schema's verschijnen als open deelschema's.
• Twisted Derived Categories: Voor twisted derived categorieën $\text{Perf}(X, \mu)$ is het spectrum canoniek isomorf met de basis $\text{X}$.
• Severi–Brauer Schema's: Voor een Severi–Brauer schema $Y \to X$ encodeert het spectrum $Y$ samen met extra kopieën van de basis $X$, wat de semi-orthogonale decomposities reflecteert. In relatieve dimensie één wordt het spectrum expliciet beschreven als $Y \sqcup (\coprod_{\mathbb{Z}} X)$.
• Singulariteiten:
  • Voor de categorie van singulariteiten $\text{Sing}(X)$, indien $X$ lokaal een hypersurface is, herstelt het spectrum de singuliere locus van $X$.
  • Voor $\text{Coh}(X)$ relateert de vezel over een punt $x$ aan de inbeddingscodimensie van de lokale ring $\mathcal{O}_{X,x}$. Het spectrum classificeert submodules van $\text{Coh}(X)$ via specialisatie-gesloten deelverzamelingen van een ruimte gerelateerd aan de singuliere locus.
• Matrix Factorizations: Voor afgeleide matrix factorisatie categorieën $\text{DMF}(X, L, W)$, herstelt het spectrum de relatieve singuliere locus $\text{Sing}(X_0/X)$, waarmee resultaten van Hirano [Hir19] worden uitgebreid.
• Koszul Algebra's: Het spectrum classificeert dikke subcategorieën over Koszul algebra's van regelmatige ringen, wat de resultaten van Liu en Pollitz [LP25] generaliseert.

Betekenis

Het artikel claimt dat het relatieve Matsui-spectrum de reikwijdte van tensor triangulaire geometrie uitbreidt naar instellingen waar een globaal tensorproduct ontbreekt of waar de categorie relatief aan een basis is gedefinieerd. Door geometrische intuïtie te behouden via de classificatie van subcategorieën, maakt het de reconstructie van onderliggende klassieke geometrische ruimtes (zoals schema's, singuliere loci en twisted structuren) mogelijk vanuit louter categorische data.

De constructie biedt een verenigend kader dat eerdere spectrale theorieën (Balmer en Matsui) omvat en fungeert als een robuust instrument voor de analyse van stabiele $\infty$-categorieën met acties. De resultaten vestigen dat zelfs in complexe relatieve instellingen (bijv. twisted categorieën, matrix factorisaties en categorieën van singulariteiten), de categorische structuur voldoende informatie behoudt om de relevante geometrische loci en hun submodules te reconstrueren.