arxiv: 2603.27786 · v2 · submitted 2026-03-29 · 🧮 math.CT · math.AG· math.AT

Recognition: no theorem link

Higher algebra in t-structured tensor triangulated infty-categories

Jiacheng Liang

Authors on Pith no claims yet

Pith reviewed 2026-05-14 21:58 UTC · model grok-4.3

classification 🧮 math.CT math.AGmath.AT

keywords higher algebratensor triangulated ∞-categoriesprojective rigidityLazard theoremCohn localizationétale rigidityframed cobordism

0 comments

The pith

Under projective rigidity, t-structured tensor triangulated ∞-categories admit higher categorical analogues of Lazard's theorem and Cohn localizations, with the presheaf ∞-category on the 1-dimensional framed cobordism ∞-category as the 1

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

The paper extends classical higher algebra from spectra to t-structured tensor triangulated ∞-categories. It shows that under projective rigidity, one can prove analogues of Lazard's theorem, construct Cohn localizations with universal properties, generalize almost ring theory via a bijection with idempotent ideals, and prove an étale rigidity theorem using deformation theory. This matters because it broadens the scope of these algebraic tools to more general higher categorical contexts. The work culminates by identifying the presheaf ∞-category on the framed cobordism category as the universal projectively rigid example.

Core claim

Under the condition of projective rigidity, t-structured tensor triangulated ∞-categories admit higher categorical analogues of Lazard's theorem and prove the existence and universal property of Cohn localizations. Furthermore, π0-epimorphic idempotent algebras are in natural bijection with idempotent ideals. By exploiting deformation theory, a general étale rigidity theorem is established proving that the ∞-category of étale algebras over a fixed connective base is completely determined by its discrete counterpart. The moduli of such projectively rigid ttt-∞-categories is characterized, demonstrating that the presheaf ∞-category on the 1-dimensional framed cobordism ∞-category serves as the

What carries the argument

Projective rigidity on t-structured tensor triangulated ∞-categories, which enables higher algebraic analogues and the universal model via framed cobordisms.

Load-bearing premise

The t-structured tensor triangulated ∞-category satisfies projective rigidity.

What would settle it

Observing a projectively rigid ttt-∞-category where the higher Lazard analogue or the universal property of the framed cobordism presheaf fails would disprove the central claims.

read the original abstract

We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a natural structural condition, which we call "projective rigidity", we establish higher categorical analogues of Lazard's theorem and prove the existence and universal property of Cohn localizations. Furthermore, we generalize higher almost ring theory to the $ttt$-$\infty$-categorical setting, showing that $\pi_0$-epimorphic idempotent algebras are in natural bijection with idempotent ideals. By exploiting deformation theory, we establish a general \'etale rigidity theorem, proving that the $\infty$-category of \'etale algebras over a fixed connective base is completely determined by its discrete counterpart. Finally, we characterize the moduli of such projectively rigid $ttt$-$\infty$-categories, demonstrating that the presheaf $\infty$-category on the 1-dimensional framed cobordism $\infty$-category serves as the universal projectively rigid $ttt$-$\infty$-category.

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.

Desk Editor's Note private letter to a colleague

The paper lifts several higher algebra results from spectra to t-structured tensor triangulated ∞-categories under a projective rigidity hypothesis, with a logically connected program but limited evidence on how restrictive the condition is.

read the letter

The core contribution is a set of generalizations: Lazard-type theorems and Cohn localizations with universal properties, an extension of almost ring theory linking π0-epimorphic idempotent algebras to idempotent ideals, an étale rigidity result obtained through deformation theory, and a moduli description identifying the presheaf ∞-category on the 1-dimensional framed cobordism ∞-category as universal for projectively rigid ttt-∞-categories. These are presented as direct lifts from the spectra case once the rigidity condition is imposed. The structure is straightforward and avoids obvious circularity by treating projective rigidity as an explicit hypothesis rather than something derived inside the theorems. The deformation-theory step for étale rigidity and the cobordism moduli object show some care in choosing tools that might transfer. The main limitation is that the strength of the results depends entirely on how natural and non-vacuous projective rigidity turns out to be in practice. The abstract labels it natural, but without concrete examples or a clear sense of which common ttt-∞-categories satisfy it, it is difficult to judge whether the generalizations apply broadly or remain mostly formal. The proofs themselves are not visible here, so any assessment of gaps in the derivations or hidden assumptions is impossible at this stage. This is written for readers already working inside higher category theory who want to see how classical algebra results might extend once t-structures and tensor structures are added. It is worth sending to referees who can check the technical details and test the condition on standard examples. If the arguments hold, it would be a useful reference for people trying to organize higher algebra in more geometric settings.

Referee Report

2 major / 3 minor

