Papers
Topics
Authors
Recent
Search
2000 character limit reached

Chow Weight Structure Overview

Updated 12 July 2026
  • Chow weight structure is a framework that organizes objects in triangulated categories by using a weight complex functor to relate mixed motives to complexes of Chow motives.
  • It enables extraction of functorial filtrations, spectral sequences, and K-theoretic invariants by categorizing motivic weights and ensuring boundedness.
  • The structure supports symmetric monoidal refinements and compatibility with the six-functor formalism, enhancing applications across Voevodsky, Beilinson, and noncommutative motives.

The Chow weight structure is a weight structure on a triangulated category, or more generally on a stable \infty-category through its homotopy category, whose heart is a category of Chow motives or a closely related idempotent-complete additive category. In the motivic setting it provides a systematic way to organize objects by weight, to pass from mixed motives to complexes of pure motives, and to extract functorial filtrations, spectral sequences, and KK-theoretic invariants. Across Voevodsky motives, Beilinson motives, cdhcdh-motives, quotient stacks, and several relative or resolution-free frameworks, the recurring pattern is that Chow motives form the weight-zero layer and that the resulting weight complex functor encodes mixed objects by bounded complexes in this heart (Aoki, 2019, Bondarko, 2010, Bondarko et al., 2015).

1. Axiomatic form and basic language

A weight structure on a triangulated category C\underline{C} is given by a pair of retraction-closed classes of objects (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0}) satisfying semi-invariance under translation, orthogonality, and existence of weight decompositions. In one standard formulation, the orthogonality axiom is

Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},

and every object MM admits a distinguished triangle

LMMRMLM[1]L M \to M \to R M \to L M[1]

with LMCw0L M \in \underline{C}_{w\leq 0} and RMCw1R M \in \underline{C}_{w\geq 1}. The heart is

KK0

an additive, weakly idempotent complete category. In the stable KK1-categorical setting, the weight structure is defined on the homotopy category (Bondarko, 2020, Aoki, 2019).

This formalism is often compared with a KK2-structure, but the comparison is limited. A weight structure is an analogue of a KK3-structure organized by weights rather than cohomological truncation, and its heart is typically additive rather than abelian. In Bondarko’s motivic applications, boundedness is especially important: it ensures that every object is assembled from finitely many weight pieces, so that the heart can control the whole category through weight complexes and weight-exact functors (Aoki, 2019, Bondarko et al., 2014).

The phrase Chow weight structure refers to the case in which the heart is a category of Chow motives or a category generated by their appropriate relative analogues. A recurring structural mechanism is that a negative additive subcategory strongly generates the ambient triangulated category; this negativity then forces the existence of a unique bounded weight structure with that heart. This viewpoint is central in the construction for effective geometric Voevodsky motives and in several later extensions (Bondarko, 2020).

2. Classical motivic realizations and identification of the heart

For effective geometric Voevodsky motives over a perfect field, the subcategory KK4 of retracts of motives of smooth projective varieties is equivalent to the category of effective Chow motives with KK5-coefficients, is negative, and strongly generates KK6. Consequently there exists a bounded weight structure KK7 whose heart is precisely KK8. In this setting all motives KK9 of smooth varieties lie in the nonpositive part, the Tate twist is weight-exact, and the construction descends to birational motives by localization (Bondarko, 2020).

Bondarko’s relative theory extends the construction to the category cdhcdh0 of constructible Beilinson motives over a “reasonable” base scheme cdhcdh1. There the heart is

cdhcdh2

where cdhcdh3 runs over projective morphisms from regular schemes and cdhcdh4. The Chow weight structure cdhcdh5 on cdhcdh6 is unique with this heart, and in the relative formulation it is designed to mirror the functoriality of weights for mixed complexes of sheaves (Bondarko, 2010).

A major clarification of the heart in the Beilinson-motivic setting comes from the study of Borel–Moore motives. For a projective morphism cdhcdh7, the Borel–Moore motive is

cdhcdh8

and Borel–Moore motivic homology

cdhcdh9

is used to compute morphisms in the heart. For C\underline{C}0 quasi-projective over a perfect field, the heart of the Bondarko–Hébert weight structure on C\underline{C}1 is equivalent to Corti–Hanamura’s category C\underline{C}2 of Chow motives over a base. In particular, the correspondence

C\underline{C}3

identifies the abstract heart with a concrete correspondence category (Jin, 2015).

This identification corrects a common oversimplification. The statement “the heart is Chow motives” is precise only after fixing the motivic framework and the notion of Chow motive being used: effective Chow motives over a field, relative Chow motives generated by projective regular schemes, Borel–Moore Chow motives over a base, or related idempotent completions. The heart is stable across these contexts in spirit, but not literally identical as a category in every formulation (Bondarko, 2010, Jin, 2015).

3. Weight complexes and symmetric monoidality

The most visible output of a bounded Chow weight structure is the weight complex functor. In relative Beilinson motives it takes the form

C\underline{C}4

