Motivic Refinement of Weibel’s Vanishing

• The paper establishes a motivic refinement of Weibel’s vanishing, showing that for finite-dimensional schemes, motivic cohomology vanishes above the line i=j+dim X.
• It employs Zariski descent and Bousfield–Kan spectral sequences to transfer classical negative K-theory vanishing to precise support statements on the E2-page.
• The study extends to both equicharacteristic and mixed-characteristic cases using pro-cdh descent and slice-theoretic methods to control singular and nilpotent data.

Motivic refinement of Weibel’s vanishing is the passage from the classical dimension bound for negative algebraic $K$-groups to stronger vanishing and support statements for motivic objects that govern $K$-theory through Atiyah–Hirzebruch-type filtrations. In its sharpest current form, the refinement asserts that for a finite-dimensional scheme $X$, motivic cohomology itself vanishes above the line $i=j+\dim X$, so that the classical negative-$K$ vanishing is recovered from a half-plane support condition on the $E_2$-page of a motivic spectral sequence rather than from the abutment alone (Elmanto et al., 2023, Bouis, 22 Jul 2025).

1. Classical vanishing and the transition to motivic invariants

The classical point of departure is Weibel’s dimension-bound vanishing for negative $K$-theory, usually formulated as $K_{-n}(X)=0$ for $n>\dim X$ when $X$ is noetherian of finite Krull dimension. The first robust approximation to this statement at the motivic level was established for Weibel’s homotopy invariant $K$0-theory $K$1: for a noetherian scheme $K$2 of finite Krull dimension $K$3,

$K$4

The same paper shows that if a prime $K$5 is nilpotent on $K$6, then

$K$7

This already places the vanishing problem in a motivic setting, because $K$8 is the $K$9-invariant, cdh-local approximation to algebraic $X$0-theory (Kerz et al., 2016).

The proof of this $X$1-vanishing theorem exhibits structural features that later reappear in genuinely motivic refinements. Two spectral sequences are central. The Zariski descent spectral sequence

$X$2

reduces global vanishing to local vanishing on stalks, while the Bousfield–Kan spectral sequence

$X$3

expresses $X$4 through simplicial $X$5-resolution. The geometric input is birational annihilation of negative $X$6-classes after projective modification, and the descent input is cdh descent. In this sense, the vanishing of negative $X$7-groups is already a motivically corrected form of Weibel’s statement, even though the paper does not work with motivic cohomology groups as the primary $X$8-page.

2. Equicharacteristic motivic cohomology and the motivic Soulé–Weibel line

A genuine motivic refinement for ordinary nonconnective $X$9-theory appears in the construction of a non-$i=j+\dim X$0-invariant motivic cohomology theory for equicharacteristic schemes. For a qcqs scheme $i=j+\dim X$1 of equal characteristic and $i=j+\dim X$2, the theory assigns a complex

$i=j+\dim X$3

together with a motivic filtration on nonconnective algebraic $i=j+\dim X$4-theory whose graded pieces satisfy

$i=j+\dim X$5

Accordingly there is an Atiyah–Hirzebruch spectral sequence

$i=j+\dim X$6

The main vanishing theorem is

$i=j+\dim X$7

for every noetherian equicharacteristic scheme $i=j+\dim X$8 of finite dimension and every $i=j+\dim X$9 (Elmanto et al., 2023).

This theorem is stronger than the classical Weibel bound in a precise spectral-sequence sense. Writing the $K$0-page as $K$1, the inequality above implies $K$2 for $K$3. Thus the entire spectral sequence is supported in the left half-plane $K$4, and the vanishing of $K$5 for $K$6 becomes an immediate consequence of a sharper statement about the motivic graded pieces.

The same theory simultaneously refines Soulé-type Adams-eigenspace vanishing. Rationally one has

$K$7

hence the motivic vanishing line yields

$K$8

This is an integral theorem before rationalization and therefore more structured than the classical Adams-eigenspace statement.

A distinctive feature of this refinement is that the theory is explicitly sensitive to singularities and nilpotent structure and is not $K$9-invariant in general. That sensitivity is essential: ordinary $E_2$0-theory rather than $E_2$1 is the target of the spectral sequence, so the motivic theory must retain precisely the singular information lost by $E_2$2-localization. The vanishing line is also sharp in the sense that the boundary degree $E_2$3 can remain nonzero. For reduced equidimensional quasi-projective surfaces over a field,

$E_2$4

showing that the top allowed degree is geometrically populated rather than formal.

3. Mixed characteristic extension

The mixed-characteristic extension replaces the equal-characteristic restriction by noetherian finite-dimensional schemes in complete generality. For $E_2$5 and a noetherian scheme $E_2$6 of dimension at most $E_2$7, the theorem states

$E_2$8

equivalently

$E_2$9

This is formulated explicitly as “Motivic Weibel vanishing” (Bouis, 22 Jul 2025).

As in the equicharacteristic case, the consequence for $K$0-theory is read off from the Atiyah–Hirzebruch spectral sequence

$K$1

The vanishing line forces support in the half-plane $K$2, hence recovers classical Weibel vanishing. More strongly, it identifies the first two negative $K$3-layers near the boundary: $K$4 and there is an exact sequence

$K$5

The proof is structural rather than ad hoc. The decisive ingredients are pro-cdh descent for $K$6 on noetherian schemes, a local connectivity bound

$K$7

for henselian valuation rings $K$8, and control of nilpotent thickenings via the bound

$K$9

for a noetherian local ring $K_{-n}(X)=0$0 and nilpotent ideal $K_{-n}(X)=0$1. These inputs allow an abstract dimension argument to be applied to the fiber of

$K_{-n}(X)=0$2

