Pith. sign in

REVIEW 5 major objections 5 minor 3 references

A Classification of Six Functor Formalisms via Structured Spaces

T0 review · 5 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read One universal six-functor formalism factors all the others.

desk verdict An ambitious synthesis whose main classification and universal factorization theorems are not proved; the appendix is the most valuable part. read the letter →

arxiv 2507.13114 v1 pith:CVKUTJAY submitted 2025-07-17 math.AT math.AGmath.CTmath.GN

Salash Tolan Nabaala This is my paper · ORCID
classification math.ATmath.AGmath.CTmath.GN MSC 18N6018F1018M0514A22
keywords six-functorformalisminfinity-categoriesanimatedS-stacksstructuredspacessuprematictensortriangulatedgeometryreconstructiontheoremsStoneduality
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

This paper tries to prove that the six-functor formalism—the package of pullback, pushforward, exceptional adjoints, tensor and Hom that underlies sheaf cohomology—can be classified by geometric objects it calls suprematic spaces. A suprematic space is a structured space: a T-structure on a self-dual ∞-topos whose admissible morphisms behave like the image of a sheaf theory, and it is shown to extend, by left Kan extension, to a six-functor formalism on animated S-stacks. The central claims are that suprematic spaces with the same geometric content parametrize a full subcategory of six-functor formalisms (Theorem B), and that a single lax symmetric monoidal map χ into the étale ∞-topos $L^{\mathrm{et}}(\mathrm{Stk}_{S|})$ factors every formalism in that subcategory (Theorem C). If true, this means a wide class of cohomological setups can be compared through one universal object, giving an ∞-categorical analogue of the reconstruction theorems of tensor triangulated geometry.

What carries the argument

The central objects are suprematic spaces: T-structures on a self-dual ∞-topos $X_L$ whose restriction to the admissible subcategory $T_{\mathrm{ad}}$ is a quasi-suprematic space, meaning its image admits a $\Sigma_I$-structure that mimics immersions under a sheaf theory. Around them the paper builds ∞-prosets and ∞-prosites—simplicial prosets satisfying Segal and completeness conditions—which import Stone-type dualities into maps into animated S-stacks $\mathrm{Stk}_S$. The decisive mechanism is left Kan extension: a suprematic space is extended along $(\ )_\pi: (T_{\mathrm{ad}})^{\mathrm{op}} \to \mathrm{Stk}_{S|}^{\mathrm{op}}$ to a map $\pi_0$ valued in $\mathrm{CAlg}(X_L)$, and the universal property of structured spaces (the existence of universal G-structures and geometric envelopes) supplies the universal $\chi$ of Theorem C. The full faithfulness of $f$ is carried by Definition 2.2.5(2), which forces two extensions that agree on $(T_{\mathrm{ad}})^{\mathrm{op}}$ to be homotopic.

What would settle it

Compute the fiber of the restriction functor $\mathrm{Fun}(\mathrm{Stk}_{S|}^{\mathrm{op}}, \mathrm{CAlg}(X_L)) \to \mathrm{Fun}((T_{\mathrm{ad}})^{\mathrm{op}}, \mathrm{CAlg}(X_L))$ at the common restriction of two candidate suprematic spaces with the same geometric content. If the fiber contains two non-homotopic left Kan extensions, Definition 2.2.5(2) is violated and Theorem B's full faithfulness is false; if the two extensions still induce equivalent six-functor formalisms, the classification map itself is not injective. A concrete test case is the ∞-topos of sheaves on a qcqs scheme with two different ways of extending an admissible T-structure beyond $T_{\mathrm{ad}}$.

Watch

Extended reading notes

Core claim

The paper's own claim is that the distinction between 'space' and 'quantity' collapses in a precise ∞-categorical statement. A suprematic space $O^{\mathrm{op}}: T \to X_L$ determines, via left Kan extension along its image in animated S-stacks, a six-functor formalism $D_\pi$ on the correspondence category $\mathrm{Corr}(\mathrm{Stk}_{S|}, E)$; Theorem A says the extended map exists and admits a section. Theorem B upgrades this to a fully faithful classification map $f$ from the opposite of the ∞-category of suprematic spaces with fixed geometric content to the ∞-category of lax symmetric monoidal six-functor formalisms, so the formalism remembers the structured space up to equivalence. Theorem C asserts that there is a distinguished lax symmetric monoidal map $\chi: \mathrm{Corr}(\mathrm{Stk}_{S|}, E) \to L^{\mathrm{et}}(\mathrm{Stk}_{S|})$ such that every $D$ in the image of $f$ factors as $D \simeq e_D \circ \chi$; the paper describes this as an actualization of the motivic dream at the level of categories, while noting it does not yet achieve the strict universality of the stable-homotopy-category construction.