and Bondarko proves that it is exact and conservative. It sends a motive to a bounded complex of Chow motives and is compatible with weight-exact motivic image functors; in the relative theory it is also compared with the Gillet–Soulé weight complex construction (Bondarko, 2010).

In the C\underline{C}5-categorical treatment of the weight complex, if C\underline{C}6 has a bounded weight structure, the weight complex functor

C\underline{C}7

is characterized as the unique weight-exact functor extending the identity on the heart. The underlying mechanism is Sosnilo’s theorem that restriction to hearts identifies weight-exact functors with additive functors on the hearts. This formulation removes the dependence on a purely dg-enhanced triangulated setting and places the construction in stable symmetric monoidal C\underline{C}8-categories (Aoki, 2019).

The principal refinement in this direction is monoidal. If C\underline{C}9 is a stable symmetric monoidal (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})0-category with a bounded weight structure such that (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})1 and (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})2 are closed under tensor product, then the weight complex functor admits a canonical symmetric monoidal refinement: (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})3 In particular, in the motivic example

(Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})4

the passage from mixed motives to complexes of Chow motives is compatible with tensor products (Aoki, 2019).

This monoidal result is structurally significant because tensor products are central in motivic constructions. A plausible implication is that calculations performed on complexes of Chow motives can be transferred more faithfully to the mixed-motivic level when tensor operations are involved, rather than only at the level of underlying triangulated categories.

4. Relative functoriality, gluing, and boundary conditions

One of the strengths of the Chow weight structure is its compatibility with the six-functor formalism. For a smoothly embeddable morphism (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})5 in Bondarko’s relative theory, (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})6 and (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})7 are right weight-exact, while (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})8 and (Cw0,Cw0)(\underline{C}_{w\leq 0}, \underline{C}_{w\geq 0})9 are left weight-exact; if Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},0 is smooth, then Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},1 and Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},2 are fully weight-exact. Tate twist functors are weight-exact as well. The theory is local with respect to open and closed decompositions, and positivity or negativity can be checked pointwise; for example,

Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},3

for all points Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},4 (Bondarko, 2010).

For Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},5-motives with integral coefficients, the construction is driven explicitly by gluing from strata. On Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},6, the classes Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},7 and Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},8 are assembled from stratified local conditions using objects of the form

Cw0Cw1,\underline{C}_{w\leq 0}\perp \underline{C}_{w\geq 1},9

The resulting weight structure is bounded, supports pointwise detection, and retains the expected weight-exactness properties of the motivic operations. Over suitable pro-smooth bases its heart is described as the Karoubi-closure of Borel–Moore Chow motives (Bondarko et al., 2015).

The gluing formalism becomes especially geometric in problems of extension across an open immersion MM0 with closed complement MM1. Wildeshaus considers Chow motives MM2 on MM3 for which the boundary object MM4 is without weights MM5, meaning that it fits into a triangle

MM6

with the indicated weight bounds. Under this condition, restriction along MM7 induces an equivalence between a category of Chow motives on MM8 satisfying boundary weight inequalities and a category of Chow motives on MM9, and the inverse defines a canonical intermediate extension LMMRMLM[1]L M \to M \to R M \to L M[1]0. The point is not merely existence but rigidity: the extension is characterized by the absence of direct factors coming from the boundary (Wildeshaus, 2017).

This boundary criterion clarifies a recurring misunderstanding. The intermediate extension in the motivic setting is not defined solely by analogy with perverse sheaves; in Wildeshaus’s framework it exists only under a precise weight-theoretic condition on LMMRMLM[1]L M \to M \to R M \to L M[1]1, and the weight structure is what turns that condition into a uniqueness statement (Wildeshaus, 2017).

5. Spectral sequences, LMMRMLM[1]L M \to M \to R M \to L M[1]2-theory, Chow-weight homology, and effectivity

Any Chow weight structure yields functorial spectral sequences and filtrations for cohomology. For a cohomological functor LMMRMLM[1]L M \to M \to R M \to L M[1]3 and a motive LMMRMLM[1]L M \to M \to R M \to L M[1]4 with weight complex LMMRMLM[1]L M \to M \to R M \to L M[1]5, there is a Chow-weight spectral sequence

LMMRMLM[1]L M \to M \to R M \to L M[1]6

and the associated Chow-weight filtration is

LMMRMLM[1]L M \to M \to R M \to L M[1]7

These constructions are functorial from the LMMRMLM[1]L M \to M \to R M \to L M[1]8-page onward and generalize the familiar weight filtrations appearing in realization theories (Bondarko, 2010).

At the LMMRMLM[1]L M \to M \to R M \to L M[1]9-theoretic level, the heart controls the whole category. Bondarko proves

LMCw0L M \in \underline{C}_{w\leq 0}0

and defines the motivic Euler characteristic of an LMCw0L M \in \underline{C}_{w\leq 0}1-scheme LMCw0L M \in \underline{C}_{w\leq 0}2 by

LMCw0L M \in \underline{C}_{w\leq 0}3

