La stratification EKOR sur la variété modulaire de Siegel avec structure de niveau parahorique

Informations fondamentales

• ID de l'article: 2206.07470
• Titre: La stratification EKOR sur la variété modulaire de Siegel avec structure de niveau parahorique
• Auteur: Manuel Hoff (Universität Bielefeld)
• Classification: math.AG (Géométrie algébrique)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 5
• Lien de l'article: https://arxiv.org/abs/2206.07470

Résumé

Cet article étudie la géométrie arithmétique de la variété modulaire de Siegel avec structure de niveau parahorique sous réduction modulo p. L'auteur réalise la stratification EKOR sur cette variété comme les fibres d'un morphisme lisse pointant vers un champ algébrique paramétrant certaines chaînes de polarisations de cristaux tronqués.

Contexte et motivation de la recherche

Contexte du problème

1. Variétés modulaires de Siegel et fibres spéciales: La variété modulaire de Siegel $A_{g,J,N}$ est un exemple typique de modèle intégral de variété de Shimura en position de mauvaise réduction parahorique. Bien que sa fibre générique soit lisse, la fibre spéciale est généralement singulière, ce qui est lié au fait que la p-torsion des variétés abéliennes en caractéristique p n'est pas étale.
2. Stratification EKOR: He et Rapoport considèrent l'application $υ: A_{g,J,N}(\bar{\mathbb{F}}_p) → \hat{K}^σ\backslash(\hat{K}^1\backslash X)$, dont les fibres sont appelées stratification d'Ekedahl-Kottwitz-Oort-Rapoport (EKOR). Dans le cas supersingulier $J = 2g\mathbb{Z}$, cela s'appelle également stratification d'Ekedahl-Oort (EO).
3. Limitations des travaux existants:
   • Viehmann et Wedhorn ont réalisé la stratification EO comme fibres d'un morphisme lisse dans le cas supersingulier
   • Shen, Yu et Zhang n'ont pu construire un morphisme lisse que sur chaque couche KR dans le cas parahorique
   • Absence d'un traitement complet pour le cas parahorique général

Motivation de la recherche

L'auteur pose la question centrale: pour J général, est-il possible de réaliser l'application υ ou même Υ comme un morphisme lisse d'une certaine variété modulaire de Siegel vers un champ algébrique naturellement défini? Un tel morphisme lisse fournirait une nouvelle preuve de la lissité de la stratification EKOR et fournirait des outils pour l'étude ultérieure de la géométrie de $A_{g,J,N}$.

Contributions principales

1. Introduction de la théorie des cristaux tronqués: Définition du concept de cristaux $(m,n)$-tronqués, version non-parfaite des shtuka locaux restreints, fournissant un cadre approprié pour l'étude du cas parahorique.
2. Construction du champ des chaînes de polarisations homogènes: Établissement du champ de modules $\text{HPolChDisp}^{(m,n)}_{g,J}$ des chaînes de cristaux polarisés homogènes et description par quotient.
3. Réalisation d'un morphisme lisse: Preuve que le morphisme naturel $A^∧_{g,J,N} → \text{HPolChDisp}^{(m,n)}_{g,J}$ est lisse, réalisant ainsi la stratification EKOR comme fibres d'un morphisme lisse.
4. Perfectionnement du cadre théorique: Développement de la théorie de la dualité et de la torsion des cristaux, ainsi que du cadre catégorique correspondant.

Explication détaillée de la méthode

Définition de la tâche

L'objectif de recherche est de réaliser la stratification EKOR $υ: A_{g,J,N}(\bar{\mathbb{F}}_p) → \hat{K}^σ\backslash(\hat{K}^1\backslash X)$ comme un morphisme lisse entre champs algébriques, où l'entrée est la variété modulaire de Siegel avec structure de niveau parahorique et la sortie est un champ algébrique paramétrant des chaînes de cristaux tronqués.

Objets mathématiques fondamentaux

1. Théorie des cristaux

Définition 1.1 (Cristal): Un cristal de type $(h,d)$ est un triplet $(M, M_1, Ψ)$ où:

• $M$ est un module $W(R)$-projectif de rang fini $h$
• $M_1 ⊆ M$ est un sous-module $W(R)$ contenant $I_R M$, tel que $M_1/I_R M ⊆ M/I_R M$ soit un facteur direct de rang $d$
• $Ψ: \tilde{M}_1 → M$ est un isomorphisme de modules $W(R)$ (Frobenius scindé)

