Réalisation solide des motifs avec module

Informations fondamentales

• ID de l'article: 2510.13596
• Titre: Solid realization of motives with modulus
• Auteur: Keiho Matsumoto
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 15 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.13596

Résumé

Cet article construit un foncteur de réalisation covariant Solid_m(−) de la catégorie des motifs avec module vers la catégorie dérivée des modules solides au sens de Clausen-Scholze. Pour les paires de modules lisses (X,D), le dual de Solid_m(X,D) retrouve la réalisation de Hodge de (X,D) selon Kelly-Miyazaki. En utilisant le théorème de comparaison pro-solide de Ren, l'auteur décrit explicitement Solid_m(X,D) et calcule Solid_m(Cone(M(U,D|U)→M(X,D))) dans le cas où X est une variété algébrique lisse et propre sur un corps, D⊂X est un diviseur à croisements normaux simples, et U⊂X est une immersion ouverte, en caractérisant le résultat par la complétude formelle de X̂{X\U} le long du complémentaire X\U.

Contexte et motivation de la recherche

1. Problème central: Construire un foncteur de réalisation de la catégorie des motifs avec module vers la catégorie dérivée des modules solides, ce qui représente une direction importante du développement de la théorie des motifs en géométrie algébrique.
2. Importance:
   • La théorie des motifs avec module est une généralisation importante de la théorie des motifs de Voevodsky, capable de traiter les objets géométriques avec bords
   • La théorie des modules solides, développée par Clausen-Scholze, est un nouveau cadre de théorie de la cohomologie possédant d'excellentes propriétés fonctoriques
   • Relier ces deux théories contribue à la compréhension des propriétés arithmétiques et topologiques des objets géométriques
3. Limitations existantes:
   • La réalisation de Hodge de Kelly-Miyazaki ne fournit qu'un foncteur contravariant
   • Absence d'un cadre unifié pour traiter les problèmes de réalisation des objets géométriques avec module
   • Les théories discrètes traditionnelles ne peuvent pas traiter certains problèmes de complétude
4. Motivation de la recherche: Exploiter les avantages de la théorie des modules solides pour construire un foncteur de réalisation covariant et fournir une interprétation géométrique via la géométrie formelle

Contributions principales

1. Construction d'un foncteur de réalisation covariant: Du foncteur de la catégorie des motifs avec module PNor(A) vers la catégorie dérivée D(A■) des modules A■-solides Solid(−)
2. Établissement des propriétés fondamentales du foncteur: Démonstration de l'invariance □, de l'invariance par éclatement lisse, de la monodromie symétrique et d'autres propriétés importantes
3. Généralisation au cas général: Construction du foncteur plus général Solid_m(−), dont le dual retrouve la cohomologie de Hodge de Kelly-Miyazaki
4. Fourniture de descriptions explicites: Utilisation du théorème de comparaison pro-solide de Ren pour donner des formules de calcul concrètes de Solid_m(X,D)
5. Applications géométriques: Caractérisation de la signification géométrique de l'objet cône Solid_m(Cone(M(U,D|_U)→M(X,D))) par la complétude formelle

Détails des méthodes

Définition de la tâche

Pour un anneau commutatif noethérien discret A, construire le foncteur:

Solid : PNor(A) → D(A■)

où PNor(A) est la catégorie des paires de modules dont l'espace total est normal, et A■ := (A,A)■ est l'anneau pré-analytique associé à A.

Construction centrale

Pour une paire de modules (X,D) ∈ PNor(A), définir:

Solid(X,D) := f!(f!A ⊗^L_{O_{X,■}} O_X(-D + |D|))

où f: X → Spec A est le morphisme structural.

Points d'innovation technique

1. Application du formalisme des six foncteurs: Utilisation du formalisme des six foncteurs pour les modules solides établi par Clausen-Scholze avec f!, f!
2. Traitement des paires de modules: Transformation ingénieuse de la paire de modules (X,D) en fibré en droites O_X(-D + |D|), où |D| désigne le support de D
3. Comparaison pro-solide: Utilisation du théorème de Ren pour relier la construction pro-cohérente de Deligne à celle de Clausen-Scholze

Théorèmes principaux

Contenu central du Théorème 1.1

Pour un anneau commutatif noethérien discret A et un anneau analytique A■, le foncteur Solid(−) satisfait:

1. Fonctorialité: Pour un morphisme environnemental h: (Y,C) → (X,D), il existe un morphisme h_+: Solid(Y,C) → Solid(X,D)
2. Invariance □: Le morphisme naturel Solid((X,D)⊗□) → Solid(X,D) est un isomorphisme
3. Invariance par éclatement: Sous des conditions appropriées, Solid(Bl_Z X, p*D) → Solid(X,D) est un isomorphisme
4. Calcul de cohomologie: Quand X est lisse et propre sur A,

   H^{i+dim X}(X, Ω^{dim X}_{X/A}(-D + |D|)) ≃ H^{-i}(X, O(D - |D|))^∨
   

5. Dualité: Quand X est une intersection complète,

   RHom_{A■}(Solid(X,D), A) ≃ RΓ_{Zar}(X, O_X(D - |D|))
   

Généralisation au foncteur Solid_m

