arxiv: 2605.00783 · v1 · submitted 2026-05-01 · 🧮 math.AT · math.CT· math.KT

Recognition: unknown

Unbounded Weight Structures: (Re)construction and Completion

Phil P\"utzst\"uck, Thomas Nikolaus

Pith reviewed 2026-05-09 14:22 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.KT

keywords weight structuresstable categoriesweak t-structurescompletionweight heartreconstructionderived categoriesspectra

0 comments

The pith

Any stable category with compatible weight and weak t-structures satisfying left weight completeness and right t-completeness reconstructs from its heart via a two-step completion.

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

The paper builds a theory of completeness for weight structures on stable categories that mirrors the known theory for t-structures. It first shows that when a weight structure is complete, the entire structure is fixed by its weight heart alone, which produces a universal functor sending any additive category to a complete weight category and recovers the homotopy category of chain complexes. For the many examples that are only partially complete, such as derived categories of abelian groups and modules over ring spectra, the authors add weak t-structures and prove a reconstruction result: under compatibility of the two structures plus left weight completeness and right t-completeness, the original category is recovered from its heart by a two-step completion process.

Core claim

Complete weight structures on stable categories are determined by their weight hearts, yielding a universal construction from additive categories that recovers classical examples such as the homotopy category of chain complexes. On presentable stable categories generated by a small set of objects, weight structures can be constructed in general, recovering both the standard weight structure on spectra and an exotic one tied to Anderson duality whose completions match Bousfield-Kan completions in Adams spectral sequences. For partially weight-complete examples the authors introduce weak t-structures and prove that any stable category carrying compatible weight and weak t-structures together,

What carries the argument

The two-step completion process A maps to hat K(A) that reconstructs a stable category from its heart when equipped with compatible weight and weak t-structures plus left weight completeness and right t-completeness.

Load-bearing premise

The weight and weak t-structures must be compatible while the category is left weight complete and right t-complete.

What would settle it

A concrete stable category carrying compatible weight and weak t-structures that is left weight complete and right t-complete but is not equal to the two-step completion of its own heart.

read the original abstract

We develop a theory of completeness for weight structures on stable categories, dual to the theory of complete t-structures. As in the bounded case, we show that complete weight structures are determined by their weight heart, giving rise to a universal construction $A \mapsto K(A)$ that assigns a complete weight category to an additive category and recovers classical examples such as homotopy categories of chain complexes. We also give a general construction of weight structures on presentable stable categories generated by a small set of objects, generalizing a result of Bondarko. This recovers the standard weight structure on spectra and an exotic one related to Anderson duality. We identify their completions with Bousfield--Kan completions arising in Adams-type spectral sequences. To treat naturally occurring examples - such as derived categories of abelian categories and module categories over ring spectra - which are often only partially weight complete, we introduce the notion of weak t-structures. Within this framework, we prove that any stable category equipped with compatible weight and weak t-structures, and satisfying left weight completeness and right t-completeness, can be reconstructed from its heart via a two-step completion process $A \mapsto \widehat{K}(A)$.

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 gives a usable extension of weight structures to unbounded stable categories via completeness and weak t-structures, with a reconstruction theorem that recovers standard examples.

read the letter

The core advance is a completeness theory for weight structures on stable categories that mirrors the usual story for t-structures. Complete weight structures are determined by their hearts, which produces a universal functor K(A) from additive categories; this recovers the homotopy category of chain complexes and similar examples. The authors also generalize Bondarko's construction to presentable stable categories generated by a small set, and they identify the resulting completions with Bousfield-Kan completions that appear in Adams-type spectral sequences. The new weak t-structures handle the partial completeness that shows up in derived categories of abelian groups and module categories over ring spectra. Under the stated compatibility and completeness hypotheses, any such category reconstructs from its heart by the two-step process A to hat K(A). The arguments track the necessary limits and colimits from the universal property of K(A) without obvious circularity or hidden boundedness assumptions. The examples on spectra and Anderson duality are concrete and check out against known constructions. The main limitation is that the reconstruction theorem requires left weight completeness plus right t-completeness together with compatibility of the two structures; many natural examples satisfy this only after passing to a completion, so the result is conditional rather than fully general. The paper is careful to flag this and focuses on the cases where the hypotheses hold. This work is aimed at people already using weight structures in algebraic topology or stable homotopy theory. Anyone who needs to build or complete weight structures on presentable categories or who works with unbounded derived categories will get concrete methods and new language. The constructions rest on standard facts about stable categories and additive hearts, so the paper is coherent on its own terms. It deserves a serious referee; the ideas are grounded enough and the examples are sharp enough that a careful review would be worthwhile.