Load-bearing premise

The classification rests on a condition imposed by fiat in Definition 2.2.5(2): two extensions of a suprematic space to animated stacks that agree on the admissible subcategory must be homotopic; if natural examples violate this, the fully faithful classification and the universal factorization apply to a smaller class.

Editorial extensions

If this is right

  • Every six-functor formalism in the image of $f$ is determined, up to equivalence, by a suprematic space, so comparing formalisms becomes a question about structured spaces.
  • All formalisms in the image factor through the single lax symmetric monoidal map $\chi$ into $L^{\mathrm{et}}(\mathrm{Stk}_{S|})$, giving one common target category for coherence and comparison.
  • Because $f$ is fully faithful, two suprematic spaces with different geometric content cannot produce the same six-functor formalism.
  • The topos-theoretic reconstruction of spectral spaces from tensor triangulated categories in the appendix is a special case of the ∞-categorical classification, now phrased functorially.
  • Theorem C supplies a category-level analogue of the motivic dream: a universal formalism exists for the classified subclass, though the paper does not prove full universality of the sort enjoyed by the stable homotopy category.

Reading between the lines

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

  • The author does not draw this conclusion, but if Definition 2.2.5(2) holds for natural examples, $\mathrm{Sup}^\otimes_T(E, X_L)$ can be read as a moduli object whose homotopy classes classify six-functor formalisms; automorphisms of a suprematic space should then act on its associated formalism.
  • Extension beyond the paper: the same construction should transplant to other geometric setups—analytic, spectral, or equivariant—wherever a universal structured space and a projection-formula package exist, yielding a universal formalism for each context.
  • The author leaves open whether $L^{\mathrm{et}}(\mathrm{Stk}_{S|})$ descends to a triangulated or motivic category when $X_L$ is stable; testing that descent would show how close Theorem C comes to an actual motivic realization.
  • The appendix's route from tensor triangulated categories to spectral spaces suggests a reverse reading: any future reconstruction theorem in the 1-categorical setting is a candidate shadow of the fully faithful map $f$, and lifting it to ∞-categories would supply a test case for the same-geometric-content condition.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 5 minor

Summary. The manuscript proposes an ∞-categorical framework built around newly introduced 'suprematic spaces', '∞-prosets', and 'S-Hochster spectra'. Its main claims are: Theorem A, that every suprematic space factors through animated S-stacks; Theorem B, that six-functor formalisms taking values in a suitable ∞-topos XL are fully faithfully parametrized by suprematic spaces with the same geometric content; and Theorem C, that there is a 'universal' six-functor formalism L'ét(Stk_{S|}) through which all formalisms in the image of the classification map factor. The paper also contains an appendix on tensor triangulated geometry, where the Balmer spectrum is reconstructed via topos-theoretic methods. Theorems A–C are stated with proofs that are mostly sketches, frequently by reference to lengthy results in Lurie's Higher Topos Theory, Higher Algebra, and Mann's six-functor formalism.

Significance. If the three main theorems were established, the paper would provide a notable conceptual synthesis: it would connect structured spaces, six-functor formalisms, and tensor-triangulated reconstruction in one ∞-categorical framework, and Theorem C would give a factorization reminiscent of Grothendieck's motivic program. The appendix contains a concrete and potentially valuable statement, notably Theorem A.3.4, which embeds the Balmer spectrum into a space obtained from a topos-theoretic construction. The paper is also honest about several of its own limitations, which is to its credit. However, the significance is entirely conditional: the central classification and universal-factorization claims are not backed by complete proofs, and at least one key step is imposed by definition rather than derived.

