The weight filtration on real singular homology is motivic

Basic Information

• Paper ID: 2510.13379
• Title: The weight filtration on real singular homology is motivic
• Author: Raphaël Ruimy
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13379

Abstract

This paper provides an alternative construction of Totaro's weight filtration on singular homology of real points of real algebraic varieties. Our construction demonstrates that this filtration originates from the Bondarko weight filtration on Voevodsky motives.

Research Background and Motivation

Problem Background

1. Historical Development of Weight Filtrations: Deligne introduced weight filtrations on singular cohomology and ℓ-adic cohomology of complex algebraic varieties, which were originally envisioned by Grothendieck as shadows of motivic weight filtrations.
2. Success in the Complex Case: Over the complex numbers, a complete theoretical framework has been established:
   • Voevodsky constructed the category of geometric motives DMgm(k,Λ)
   • Ayoub's Betti realization maps the motivic weight filtration to the weight filtration on singular homology
   • Similar results hold for étale and ℓ-adic realizations
3. Challenges in the Real Case:
   • Totaro proposed in 2002 the existence of weight filtrations on singular cohomology of real points of real algebraic varieties
   • McCrory and Parusiński proved this result in 2011 and 2014
   • However, their construction is technical and does not obviously possess motivic properties

Research Motivation

The core motivation of this paper is to prove that the weight filtration on real algebraic varieties has motivic origin, namely that it originates from the Bondarko weight filtration in Voevodsky's theory of motives. This realizes Grothendieck's original vision of the motivic nature of weight filtrations in the real case.

Core Contributions

1. Constructed the real motivic realization functor ρR : DMgm(ℝ,𝔽₂) → Db(𝔽₂), mapping motives of real algebraic varieties to the derived category with 𝔽₂-coefficients
2. Proved the motivic origin of weight filtrations: Demonstrated that the Totaro-McCrory-Parusiński weight filtration actually originates from Bondarko's motivic weight filtration
3. Developed new technical tools:
   • Adapted Robalo's universal property of motivic sheaves to the Voevodsky motives setting
   • Used Jacobson's theorem to relate real cohomology to Zariski cohomology
   • Exploited deep results from the Milnor conjecture
4. Unified different cohomology theories: Provided a unified motivic construction for ordinary homology, Borel-Moore homology, cohomology, and compactly supported cohomology

Detailed Methodology

Theoretical Framework

1. Higher Categorical Construction

The paper first establishes the necessary foundations in higher categorical theory:

• Defined various variants of symmetric monoidal ∞-categories MCat^K_∞
• Constructed stabilization of chain complex categories K^b(A)⊗ = SW(K^b_≥0(A))⊗
• Established relationships between Spanier-Whitehead categories and stabilization

2. Universal Property of Voevodsky Motives

Theorem 2.3: Let k be a perfect field, Λ a commutative ring, and C⊗ a small symmetric monoidal idempotent complete stable ∞-category. Then the functor

Fun_MCat^st_∞(DMgm(k,Λ)⊗, C⊗) → Fun_MCat^Σ_∞(Smcor(k,Λ)⊗, C⊗)

is fully faithful, with essential image consisting of symmetric monoidal ∞-functors F satisfying:

1. A¹-homotopy invariance
2. Nisnevich sheaf property
3. ⊗-invertibility of Tate objects

Construction of Realization Functors

3. Key Techniques for Real Realization

The main difficulty in constructing real realization is that real singular cohomology is not an étale-local invariant. The solution proceeds through the following steps:

Step 1: Application of Witt Ring Theory

• Use the Witt ring W(X) and its fundamental ideal I(X) with powers I^n(X)
• Define quotients I̅^n(X) = I^n(X)/I^(n+1)(X)
• Construct the sheaf I_∞ := colim_n I_n

Step 2: Application of Jacobson's TheoremTheorem 3.4: The map s_∞ : I_∞ → ι_*𝔽₂ is an isomorphism of Zariski sheaves, where ι : X(ℝ) ↪ X.

This yields the isomorphism: H^n(X, I_∞) ≅ H^n(X(ℝ), 𝔽₂)

Step 3: Use of Gersten Resolution Utilize the Gersten resolution of I^m sheaves:

0 → I^m → ⊕_{x∈(-)^(0)} I̅^m(k(x)) → ⊕_{x∈(-)^(1)} I̅^(m-1)(k(x)) → ⋯

The existence of this resolution depends on deep results from the Milnor conjecture.

4. Properties of Realization Functors

Proposition 3.9: The functor H^cor_* : Smcor(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂} factors through DMgm(ℝ,𝔽₂)⊗.

