La filtration de poids sur l'homologie singulière réelle est motivique

Informations fondamentales

• ID de l'article: 2510.13379
• Titre: La filtration de poids sur l'homologie singulière réelle est motivique
• Auteur: Raphaël Ruimy
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 15 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.13379

Résumé

Cet article fournit une construction alternative de la filtration de poids de Totaro sur l'homologie singulière aux points réels des variétés algébriques réelles. Notre construction montre que cette filtration provient de la filtration de poids de Bondarko sur les motifs de Voevodsky.

Contexte et motivation de la recherche

Contexte du problème

1. Développement historique de la filtration de poids: Deligne a introduit la filtration de poids sur la cohomologie singulière et la cohomologie ℓ-adique des variétés algébriques complexes, ces filtrations étant initialement envisagées par Grothendieck comme des ombres de la filtration de poids motivique.
2. Succès dans le cas complexe: Sur le corps des complexes, un cadre théorique complet a été établi:
   • Voevodsky a construit la catégorie des motifs géométriques DMgm(k,Λ)
   • La réalisation de Betti d'Ayoub applique la filtration de poids motivique à la filtration de poids de l'homologie singulière
   • Des résultats analogues valent également pour les réalisations étale et ℓ-adique
3. Défis dans le cas réel:
   • Totaro a proposé en 2002 l'existence d'une filtration de poids sur la cohomologie singulière aux points réels des variétés algébriques réelles
   • McCrory et Parusiński ont prouvé ce résultat en 2011 et 2014
   • Cependant, leur construction est technique et ne manifeste pas clairement sa nature motivique

Motivation de la recherche

La motivation centrale de cet article est de prouver que la filtration de poids sur les variétés algébriques réelles possède une origine motivique, c'est-à-dire qu'elle provient de la filtration de poids de Bondarko dans la théorie des motifs de Voevodsky. Cela réalisera complètement la vision originelle de Grothendieck concernant la nature motivique de la filtration de poids dans le cas réel.

Contributions principales

1. Construction du foncteur de réalisation réelle ρR : DMgm(ℝ,𝔽₂) → Db(𝔽₂), appliquant les motifs des variétés algébriques réelles à la catégorie dérivée à coefficients 𝔽₂
2. Preuve de l'origine motivique de la filtration de poids: Démonstration que la filtration de poids de Totaro-McCrory-Parusiński provient en réalité de la filtration de poids motivique de Bondarko
3. Développement de nouveaux outils techniques:
   • Adaptation de la propriété universelle des faisceaux motiviques de Robalo au cadre des motifs de Voevodsky
   • Utilisation du théorème de Jacobson pour relier la cohomologie réelle à la cohomologie de Zariski
   • Exploitation des résultats profonds de la conjecture de Milnor
4. Unification de différentes théories de cohomologie: Fourniture d'une construction motivique unifiée pour l'homologie ordinaire, l'homologie de Borel-Moore, la cohomologie et la cohomologie à supports compacts

Explication détaillée de la méthode

Cadre théorique

1. Construction en ∞-catégories

L'article établit d'abord les fondations nécessaires de la théorie des ∞-catégories:

• Définition de diverses variantes de ∞-catégories monoïdales symétriques MCat^K_∞
• Construction de la stabilisation de la catégorie des complexes de chaînes K^b(A)⊗ = SW(K^b_≥0(A))⊗
• Établissement des relations entre les catégories de Spanier-Whitehead et la stabilisation

2. Propriété universelle des motifs de Voevodsky

Théorème 2.3: Soit k un corps parfait, Λ un anneau commutatif, C⊗ une petite ∞-catégorie monoïdale symétrique idempotente complète stable. Alors le foncteur

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

est pleinement fidèle, son image essentielle étant constituée des ∞-foncteurs monoïdaux symétriques F satisfaisant:

1. L'invariance A¹-homotopique
2. La propriété de faisceau de Nisnevich
3. L'inversibilité ⊗ des objets de Tate

Construction du foncteur de réalisation

3. Techniques clés de la réalisation réelle

La construction du foncteur de réalisation réelle fait face à la principale difficulté que la cohomologie singulière réelle n'est pas un invariant étale-local. La solution procède par les étapes suivantes:

Étape 1: Application de la théorie des anneaux de Witt

• Utilisation de l'anneau de Witt W(X) et de son idéal fondamental I(X) et ses puissances I^n(X)
• Définition du quotient I̅^n(X) = I^n(X)/I^(n+1)(X)
• Construction du faisceau I_∞ := colim_n I_n

Étape 2: Application du théorème de JacobsonThéorème 3.4: L'application s_∞ : I_∞ → ι_*𝔽₂ est un isomorphisme de faisceaux de Zariski, où ι : X(ℝ) ↪ X.

Ceci donne l'isomorphisme: H^n(X, I_∞) ≅ H^n(X(ℝ), 𝔽₂)

Étape 3: Utilisation de la décomposition de Gersten Exploitation de la décomposition de Gersten des faisceaux I^m:

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

L'existence de cette décomposition dépend des résultats profonds de la conjecture de Milnor.

4. Propriétés du foncteur de réalisation

Proposition 3.9: Le foncteur H^cor_* : Smcor(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂} se factorise à travers DMgm(ℝ,𝔽₂)⊗.

Ceci donne le foncteur de réalisation réelle: ρR : DMgm(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂}

Construction de la filtration de poids

5. Théorie des structures de poids