2. Cristaux tronqués

Pour les entiers positifs $m ≥ n+1$, un cristal $(m,n)$-tronqué est une version tronquée des cristaux utilisant les vecteurs de Witt tronqués. Quand $R$ est en caractéristique p, on permet à $n$ de prendre la valeur spéciale $1\text{-rdt}$.

3. Chaînes de polarisations homogènes

Définition 1.3: Une chaîne de cristaux polarisés homogènes de type $(g,J)$ est un tuple contenant les données suivantes:

• Chaîne de cristaux $((M_i, M_{i,1}, Ψ_i)_i, (ρ_{i,j})_{i,j})$
• Isomorphisme de périodicité $θ_i: (M_i, M_{i,1}, Ψ_i) → (M_{i+2g}, M_{i+2g,1}, Ψ_{i+2g})$
• Module inversible $(I, ι)$
• Polarisation antisymétrique $λ_i: (M_i, M_{i,1}, Ψ_i) → (I, ι) ⊗ (M_{-i}, M_{-i,1}, Ψ_{-i})^∨$

Points d'innovation technique

1. Réalisation par quotient

Proposition 1.4: Il existe une équivalence $\text{HPolChDisp}^{(m,n)}_{g,J} \simeq [(L^{(m)}G)_Δ \backslash M^{\text{loc},(n)}]$ où $L^{(m)}G$ est le groupe des unités de l'anneau des vecteurs de Witt $m$-tronqués, et $M^{\text{loc},(n)}$ est un certain $L^{(m)}G$-torseur du modèle local.

2. Connexion avec les groupes p-divisibles

Théorème 1.2: Il existe un foncteur naturel $D: \{\text{groupes p-divisibles de hauteur } h \text{ et dimension } d \text{ sur } R\}^{\text{op}} → \{\text{cristaux de type } (h,d) \text{ sur } R\}$ Ce foncteur se restreint en une équivalence entre groupes p-divisibles formels et cristaux F-nilpotents.

Cadre de vérification mathématique

Cadre de validation mathématique

Cet article est une recherche théorique en mathématiques pures, validée principalement par des preuves mathématiques rigoureuses, incluant:

1. Vérification des équivalences catégoriques: Construction de foncteurs explicites et preuve qu'ils sont des équivalences pour valider la correction du cadre théorique
2. Preuve de lissité: Utilisation du théorème de Serre-Tate et de méthodes formelles pour prouver la lissité des morphismes clés
3. Description par quotient: Vérification de la correction de la description par quotient via la théorie des modèles locaux

Outils techniques

• Théorie des vecteurs de Witt
• Théorie des cristaux (Zink)
• Théorie des modèles locaux (Rapoport-Zink)
• Théorie des champs algébriques
• Théorie des groupes p-divisibles

Résultats principaux

Théorème central

Théorème 1.5 (Résultat principal): Pour chaque tuple d'entiers $(m,n)$ avec $n ≠ 1\text{-rdt}$, le morphisme naturel $A^∧_{g,J,N} → \text{HPolChDisp}^{(m,n)}_{g,J}$ est lisse. De même, pour chaque $m ≥ 2$, le morphisme $(A_{g,J,N})_{\mathbb{F}_p} → \text{HPolChDisp}^{(m,1\text{-rdt})}_{g,J}$ est également lisse.

Stratégie de preuve

1. Application du théorème de Serre-Tate: Utilisation du théorème de Serre-Tate; la lissité du morphisme en des points correspondant à des chaînes de variétés abéliennes polarisées dépend uniquement des chaînes de groupes p-divisibles polarisés pertinentes
2. Analyse des orbites formelles: Preuve que le morphisme le long de l'orbite formelle (c'est-à-dire le lieu des chaînes de variétés abéliennes avec groupes p-divisibles formels) est lisse
3. Argument de spécialisation: Preuve qu'il existe suffisamment de points dans $|A^∧_{g,J,N}|$ se spécialisant dans l'orbite formelle

Résultats d'application

• Lissité de la stratification EKOR: En corollaire, la stratification EKOR est lisse
• Relations de fermeture: Fournit une nouvelle preuve des relations de fermeture entre les strates EKOR
• Outils géométriques: Fournit de nouveaux outils pour l'étude ultérieure de la géométrie de $A_{g,J,N}$