Summary. The manuscript generalizes fundamental notions of higher algebra from the ∞-category of spectra to t-structured tensor triangulated ∞-categories (ttt-∞-categories). Under the structural hypothesis of projective rigidity, it establishes higher-categorical analogues of Lazard's theorem together with the existence and universal property of Cohn localizations. It further extends higher almost ring theory by showing that π₀-epimorphic idempotent algebras correspond bijectively to idempotent ideals. Using deformation theory, the paper proves an étale rigidity theorem asserting that the ∞-category of étale algebras over a fixed connective base is completely determined by its discrete counterpart. Finally, it characterizes the moduli of projectively rigid ttt-∞-categories by exhibiting the presheaf ∞-category on the 1-dimensional framed cobordism ∞-category as the universal example.

Significance. If the central claims hold, the work provides a coherent extension of higher algebra to a broader class of ttt-∞-categories, linking classical results (Lazard, Cohn localization, almost rings) to the ∞-categorical setting and supplying a universal moduli characterization via framed cobordisms. The deformation-theoretic approach to étale rigidity and the explicit universal object are particularly valuable, as they suggest new connections between algebraic and geometric structures in higher category theory and may facilitate applications in derived algebraic geometry.

major comments (2)

[Definition of projective rigidity] The definition of projective rigidity (introduced as the enabling hypothesis for the Lazard analogue, Cohn localizations, and almost-ring correspondence) is presented as natural, yet the manuscript does not derive it from standard axioms of ttt-∞-categories or provide a comparison with existing rigidity notions in stable or triangulated ∞-categories. This makes it difficult to assess whether the condition is load-bearing or overly restrictive for the claimed generality.
[Étale rigidity theorem] In the étale rigidity theorem, the statement that the ∞-category of étale algebras is 'completely determined' by its discrete counterpart relies on deformation theory, but the precise obstruction theory, deformation functor, or lifting criteria are not spelled out with sufficient detail to verify the claim without additional implicit assumptions on the connective base.

minor comments (3)

[Introduction] The abbreviation 'ttt-∞-categories' is used extensively after its introduction; spelling out 't-structured tensor triangulated ∞-category' on first occurrence in the introduction would improve readability.
[Higher almost ring theory] The bijection between π₀-epimorphic idempotent algebras and idempotent ideals in the almost-ring section would benefit from an explicit reference to the corresponding result in the ∞-category of spectra for comparison.
[Moduli characterization] Notation for the framed cobordism ∞-category in the moduli characterization should include a brief reminder of its definition or a standard reference, as the 1-dimensional case may not be immediately familiar to all readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their careful reading, positive assessment of the work, and recommendation for minor revision. We address each major comment point by point below, indicating the revisions we will incorporate.

read point-by-point responses

Referee: [Definition of projective rigidity] The definition of projective rigidity (introduced as the enabling hypothesis for the Lazard analogue, Cohn localizations, and almost-ring correspondence) is presented as natural, yet the manuscript does not derive it from standard axioms of ttt-∞-categories or provide a comparison with existing rigidity notions in stable or triangulated ∞-categories. This makes it difficult to assess whether the condition is load-bearing or overly restrictive for the claimed generality.

Authors: We thank the referee for this observation. Projective rigidity is introduced as a structural hypothesis that enables the Lazard analogue, Cohn localizations, and the almost-ring correspondence; it is load-bearing for these results. While we regard the condition as natural in the context of ttt-∞-categories (arising from the compatibility of the t-structure with the tensor product), we agree that an explicit derivation from the axioms and a comparison with existing rigidity notions would strengthen the exposition. In the revised manuscript we will add a dedicated remark (or short subsection) that derives the condition from the standard axioms of ttt-∞-categories where possible and compares it to rigidity notions appearing in stable ∞-categories and triangulated categories. We will also clarify that the condition holds in the principal examples (spectra, derived categories of rings) without being overly restrictive for the intended applications. revision: yes
Referee: [Étale rigidity theorem] In the étale rigidity theorem, the statement that the ∞-category of étale algebras is 'completely determined' by its discrete counterpart relies on deformation theory, but the precise obstruction theory, deformation functor, or lifting criteria are not spelled out with sufficient detail to verify the claim without additional implicit assumptions on the connective base.

Authors: We appreciate the referee’s request for greater explicitness. The proof of the étale rigidity theorem uses standard deformation theory for connective bases, but we acknowledge that the obstruction theory, deformation functor, and lifting criteria are not written out in full detail. In the revised version we will expand the relevant section to spell out these ingredients explicitly, making clear the precise assumptions on the connective base (connectivity and the given t-structure) and verifying that no additional implicit hypotheses are required. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper explicitly introduces projective rigidity as a named structural hypothesis on t-structured tensor triangulated ∞-categories and then derives the higher-categorical Lazard analogues, Cohn localizations, almost-ring correspondences, étale rigidity via deformation theory, and the universal moduli characterization (presheaves on the 1-dimensional framed cobordism ∞-category) from that hypothesis. No equation or claim reduces a stated prediction to a fitted parameter by construction, no load-bearing uniqueness theorem is imported solely via self-citation, and no ansatz is smuggled through prior work. The derivation remains conditional on the independently stated condition rather than tautological, making the chain self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the ad-hoc structural condition of projective rigidity together with standard background axioms from ∞-category theory; no free parameters or invented entities are explicitly introduced in the abstract.