Referee Report

0 major / 3 minor

Summary. The manuscript develops a theory of completeness for weight structures on stable categories, dual to the theory of complete t-structures. It shows that complete weight structures are determined by their weight hearts via a universal construction A ↦ K(A) from additive categories, recovering classical examples such as homotopy categories of chain complexes. It gives a general construction of weight structures on presentable stable categories generated by a small set of objects (generalizing Bondarko), recovering the standard weight structure on spectra and an exotic one related to Anderson duality, with completions identified with Bousfield-Kan completions. For partially complete cases, it introduces weak t-structures and proves that any stable category with compatible weight and weak t-structures satisfying left weight completeness and right t-completeness can be reconstructed from its heart via the two-step completion A ↦ K̂(A).

Significance. If the results hold, the work provides a robust extension of weight structure theory to unbounded settings, with universal functors and reconstruction theorems that strengthen connections between additive hearts and stable homotopy categories. The generalization of Bondarko's construction, explicit recovery of examples in spectra and Anderson duality, and handling of derived categories and module categories over ring spectra via weak t-structures are notable strengths. The emphasis on universal properties, limit/colimit tracking, and conditional reconstruction under stated completeness hypotheses adds value for applications in homotopy theory and homological algebra.

minor comments (3)

[Abstract] The abstract introduces 'left weight completeness' and 'right t-completeness' as hypotheses for the reconstruction theorem without a brief inline definition or forward reference; adding one sentence clarifying these notions (or citing their definitions) would improve accessibility for readers unfamiliar with the dual t-structure theory.
[Notation and statements of main theorems] Notation for the two-step completion is given as A ↦ K̂(A) in the abstract but should be consistently distinguished from the one-step K(A) in all statements of theorems and examples to prevent confusion between the complete and partially complete cases.
[General construction section] The general construction of weight structures on presentable stable categories (generalizing Bondarko) is stated to recover the standard structure on spectra; a short explicit check or reference to the generating set used in this recovery would strengthen the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results on complete weight structures, the universal functor K(A), the generalization of Bondarko's construction, and the two-step reconstruction using weak t-structures. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivations are self-contained from universal properties and standard category-theoretic constructions.

full rationale

The paper's core results—the universal construction A ↦ K(A) for complete weight structures determined by their heart, the general construction of weight structures on presentable stable categories, and the two-step reconstruction A ↦ K̂(A) under compatibility and completeness hypotheses—proceed from the universal property of the weight heart (established independently for the complete case) and by adjoining weak t-structure data while tracking limits and colimits. No step reduces by definition or self-citation to its own inputs; the arguments rely on standard definitions of stable and additive categories together with explicit universal functors, without fitted parameters, self-referential equations, or load-bearing self-citations that would force the claimed reconstruction. The conditional nature of the main theorem (requiring left weight completeness and right t-completeness) keeps the derivation independent of the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

Inferred from abstract claims; full paper would list more background from triangulated category theory.

axioms (2)

standard math Stable categories admit all small coproducts and are triangulated.
Background assumption for defining weight structures on presentable stable categories.
domain assumption Weight structures satisfy orthogonality conditions between weight-positive and weight-negative parts.
Standard definition extended to the complete/unbounded setting.

invented entities (3)

