Semi-Bousfield classes and nonmonotone perversities

Dolors Herbera; Giovanna Le Gros; Michal Hrbek

Semi-Bousfield classes and nonmonotone perversities

T0 review · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Semi-Bousfield classes generalize Bousfield classes and tensor t-structures, and correspond bijectively to perversities on D_qc(X) for Noetherian schemes X.

desk verdict The paper introduces semi-Bousfield classes to unify two notions and extends the known stratification bijection from monotone to all perversities in D_qc(X). read the letter →

arxiv 2605.30262 v1 pith:RJNBDUOB submitted 2026-05-28 math.CT math.ACmath.AG

Dolors Herbera , Michal Hrbek , Giovanna Le Gros This is my paper · ORCID

classification math.CTmath.ACmath.AG

keywords semi-Bousfieldclassesperversitiestensortriangulatedcategoriesderivedstratificationt-structuresNoetherianschemesBousfield

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines semi-Bousfield classes in any rigidly-compactly generated tensor triangulated category by the condition that an object's tensor product with a fixed reasonable t-structure vanishes in positive degrees. These classes unify Bousfield classes (recovered from the standard t-structure) and compactly generated tensor-compatible t-structures. Specializing to the unbounded derived category of a Noetherian scheme, the authors construct a map sending any perversity, monotone or otherwise, to a semi-Bousfield class. When the scheme is regular this map is a bijection that stratifies the entire semi-Bousfield lattice; otherwise its image is precisely the classes coming from objects of finite Tor-dimension. The monotone case recovers an earlier classification of t-structures.

What carries the argument

semi-Bousfield classes, defined by the positive-degree vanishing of tensor products with respect to a fixed reasonable t-structure, acting as the common generalization that carries the stratification bijection.

What would settle it

Exhibit a regular Noetherian scheme X together with two distinct perversities whose associated semi-Bousfield classes coincide, or produce a semi-Bousfield class in D_qc(X) that does not arise from any perversity.

Watch

Extended reading notes

Core claim

In a rigidly-compactly generated tensor triangulated category equipped with a reasonable t-structure, the semi-Bousfield class of an object is the collection of all objects whose tensor product with it vanishes in positive degrees. These classes simultaneously generalize Bousfield classes and compactly generated tensor-compatible t-structures. Specializing to D_qc(X) for a Noetherian scheme X yields an assignment from (not necessarily monotone) perversities on X to semi-Bousfield classes; when X is regular the assignment is a stratification of the whole semi-Bousfield lattice, while for singular X the image consists exactly of those classes arising from finite-Tor-dimension objects. Restrict

Load-bearing premise

The underlying category must be rigidly-compactly generated and the t-structure must be reasonable for the vanishing condition to define well-behaved classes and for the bijection with perversities to hold in D_qc(X).

Editorial extensions

If this is right

When X is regular the perversity assignment stratifies every semi-Bousfield class.
For singular X the image of the assignment is exactly the semi-Bousfield classes coming from finite-Tor-dimension objects.
Restricting the assignment to monotone perversities recovers the known classification of compactly generated tensor-compatible t-structures.
The definition and generalization properties hold in any rigidly-compactly generated tensor triangulated category with a reasonable t-structure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same construction may classify analogous objects in other rigidly-compactly generated tensor triangulated categories that are not derived categories of schemes.
Nonmonotone perversities may produce t-structures whose hearts have properties not visible from the monotone case alone.
Explicit computation of the assignment on low-dimensional singular schemes could reveal whether the finite-Tor-dimension restriction is sharp.
The unification suggests that further invariants of tensor triangulated categories might be stratified by suitable generalizations of perversities.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The core advance is the definition of semi-Bousfield classes in any rigidly-compactly generated tensor triangulated category, using vanishing of tensor products in positive degrees against a fixed reasonable t-structure. This unifies Bousfield classes with compactly generated tensor-compatible t-structures. The authors then restrict to D_qc(X) for Noetherian X and show the stratification assignment works for nonmonotone perversities as well, recovering the Dubey-Sahoo classification when restricted to the monotone case. When X is regular the image fills the whole semi-Bousfield lattice; when singular it hits exactly the finite-Tor-dimension classes.

The paper does the generalization cleanly and states the recovery of the earlier result explicitly. The scoping to the stated hypotheses looks deliberate and avoids overclaiming.

The main soft spot is that the general definition depends on what counts as a reasonable t-structure, and the abstract gives no further detail on that condition. In the D_qc(X) specialization the argument appears to rest on the usual properties of that category, but without the full proofs it is hard to see exactly how the bijection is built for nonmonotone perversities. That said, the stress-test finds no internal inconsistency or hidden monotonicity assumption, so the gap is mainly one of missing verification steps rather than a load-bearing flaw.

