The exceptional locus of a motivic local system

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la géométrie algébrique complexe et de la théorie des motifs, visant à généraliser des résultats profonds concernant les locus de Hodge aux systèmes locaux motiviques.

• Contexte classique : Pour une variation de structure de Hodge mixte admissible $V$ sur une variété algébrique complexe lisse et connexe $X$, le locus de Hodge (ou lieu de Hodge) est l'ensemble des points $x \in X(\mathbb{C})$ où la structure de Hodge $V_x$ possède plus de tenseurs de Hodge que la fibre générique. Le théorème célèbre de Cattani–Deligne–Kaplan (CDK) établit que ce lieu est une union dénombrable de sous-variétés algébriques fermées strictes.
• Limites de l'approche classique : Les preuves classiques reposent fortement sur l'analyse complexe (fonctions normales, théorie de Hodge). De plus, les aspects arithmétiques (champs de définition, stabilité sous conjugaison de Galois) sont moins bien compris dans le cadre de la théorie de Hodge pure.
• Objectif de l'article : Définir et étudier un analogue motivique du locus de Hodge, appelé locus exceptionnel, pour un système local motivique de Nori général (potentiellement mixte). L'objectif est d'établir une description géométrique et arithmétique de ce lieu en utilisant la théorie des groupes de Galois motiviques, sans passer par la conjecture de Hodge.

2. Méthodologie et Outils Théoriques

L'auteur adopte une approche purement tannakienne, s'appuyant sur la théorie des faisceaux motiviques de Nori et leurs groupes de Galois.

• Systèmes locaux motiviques : L'article utilise la catégorie abélienne $\mathsf{ML}(X)$ des systèmes locaux motiviques de Nori sur une variété $X$. Ces objets sont des faisceaux à valeurs dans la catégorie tannakienne des motifs de Nori $\mathsf{M}(\mathbb{C})$.
• Groupes de Galois motiviques : Pour un système local $M$ et un point $x$, le groupe de Galois motivique $G_{\text{mot}}(M, x)$ est le dual de Tannaka de la sous-catégorie tannakienne engendrée par la fibre $M_x$.
• Filtration par les motifs d'Artin : Une étape clé consiste à isoler la contribution des motifs d'Artin (liés aux revêtements finis étalés). L'auteur définit un sous-groupe $G_{\text{mot}}^\odot(M, x)$ comme le noyau de l'application vers le groupe de Galois des motifs d'Artin. Ce sous-groupe est conjecturalement la composante connexe du groupe de Galois total.
• Invariance par extension de corps : L'article utilise des résultats techniques cruciaux sur l'invariance des groupes de Galois motiviques sous extension de corps algébriquement clos (Théorèmes 2.11 et 2.15). Cela permet de comparer les fibres aux points génériques (densité de Zariski) avec les fibres aux points algébriques.
• Réalisation de Hodge : Pour les applications aux variations de structure de Hodge, l'auteur utilise la foncteur de réalisation de Hodge $\iota^{\text{Hdg}}_X : \mathsf{ML}(X) \to \mathsf{VHS}(X)$, dont la pleine fidélité est connue pour les systèmes locaux 1-motiviques (grâce aux travaux de Tubach et André).

3. Définitions Clés

• Locus Exceptionnel ($EL(M)$) : Pour un système local motivique $M$, le locus exceptionnel est l'ensemble des points $x \in X(\mathbb{C})$ tels que l'inclusion naturelle $G_{\text{mot}}(M_x) \hookrightarrow G_{\text{mot}}^\odot(M, x)$ n'est pas un isomorphisme.
  • Intuition : En dehors de ce lieu, la fibre $M_x$ est « aussi complexe » que le système global $M$ (à un facteur fini près). Sur le lieu exceptionnel, la complexité de la fibre diminue (le groupe de Galois devient plus petit).
• Locus de Séparation des Poids ($WL(M)$) : L'ensemble des points où la filtration de poids de $M_x$ se scinde (c'est-à-dire où $M_x$ est semi-simple).

4. Résultats Principaux

Les résultats sont énoncés sous forme de théorèmes majeurs (Théorèmes 3.5, 3.10, 4.13, 4.19) et se divisent en aspects géométriques et arithmétiques.

