Grande monodromie pour les représentations de Prym supérieures

Informations fondamentales

• ID de l'article: 2401.13906
• Titre: Big monodromy for higher Prym representations
• Auteurs: Aaron Landesman, Daniel Litt, Will Sawin
• Classification: math.AG (Géométrie algébrique), math.GT (Topologie géométrique)
• Date de publication: Janvier 2024 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2401.13906

Résumé

Soit $\Sigma_{g'} \to \Sigma_g$ un revêtement d'une surface orientable de genre $g'$ au-dessus d'une surface orientable de genre $g$, ramifié en $n$ points, de groupe de Galois $H$. Un tel revêtement induit une action virtuelle du groupe de classes de mapping $\text{Mod}_{g,n+1}$ sur la surface de genre $g$ avec $n+1$ points marqués sur $H^1(\Sigma_{g'}, \mathbb{C})$. Lorsque $g$ est suffisamment grand relativement au groupe $H$, nous calculons précisément le groupe de monodromie connexe de cette action. La méthode repose sur la théorie de Hodge et dépend d'un « théorème de Torelli général avec coefficients ».

Contexte et motivation de la recherche

Contexte du problème

1. Généralisation des résultats classiques: En topologie géométrique classique, l'action du groupe de classes de mapping $\text{Mod}_g$ sur la première cohomologie $H^1(\Sigma_g, \mathbb{Z})$ de la surface $\Sigma_g$ est réalisée par le groupe de tous les automorphismes préservant le cup-produit, c'est-à-dire $\text{Sp}_{2g}(\mathbb{Z})$.
2. Représentations de Prym: Pour la cohomologie des variétés de Prym provenant de revêtements doubles étales, l'image de la représentation de monodromie a un indice fini dans $\text{Sp}_{2g-2}(\mathbb{Z})$.
3. Représentations de Prym supérieures: Pour un groupe fini arbitraire $H$ et une famille de revêtements galoisiens $H$ de courbes, il est nécessaire de déterminer la représentation de monodromie sur la première cohomologie de la courbe de revêtement.

Motivation de la recherche

1. Cadre unifié: Établir un cadre théorique unifié pour comprendre les groupes de monodromie dans différents cas de groupes de revêtement $H$.
2. Conjecture de grande monodromie: Vérifier le principe général selon lequel « le groupe de monodromie devrait être aussi grand que possible ».
3. Conjecture de Putman-Wieland: Fournir de nouvelles preuves et des preuves partielles pour les conjectures associées.

Contributions principales

1. Théorème principal: Lorsque le genre $g$ de la courbe de base est suffisamment grand, nous calculons précisément le groupe de monodromie connexe de la famille de revêtements $H$, en prouvant qu'il est égal au groupe dérivé du groupe $\text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$.
2. Innovations techniques:
   • Développement du « théorème de Torelli général avec coefficients »
   • Établissement de techniques de reconstruction fonctorielle
   • Preuve de nouveaux résultats de génération globale
3. Résultats d'application:
   • Description précise des groupes de Mumford-Tate
   • Détermination de l'algèbre des endomorphismes de la jacobienne
   • Vérification de nouveaux cas de la conjecture de Putman-Wieland
4. Fibrés de Kodaira: Analyse des groupes de monodromie de fibrés de Kodaira spéciaux.

Explication détaillée de la méthode

Définition de la tâche

Étant donné un groupe fini $H$ et un revêtement $H$ associé $\Sigma_{g'} \to \Sigma_g$, déterminer la composante connexe de la fermeture de Zariski de l'action virtuelle du groupe de classes de mapping $\text{Mod}_{g,n+1}$ sur $H^1(\Sigma_{g'}, \mathbb{C})$.

Théorème central

Théorème 1.3: Soit $H$ un groupe fini et $r$ la dimension maximale d'une représentation irréductible de $H$. Supposons que:

• $n = 0$ et $g \geq 2r + 2$, ou
• $n$ arbitraire et $g > \max(2r + 1, r^2)$

Alors la composante connexe de la fermeture de Zariski de l'image de la représentation de monodromie $R_\phi: \text{Mod}_\phi \to \text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$ est le groupe dérivé de $\text{Sp}(H^1(\Sigma_{g'}, \mathbb{C}))^H$.

Architecture technique

1. Reconstruction fonctorielle

• Idée centrale: Reconstruire la représentation de monodromie originale à partir de la dérivée de l'application des périodes
• Implémentation: Analyse des propriétés de l'application des périodes via les variations de Schiffer
• Point novateur: Utilisation de l'algorithme de reconstruction comme outil dans un argument par contradiction

2. Théorème de Torelli général

Théorème 6.2: Sous des hypothèses appropriées, on peut reconstruire fonctoriellement le fibré vectoriel $\hat{E}_0 \otimes \omega_C(D)$ à partir de la variation de structure de Hodge infinitésimale faible $\text{GH}_m(W^1R^1\pi^\circ_*U)$.

3. Analyse de la génération globale

Proposition 4.9: Pour une courbe générale à $n$ points $(C,D)$, si $g \geq 2 + 2r$, alors $\hat{E}^p_0 \otimes \omega_C(D)$ est non seulement générique globalement engendré, mais globalement engendré.

Stratégie de preuve

1. Simplicité: Preuve d'abord que le groupe de monodromie est simple (Théorème 6.7)
2. Classification: Utilisation de la classification de Deligne-Zarhin pour déterminer les types possibles de groupes de monodromie
3. Méthode d'exclusion: Exclusion des représentations non standard via les techniques de reconstruction fonctorielle
4. Auto-dualité: Analyse des propriétés d'auto-dualité de la représentation pour déterminer la forme finale

Configuration expérimentale

Vérification théorique

Comme il s'agit d'un article de mathématiques pures théoriques, il n'y a pas d'expériences au sens traditionnel, mais plutôt une vérification par des preuves mathématiques rigoureuses.

Méthodes de vérification

1. Vérification de cas particuliers: Vérification que les cas connus (par exemple, lorsque $H$ est un groupe abélien) sont conformes aux prédictions théoriques
2. Comportement asymptotique: Analyse du comportement lorsque $g \to \infty$
3. Cas limites: Étude du comportement dans les conditions critiques

Résultats principaux

Résultats fondamentaux

Théorème 1.9: Sous des conditions appropriées, l'image de la représentation de monodromie est Zariski-dense dans les groupes suivants:

• Lorsque $\rho$ est symplectique auto-dual: $\text{SO}(W^1H^1(\Sigma_{g,n}, V_\rho))$
• Lorsque $\rho$ est orthogonal auto-dual: $\text{Sp}(W^1H^1(\Sigma_{g,n}, V_\rho))$
• Lorsque $\rho$ n'est pas auto-dual: produit de $\text{SL}(W^1H^1(\Sigma_{g,n}, V_\rho))$ avec un sous-groupe fini du centre

Corollaires

Corollaire 1.10: Pour une courbe $H$ très générale $X$, le groupe de Mumford-Tate de $H^1(X, \mathbb{Q})$ contient le groupe dérivé de $\text{Sp}(H^1(X, \mathbb{Q}))^H$.

Corollaire 1.11: L'algèbre des endomorphismes de la jacobienne $\text{Jac}(X)$ est $\mathbb{Q}[H]$.

Cas de grand $n$

Théorème 1.15: Lorsque le nombre de points de ramification $\Delta > \frac{3r^2}{\sqrt{g+1}} + 8r$, il n'existe pas de vecteur à orbite finie non nul sous l'action du groupe de monodromie.

Travaux connexes

Développement historique

1. Looijenga (1997): Résultats dans le cas abélien
2. GLLM (2015): Cas particuliers de groupes de revêtement non-abéliens
3. Travaux antérieurs de Landesman-Litt: Développement des techniques fondamentales

Connexions techniques

• Théorie de Hodge: Utilisation de la théorie des variations de structures de Hodge
• Fibrés vectoriels paraboliques: Via la correspondance de Mehta-Seshadri
• Représentations du groupe de classes de mapping: Connexion entre la topologie et la géométrie algébrique

Conclusion et discussion

Conclusions principales

1. Lorsque le genre de la courbe de base est suffisamment grand, le groupe de monodromie de la représentation de Prym supérieure atteint la taille théoriquement maximale possible
2. Établissement d'une méthode générale de reconstruction de la représentation originale à partir de l'application des périodes
3. Fourniture de preuves solides pour la conjecture de Putman-Wieland

Limitations

1. Conditions sur le genre: Nécessité que $g$ soit suffisamment grand relativement aux dimensions des représentations de $H$
2. Effectivité: Les bornes peuvent ne pas être optimales
3. Arithméticité: La méthode ne peut pas déterminer si l'image est un groupe arithmétique

Directions futures

1. Amélioration des bornes: Recherche de bornes inférieures plus précises sur le genre
2. Problèmes d'arithméticité: Étude des propriétés arithmétiques de l'image
3. Analogues pour les groupes libres: Extension à d'autres représentations de groupes

Évaluation approfondie

Avantages

1. Profondeur théorique: Combinaison de techniques profondes en géométrie algébrique, topologie et théorie des représentations
2. Innovation méthodologique: La technique de reconstruction fonctorielle est entièrement nouvelle et possède un large potentiel d'application
3. Complétude des résultats: Caractérisation complète du groupe de monodromie, pas seulement des résultats d'existence
4. Percée technique: Résolution des difficultés techniques clés concernant la génération globale

Insuffisances

1. Restrictions des conditions: Les exigences sur le genre peuvent être trop strictes
2. Complexité computationnelle: Les dépendances des bornes dans les calculs pratiques sont complexes
3. Généralisation: Certaines techniques peuvent être difficiles à généraliser à d'autres cas

Impact

1. Contribution théorique: Contribution importante à la théorie des représentations du groupe de classes de mapping
2. Valeur méthodologique: La méthode de reconstruction fonctorielle possède une valeur indépendante
3. Perspectives d'application: Applications potentielles en statistique arithmétique et géométrie birationnelle équivariante

Domaines d'application

• Théorie des revêtements de courbes de haut genre
• Représentations linéaires du groupe de classes de mapping
• Applications de la théorie de Hodge en géométrie algébrique
• Calcul et classification des groupes de monodromie

Explication détaillée des innovations techniques

Algorithme de reconstruction fonctorielle

Il s'agit de l'innovation technique centrale de l'article, dont le fonctionnement est le suivant:

1. Entrée: Variation de structure de Hodge infinitésimale faible
2. Traitement: Analyse de la dérivée de l'application des périodes via les variations de Schiffer
3. Sortie: Reconstruction du fibré vectoriel parabolique original

Percée en génération globale

Contrairement aux travaux antérieurs qui ne pouvaient prouver que la génération générique globale, cet article prouve la génération globale effective en analysant les obstructions à la génération globale.

Application du critère de Goursat-Kolchin-Ribet

Utilisation astucieuse de ce critère pour élever les résultats de grande monodromie d'une représentation individuelle au cas du produit de toutes les représentations.

Cet article représente un progrès important dans le domaine d'intersection entre la théorie des représentations du groupe de classes de mapping et la géométrie algébrique. Ses innovations techniques et sa profondeur théorique atteignent un niveau très élevé, jetant une base solide pour les développements futurs dans les domaines connexes.