satisfying LMCw0L M \in \underline{C}_{w\leq 0}4 for a closed embedding LMCw0L M \in \underline{C}_{w\leq 0}5 with open complement LMCw0L M \in \underline{C}_{w\leq 0}6. In a more general weighted setting, Bondarko further shows that for bounded weight structures one has LMCw0L M \in \underline{C}_{w\leq 0}7, and Euler-characteristic-type homomorphisms can be computed directly from weight complexes (Bondarko, 2010, Bondarko, 2020).

A deeper layer is provided by Chow-weight homology and Chow-weight cohomology. For a motive LMCw0L M \in \underline{C}_{w\leq 0}8 with weight complex LMCw0L M \in \underline{C}_{w\leq 0}9, Chow-weight homology is defined as the homology of the complex obtained by applying Chow-group-type functors to the terms of RMCw1R M \in \underline{C}_{w\geq 1}0. These theories detect both effectivity and weight bounds. In particular, for RMCw1R M \in \underline{C}_{w\geq 1}1,

RMCw1R M \in \underline{C}_{w\geq 1}2

for all RMCw1R M \in \underline{C}_{w\geq 1}3, all RMCw1R M \in \underline{C}_{w\geq 1}4, and all function fields RMCw1R M \in \underline{C}_{w\geq 1}5; similarly,

RMCw1R M \in \underline{C}_{w\geq 1}6

for all RMCw1R M \in \underline{C}_{w\geq 1}7, all RMCw1R M \in \underline{C}_{w\geq 1}8, and all function fields RMCw1R M \in \underline{C}_{w\geq 1}9 (Bondarko et al., 2014).

The later extension to KK00-bounded below motivic complexes sharpens this relation. Vanishing of higher motivic homology in suitable ranges is shown to be equivalent to corresponding vanishing of Chow-weight homology and to effectivity properties of the higher terms of the weight complex KK01. Applied to motives with compact support, these statements relate the vanishing of Chow groups of varieties to the higher Deligne weight quotients of their cohomology with compact support (Bondarko et al., 2020).

These results also underpin “mixed motivic decomposition of the diagonal” statements. The data show that vanishing of lower Chow groups can force the highest Deligne weight factors of singular or étale cohomology with compact support to be KK02-effective, and the formalism extends the classical decomposition-of-the-diagonal perspective from smooth projective varieties to arbitrary motives and singular or nonproper varieties (Bondarko et al., 2014).

6. Resolution-free, stack-theoretic, noncommutative, and recent geometric extensions

A substantial development is the construction of Chow weight structures without using projectivity or resolution of singularities. In the “big” categories KK03, Bondarko and Kumallagov define KK04 as the unique smashing weight structure generated by the motives KK05 of all smooth varieties KK06. This avoids assuming that KK07 contains KK08 in positive characteristic. When KK09 is a KK10-algebra, the resulting weight structure is also generated by motives of smooth projective varieties and is compatible with the classical Chow weight structure; without that assumption, the heart may be larger and less explicit (Bondarko et al., 2017).

The quotient-stack case shows that the paradigm is not restricted to schemes. For a global quotient stack KK11 with KK12 quasi-projective over a field of characteristic KK13, KK14 affine algebraic, and arbitrary commutative coefficient ring KK15, the category KK16 admits a bounded Chow weight structure. Its heart is identified with the category KK17 of Chow motives over the stack, and the proof uses thick generation by projective smooth motives over the stack together with connectiveness of mapping spectra computed by equivariant higher Chow groups (Aranha et al., 2023).

There is also a noncommutative analogue. Tabuada proves that Kontsevich’s category KK18 of noncommutative mixed motives carries a non-degenerate bounded weight structure whose heart is equivalent to the category KK19 of noncommutative Chow motives. For every additive invariant there is a convergent weight spectral sequence

KK20

and one obtains a ring isomorphism

KK21

This is not the classical Chow weight structure, but it is explicitly presented as its noncommutative generalization (Tabuada, 2011).

Recent work on motivic intersection complexes illustrates how the Chow weight structure continues to function as a purity criterion. For an irreducible threefold KK22 in characteristic KK23, the object

KK24

associated with a regular dense open KK25 and the profile KK26 is shown to lie in KK27, hence to be a Chow motive. It satisfies Wildeshaus’s characterization of a motivic intersection complex: KK28 and KK29 is an isomorphism. This suggests that the heart of the Chow weight structure is robust enough to host canonical lifts of intersection complexes in settings where no motivic perverse KK30-structure is available (Rastogi et al., 1 Dec 2025).

Taken together, these extensions show that the Chow weight structure is less a single construction than a stable pattern in motivic homological algebra: one isolates a connective or negative Chow-type subcategory, proves that it generates the ambient category, and then uses the resulting weight structure to linearize mixed objects by complexes of pure ones. The details vary sharply with the ambient category, coefficients, and geometric context, but the heart–weight-complex–spectral-sequence triad remains the central organizing principle.

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Chow Weight Structure.