axioms (1)

ad hoc to paper projective rigidity as a natural structural condition on t-structured tensor triangulated ∞-categories
Invoked to establish higher categorical analogues of Lazard's theorem, Cohn localizations, and related results.

pith-pipeline@v0.9.0 · 5488 in / 1486 out tokens · 49771 ms · 2026-05-14T21:58:31.668214+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Flat ring epimorphisms and universal localizations of commutative rings

[AMŠTV20] Lidia Angeleri Hügel, Frederik Marks, Jan Št’ovíček, Ryo Takahashi, and Jorge Vitória. “Flat ring epimorphisms and universal localizations of commutative rings”. In:Q. J. Math. 71.4 (2020), pp. 1489–1520. [AN21] Benjamin Antieau and Thomas Nikolaus. “Cartier modules and cyclotomic spectra”. In:J. Amer. Math. Soc.34.1 (2021), pp. 1–78. [Ara25] Ke...

work page arXiv 2020
[2]

Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology

[Avr99] Luchezar L Avramov. “Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology”. In:Annals of Mathematics(1999), pp. 455–487. [Ban12] Abhishek Banerjee. “Centre of monoids, centralisers, and localisation”. In:Comm. Algebra 40.11 (2012), pp. 3975–3993. [Ban17] Abhishek Banerjee. “Noetherian schem...

work page arXiv 1999
[3]

arXiv:2405.07936

[BKK24] Oren Ben-Bassat, Jack Kelly, and Kobi Kremnizer.A perspective on the foundations of derived analytic geometry. arXiv:2405.07936

work page arXiv
[4]

Weight structures vs. t-structures; weight filtrations, spectral sequences, and complexes (for motives and in general)

[Bon10] Mikhail V Bondarko. “Weight structures vs. t-structures; weight filtrations, spectral sequences, and complexes (for motives and in general)”. In:Journal of K-theory6.3 (2010), pp. 387–504. [Coh71] Paul Moritz Cohn. Free rings and their relations. Academic Press,

work page 2010
[5]

Cdh descent in equivariant homotopyK-theory

[Hoy20] Marc Hoyois. “Cdh descent in equivariant homotopyK-theory”. In:Doc. Math.25 (2020), pp. 457–482. [HP23] Lars Hesselholt and Piotr Pstrągowski. “Dirac geometry I: Commutative algebra”. In: Peking Math. J.(2023), pp. 1–76. 85 [HP24] Lars Hesselholt and Piotr Pstrągowski. “Dirac geometry II: Coherent cohomology”. In: Forum Math. Sigma12 (2024), e27. ...

work page arXiv 2020
[6]

An analytic Hochschild-Kostant- Rosenberg theorem

[KKM22] Jack Kelly, Kobi Kremnizer, and Devarshi Mukherjee. “An analytic Hochschild-Kostant- Rosenberg theorem”. In:Adv. Math.410 (2022), p. 108694. [KM25] Jack Kelly and Devarshi Mukherjee.Localising invariants in derived bornological geometry. arXiv:2505.15750

work page arXiv 2022
[7]

Localizations and completions of stable∞-categories

International Press, 2009, pp. 129–280. [Man24] Lorenzo Mantovani. “Localizations and completions of stable∞-categories”. In:Rend. Semin. Mat. Univ. Padova151 (2024), pp. 1–62. [Mat16] Akhil Mathew. “The Galois group of a stable homotopy theory”. In:Adv. Math.291 (2016), pp. 403–541. [NRS06] Amnon Neeman, Andrew Ranicki, and Aidan Schofield. “A non-commut...

work page 2009
[8]

Hochschild homology and the derived de Rham complex revisited.arXiv:2007.02576

[Rak20] ArponRaksit. Hochschild homology and the derived de Rham complex revisited.arXiv:2007.02576

work page arXiv 2007
[9]

Notes on author’s webpage,https : / / sites

[Ram] Maxime Ramzi.Deducing the Bousfield-Kan formula for homotopy (co)limits from first principles. Notes on author’s webpage,https : / / sites . google . com / view / maxime - ramzi-en/notes/bousfield-kan. [Ram24a] Maxime Ramzi. Dualizable presentable ∞-categories. arXiv:2410.21537

work page arXiv
[10]

Locally rigid ∞-categories

[Ram24b] Maxime Ramzi. Locally rigid ∞-categories. arXiv:2410.21524

work page arXiv
[11]

arXiv:2307.16337

[Ste23] Germán Stefanich.Classification of fully dualizable linear categories. arXiv:2307.16337

work page arXiv
[12]

Au-dessous de Spec(Z)

[TV09] Bertrand Toën and Michel Vaquié. “Au-dessous de Spec(Z)”. In:J. K-Theory3.3 (2009), pp. 437–500. Jiacheng Liang, Department of Mathematics, Johns Hopkins University, Baltimore, MD 21218, USA Email address: jliang66@jhu.edu 86

work page 2009