Travaux connexes

Développement historique

1. Théorie des F-zips: Moonen et Wedhorn introduisent le concept de F-zip; Viehmann et Wedhorn réalisent la stratification EO dans le cas supersingulier
2. Zips de théorie des groupes: Pink, Wedhorn et Ziegler définissent la version de théorie des groupes des F-zips
3. Généralisation parahorique: Shen, Yu et Zhang généralisent au cas parahorique, mais ne peuvent construire un morphisme lisse que sur la stratification KR
4. Shtuka locaux: Xiao et Zhu considèrent les champs de modules parfaits des shtuka locaux en caractéristique mixte

Unicité de la contribution de cet article

• Fournit un traitement complet du cas parahorique
• Introduit la théorie des cristaux tronqués comme outil technique clé
• Réalise un morphisme lisse global, plutôt que seulement sur chaque stratification KR

Conclusion et discussion

Conclusions principales

1. Réalisation réussie de la stratification EKOR comme fibres d'un morphisme lisse, résolvant un problème important dans le cas parahorique général
2. Développement de la théorie des cristaux tronqués, fournissant un nouveau cadre technique pour l'étude des fibres spéciales des variétés de Shimura
3. Établissement de connexions profondes entre la théorie des cristaux et la théorie des champs de modules

Limitations

1. Complexité technique: Le cadre théorique est considérablement technique, nécessitant une formation approfondie en géométrie algébrique
2. Cas spécifique: Principalement concentré sur les variétés modulaires de Siegel; la généralisation à des variétés de Shimura plus générales nécessite des travaux ultérieurs
3. Complexité computationnelle: Le calcul effectif de la stratification EKOR reste un défi

Directions futures

Les étapes naturelles suivantes proposées par l'auteur consistent à généraliser les résultats à des variétés de Shimura de niveau parahorique plus générales, ce qui nécessite:

1. Définition du champ des cristaux $(G,μ)$ pour chaque schéma en groupes $\mathbb{Z}_p$-parahorique $G$ et classe de conjugaison géométrique minuscule $μ$
2. Construction d'un morphisme lisse naturel de la p-complétion de la variété de Shimura correspondante vers le champ des cristaux $(G,μ)$ tronqués

Évaluation approfondie

Points forts

1. Percée théorique: Résout un problème ouvert important du domaine, fournissant une réalisation géométrique complète de la stratification EKOR dans le cas parahorique
2. Innovation technique: L'introduction de la théorie des cristaux tronqués fournit un outil clé pour traiter le cas non-supersingulier
3. Preuve rigoureuse: Les preuves mathématiques sont complètes et rigoureuses, en particulier la stratégie de preuve de la lissité est ingénieuse
4. Cadre complet: Développe un cadre théorique complet, incluant les structures de dualité, de torsion et catégoriques

Insuffisances

1. Seuil technique élevé: La théorie est hautement technique, nécessitant une connaissance approfondie de plusieurs branches des mathématiques
2. Portée d'application: Actuellement limitée principalement aux variétés modulaires de Siegel; la généralisation au cas général nécessite davantage de travail
3. Aspects computationnels: Bien que fournissant un cadre théorique, le calcul effectif reste difficile

Impact

1. Valeur académique: Fournit des outils importants et une nouvelle perspective pour la recherche en géométrie arithmétique des variétés de Shimura
2. Contribution théorique: Enrichit la théorie des cristaux et la théorie des champs de modules, établissant de nouvelles connexions
3. Recherche ultérieure: Pose les fondations importantes pour la recherche ultérieure dans ce domaine

Scénarios d'application

Cette méthode s'applique à:

1. L'étude de la géométrie des fibres spéciales des variétés de Shimura
2. L'analyse ultérieure de la stratification EKOR/EO
3. L'étude des espaces de modules des groupes p-divisibles
4. Les problèmes de modules en géométrie arithmétique

Références

L'article cite les travaux importants du domaine, incluant:

• Les travaux classiques de Rapoport-Zink sur les espaces de périodes
• La recherche de Viehmann-Wedhorn sur les F-zips et la stratification EO
• Les résultats partiels de Shen-Yu-Zhang dans le cas parahorique
• Les travaux fondateurs de Zink sur la théorie des cristaux