A. Aspect Géométrique

Pour un système local motivique $M$ qui n'est pas un motif d'Artin (resp. qui n'est pas semi-simple) :

1. Le locus exceptionnel $EL(M)$ (resp. le locus de séparation des poids $WL(M)$) est une union dénombrable de sous-ensembles de la forme $S(\mathbb{C})$, où $S$ est une sous-variété algébrique fermée stricte de $X$.
2. Cela généralise le théorème de Cattani–Deligne–Kaplan au contexte motivique mixte, sans hypothèse de pureté.

B. Aspect Arithmétique

Soit $k \subset \mathbb{C}$ un sous-corps tel que $X$ et $M$ admettent des modèles sur $k$ (notés $X_k$ et $M_k$).

1. Définition sur le corps de base : Toutes les sous-variétés fermées maximales contenues dans $EL(M)$ (ou $WL(M)$) sont définies sur $k$.
2. Stabilité de Galois : L'action naturelle du groupe de Galois $\text{Gal}(\bar{k}/k)$ sur $X(\mathbb{C})$ stabilise le locus $EL(M)$ (ou $WL(M)$).

C. Application aux Variations de 1-Motifs

En utilisant le théorème de pleine fidélité d'André pour les 1-motifs, l'auteur transfère ces résultats aux variations de structure de Hodge sous-jacentes aux systèmes locaux 1-motiviques :

• Le locus de Hodge (tensoriel) et le locus de séparation des poids d'une telle variation héritent des propriétés de dénombrabilité, de définition sur $k$ et de stabilité de Galois.

5. Preuves et Techniques de Démonstration

La démonstration repose sur une induction de Noether et une analyse fine des points génériques :

1. Réduction au cas générique : L'auteur montre que pour un point $z$ dense pour la topologie de Zariski d'un modèle $X_k$, le point $z$ n'appartient jamais au locus exceptionnel (sauf cas triviaux). Cela repose sur l'identification des systèmes locaux sur $X$ avec des motifs sur le corps des fonctions $k(X)$, et sur l'invariance des groupes de Galois sous extension de corps algébriquement clos.
2. Induction de Noether : Une fois le comportement générique établi, on utilise l'irréductibilité des sous-variétés. Si le locus exceptionnel contient un ouvert non vide d'une sous-variété stricte, il doit contenir toute la sous-variété.
3. Résolution des singularités : Pour traiter les sous-variétés singulières, l'auteur utilise la résolution des singularités de Hironaka pour ramener le problème au cas lisse, en vérifiant la compatibilité du locus exceptionnel avec les morphismes birationnels.
4. Stabilité de Galois : La preuve de la stabilité sous conjugaison de Galois utilise la fonctorialité des systèmes locaux motiviques et l'isomorphisme canonique entre un système et son conjugué par un automorphisme de Galois.

6. Signification et Impact

• Généralisation du théorème CDK : L'article fournit une preuve motivique (tannakienne) du théorème de Cattani–Deligne–Kaplan pour les variations mixtes, évitant les outils d'analyse complexe lourds utilisés dans les preuves originales.
• Nouveauté arithmétique : Le résultat sur la définition sur $k$ et la stabilité de Galois est une contribution majeure. Dans le cadre de la théorie de Hodge, ces propriétés sont souvent déduites de la théorie des variétés de Shimura mixtes, mais l'approche motivique de Terenzi est plus directe et s'applique à toute sous-catégorie tannakienne où la conjecture de pleine fidélité est vraie.
• Structure des groupes de Galois : Le travail clarifie la relation entre les groupes de Galois des fibres et le groupe global, en isolant la partie d'Artin et en montrant que la variation de complexité est contrôlée par des sous-variétés algébriques.
• Perspectives futures : La méthode développée ouvre la voie à l'étude de lieux spéciaux pour des variations de structure de Hodge plus générales (au-delà des 1-motifs), dès lors que la conjecture de pleine fidélité de la réalisation de Hodge peut être établie pour la catégorie considérée.

En résumé, Luca Terenzi réussit à traduire des problèmes profonds de géométrie algébrique et de théorie de Hodge en un langage purement motivique et tannakien, obtenant des résultats de structure géométrique et arithmétique robustes et élégants.