This is for people already working on t-structures and tensor-triangular geometry in algebraic geometry. A reader who cares about classifications of these objects will find the extension useful. It is worth sending to peer review; the claims are scoped, the prior result is recovered, and the new pieces look independent of the monotone case.

Referee Report

0 major / 0 minor

Summary. The paper introduces semi-Bousfield classes in rigidly-compactly generated tensor triangulated categories, defined via vanishing of tensor products in positive degrees with respect to a fixed reasonable t-structure. These classes are shown to generalize both Bousfield classes and compactly generated tensor-compatible t-structures. Specializing to D_qc(X) for a Noetherian scheme X, the stratification bijection is extended to an assignment sending (not necessarily monotone) perversities to semi-Bousfield classes; for regular X this stratifies the full semi-Bousfield lattice, while for singular X the image consists precisely of the finite-Tor-dimension classes. Restriction to monotone perversities recovers the Dubey-Sahoo classification.

Significance. If the results hold, the work supplies a common generalization that unifies Bousfield classes with tensor-compatible t-structures and extends the known stratification to the nonmonotone case in a controlled way. The precise distinction between the regular and singular cases, together with the explicit recovery of the prior monotone classification, strengthens the contribution and provides a falsifiable framework for further study of the semi-Bousfield lattice.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. The report correctly captures the main results on semi-Bousfield classes and their relation to perversities.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The derivation introduces semi-Bousfield classes via an independent definition (vanishing of tensor products in positive degrees w.r.t. a fixed reasonable t-structure) in the general setting of rigidly-compactly generated tensor triangulated categories. It then specializes to D_qc(X) and extends a known stratification bijection from monotone to nonmonotone perversities, with the monotone case recovering Dubey-Sahoo as an explicit restriction rather than a premise. No quoted equations, self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations reduce the central claims to their own inputs by construction. The argument is scoped to external category properties and scheme hypotheses that do not presuppose the target extension.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Based on abstract only; no free parameters, invented entities, or ad-hoc axioms are identifiable from the provided text. Standard background assumptions in tensor triangulated categories are invoked but not detailed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Semi-Bousfield classes and nonmonotone perversities." pith.science (2026). https://pith.science/paper/RJNBDUOB

@misc{pith2026260530262,
  author       = {Pith},
  title        = {Pith review of: Semi-Bousfield classes and nonmonotone perversities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RJNBDUOB}},
  note         = {Machine review of arXiv:2605.30262}
}

abstract

In the generality of a rigidly-compactly generated tensor triangulated category, we introduce semi-Bousfield classes in terms of the vanishing of the tensor product in positive degrees with respect to a fixed reasonable $t$-structure. We show that semi-Bousfield classes provide a common generalisation of Bousfield classes and compactly generated tensor-compatible $t$-structures. Then we specialise to the setting of the unbounded derived category $\mathcal{D}_{\mathrm{qc}}(X)$ of a Noetherian scheme $X$ and show that the stratification bijection naturally extends to an assignment which takes a (not necessarily monotone) perversity on $X$ to a semi-Bousfield class in $\mathcal{D}_{\mathrm{qc}}(X)$. If $X$ is regular, this assignment constitutes a stratification of the whole semi-Bousfield lattice, while in the singular case, its image consists precisely of those semi-Bousfield classes arising from objects of finite Tor-dimension. Restricting this bijection to monotone perversities recovers the recent classification of compactly generated tensor-compatible $t$-structures of Dubey and Sahoo, (arXiv:2204.05015).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 7 canonical work pages

[1]

Perverse coherent sheaves.arXiv preprint, arXiv:0902.0349,

[AB09] Dmitry Arinkin and Roman Bezrukavnikov. Perverse coherent sheaves.arXiv preprint, arXiv:0902.0349,

work page arXiv
[2]

[BBD82] A. A. Be˘ılinson, J. Bernstein, and P. Deligne. Faisceaux pervers. InAnalysis and topology on singular spaces, I (Luminy, 1981), volume 100 ofAstérisque, pages 5–171. Soc. Math. France, Paris,

1981
[3]

Perverse coherent sheaves (after Deligne)

[Bez00] Roman Bezrukavnikov. Perverse coherent sheaves (after Deligne).arXiv preprint, math/0005152,

work page Pith review arXiv
[4]

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

[CLMP24] Alexander Clark, Pat Lank, Kabeer Manali-Rahul, and Chris J Parker. Classification and nonexis- tence fort-structures on derived categories of schemes.arXiv preprint, arXiv:2404.08578,

work page Pith review arXiv
[5]

Depth and amplitude for unbounded complexes

[FI03] Hans-Bjørn Foxby and Srikanth Iyengar. Depth and amplitude for unbounded complexes. In Commutative algebra (Grenoble/Lyon, 2001), volume 331 ofContemp. Math., pages 119–137. Amer. Math. Soc., Providence, RI,