major comments (5)
  1. [Theorem 3.2.18 / §3.2.18] Theorem C is not proved. The proof says that after Theorem 3.2.9 each D in the image restricts to a Stk_{S|}-structure, 'meeting the requisites of 3.2.17', and then says only 'It remains to intersect the admissible morphisms of Stk_{S|} with E'ét'. But Theorem 3.2.17 is itself proved via Proposition 3.2.11, whose universal property concerns T-structures O:T→XL, not six-functor formalisms D:Corr(T,E)→XL. No argument is given that the unique product-preserving extension O□ carries the six-operation data: right adjoints for f∈Σ_I, the projection-formula square, and the Beck–Chevalley equivalences required by Proposition A.5.10 of [ii]. Likewise, the lax ∞-symmetric monoidal map χ is never explicitly constructed; 'intersecting admissibility classes' is not a construction of a lax monoidal span functor. The central claim of the paper is therefore unsupported.
  2. [Definition 2.2.5(2) / Corollary 2.2.7] The full faithfulness of the classification map f in Theorem B is effectively assumed. Definition 2.2.5(2) stipulates that two n-simplices of Fun(Stk_{S|}^{op}, CAlg(XL)) spanned by left Kan extensions of objects of Sup^⊗_T(E, XL) agree when restricted to (Tad)^op if and only if they are homotopic. Corollary 2.2.7 then invokes this condition to conclude full faithfulness: 'this is guaranteed by property (2) of Definition 2.2.5'. This condition is not derived from any geometric or categorical property of suprematic spaces; it is imposed by fiat. Remark 2.2.10 further concedes that when Stk_{S|π} is taken simply as the image of μ_I∘π, the conclusion weakens to (-1)-truncation. Thus Theorem B, as stated, depends on an unverified hypothesis about all natural examples in its scope.
  3. [Theorem 2.1.26 / Theorem 2.1.31] The construction of Stk_{S|π} is not justified. In Theorem 2.1.26, Stk_{S|π} is defined as 'the largest subcategory of the essential image of μ_I with pushouts and such that the inclusion π(C^op) ⊆ CAlg(bD) admits a left Kan extension along μ_I and the inclusion of the essential image of μ_I∘π is right exact', but no proof is given that such a largest subcategory exists. The proof then asserts 'Hence, we are guaranteed both the existence and non-triviality' after citing existence of colimits in CAlg(bD^⊠); however, existence of a left Kan extension along μπ requires μπ to satisfy suitable conditions, and the (-1)-truncation hypothesis is not shown to imply full faithfulness. Theorem 2.1.31, the statement of Theorem A, is proved in one sentence by referring to Theorem 2.1.26, so this gap propagates to the first main theorem.
  4. [Proposition 3.2.11 / Remark 3.2.19] The paper itself identifies the decisive obstruction but does not resolve it. Remark 3.2.19 states that 'it is not the case that every vertex in Fun^+(L'ét(Stk_{S|}), XL) preserves the data associated with adjoint functors' — precisely the data that Theorem C's map e_D must preserve if D is a six-functor formalism. Proposition 3.2.11 produces a unique finite-product-preserving extension e_O of a T-structure O, but no argument shows that this e_O lies in the subcategory of maps preserving the six-functor operations. Consequently, the factorization D ≃ e_D∘χ is not established at the level of six-functor formalisms, only at the level of underlying object functors.
  5. [Theorem 3.2.18 / Remarks 3.2.19–3.2.20] The term 'universal' is stronger than anything proved. Theorem C asserts, for each D in the image of f, existence of some e_D with D ≃ e_D∘χ; it does not assert uniqueness of e_D or an initiality property for χ. The introduction describes the theorem as an 'actualization of Grothendieck's motivic dream', and the title calls the formalism 'universal'. Remark 3.2.20 concedes that 'we fall short of meeting its standard in that, as yet, we are not able to guarantee the universality of this factorization'. The manuscript should either prove a genuine universal property or describe the result as a factorization theorem, not as a universal one.