This yields the real realization functor: ρR : DMgm(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂}

Construction of Weight Filtrations

5. Weight Structure Theory

Using Bondarko's theory of weight structures:

Definition 4.1: A full subcategory H of a stable ∞-category C is the heart of a bounded weight structure if and only if:

1. It is closed under finite coproducts and retracts
2. It generates C under finite limits and colimits
3. For all X,Y ∈ H, the mapping spectrum map_C(X,Y) is connected

6. Weight Complex Functor

Lemma 4.3 (Aoki): There exists an equivalence C⊗ ≃ SW(P^rex_Σ(H))⊗

This leads to the weight complex functor:

DMgm(ℝ,𝔽₂)⊗ → K^b(Chow(ℝ,𝔽₂))⊗ → GrVect^⊗_{𝔽₂}

7. Filtered Realization Functor

Define the filtered realization functor:

ρ^W_R : DMgm(ℝ,𝔽₂)⊗ → K^b(GrVect_{𝔽₂})⊗

Its composition with Tot yields ρR.

Main Results

Motivic Nature of Weight Filtrations

Theorem 4.6: Let WH_* := ρ^W_R ∘ M, WH^BM_* := ρ^W_R ∘ M^BM, etc. These functors refine the homology theories of real traces and produce weight spectral sequences converging to these cohomology theories.

Relationship with Existing Theory

Proposition 3.12: The realization functor ρR maps:

• M to C_*(−,𝔽₂) (singular chain complex)
• M^BM to C^BM_*(−,𝔽₂) (singular chain complex with compact support)
• h to C^*(−,𝔽₂) (singular cochain complex)
• h_c to C^*_c(−,𝔽₂) (singular cochain complex with compact support)

Technical Innovations

1. Application of Higher Categorical Methods

• Systematic use of ∞-category theory to handle universal properties of motivic categories
• Adaptation of Robalo's methods to the specific setting of Voevodsky motives

2. Special Treatment of Real Geometry

• Clever use of Witt ring theory to circumvent the difficulty that real cohomology is not étale-local
• Establishment of a bridge between real cohomology and Zariski cohomology via Jacobson's theorem

3. Application of Deep Algebraic Geometry Results

• Critical dependence on the proof of the Milnor conjecture (Orlov-Vishik-Voevodsky)
• Use of fine properties of Gersten resolutions

Theoretical Significance

1. Completion of Grothendieck's Program

This paper completes Grothendieck's vision regarding the motivic origin of weight filtrations in the real case, forming a complete picture alongside the complex and ℓ-adic cases.

2. Unification of Different Approaches

Provides a conceptual understanding of the technical McCrory-Parusiński construction, revealing its underlying motivic structure.

3. Methodological Contribution

Demonstrates how to construct motivic realizations in the absence of étale-locality, providing a paradigm for similar problems.

Limitations and Future Directions

Limitations

1. Coefficient Restrictions: Construction is limited to 𝔽₂ coefficients due to special properties of real cohomology
2. Technical Complexity: Depends on multiple deep results (Milnor conjecture, Jacobson's theorem, etc.)
3. Scope of Application: Primarily applies to specific cases in real algebraic geometry

Future Directions

1. Generalization to Other Coefficients: Explore whether the construction can be generalized to other coefficient rings
2. Computational Aspects: Develop effective methods for computing weight filtrations
3. Applications: Apply results to concrete geometric problems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully incorporates weight filtrations in real algebraic geometry into the motivic theory framework
2. Technical Innovation: Cleverly combines deep results from multiple fields to solve difficult problems
3. Completeness: Provides a unified framework for treating various cohomology theories
4. Conceptual Clarity: Elevates technical constructions to conceptual understanding

Technical Assessment

1. Novel Methods: The approach using Witt ring theory for real geometric problems is original
2. Important Results: Fills an important gap in motivic theory for the real case
3. Rigorous Proofs: Use of higher categorical theory ensures functoriality of the construction

Impact

1. Theoretical Contribution: Provides new motivic-theoretic tools for real algebraic geometry
2. Methodological Value: Demonstrates general methods for handling non-standard realization problems
3. Future Research: Lays foundations for further development of real motivic geometry

Key References

The paper cites key literature in the field, including:

• Foundational work by Voevodsky et al. on motivic theory
• Bondarko's theory of weight structures
• Original construction of real weight filtrations by McCrory-Parusiński
• Jacobson's work on real cohomology and Witt rings
• Proof of the Milnor conjecture (OVV07)

These citations reflect the author's deep understanding of the field's development and mastery of relevant techniques.