2001
[6]

Cotorsion pairs and Tor-pairs over commutative Noetherian rings.arXiv preprint, arXiv:2411.04514,

[HHLG24] Dolors Herbera, Michal Hrbek, and Giovanna Le Gros. Cotorsion pairs and Tor-pairs over commutative Noetherian rings.arXiv preprint, arXiv:2411.04514,

work page arXiv
[7]

Grothendieck, given at Harvard 1963/64, volume 20 ofwith an appendix by P

[Har66] Robin Hartshorne.Residues and duality:Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, volume 20 ofwith an appendix by P. Deligne, Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York,

1963
[8]

Weight structures and simple dg modules for positive dg algebras.International Mathematics Research Notices, 2013(5):1028–1078,

[KN13] Bernhard Keller and Pedro Nicolás. Weight structures and simple dg modules for positive dg algebras.International Mathematics Research Notices, 2013(5):1028–1078,

2013

Show all 13 references

[9]

Non-exactness of direct products of quasi-coherent sheaves.Documenta Mathematica, 24:2037–2056,

[Kan19] Ryo Kanda. Non-exactness of direct products of quasi-coherent sheaves.Documenta Mathematica, 24:2037–2056,
[10]

Perfectly generatedt-structures for algebraic stacks.arXiv preprint, arXiv:2506.18803,

[Lan25] Pat Lank. Perfectly generatedt-structures for algebraic stacks.arXiv preprint, arXiv:2506.18803,
[11]

Separable monoids in Dq c(x).Journal für die reine und angewandte Mathematik (Crelles Journal), 2018(738):237–280,

[Nee18] Amnon Neeman. Separable monoids in Dq c(x).Journal für die reine und angewandte Mathematik (Crelles Journal), 2018(738):237–280,

2018
[12]

T ensor t-structures, perversity functions and weight structures.arXiv preprint, arXiv:2412.18009,

[Sah24] Gopinath Sahoo. T ensor t-structures, perversity functions and weight structures.arXiv preprint, arXiv:2412.18009,
[13]

Acyclic complexes of injectives and finitistic dimensions.arXiv preprint, arXiv:2303.08756,

[Sha23] Liran Shaul. Acyclic complexes of injectives and finitistic dimensions.arXiv preprint, arXiv:2303.08756,

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.

[1] [1]

Perverse coherent sheaves.arXiv preprint, arXiv:0902.0349,

[AB09] Dmitry Arinkin and Roman Bezrukavnikov. Perverse coherent sheaves.arXiv preprint, arXiv:0902.0349,

work page arXiv

[2] [2]

[BBD82] A. A. Be˘ılinson, J. Bernstein, and P. Deligne. Faisceaux pervers. InAnalysis and topology on singular spaces, I (Luminy, 1981), volume 100 ofAstérisque, pages 5–171. Soc. Math. France, Paris,

1981

[3] [3]

Perverse coherent sheaves (after Deligne)

[Bez00] Roman Bezrukavnikov. Perverse coherent sheaves (after Deligne).arXiv preprint, math/0005152,

work page Pith review arXiv

[4] [4]

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

[CLMP24] Alexander Clark, Pat Lank, Kabeer Manali-Rahul, and Chris J Parker. Classification and nonexis- tence fort-structures on derived categories of schemes.arXiv preprint, arXiv:2404.08578,

work page Pith review arXiv

[5] [5]

Depth and amplitude for unbounded complexes

[FI03] Hans-Bjørn Foxby and Srikanth Iyengar. Depth and amplitude for unbounded complexes. In Commutative algebra (Grenoble/Lyon, 2001), volume 331 ofContemp. Math., pages 119–137. Amer. Math. Soc., Providence, RI,

2001

[6] [6]

Cotorsion pairs and Tor-pairs over commutative Noetherian rings.arXiv preprint, arXiv:2411.04514,

[HHLG24] Dolors Herbera, Michal Hrbek, and Giovanna Le Gros. Cotorsion pairs and Tor-pairs over commutative Noetherian rings.arXiv preprint, arXiv:2411.04514,

work page arXiv

[7] [7]

Grothendieck, given at Harvard 1963/64, volume 20 ofwith an appendix by P

[Har66] Robin Hartshorne.Residues and duality:Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, volume 20 ofwith an appendix by P. Deligne, Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York,

1963

[8] [8]

Weight structures and simple dg modules for positive dg algebras.International Mathematics Research Notices, 2013(5):1028–1078,

[KN13] Bernhard Keller and Pedro Nicolás. Weight structures and simple dg modules for positive dg algebras.International Mathematics Research Notices, 2013(5):1028–1078,

2013