Pour une paire de modules normale (X,D) et m ≥ 0, définir:

Solid_m(X,D) := f! Hom_{O_{X,■}}(Ω^m_{X/A}(log |D|), f!A ⊗ O_{X,■} O_X(-D + |D|))

Quand X est lisse, ceci se simplifie en:

Solid_m(X,D) = f! Ω^{dim X - m}_{X/A}(log |D|)(-D)[dim X]

Descriptions explicites et applications

Formule explicite du Théorème 4.3

Soit A un corps, X une variété algébrique lisse sur A, avec compactification lisse j: X ↪ Y. Alors:

Solid_m(X,D) ≃ holim_n Rg_*(I^n ⊗ Ω^{d-m}_{Y/A}(log |D̃|)(-D̃))[d]

où I est le faisceau d'idéaux du complémentaire, d = dim X.

Application géométrique du Théorème 4.4

Pour une variété algébrique lisse et propre X et une immersion ouverte j: U ↪ X, on a:

Solid_m(Cone(M(U,D|_U) → M(X,D))) ≃ Rg_*(Ω^{d-m}_{X/A}(log |D|)(-D))^∧_Z[d]

où le membre de droite est la complétude formelle le long du complémentaire fermé Z = X\U.

Méthodes techniques

Formalisme des six foncteurs

L'article utilise largement le formalisme des six foncteurs pour les modules solides établi par Clausen-Scholze:

• f_, f^: foncteurs image directe et image réciproque
• f_!, f^!: foncteurs image directe exceptionnelle et image réciproque exceptionnelle
• ⊗, RHom: foncteurs produit tensoriel et homomorphismes internes

Lemme clé

Lemme 3.2: Pour un complexe parfait discret borné P et Q ∈ D(O_{X,■}), il existe un isomorphisme:

h! Hom_{O_{X,■}}(P,Q) ≃ Hom_{O_{Y,■}}(h*P, h!Q)

Ce lemme est un outil clé pour la construction des morphismes du foncteur.

Travaux connexes

1. Travaux de Kelly-Miyazaki: Établissement de la théorie de la cohomologie de Hodge avec module, mais fournissant seulement un foncteur contravariant
2. Théorie des modules solides de Clausen-Scholze: Fourniture d'un nouveau cadre de théorie de la cohomologie et du formalisme des six foncteurs
3. Théorème de comparaison pro-solide de Ren: Connexion entre la théorie pro-cohérente de Deligne et la théorie des modules solides
4. Théorie des motifs de Voevodsky: Le travail présent peut être considéré comme une généralisation de la théorie des motifs dans le cadre des modules solides

Conclusions et discussion

Conclusions principales

1. Construction réussie d'un foncteur de réalisation covariant des motifs avec module vers les modules solides
2. Établissement des propriétés fondamentales et des formules de calcul de ce foncteur
3. Fourniture d'une interprétation géométrique des objets cônes par la géométrie formelle

Limitations

1. Certains résultats nécessitent l'hypothèse de caractéristique 0
2. Pour les paires de modules générales, la normalité ou la lissité est requise
3. Les calculs explicites dépendent de configurations géométriques spécifiques

Directions futures

1. Généralisation à des anneaux de base plus généraux et à des objets géométriques
2. Étude des relations avec d'autres foncteurs de réalisation
3. Exploration des applications en géométrie arithmétique

Évaluation approfondie

Avantages

1. Innovation théorique: Première construction d'une réalisation covariant des motifs avec module vers les modules solides, comblant un vide théorique
2. Profondeur technique: Application ingénieuse du formalisme des six foncteurs et du théorème de comparaison pro-solide
3. Intuition géométrique: Fourniture d'une interprétation géométrique des constructions abstraites par la complétude formelle
4. Complétude: Démonstration de toutes les propriétés fondamentales du foncteur de réalisation

Insuffisances

1. Seuil technique élevé: Nécessité pour le lecteur de posséder une connaissance approfondie de la théorie des modules solides et de la théorie des motifs
2. Applications limitées: Actuellement principalement une construction théorique, les applications pratiques nécessitent un développement ultérieur
3. Hypothèses fortes: De nombreux résultats nécessitent des hypothèses géométriques fortes comme la normalité et la lissité

Portée d'impact

1. Signification théorique: Fourniture d'une nouvelle méthode de réalisation pour la théorie des motifs avec module
2. Contribution technique: Démonstration du potentiel d'application de la théorie des modules solides en géométrie algébrique
3. Développement futur: Établissement des fondations pour la recherche ultérieure dans les domaines connexes

Scénarios d'application

1. Étude des objets géométriques algébriques avec bords
2. Calculs de cohomologie en géométrie arithmétique
3. Problèmes de réalisation en théorie des motifs
4. Théorie de la géométrie formelle et de la complétude

Références

L'article cite les références clés suivantes:

1. Shane Kelly and Hiroyasu Miyazaki. Hodge cohomology with a ramification filtration
2. Clausen and Scholze. Lectures on condensed mathematics
3. Fei Ren. Coherent six-functor formalisms: Pro vs solid
4. Hiroyasu Miyazaki. Nisnevich topology with modulus

Ces références constituent le support fondamental du noyau théorique de cet article.