minor comments (5)
  1. [Throughout] The text contains many corrupted symbols and OCR-like artifacts, including '−/∫hortrightarrow', 'variab,', 'faithul', and the phrase 'E ⊇ E' in the proof of Theorem 3.2.18. A thorough copyedit is needed before any further review.
  2. [§1.2.14] The proof of the adjunction v ⊣ u is difficult to follow and appears to refer to the wrong references: the proof invokes [xxvi] 7.1.7.2 and [i] 5.5.3.6 without explaining the presentability hypotheses needed for the adjoint functor theorem. The map g: Cat∞→Kan is introduced but never defined explicitly.
  3. [Definition 2.2.5] The notation for 'same geometric content' is overloaded: the definition uses '(Stk_{S|π}, Eπ) ≃ (Stk_{S|π'}, Eπ')' with conditions 'Eπ = Eπ' and '( )π ≃ ( )π'', but it is not clear whether Eπ denotes a collection of morphisms, a geometric setup, or an ∞-category, and the equality of Eπ and Eπ' is asserted at the level of collections of morphisms rather than as a categorical equivalence.
  4. [Theorem 3.2.17] The proof invokes 'Lemma 2.4.2 of [xxv]' without stating the lemma, and refers to 'the dual map O' without defining it precisely. A reader cannot verify the reduction from the factorization of O and O^op to the factorization of the induced six-functor formalism without access to that external lemma.
  5. [Appendix A.1.11] The proof of Theorem A.1.11 uses the fact that coequalizers in Top are computed in Set, but the relevant coequalizer is in Top and the argument that the natural map X0→Spec(K) is an embedding is only sketched; since the universal property of coequalizers gives a continuous map, the claim of an isomorphism of topological spaces needs a more explicit check of the topology.

Circularity Check

1 steps flagged · score 7.0 of 10

Theorem B's fully faithful classification is assumed in Definition 2.2.5(2), and Theorem C's universal factorization is asserted without verifying preservation of six-functor data.

  1. self definitional [Definition 2.2.5 and proof of Corollary 2.2.7 (Theorem B)]
    "We will say that two suprematic spaces πop i ∈ StrT(XL) have the same geometric content if they induce the same geometric setup up to categorical equivalence. ... We define Sup⊗ T (E, XL) as follows. 1. It is a full subcategory of FunAdj((Tad, E), XL) spanned by suprematic spaces with the same geometric content. 2. Given any two n-simplices of Fun(Stk S| op, CAlg(XL)) spanned by vertices that are left Kan extensions of objects (Tad) op−→CAlg(XL) corresponding to objects of Sup⊗ T (E, XL), the two n-simplices agree when restricted to ((Tad) op) if and only if they are homotopic."

    The full faithfulness of f is the statement that two n-simplices in the image of f are homotopic if and only if they agree when restricted to (Tad)^op. Condition (2) of Definition 2.2.5 asserts precisely this for the very left Kan extensions used to define f, and Corollary 2.2.7 cites that condition as the proof of full faithfulness. The object part is similarly tautological: the domain is restricted to 'suprematic spaces with the same geometric content', where sameness is defined as inducing the same Stk_{S|}, E, and ( ). Thus the classification theorem's injectivity/fully-faithfulness is imposed by definition rather than derived from independent structure; only the existence of f as a left Kan extension plus the Corr passage has independent content.

full rationale

The only genuine circularity I can exhibit is in Theorem B. The domain category Sup^⊗_T(E,XL) is defined in Definition 2.2.5(2) by the condition that left-Kan-extension n-simplices over Stk_{S|} agree on (Tad)^op iff they are homotopic; Corollary 2.2.7 then invokes exactly this condition to finish the proof that f is fully faithful. So the fully-faithfulness half of the 'classification' is assumed in the definition, not derived from an independent property of suprematic spaces. The existence part of f — forming left Kan extensions and passing through Corr via Lemma 2.4.2 of [xxv] — is a real construction and is not circular, and Theorem A is a separate Kan-extension factorization with independent content. I did not count Theorem C as a circularity: its proof in 3.2.18 stops at 'intersect the admissible morphisms of Stk_{S|} with E^ét' and never verifies that the resulting e_D preserves the six-functor data (right adjoints, projection formula, Beck–Chevalley), and Remark 3.2.19 explicitly concedes that product-preserving vertices in Fun^+(L^ét(Stk_{S|}),XL) need not preserve adjoint data. That is an omitted proof / correctness gap, not a reduction of the conclusion to its own input. There is also no load-bearing self-citation chain: the cited [ii], [iv], and [xxv] are external references. Because the distinctive classification claim is definitionally forced while the surrounding constructions are independent, a score of 7 is appropriate.

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

