pith. sign in

arxiv: 2404.08578 · v5 · pith:PBVWODTSnew · submitted 2024-04-12 · 🧮 math.AG · math.CT

Classification and nonexistence for t-structures on derived categories of schemes

Alexander Clark , Pat Lank , Kabeer Manali-Rahul , Chris J. Parker This is my paper

Pith reviewed 2026-05-24 02:29 UTC · model grok-4.3

classification 🧮 math.AG math.CT
keywords tensor t-structuresderived categoriescoherent sheavesperfect complexesscheme regularityNoetherian schemessupport conditions
0
0 comments X

The pith

Tensor t-structures on the bounded derived category of coherent sheaves are classified by support data for suitable Noetherian schemes, and their existence on perfect complexes detects regularity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies all tensor t-structures with prescribed support on the bounded derived category of coherent sheaves and related variants. It further proves that the existence of any such t-structure that restricts to the subcategory of perfect complexes is equivalent to the scheme being regular. The classification rests on local-to-global principles that reduce questions about global t-structures to local data. A reader would care because the result gives an explicit description of these structures and recovers a known detection theorem for regularity in the affine case by new methods.

Core claim

Given a suitable Noetherian scheme X, the tensor t-structures on D^b(Coh(X)) with prescribed support are completely classified; moreover, the existence of a tensor t-structure on Perf(X) detects that X is regular, recovering Neeman's theorem in the affine case by different methods, while the same tools yield local-to-global principles for tensor t-structures.

What carries the argument

Tensor t-structures (t-structures compatible with the derived tensor product) on derived categories of coherent sheaves, classified via support conditions.

If this is right

  • All tensor t-structures with given support on D^b(Coh(X)) can be listed explicitly from local data.
  • Regularity of X is equivalent to the existence of any tensor t-structure restricting to Perf(X).
  • Questions about global tensor t-structures reduce to local questions via the established principles.
  • The same classification applies to variants of the category with prescribed support.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The support classification may extend to unbounded derived categories if additional finiteness conditions are imposed.
  • The detection of regularity via t-structures could be tested on explicit non-affine examples such as projective space or singular curves.
  • Local-to-global principles might apply to other compatibility conditions beyond the tensor product.

Load-bearing premise

The scheme must be suitable Noetherian so that the support-based classification and local-to-global reduction apply.

What would settle it

A concrete counterexample would be a suitable Noetherian scheme that is not regular yet admits a tensor t-structure on its perfect complexes.

read the original abstract

Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting to perfect complexes detects regularity, recovering a theorem of Neeman in the affine case by different methods. Our tools establish local-to-global principles for tensor $t$-structures.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript classifies tensor t-structures on the bounded derived category of coherent sheaves D^b_coh(X) (and variants with prescribed support) for a suitable Noetherian scheme X. It shows that the existence of such t-structures restricting to perfect complexes detects regularity of X, recovering Neeman's affine result by different methods, and establishes local-to-global principles for tensor t-structures.

Significance. If the classification and detection results hold, the work provides a useful extension of t-structure theory to coherent sheaves with support conditions and a new approach to regularity detection. The local-to-global principles are a potential strength for applications in derived algebraic geometry.

major comments (1)
  1. [Abstract and §1] Abstract and §1: the classification is stated for a 'suitable Noetherian scheme' but the precise conditions (quasi-compactness, separatedness, finite Krull dimension, etc.) that make the statements hold are not listed explicitly at the outset; this is load-bearing for the scope of the main theorems.
minor comments (1)
  1. Ensure that each main theorem statement includes a self-contained list of hypotheses on X rather than relying solely on the global 'suitable' qualifier.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1: the classification is stated for a 'suitable Noetherian scheme' but the precise conditions (quasi-compactness, separatedness, finite Krull dimension, etc.) that make the statements hold are not listed explicitly at the outset; this is load-bearing for the scope of the main theorems.

    Authors: We agree that the current phrasing leaves the precise hypotheses implicit at the outset. In the revised version we will explicitly list the standing assumptions (Noetherian, quasi-compact, separated, finite Krull dimension) both in the abstract and at the opening of §1, while retaining the detailed discussion already present in §2. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper classifies tensor t-structures on D^b_coh(X) and variants for suitable Noetherian schemes X, establishes local-to-global principles, and recovers Neeman's affine regularity result by different methods. The derivation relies on standard derived-category tools and external theorems rather than reducing any central claim to a self-citation chain, fitted parameter renamed as prediction, or self-definitional step. The 'suitable' scope conditions are explicit rather than hidden assumptions that force the result by construction. No load-bearing equation or uniqueness theorem is shown to collapse to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is extractable from the abstract alone.

