Le locus basique des espaces de Rapoport-Zink unitaires scindés avec stabilisateur de sommet

Informations de base

• ID de l'article: 2510.14497
• Titre: The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level
• Auteurs: I. Zachos, Z. Zhao
• Classification: math.NT (Théorie des nombres), math.AG (Géométrie algébrique)
• Date de soumission: 16 octobre 2025 à arXiv
• Lien de l'article: https://arxiv.org/abs/2510.14497

Résumé

Cet article construit la stratification de Bruhat-Tits du locus basique des espaces de Rapoport-Zink unitaires scindés ramifiés, où la stratification est donnée par les stabilisateurs des réseaux de sommets. Afin de déterminer certaines propriétés locales de la stratification de Bruhat-Tits, les auteurs développent la théorie des modèles scindés stratifiés. Pour étudier leur structure globale, les auteurs établissent des isomorphismes explicites entre la stratification de Bruhat-Tits et certaines variétés de Deligne-Lusztig (modifiées).

Contexte et motivation de la recherche

Contexte du problème

1. Théorie des modèles intégraux des variétés de Shimura: Cette recherche appartient à une branche importante de la théorie des modèles intégraux des variétés de Shimura, en se concentrant particulièrement sur le locus basique (basic locus) des espaces de Rapoport-Zink (RZ).
2. Valeur applicative: L'étude du locus basique a des applications importantes en théorie des nombres, notamment:
   • La conjecture de Kudla-Rapoport: reliant les nombres d'intersection arithmétiques des cycles spéciaux sur les variétés de Shimura aux séries d'Eisenstein
   • La conjecture arithmétique de Gan-Gross-Prasad
   • La conjecture du lemme fondamental arithmétique et les conjectures de transfert arithmétique
3. Recherches antérieures:
   • Cas orthogonal: Howard-Pappas ont étudié le cas auto-dual, Oki a étudié le cas presque auto-dual, He-Zhou ont généralisé à toutes les stratifications maximales
   • Cas des groupes unitaires: Vollaard et al. ont étudié les couches supersingulieres pour les premiers inertes, Cho a généralisé à toutes les couches parahoric maximales, Muller a étudié les couches parahoric arbitraires
   • Cas ramifié: Rapoport-Terstiege-Wilson ont étudié les couches auto-duales, Wu a étudié le cas singulier lisse, He-Luo-Shi ont généralisé à toutes les couches de sommets maximales

Motivation de la recherche

1. Perfectionnement théorique: Les recherches existantes sur le cas unitaire ramifié se concentrent principalement sur des types spécifiques de stratifications. Cet article vise à fournir une description complète pour les réseaux de sommets maximaux arbitraires.
2. Innovation technique: Développer la théorie des modèles scindés stratifiés pour fournir des outils pour l'étude de cas de dimension supérieure.
3. Compréhension géométrique: Approfondir la compréhension de la structure géométrique de la stratification BT par le biais d'isomorphismes avec les variétés de Deligne-Lusztig.

Contributions principales

1. Construction d'une stratification de Bruhat-Tits complète: Pour les espaces RZ scindés avec stabilisateurs de réseaux de sommets maximaux arbitraires, fournir une stratification BT complète du locus basique réduit.
2. Développement de la théorie des modèles scindés stratifiés: Introduire les modèles scindés stratifiés définis par des données purement d'algèbre linéaire, et prouver que la stratification BT est localement isomorphe à ces modèles au sens étale.
3. Établissement d'isomorphismes explicites avec les variétés de Deligne-Lusztig:
   • La stratification Z^spl est isomorphe à la variété de Deligne-Lusztig symplectique modifiée S'_Λ
   • La stratification Y^spl est isomorphe à la variété de Deligne-Lusztig orthogonale modifiée R'_Λ♯
4. Analyse complète des propriétés géométriques: Déterminer la dimension, la réductibilité, la normalité, la propriété de Cohen-Macaulay de chaque stratification, etc.

Détails de la méthode

Définition de la tâche

Étudier la stratification de Bruhat-Tits du locus basique réduit de l'espace de Rapoport-Zink unitaire scindé ramifié N^spl_n, où:

