pith. sign in

arxiv: 2604.18793 · v1 · submitted 2026-04-20 · 🧮 math.AG · math.CT

Distributivity, affineness, and the structure sheaf

Andy Jiang , Greg Stevenson This is my paper

Pith reviewed 2026-05-10 03:16 UTC · model grok-4.3

classification 🧮 math.AG math.CT
keywords structure sheafperfect complexesthick subcategoriesdistributive latticeaffinizationquasi-affinederived categoriesalgebraic geometry
0
0 comments X

The pith

For a quasi-compact and quasi-separated scheme the structure sheaf generates the perfect complexes if and only if the lattice of thick subcategories is distributive if and only if the affinization map is 0-affine.

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

The paper establishes three equivalent conditions for quasi-compact and quasi-separated schemes. The structure sheaf generates all perfect complexes in the derived category. The lattice of thick subcategories of perfect complexes is distributive. The natural map to the affinization is 0-affine. These equivalences connect generation properties of the structure sheaf with lattice theory and a geometric notion of affineness, offering characterizations that go beyond the scheme being quasi-affine.

Core claim

We observe that for a quasi-compact and quasi-separated scheme the structure sheaf generates the perfect complexes if and only if the lattice of thick subcategories is distributive if and only if the affinization map is 0-affine. Examples are discussed, including an example of a quasi-projective scheme which is not quasi-affine but for which these equivalent conditions hold.

What carries the argument

The structure sheaf as generator of the perfect complexes, tied to the distributivity of the thick subcategory lattice and the 0-affineness of the affinization map.

If this is right

  • Generation of the perfect complexes by the structure sheaf implies that the lattice of thick subcategories is distributive.
  • Distributivity of the thick subcategory lattice implies that the affinization map is 0-affine.
  • The 0-affineness of the affinization map implies that the structure sheaf generates the perfect complexes.
  • There exist quasi-projective schemes that are not quasi-affine yet satisfy all three equivalent conditions.

Where Pith is reading between the lines

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

  • The equivalences may help locate additional schemes whose derived categories have simple generation properties without requiring quasi-affineness.
  • They suggest a lattice-theoretic approach to studying variants of affineness in algebraic geometry.

Load-bearing premise

The scheme under consideration is quasi-compact and quasi-separated.

What would settle it

A quasi-compact and quasi-separated scheme in which the structure sheaf fails to generate the perfect complexes but the lattice of thick subcategories remains distributive would disprove the equivalences.

read the original abstract

We observe that for a quasi-compact and quasi-separated scheme the structure sheaf generates the perfect complexes if and only if the lattice of thick subcategories is distributive if and only if the affinization map is 0-affine. Examples are discussed, including an example of a quasi-projective scheme which is not quasi-affine but for which these equivalent conditions hold.

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

0 major / 2 minor

Summary. The manuscript observes that for any quasi-compact and quasi-separated scheme X the following three conditions are equivalent: the structure sheaf O_X thick-generates Perf(X), the lattice of thick subcategories of Perf(X) is distributive, and the affinization morphism X → Spec(Γ(O_X)) is 0-affine. The claim is presented as a direct observation in the setting of tensor-triangular geometry, with supporting examples including a quasi-projective but non-quasi-affine scheme satisfying the conditions.

Significance. If the equivalences hold, the result supplies a clean characterization connecting the generation properties of the structure sheaf, lattice-theoretic distributivity, and a categorical notion of affineness for schemes. This is useful in tensor-triangular geometry as it gives multiple ways to detect when a scheme behaves affinely at the level of perfect complexes, and the examples demonstrate applicability beyond the quasi-affine case. The work stays within standard hypotheses and tools of the field.

minor comments (2)
  1. The equivalences are stated as observations; a short paragraph sketching the key implications (even if they follow from standard results in tensor-triangular geometry) would improve readability, particularly for the step relating distributivity of the thick-subcategory lattice to 0-affineness of the affinization map.
  2. The definition or reference for the term '0-affine' (used for the affinization morphism) should be recalled or cited explicitly in the main text, as it is central to one of the three conditions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive report and recommendation of minor revision. We are pleased that the equivalences are recognized as providing a clean characterization in tensor-triangular geometry connecting the thick generation by the structure sheaf, distributivity of the lattice of thick subcategories, and 0-affineness of the affinization map. Since the report raises no specific major comments or requested changes, we respond to the provided summary below.