pith-pipeline@v0.9.0 · 5593 in / 1000 out tokens · 25848 ms · 2026-05-24T02:29:24.396430+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · 2 internal anchors

  1. [1]

    K -theoretic obstructions to bounded t -structures

    Benjamin Antieau, David Gepner, and Jeremiah Heller. K -theoretic obstructions to bounded t -structures. Invent. Math. , 216(1):241--300, 2019

    work page 2019

  2. [2]

    Compactly generated \(t\) -structures on the derived category of a noetherian ring

    Leovigildo Alonso Tarr \' o, Ana Jerem \' as L \'o pez, and Manuel Saor \' n. Compactly generated \(t\) -structures on the derived category of a noetherian ring. J. Algebra , 324(3):313--346, 2010

    work page 2010

  3. [3]

    Construction of \(t\) -structures and equivalences of derived categories

    Leovigildo Alonso Tarr \' o, Ana Jerem \' as L \'o pez, and Mar \' a Jos \'e Souto Salorio. Construction of \(t\) -structures and equivalences of derived categories. Trans. Am. Math. Soc. , 355(6):2523--2543, 2003

    work page 2003

  4. [4]

    Faisceaux pervers

    Alexander Beilinson, Joseph Bernstein, Pierre Deligne, and Ofer Gabber. Faisceaux pervers. Actes du colloque `` Analyse et Topologie sur les Espaces Singuliers ''. Partie I , volume 100 of Ast \'e risque . Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2nd edition edition, 2018

    work page 2018

  5. [5]

    Biswas, H

    Rudradip Biswas, Hongxing Chen, Kabeer Manali-Rahul , Chris J. Parker, and Junhua Zheng. Bounded t -structures, finitistic dimensions, and singularity categories of triangulated categories. arXiv:2401.00130 https://arxiv.org/abs/2401.00130, 2023

    work page arXiv 2023

  6. [6]

    Macaulayfication of Noetherian schemes

    K e stutis C esnavi c ius. Macaulayfication of Noetherian schemes. Duke Math. J. , 170(7):1419--1455, 2021

    work page 2021

  7. [7]

    Weakly approximable triangulated categories and enhancements: a survey

    Alberto Canonaco, Amnon Neeman, and Paolo Stellari. Weakly approximable triangulated categories and enhancements: a survey. Boll. Unione Mat. Ital. , 18(1):109--134, 2025

    work page 2025

  8. [8]

    Descent and generation for noncommutative coherent algebras over schemes

    Timothy De Deyn , Pat Lank, and Kabeer Manali-Rahul . Descent and generation for noncommutative coherent algebras over schemes. arXiv:2410.01785 https://arxiv.org/abs/2410.01785, 2024

    work page arXiv 2024

  9. [9]

    Approximability and rouquier dimension for noncommuative algebras over schemes

    Timothy De Deyn, Pat Lank, and Kabeer Manali-Rahul . Approximability and rouquier dimension for noncommuative algebras over schemes. arXiv:2408.04561 https://arxiv.org/abs/2408.04561, 2024

    work page arXiv 2024

  10. [10]

    Dubey and Gopinath Sahoo

    Umesh V. Dubey and Gopinath Sahoo. Compactly generated tensor t-structures on the derived categories of Noetherian schemes. Math. Z. , 303(4):22, 2023. Id/No 100

    work page 2023

  11. [11]

    Lunts, and Olaf M

    Alexey Elagin, Valery A. Lunts, and Olaf M. Schn \"u rer. Smoothness of derived categories of algebras. Mosc. Math. J. , 20(2):277--309, 2020

    work page 2020

  12. [12]

    Product-complete tilting complexes and Cohen - Macaulay hearts

    Michal Hrbek and Lorenzo Martini. Product-complete tilting complexes and Cohen - Macaulay hearts. Rev. Mat. Iberoam. , 40(6):2339--2369, 2024

    work page 2024

  13. [13]

    Hochster

    M. Hochster. Non-openness of loci in Noetherian rings. Duke Math. J. , 40:215--219, 1973

    work page 1973

  14. [14]

    Compactly generated t-structures in the derived category of a commutative ring

    Michal Hrbek. Compactly generated t-structures in the derived category of a commutative ring. Math. Z. , 295(1-2):47--72, 2020

    work page 2020

  15. [15]

    Huybrechts

    D. Huybrechts. Fourier- Mukai transforms in algebraic geometry . Oxford Math. Monogr. Oxford: Clarendon Press, 2006

    work page 2006

  16. [16]

    On arithmetic Macaulayfication of Noetherian rings

    Takesi Kawasaki. On arithmetic Macaulayfication of Noetherian rings. Trans. Am. Math. Soc. , 354(1):123--149, 2002

    work page 2002

  17. [17]

    Finiteness of Cousin cohomologies

    Takesi Kawasaki. Finiteness of Cousin cohomologies. Trans. Am. Math. Soc. , 360(5):2709--2739, 2008

    work page 2008

  18. [18]

    On Faltings ' annihilator theorem

    Takesi Kawasaki. On Faltings ' annihilator theorem. Proc. Am. Math. Soc. , 136(4):1205--1211, 2008

    work page 2008

  19. [19]

    Weight structures and simple dg modules for positive dg algebras

    Bernhard Keller and Pedro Nicol \'a s. Weight structures and simple dg modules for positive dg algebras. Int. Math. Res. Not. , 2013(5):1028--1078, 2013

    work page 2013

  20. [20]

    Keller and D

    B. Keller and D. Vossieck. Aisles in derived categories. Bull. Soc. Math. Belg., S \'e r. A , 40(2):239--253, 1988

    work page 1988

  21. [21]

    Vanishing of higher cohomology and cohomological rationality

    Pat Lank. Vanishing of higher cohomology and cohomological rationality. arXiv:2504.19907 https://arxiv.org/abs/TBA, 2025

    work page internal anchor Pith review arXiv 2025

  22. [22]

    Foundations of Grothendieck duality for diagrams of schemes , volume 1960 of Lect

    Joseph Lipman and Mitsuyasu Hashimoto. Foundations of Grothendieck duality for diagrams of schemes , volume 1960 of Lect. Notes Math. Berlin: Springer, 2009

    work page 1960

  23. [23]

    Measuring rationality of Schwede--Takagi pairs

    Pat Lank, Peter McDonald, and Sridhar Venkatesh. Derived characterizations for rational pairs \` a la schwede-takagi and koll\' a r-kov\' a cs. arXiv:2501.02783 https://arxiv.org/abs/2501.02783, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  24. [24]

    Triangulated characterizations of singularities

    Pat Lank and Sridhar Venkatesh. Triangulated characterizations of singularities. Nagoya Mathematical Journal , page 1–15, 2025

    work page 2025

  25. [25]

    Local rings , volume 13 of Intersci

    Masayoshi Nagata. Local rings , volume 13 of Intersci. Tracts Pure Appl. Math. Interscience Publishers, New York, NY, 1962

    work page 1962

  26. [26]

    The Grothendieck duality theorem via Bousfield 's techniques and Brown representability

    Amnon Neeman. The Grothendieck duality theorem via Bousfield 's techniques and Brown representability. J. Am. Math. Soc. , 9(1):205--236, 1996

    work page 1996

  27. [27]

    Strong generators in \(D^ perf (X)\) and \(D^b_ coh (X)\)

    Amnon Neeman. Strong generators in \(D^ perf (X)\) and \(D^b_ coh (X)\) . Ann. Math. (2) , 193(3):689--732, 2021

    work page 2021

  28. [28]

    Bounded \(t\) -structures on the category of perfect complexes

    Amnon Neeman. Bounded \(t\) -structures on the category of perfect complexes. Acta Math. , 233(2):239--284, 2024

    work page 2024

  29. [29]

    Bounded t-structures on the category of perfect complexes over a Noetherian ring of finite Krull dimension

    Harry Smith. Bounded t-structures on the category of perfect complexes over a Noetherian ring of finite Krull dimension. Adv. Math. , 399:21, 2022. Id/No 108241

    work page 2022

  30. [30]

    Invariants of \(t\) -structures and classification of nullity classes

    Don Stanley. Invariants of \(t\) -structures and classification of nullity classes. Adv. Math. , 224(6):2662--2689, 2010

    work page 2010

  31. [31]

    Stacks Project

    The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2024

    work page 2024

  32. [32]

    Faltings' annihilator theorem and \(t\) -structures of derived categories

    Ryo Takahashi. Faltings' annihilator theorem and \(t\) -structures of derived categories. Math. Z. , 304(1):13, 2023. Id/No 10

    work page 2023