• Entrée: le réseau de sommet Λ ⊂ C et l'espace RZ correspondant
• Sortie: description complète de la stratification BT et propriétés géométriques de chaque stratification
• Contrainte: signature (n-1,1), stratification donnée par les stabilisateurs de réseaux

Cadre théorique

1. Définition de l'espace RZ scindé

Pour S ∈ Nilp_{O_F̆}, l'espace RZ scindé N^spl_n associe à chaque quintuplet (X,ι,λ,ρ,Fil^0(X)) sa classe d'isomorphisme, où:

• (X,ι,λ) est un O_F-module hermitien de dimension n et type 2h sur S
• ρ est une quasi-isomorphie O_F-linéaire de hauteur 0
• Fil^0(X) est une somme directe de rang 1 de la filtration de Hodge satisfaisant la condition de scission:
  • (ι(π) + π)(Fil(X)) ⊂ Fil^0(X)
  • (ι(π) - π)(Fil^0(X)) = 0

2. Construction de la stratification BT

Pour un réseau de sommet Λ ⊂ C, définir deux classes de stratifications:

Stratification Z^spl (type 2t ≥ 2h):

Z^spl(Λ)(S) = {(X,ι,λ,ρ,F) ∈ N^spl_n(S) | (X,ι,λ,ρ) ∈ Z^loc(Λ)(S), 
                pour x ∈ Λ, x_*(Lie(Y × S)) ⊂ F}

Stratification Y^spl (type 2t ≤ 2h):

Y^spl(Λ♯)(S) = {(X,ι,λ,ρ,F) ∈ N^spl_n(S) | (X,ι,λ,ρ) ∈ Y^loc(Λ♯)(S),
                 pour x♯ ∈ Λ♯, x♯_*(Lie(Y × S)) ⊂ F}

3. Modèles scindés stratifiés

Définir le modèle scindé stratifié M^{spl,2h}_n(2t) comme un objet d'algèbre linéaire plus simple:

• Pour t > h: défini par des conditions de matrice X,Y,Z
• Pour t < h: défini par des conditions de matrice différentes

Points d'innovation technique

1. Méthode des graphiques de modèles locaux

Construire les graphiques de modèles locaux:

Z̃^spl(Λ) → Z^spl(Λ) × M^{spl,[2h]}_n(2t)

où les morphismes ψ₁ et ψ₂ sont tous deux des morphismes lisses de même dimension.

2. Calcul des graphiques affines

Par calcul explicite des graphiques affines, obtenir:

• Pour t > h: U_{i₀} ≅ Spec kX,Y,Z/(rang(X^t|Y^t) - 1, ∧²(Y|Z))
• Pour t < h: U_{i₀} ≅ A^{n-h-t-1}_k

3. Isomorphisme des variétés de Deligne-Lusztig

Établir des isomorphismes explicites:

• f_Z: Z^spl(Λ) → S'_Λ (cas symplectique)
• f_Y: Y^spl(Λ♯) → R'_{Λ♯} (cas orthogonal)

Théorèmes principaux

Théorème 1.1 (Stratification BT)

La stratification de Bruhat-Tits du locus basique réduit de l'espace RZ scindé est:

N^spl_{n,red} = (⋃_{Λ₁∈L_Z} Z^spl(Λ₁)) ∪ (⋃_{Λ₂∈L_Y} Y^spl(Λ♯₂))

Relations d'inclusion:

1. Pour Λ₁,Λ₂ ∈ L_Z de type > 2h: Λ₁ ⊆ Λ₂ ⟺ Z^spl(Λ₂) ⊆ Z^spl(Λ₁)
2. Pour Λ₁,Λ₂ ∈ L_Y de type < 2h: Λ₁ ⊆ Λ₂ ⟺ Y^spl(Λ♯₁) ⊆ Y^spl(Λ♯₂)
3. Propriétés d'intersection et formules de dimension

Théorème 1.2 (Propriétés des modèles scindés stratifiés)

Le modèle scindé stratifié M^{spl,2h}_n(2t) est normal et Cohen-Macaulay, et:

1. Pour t > h: dimension égale à t + h
2. Pour t < h (sauf cas π-modulaire): lisse, dimension égale à n - t - h - 1
3. Formule de dimension d'intersection

Théorèmes 1.3 et 1.4 (Isomorphismes de Deligne-Lusztig)

• S'_Λ est irréductible, de dimension t + h, isomorphe à Z^spl(Λ)
• R'_{Λ♯} est irréductible lisse, de dimension n - t - h - 1, isomorphe à Y^spl(Λ♯)

Vérification expérimentale

Vérification de cas spéciaux

1. Cas h = 0: Les résultats concordent avec les travaux de He-Li-Shi-Yang
2. Cas π-modulaire: Ce cas est exclu car déjà complètement étudié par Wu
3. Vérification des formules de dimension: Vérifiées par calcul des graphiques affines

Vérification des propriétés géométriques

Par la méthode des graphiques de modèles locaux, vérifier:

• La réductibilité
• La normalité
• La propriété de Cohen-Macaulay
• La lissité (cas particuliers)

Travaux connexes

Cas orthogonal

• Howard-Pappas 11: cas auto-dual
• Oki 21: cas presque auto-dual
• He-Zhou 10: toutes les stratifications maximales

Cas des groupes unitaires

• Travaux de Vollaard 30,31: couches supersingulieres pour les premiers inertes
• Cho 5: toutes les couches parahoric maximales
• Muller 20: couches parahoric arbitraires

Cas ramifié

• Rapoport-Terstiege-Wilson 26: couches auto-duales
• Wu 32: cas singulier lisse
• He-Luo-Shi 9: toutes les couches de sommets maximales

Conclusion et discussion

Conclusions principales

1. Description complète de la stratification BT de l'espace RZ scindé avec stabilisateurs de réseaux de sommets maximaux arbitraires
2. Les modèles scindés stratifiés fournissent un outil efficace pour l'étude des propriétés locales
3. L'isomorphisme avec les variétés de Deligne-Lusztig révèle la structure géométrique profonde de la stratification

Limitations

1. Exclusion du cas π-modulaire: Lorsque n est pair et h = n/2, un traitement spécial est nécessaire
2. Restriction aux couches maximales: Les structures de couches quasi-parahoric plus générales n'ont pas été abordées
3. Complexité technique: Les calculs impliquent de nombreuses opérations matricielles et des techniques d'algèbre linéaire

Directions futures

1. Cas de dimension supérieure: Généraliser la théorie à des cas de signature supérieure
2. Structures plus profondes: Étudier les modèles scindés pour les couches quasi-parahoric plus générales
3. Applications arithmétiques: Appliquer les résultats à des problèmes arithmétiques concrets

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit un cadre théorique complet pour le cas unitaire ramifié
2. Innovation méthodologique: La théorie des modèles scindés stratifiés est une innovation technique importante
3. Spécificité des calculs: Fournit une description géométrique concrète par le biais de graphiques affines explicites
4. Profondeur des résultats: La connexion avec les variétés de Deligne-Lusztig révèle des structures profondes

Insuffisances

1. Seuil technique élevé: Nécessite une formation approfondie en géométrie algébrique et théorie des nombres
2. Complexité des calculs: Les nombreux calculs matriciels comportent des risques d'erreur
3. Applications limitées: Les scénarios d'application directe sont relativement limités

Impact

1. Contribution théorique: Fournit des outils importants pour la théorie des variétés de Shimura
2. Valeur méthodologique: La méthode des modèles scindés stratifiés a une valeur de généralisation
3. Recherche ultérieure: Pose les fondations pour l'étude de cas plus généraux

Domaines d'application

• Recherche en géométrie arithmétique
• Théorie des variétés de Shimura
• Théorie de Hodge p-adique
• Applications à la théorie des représentations

Références

L'article contient 36 références bibliographiques couvrant les espaces de Rapoport-Zink, les modèles locaux, les variétés de Deligne-Lusztig et d'autres domaines connexes, reflétant l'ampleur et la profondeur de la recherche.