weak t-structures no independent evidence
purpose: Handle categories that are only partially weight complete, such as derived categories of abelian categories.
New notion introduced to treat naturally occurring examples.
K(A) no independent evidence
purpose: Universal construction assigning a complete weight category to an additive category A.
New functorial assignment recovering classical examples like homotopy categories of chain complexes.
K̂(A) no independent evidence
purpose: Two-step completion process for reconstructing the category from its heart.
New reconstruction under compatibility and completeness assumptions.

pith-pipeline@v0.9.0 · 5510 in / 1464 out tokens · 50753 ms · 2026-05-09T14:22:39.819862+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 3 canonical work pages

[1]

Anderson,Universal coefficient theorems forK-theory(1969)

[And69] Donald W. Anderson,Universal coefficient theorems forK-theory(1969). [Aok20] Ko Aoki,The weight complex functor is symmetric monoidal, Advances in Mathematics368(2020), 107145. [BBD82] Alexander Beilinson, Joseph Bernstein, and Pierre Deligne,Faisceaux pervers, Analyse et topologie sur les espaces singuliers (i), 1982, pp. 5–171. [BC76] Edgar H. B...

1969
[2]

[Bon10] Mikhail V Bondarko,Weight structures vs

[BL24] Jonathan Beardsley and Tyler Lawson,Skeleta and categories of algebras, Advances in Mathematics457 (2024), 109944. [Bon10] Mikhail V Bondarko,Weight structures vs. t-structures; weight filtrations, spectral sequences, and complexes (for motives and in general), Journal of K-theory6(2010), no. 3, 387–504. [Bon22] Mikhail Bondarko,On perfectly genera...

work page arXiv 2024
[3]

[HP98] Mark Hovey and John Palmieri,The structure of the bousfield lattice,

Corrected reprint of the 1999 original. [HP98] Mark Hovey and John Palmieri,The structure of the bousfield lattice,

1999
[4]

[LS25] Ishan Levy and Vladimir Sosnilo, c-structures and trace methods beyond connective rings(2025), available at 2509.14774

[HS25] Fabian Hebestreit and Wolfgang Steimle,Stable moduli spaces of hermitian forms(2025), available at 2103.13911. [LS25] Ishan Levy and Vladimir Sosnilo, c-structures and trace methods beyond connective rings(2025), available at 2509.14774. [Lur09] Jacob Lurie,Higher topos theory, Ann. Math. Stud., vol. 170, Princeton University Press, Princeton, NJ,

work page arXiv 2025
[5]

[Lur18] ,Kerodon(2018), available athttps://kerodon.net

Updated version available athttps://people.math.harvard.edu/ ~lurie/papers/highertopoi.pdf. [Lur18] ,Kerodon(2018), available athttps://kerodon.net. [Lura] ,Higher algebra, available athttps://www.math.ias.edu/ ~lurie/papers/HA.pdf. [Lurb] ,Spectral algebraic geometry, available at https://www.math.ias.edu/~lurie/papers/SAG-rootfile. pdf. [Nee01] Amnon Ne...

2018
[6]

5, 827 –832

[Nee11] ,Non-left-complete derived categories, Mathematical Research Letters18(2011), no. 5, 827 –832. [Nee97] ,On a theorem of brown and adams, Topology36(1997), no. 3, 619–645. [NP] Thomas Nikolaus and Phil P¨ utzst¨ uck,Condensed anderson duality. In preparation. [Pau10] David Pauksztello,A note on compactly generated co- t -structures, Communications ...

work page arXiv 2011
[7]

UNBOUNDED WEIGHT STRUCTURES: (RE)CONSTRUCTION AND COMPLETION 73 [Tho97] R. W. Thomason,The classification of triangulated subcategories, Compositio Mathematica105(1997), no. 1, 1–27. [Ver96] Jean-Louis Verdier,Des cat´ egories d´ eriv´ ees des cat´ egories ab´ eliennes, Ast´ erisque (1996). [Wal85] Friedhelm Waldhausen,Algebraic K-theory of spaces, Algebr...

1997