Utilisation de la théorie des structures de poids de Bondarko:

Définition 4.1: Une sous-catégorie pleine H d'une ∞-catégorie stable C est le cœur d'une structure de poids bornée si et seulement si:

1. Elle est fermée par coproduits finis et rétractes
2. Elle engendre C par limites et colimites finies
3. Pour tous X,Y ∈ H, le spectre de mapping map_C(X,Y) est connexe

6. Foncteur de complexe de poids

Lemme 4.3 (Aoki): Il existe une équivalence C⊗ ≃ SW(P^rex_Σ(H))⊗

Ceci conduit au foncteur de complexe de poids:

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

7. Foncteur de réalisation filtrée

Définition du foncteur de réalisation filtrée:

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

Sa composition avec Tot donne ρR.

Résultats principaux

Nature motivique de la filtration de poids

Théorème 4.6: Soit WH_* := ρ^W_R ∘ M, WH^BM_* := ρ^W_R ∘ M^BM, etc. Ces foncteurs raffinent les théories d'homologie des traces réelles et produisent des suites spectrales de poids convergeant vers ces théories de cohomologie.

Relations avec la théorie existante

Proposition 3.12: Le foncteur de réalisation ρR applique:

• M à C_*(−,𝔽₂) (complexe de chaînes singulières)
• M^BM à C^BM_*(−,𝔽₂) (complexe de chaînes singulières à supports compacts)
• h à C^*(−,𝔽₂) (complexe de cochaînes singulières)
• h_c à C^*_c(−,𝔽₂) (complexe de cochaînes singulières à supports compacts)

Points d'innovation technique

1. Application de la méthode des ∞-catégories

• Utilisation systématique de la théorie des ∞-catégories pour traiter la propriété universelle de la catégorie des motifs
• Adaptation de la méthode de Robalo au cadre spécifique des motifs de Voevodsky

2. Traitement spécial de la géométrie réelle

• Utilisation ingénieuse de la théorie des anneaux de Witt pour contourner la difficulté que la cohomologie réelle n'est pas étale-locale
• Établissement d'un pont entre la cohomologie réelle et la cohomologie de Zariski via le théorème de Jacobson

3. Application de résultats profonds de géométrie algébrique

• Dépendance cruciale de la preuve de la conjecture de Milnor (Orlov-Vishik-Voevodsky)
• Utilisation des propriétés fines de la décomposition de Gersten

Signification théorique

1. Accomplissement du programme de Grothendieck

Cet article réalise complètement dans le cas réel la vision de Grothendieck concernant l'origine motivique de la filtration de poids, formant un tableau complet avec les cas complexe et ℓ-adique.

2. Unification de différentes approches

Fourniture d'une compréhension conceptuelle de la construction technique de McCrory-Parusiński, révélant sa structure motivique profonde.

3. Contribution méthodologique

Démonstration de la façon de construire une réalisation motivique en l'absence de localité étale, fournissant un paradigme pour des problèmes similaires.

Limitations et directions futures

Limitations

1. Restriction des coefficients: La construction est limitée aux coefficients 𝔽₂, en raison des propriétés spéciales de la cohomologie réelle
2. Complexité technique: Dépendance de plusieurs résultats profonds (conjecture de Milnor, théorème de Jacobson, etc.)
3. Domaine d'application: Principalement applicable aux cas spécifiques de la géométrie algébrique réelle

Directions futures

1. Généralisation à d'autres coefficients: Exploration de la possibilité de généraliser à d'autres anneaux de coefficients
2. Aspects computationnels: Développement de méthodes effectives pour calculer les filtrations de poids
3. Applications: Application des résultats à des problèmes géométriques concrets

Évaluation approfondie

Avantages

1. Profondeur théorique: Succès dans l'intégration de la filtration de poids de la géométrie algébrique réelle dans le cadre de la théorie motivique
2. Innovation technique: Combinaison ingénieuse de résultats profonds de plusieurs domaines pour résoudre un problème difficile
3. Complétude: Fourniture d'un cadre unifié pour traiter diverses théories de cohomologie
4. Clarté conceptuelle: Élévation de la construction technique à une compréhension conceptuelle

Évaluation technique

1. Originalité de la méthode: Caractère original de l'utilisation de la théorie des anneaux de Witt pour traiter les problèmes de géométrie réelle
2. Importance des résultats: Comblage d'une lacune importante de la théorie motivique dans le cas réel
3. Rigueur de la preuve: Utilisation de la théorie des ∞-catégories pour assurer la fonctorialité de la construction

Portée de l'impact

1. Contribution théorique: Fourniture de nouveaux outils de théorie motivique pour la géométrie algébrique réelle
2. Valeur méthodologique: Démonstration d'une méthode générale pour traiter les problèmes de réalisation non-standard
3. Recherche future: Établissement des fondations pour le développement ultérieur de la géométrie motivique réelle

Points clés des références

L'article cite les textes fondamentaux du domaine, notamment:

• Les travaux fondateurs de Voevodsky et al. sur la théorie motivique
• La théorie des structures de poids de Bondarko
• La construction originelle de la filtration de poids réelle par McCrory-Parusiński
• Les relations entre la cohomologie réelle et les anneaux de Witt selon Jacobson
• La preuve de la conjecture de Milnor (OVV07)

Ces références reflètent la compréhension profonde de l'auteur du développement du domaine et sa maîtrise des techniques pertinentes.