Table of Contents
Fetching ...

Admissible subcategories and metric techniques

Kabeer Manali Rahul

TL;DR

The paper develops a framework of metric techniques in compactly generated triangulated categories to lift semiorthogonal decompositions from compact objects to larger ambient subcategories via compressible metrics and closure-of-compacts constructions. Central to the approach are the notions of extended good metrics, generating sequences, and (weak) co-approximability, which yield a systematic way to obtain SODs on $oldsymbol{T}^{-}_c$, $oldsymbol{T}^{+}_c$, and $oldsymbol{T}^{b}_c$ under Hypotheses (I) and (II). The results apply to algebro-geometric contexts—schemes, algebras, and stacks—providing explicit decompositions under relatively mild hypotheses and computing the relevant compact-closure subcategories in concrete categories like $ extbf{D}^{p}_{ ext{Qcoh},Z}(X)$, $ extbf{D}^{-}_{ ext{coh},Z}(X)$, and their noncommutative analogues. By comparing to recent works (Sun–Zhang, Bondarko, Kuznetsov–Shinder) and embracing co-approximability, the framework offers a versatile, representability-light route to constructing and analyzing SODs in broad geometric settings.

Abstract

In this work, we provide a way of constructing new semiorthogonal decompositions using metric techniques (à la Neeman). Given a semiorthogonal decomposition on a category with a special kind of metric, which we call a compressible metric, we can construct new semiorthogonal decomposition on a category constructed from the given one using the aforementioned metric. In the algebro-geometric setting, this gives us a way of producing new semiorthogonal decompositions on various small triangulated categories associated to a scheme, if we are given one. In the general setting, the work is related to that of Sun-Zhang, while its applications to algebraic geometry are related to the work of Bondarko and Kuznetsov-Shinder.

Admissible subcategories and metric techniques

TL;DR

The paper develops a framework of metric techniques in compactly generated triangulated categories to lift semiorthogonal decompositions from compact objects to larger ambient subcategories via compressible metrics and closure-of-compacts constructions. Central to the approach are the notions of extended good metrics, generating sequences, and (weak) co-approximability, which yield a systematic way to obtain SODs on , , and under Hypotheses (I) and (II). The results apply to algebro-geometric contexts—schemes, algebras, and stacks—providing explicit decompositions under relatively mild hypotheses and computing the relevant compact-closure subcategories in concrete categories like , , and their noncommutative analogues. By comparing to recent works (Sun–Zhang, Bondarko, Kuznetsov–Shinder) and embracing co-approximability, the framework offers a versatile, representability-light route to constructing and analyzing SODs in broad geometric settings.

Abstract

In this work, we provide a way of constructing new semiorthogonal decompositions using metric techniques (à la Neeman). Given a semiorthogonal decomposition on a category with a special kind of metric, which we call a compressible metric, we can construct new semiorthogonal decomposition on a category constructed from the given one using the aforementioned metric. In the algebro-geometric setting, this gives us a way of producing new semiorthogonal decompositions on various small triangulated categories associated to a scheme, if we are given one. In the general setting, the work is related to that of Sun-Zhang, while its applications to algebraic geometry are related to the work of Bondarko and Kuznetsov-Shinder.

Paper Structure

This paper contains 6 sections, 45 theorems, 28 equations, 1 table.

Key Result

Theorem A

Let $X$ be a noetherian, separated, finite-dimensional scheme, and $\mathcal{A}$ a coherent $\mathcal{O}_X$-algebra. Let $\mathcal{X}$ be a concentrated noetherian stack (concentrated means that the canonical map $\mathcal{X} \to \operatorname{Spec}(\mathbb{Z})$ is concentrated, see Hall/Rydh:2017) Then, for any semiorthogonal decomposition $\langle \mathsf{A}, \mathsf{B\rangle}$ on $\mathsf{S}_1

Theorems & Definitions (112)

  • Theorem A
  • Definition A
  • Example A
  • Theorem B: \ref{['Corollary admissible categories from Tc to T-c']} & \ref{['Corollary admissible subcategories from Tc to Tbc with pre-approximability']}
  • Theorem C: \ref{['Corollary admissible categories from Tc to T+c']} & \ref{['Corollary admissible subcategories from Tc to Tbc with co-approximability']}
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Example 2.4
  • Definition 2.5
  • ...and 102 more