SearcharxivSearch

arXiv · 2605.00783

Unbounded Weight Structures: (Re)construction and Completion

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 and Pauksztello. This recovers the standard weight structure on spectra and an exotic one related to Anderson duality. We identify their completions with modules over the (spectral) integral Steenrod algebra. 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)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thomas Nikolaus, Phil Pützstück. 2026-05-01. Unbounded Weight Structures: (Re)construction and Completion. https://arxiv.org/abs/2605.00783

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges

For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.

math.AT

The homotopy types of directed path and trace spaces

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.

math.AT

Moduli spaces of geometric functorial field theories

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

math.AT