read point-by-point responses

  1. Referee: The manuscript observes that for any quasi-compact and quasi-separated scheme X the following three conditions are equivalent: the structure sheaf O_X thick-generates Perf(X), the lattice of thick subcategories of Perf(X) is distributive, and the affinization morphism X → Spec(Γ(O_X)) is 0-affine. The claim is presented as a direct observation in the setting of tensor-triangular geometry, with supporting examples including a quasi-projective but non-quasi-affine scheme satisfying the conditions.

    Authors: We thank the referee for this accurate summary of the main result. The equivalences follow directly from applying standard facts about tensor-triangulated categories (in particular, the classification of thick subcategories and the behavior of the support) to Perf(X) when X is qcqs. The presentation as an observation is intentional, as it relies on existing tools rather than new technical machinery. The examples, including the quasi-projective non-quasi-affine case, are included precisely to illustrate that the conditions can hold in settings strictly larger than quasi-affine schemes. No revision to the statement or examples is required. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states the central claim as an observation that three conditions on a qcqs scheme are equivalent: the structure sheaf generating Perf(X), the lattice of thick subcategories being distributive, and the affinization map being 0-affine. This is presented in the standard setting of tensor-triangular geometry without any reduction of a prediction to a fitted parameter, self-definitional loop, or load-bearing self-citation chain. Supporting examples are supplied independently, and the equivalences rely on established notions rather than renaming known results or smuggling ansatzes via prior work by the same authors. The derivation is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the domain assumption that the scheme is quasi-compact and quasi-separated, plus standard definitions of perfect complexes, thick subcategories, and affinization from prior literature in algebraic geometry and category theory. No free parameters or invented entities are introduced.

axioms (1)
  • domain assumption The scheme is quasi-compact and quasi-separated.
    This is the explicit setting stated for the equivalence to hold.

pith-pipeline@v0.9.0 · 5337 in / 1154 out tokens · 35547 ms · 2026-05-10T03:16:19.814162+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The importance of being isolated

    math.AC 2026-05 unverdicted novelty 6.0

    The derived category of a commutative ring is generated by residue fields under a sufficient condition with an obstruction, and the local-to-global principle holds if and only if the spectrum satisfies a topological property.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages · cited by 1 Pith paper

  1. [1]

    & Stevenson, G.\ Higher Zariski Geometry ArXiv Preprint ArXiv:2508.11621

    Aoki, K., Barthel, T., Chedalavada, A., Schlank, T. & Stevenson, G.\ Higher Zariski Geometry ArXiv Preprint ArXiv:2508.11621 . (2025)

    work page arXiv 2025

  2. [2]

    Bhatt, B.\ & Halpern-Leistner, D.\ Tannaka duality revisited Adv.\ Math.\ 316 pp.\ 576-612 (2017)

    work page 2017

  3. [3]

    Kock, J.\ & Pitsch, W.\ Hochster duality in derived categories and point-free reconstruction of schemes Trans.\ Amer.\ Math.\ Soc.\ 369, 223-261 (2017)

    work page 2017

  4. [4]

    Lurie, J.\ Derived algebraic geometry II: Noncommutative algebra.\ ArXiv Preprint Math/0702299 (2007)

    work page arXiv 2007

  5. [5]

    (2011) https://www.math.ias.edu/ lurie/papers/DAG-VIII.pdf (accessed March 17, 2026)

    Lurie, J.\ Derived algebraic geometry VIII: Quasi-Coherent Sheaves and Tannaka Duality Theorems Preprint . (2011) https://www.math.ias.edu/ lurie/papers/DAG-VIII.pdf (accessed March 17, 2026)

    work page 2011

  6. [6]

    Preprint

    Lurie, J.\ Spectral algebraic geometry. Preprint . (2018) https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf (accessed March 17, 2026)

    work page 2018

  7. [7]

    Sci.\ China Ser.\ A

    Mao, X.\ & Wu, Q.\ Compact DG modules and G orenstein DG algebras. Sci.\ China Ser.\ A . 52, 648-676 (2009), https://doi.org/10.1007/s11425-008-0175-z

    work page doi:10.1007/s11425-008-0175-z 2009

  8. [8]

    Topology 39, 931-935 (2000)

    Neeman, A.\ Oddball Bousfield classes. Topology 39, 931-935 (2000)

    work page 2000

  9. [9]

    8 pp.\ S574-S598 (2022), https://doi-org.ez.statsbiblioteket.dk/10.1007/s40879-022-00579-9

    Raedschelders, T.\ & Stevenson, G.\ Proper connective differential graded algebras and their geometric realizations Eur.\ J.\ Math . 8 pp.\ S574-S598 (2022), https://doi-org.ez.statsbiblioteket.dk/10.1007/s40879-022-00579-9

    work page doi:10.1007/s40879-022-00579-9 2022

  10. [10]

    The Stacks project authors,\ Stacks Project.\ https://stacks.math.columbia.edu/

    work page

  11. [11]

    Stevenson, G.\ Some notes on tensor triangular geometry ArXiv Preprint ArXiv:2602.08480 (2026)

    work page arXiv 2026