The central claims depend on a large number of assumptions and definitions. The most problematic is the ad hoc condition in Definition 2.2.5(2) that makes the classification true by definition. No numerical parameters are fitted to data.

assumptions (6)
  • standard math The theory of quasicategories as developed by Lurie (Higher Topos Theory) is consistent and appropriate for the constructions.
    Assumed throughout; the paper uses Lurie's framework for ∞-categories, presentable ∞-categories, and ∞-topoi.
  • domain assumption The existence of universal structured spaces and universal geometries (Lurie, DAG V, 1.4.2 and 3.4.5).
    Invoked in the proof of Theorem 3.2.9 and Remark 3.2.12 to obtain an initial object in the category of structures.
  • ad hoc to paper Definition 2.2.5 (2) imposes a condition on the agreement of Kan extensions to define the category Sup⊗_T(E, XL).
    This is not derived from more basic principles; it is a definitional assumption that drives the full faithfulness of Theorem B.
  • ad hoc to paper The subcategory Stk_S|π with pushouts and left Kan extensions exists as described in Theorem 2.1.26.
    The proof of Theorem 2.1.26 cites Lurie for the existence of left Kan extensions, but the existence of Stk_S|π with the required exactness is not fully demonstrated.
  • ad hoc to paper All right Kan extensions along ( )^πop exist and preserve finite limits (used in Propositions 3.2.7 and 3.2.8).
    Needed to transfer structure from Tad to Stk_S|; not proven in general.
  • domain assumption The stack-theoretic constructions (S-Hochster spectrum, S-Boolean smashing spectrum) are well-defined on the relevant ∞-prosites.
    Relies on Caramello's theorems and Stone duality; assumed to hold in the ∞-categorical setting.
invented entities (3)
  • Suprematic space
    purpose: A structured space parameterizing six functor formalisms (Theorems A, B, C).
    No falsifiable prediction or external handle is provided; it is a new mathematical object defined in the paper.
  • ∞-proset
    purpose: An ∞-categorical analog of prosets used to build ∞-prosites and spectra.
    Defined in Section 1.2; no independent evidence.
  • S-Hochster spectrum and S-Boolean smashing spectrum
    purpose: Functors from ∞-prosites to animated S-stacks used in the main factorization.
    Introduced in Definitions 1.3.23 and 1.3.24; no external evidence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Classification of Six Functor Formalisms via Structured Spaces." pith.science (2026). https://pith.science/paper/CVKUTJAY

@misc{pith2026250713114,
  author       = {Pith},
  title        = {Pith review of: A Classification of Six Functor Formalisms via Structured Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CVKUTJAY}},
  note         = {Machine review of arXiv:2507.13114}
}
read the original abstract

We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of certain six functor formalisms through animated S-stacks, and give a six functor formalism through which the aforementioned six functor formalisms factor through. Furthermore, and what is arguably the main feat of this article, these achievements, though in appearance arising from disparate concerns, are realized in the dissipation of a familiar thematic tension: that between space and quantity.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

  1. [3]

    Tannaka Duality for Geometric Stacks

    Accessed April 14, 2025. Notes: Six Functors. [xiii]. Lurie, Jacob. Tannaka Duality for Geometric Stacks . March 23, 2005. arXiv:math/0412266. [xiv]. Fukuyama, Hiroshi, and Isamu Iwanari. Monoidal Infinity Category of Complexes from Tan- nakian Viewpoint. September 27, 2012. arXiv:1004.3087. [xv]. Balmer, Paul. A Guide to Tensor-Triangular Classification ...

    work page Pith review arXiv 2025

  2. [2022]

    arXiv:2206.02022. [iii]. Scholze, Peter. Six-Functor Formalisms. Lecture notes, Winter 2022/23. Accessed March 30,

    arXiv 2022

  3. [2025]

    Six Functors.pdf. [iv]. Lurie, Jacob. Derived Algebraic Geometry V: Structured Spaces. May 4, 2009. arXiv:0905.045. [v]. Balmer, Paul. Presheaves of Triangulated Categories and Reconstruction of Schemes . May 28, 2002. arXiv:math/0111049v2. [vi]. Balmer, Paul. The Spectrum of Prime Ideals in Tensor Triangulated Categories . September 22, 2004. arXiv:math/...

    work page Pith review arXiv 2010

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.