The same paper also proves a projective bundle formula and a finite-coefficient comparison with Milnor $K_{-n}(X)=0$3-theory for henselian local rings, but these are companion structural properties rather than the main driver of the vanishing theorem.

4. $K_{-n}(X)=0$4-invariant motivic cohomology and the $K_{-n}(X)=0$5-refinement

A parallel development concerns the $K_{-n}(X)=0$6-invariant side of the story, where the target is $K_{-n}(X)=0$7 rather than ordinary $K_{-n}(X)=0$8-theory. For an arbitrary qcqs scheme $K_{-n}(X)=0$9, the theory defines

$n>\dim X$0

and identifies the zeroth slice of the sphere and of $n>\dim X$1: $n>\dim X$2 This yields a multiplicative Atiyah–Hirzebruch spectral sequence

$n>\dim X$3

whose graded pieces are the slices of $n>\dim X$4 (Bachmann et al., 13 Aug 2025).

Here the motivic refinement is slice-theoretic. The theory is represented by an absolute motivic spectrum, satisfies cdh descent, and extends to arbitrary qcqs schemes. Negative weights vanish,

$n>\dim X$5

and for qcqs schemes of finite valuative dimension $n>\dim X$6, the filtration satisfies a connectivity bound: $n>\dim X$7 The paper does not package these bounds as a standalone new proof of the sharp classical vanishing $n>\dim X$8 for $n>\dim X$9, but it provides the motivic mechanism by which such vanishing is explained: $X$0 is filtered by slices, the graded pieces are $X$1-invariant motivic cohomology groups, and these pieces obey dimension-sensitive support bounds.

This theory is conceptually distinct from the non-$X$2-invariant theory used for ordinary $X$3-theory. In the $X$4-invariant setting, singular corrections are absorbed into cdh descent and slice structures, and the relevant output is the filtration on $X$5. In the non-$X$6-invariant setting, singular and nilpotent data remain visible in the motivic complexes themselves and are needed to recover ordinary $X$7-theory.

5. Slice effectivity and motive-detection mechanisms

A broader structural antecedent to motivic refinements of vanishing is the study of when vanishing of a motive detects vanishing of the original motivic spectrum. For a perfect field $X$8, the compact motivization functor

$X$9

measures how faithfully Voevodsky motives detect compact motivic spectra. Over non-orderable fields this functor is conservative, and more generally motive-level $K$00-connectivity detects spectrum-level $K$01-connectivity for compact slice-connective objects. After inverting the exponential characteristic, the kernel of compact motivization is exactly the full subcategory of infinitely effective compact spectra (Bondarko, 2016).

This is not a theorem about negative $K$02-theory, but it supplies a precise prototype for “motivic refinement” as a vanishing-detection principle. The central equivalence is

$K$03

for compact $K$04, under the coefficient hypothesis that the exponential characteristic is inverted. Thus motive-level vanishing is not merely correlated with spectral vanishing; its failure is controlled by a sharply described slice-theoretic obstruction.

The same paper proves a field-sensitive conservativity statement: the compact kernel of $K$05 vanishes if and only if $K$06 is non-orderable, while over formally real fields there are explicit compact nonzero objects with zero motive. It also proves that the kernel contains no nonzero $K$07-torsion compact objects. In the context of Weibel-type themes, this establishes that motive-level vanishing can control spectrum-level vanishing up to a slice-infinitesimal tail, and that the obstruction is arithmetic rather than merely formal.

6. Related variants, analogues, and limits

Several adjacent developments broaden the meaning of “refinement” without themselves producing the motivic cohomology vanishing line $K$08. In a noncommutative direction, singularity categories attached to degenerations are realized as supported $K$09-motives and then identified, after $K$10-adic realization, with vanishing-cycle complexes. For a proper flat regular $K$11 over a strict trait, the dg-category of relative singularities satisfies

$K$12

and its $K$13-adic realization recovers vanishing cycles after passage to inertia fixed points or to the full inertia action (Beraldo et al., 2023). This is not a vanishing theorem, but it gives a categorical model for the singular part of supported homotopy-invariant $K$14-theory and therefore a natural setting for future singularity-sensitive refinements of Weibel-type statements.

Twisted analogues show that the numerical vanishing phenomenon is robust under Azumaya and dg-algebra coefficients, although these results are not formulated motivically. For a noetherian $K$15-dimensional scheme $K$16 and a sheaf of smooth proper connective dg-algebras $K$17,

$K$18

and there is a corresponding relative vanishing theorem for smooth affine morphisms (Stapleton, 2020). For Azumaya twists on noetherian schemes one has the same bound, together with boundary-range homotopy invariance, and there are further extensions to finite-dimensional Prüfer domains, albeit with a weaker dimension bound expressed using the associated Severi–Brauer variety (Sadhu, 2024). These theorems show that Weibel-type vanishing persists in twisted and noncommutative settings, but they do not yet provide the motivic $K$19-page refinement achieved by the equicharacteristic and mixed-characteristic motivic cohomology theories.

The current landscape therefore separates into three layers. At the strongest level, non-$K$20-invariant motivic cohomology refines ordinary negative $K$21-theory by proving vanishing directly on the $K$22-page of the motivic filtration. At a parallel level, $K$23-invariant motivic cohomology refines homotopy $K$24-theory through slices and cdh descent. At a more structural level, conservativity, effectivity, singularity categories, and twisted $K$25-theory show how motive-level or categorical vanishing can govern harder invariants. Together these developments explain why “motivic refinement of Weibel’s vanishing” is no longer a metaphor: it is a precise program in which the classical bound for negative $K$26-groups is subsumed by sharper vanishing, support, and realization statements for motivic and noncommutative motivic objects.