2025-11-17T10:40:13.019574

Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane

Linden
We explicitly determine the group of isomorphism classes of equivariant line bundles on the non-archimedean Drinfeld upper half plane for $\mathrm{GL}_2(F)$, for its subgroup of matrices whose determinant has trivial valuation, and for $\mathrm{GL}_2(\mathcal{O}_F)$. Our results extend a recent classification of torsion equivariant line bundles with connection due to Ardakov and Wadsley, but we use a different approach. A crucial ingredient is a construction due to Van der Put which relates invertible analytic functions on the Drinfeld upper half plane to currents on the Bruhat-Tits tree. Another tool we use is condensed group cohomology.
academic

Classification des Fibrés en Droites Équivariants sur le Demi-Plan Supérieur de Drinfeld

Informations Fondamentales

  • ID de l'article: 2510.10330
  • Titre: Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane
  • Auteur: Georg Linden
  • Classification: math.AG (Géométrie Algébrique), math.NT (Théorie des Nombres)
  • Date de Publication: 11 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.10330v1

Résumé

Cet article détermine explicitement les classes d'isomorphisme du groupe de Picard des fibrés en droites équivariants sur le demi-plan supérieur de Drinfeld non-archimédien, pour GL2(F)\mathrm{GL}_2(F), son sous-groupe de déterminant de valuation nulle, et GL2(OF)\mathrm{GL}_2(\mathcal{O}_F). Les résultats étendent la classification récente d'Ardakov et Wadsley des fibrés en droites équivariants de torsion avec connexion, mais en utilisant une approche différente. Les outils clés comprennent la construction de Van der Put (reliant les fonctions analytiques inversibles sur le demi-plan supérieur de Drinfeld aux courants sur l'arbre de Bruhat-Tits) et la théorie de la cohomologie cohérente des groupes.

Contexte et Motivation de la Recherche

Contexte du Problème

  1. Le demi-plan supérieur de Drinfeld: C'est un espace analytique non-archimédien important, défini comme ΩF=PF1∖P1(F)\Omega_F = \mathbb{P}^1_F \setminus \mathbb{P}^1(F), c'est-à-dire la droite projective privée de tous les points FF-rationnels.
  2. Problème de classification des fibrés en droites équivariants: En géométrie algébrique, la classification des fibrés en droites équivariants sur un espace donné est un problème fondamental, étroitement lié aux actions de groupes, à la théorie de la cohomologie et à la théorie des représentations.
  3. Limitations des travaux antérieurs:
    • Ardakov et Wadsley AW25 ont classifié uniquement les fibrés en droites équivariants de torsion avec connexion intégrable
    • Junger Jun23b a étudié les fibrés en droites équivariants sur les modèles formels
    • Absence d'une classification complète dans le cas général

Motivation de la Recherche

Cet article vise à fournir une classification complète des fibrés en droites équivariants sur le demi-plan supérieur de Drinfeld, comblant les lacunes de la théorie existante et fournissant de nouveaux outils pour la géométrie p-adique et la théorie des représentations.

Contributions Principales

  1. Théorème de Classification Complet: Détermine explicitement la structure du groupe de Picard des fibrés en droites équivariants sous l'action de trois groupes importants (G=GL2(F)G = \mathrm{GL}_2(F), G0G^0, G0=GL2(OF)G_0 = \mathrm{GL}_2(\mathcal{O}_F)).
  2. Nouvelle Méthodologie: Utilise la transformation de Van der Put et la théorie de la cohomologie cohérente des groupes, fournissant une approche différente de celle d'Ardakov-Wadsley.
  3. Extension Théorique: Étend le cas de torsion existant au cas général et établit des connexions profondes avec la théorie des courants sur l'arbre de Bruhat-Tits.
  4. Outils de Calcul: Développe de nouvelles techniques de calcul pour traiter les fibrés en droites équivariants sur les espaces analytiques non-archimédiens.

Explication Détaillée de la Méthode

Stratégie Principale

La méthode de cet article repose sur la transformation du problème de classification des fibrés en droites équivariants en un problème de calcul de cohomologie des groupes:

PicH(Ω)≅H1(H,O×(Ω))\text{Pic}^H(\Omega) \cong H^1(H, \mathcal{O}^×(\Omega))

où HH est le groupe pertinent et O×(Ω)\mathcal{O}^×(\Omega) est le faisceau des fonctions inversibles.

Transformation de Van der Put

C'est l'outil clé de la méthode, établissant la suite exacte courte: 1→K×→O×(Ω)→PF(A,Z)→01 \to K^× \to \mathcal{O}^×(\Omega) \xrightarrow{P} F(A,\mathbb{Z}) \to 0

où:

  • F(A,Z)F(A,\mathbb{Z}) est l'espace des courants sur l'arbre de Bruhat-Tits
  • PP est la transformation de Van der Put, qui envoie les fonctions inversibles aux courants sur l'arbre

Définition des Courants

Un courant ϕ∈F(A,Z)\phi \in F(A,\mathbb{Z}) satisfait:

  1. Antisymétrie: ϕ((v,w))=−ϕ((w,v))\phi((v,w)) = -\phi((w,v))
  2. Propriété Harmonique: Pour chaque sommet vv, ∑(v,w)∈Aϕ((v,w))=0\sum_{(v,w) \in A} \phi((v,w)) = 0

Cohomologie Cohérente des Groupes

Utilise le cadre de la mathématique cohérente de Clausen-Scholze pour traiter la cohomologie des groupes topologiques:

  • Considère les GG-modules topologiques MM comme des GG-modules cohérents
  • Définit la cohomologie cohérente des groupes Hn(G,M)H^n(G,M)
  • Sous des conditions appropriées, on a Hn(G,M)(∗)=Hn(G,M)H^n(G,M)^{(*)} = H^n(G,M)

Résultats Principaux

Théorème A: Classification Complète des Fibrés en Droites Équivariants

Pour G=GL2(F)G = \mathrm{GL}_2(F): Z⊕Homcts(F×,K×)→∼PicG(Ω)\mathbb{Z} \oplus \text{Hom}_{\text{cts}}(F^×, K^×) \xrightarrow{\sim} \text{Pic}^G(\Omega)(n,χ)↦[O(n)⊗Oχ∘det⁡](n, \chi) \mapsto [\mathcal{O}(n) \otimes \mathcal{O}_{\chi \circ \det}]

Pour G0G^0 (matrices de déterminant de valuation nulle): Z⊕Z/(q2−1)Z⊕Homcts(OF××,OK××)→∼PicG0(Ω)\mathbb{Z} \oplus \mathbb{Z}/(q^2-1)\mathbb{Z} \oplus \text{Hom}_{\text{cts}}(\mathcal{O}_F^{××}, \mathcal{O}_K^{××}) \xrightarrow{\sim} \text{Pic}^{G^0}(\Omega)(n,k,χ)↦[O(n)⊗L⊗k⊗Oχ∘⟨det⁡⟩](n, k, \chi) \mapsto [\mathcal{O}(n) \otimes L^{\otimes k} \otimes \mathcal{O}_{\chi \circ \langle\det\rangle}]

Pour G0=GL2(OF)G_0 = \mathrm{GL}_2(\mathcal{O}_F): Zp⊕Z/(q2−1)Z⊕Homcts(G0,OK××)→∼PicG0(Ω)\mathbb{Z}_p \oplus \mathbb{Z}/(q^2-1)\mathbb{Z} \oplus \text{Hom}_{\text{cts}}(G_0, \mathcal{O}_K^{××}) \xrightarrow{\sim} \text{Pic}^{G_0}(\Omega)(λ,k,ψ)↦[L⊗O(1)]⊗λ⊗[L⊗k⊗Oψ](\lambda, k, \psi) \mapsto [L \otimes \mathcal{O}(1)]^{\otimes \lambda} \otimes [L^{\otimes k} \otimes \mathcal{O}_\psi]

où LL est un fibré en droites G0G_0-équivariant spécial satisfaisant [L]⊗(q+1)=[Odet⁡^−1][L]^{\otimes(q+1)} = [\mathcal{O}_{\widehat{\det}^{-1}}].

Points d'Innovation Technique

  1. Théorème de Type Mayer-Vietoris: Utilise la structure de produit libre amalgamé G0=G0∗IsG0G_0 = G_0 *_I {}^s G_0.
  2. Traitement des Unités Principales: Traite systématiquement les caractères sur le groupe des unités principales O××\mathcal{O}^{××}.
  3. Théorème de Relèvement: Prouve l'existence du relèvement des classes de cohomologie de G0G_0 à G0G^0 et GG.

Stratégie de Preuve

Première Étape: Cohomologie de la Suite de Van der Put

Utilise la suite exacte courte de la transformation de Van der Put pour obtenir la suite exacte longue de cohomologie: H1(G0,K×)→H1(G0,O×(Ω))→P∗H1(G0,F(E,Z))H^1(G_0, K^×) \to H^1(G_0, \mathcal{O}^×(\Omega)) \xrightarrow{P_*} H^1(G_0, F(E,\mathbb{Z}))

Deuxième Étape: Calcul de la Cohomologie de l'Espace des Courants

En analysant la structure combinatoire de l'arbre de Bruhat-Tits, on calcule:

  • H1(G0,F(E,Z))≅1q−1Z⊕Z/(q+1)ZH^1(G_0, F(E,\mathbb{Z})) \cong \frac{1}{q-1}\mathbb{Z} \oplus \mathbb{Z}/(q+1)\mathbb{Z}
  • H1(G0,F(E,Z))≅Zp⊕Z/(q+1)ZH^1(G_0, F(E,\mathbb{Z})) \cong \mathbb{Z}_p \oplus \mathbb{Z}/(q+1)\mathbb{Z}

Troisième Étape: Construction des Classes de Torsion

Construit la classe de torsion clé [α]∈H1(G0,O×(Ω))[\alpha] \in H^1(G_0, \mathcal{O}^×(\Omega)), satisfaisant:

  • Ordre égal à q2−1q^2-1
  • [α]q+1=det⁡^−1[\alpha]^{q+1} = \widehat{\det}^{-1}
  • Sous l'action de conjugaison s∗[α]=[α]qs_*[\alpha] = [\alpha]^q

Quatrième Étape: Analyse du Relèvement

Utilise la suite de Mayer-Vietoris pour le produit libre amalgamé et la suite spectrale de Hochschild-Serre pour analyser le relèvement des classes.

Relations avec les Travaux Antérieurs

Comparaison avec le Travail d'Ardakov-Wadsley

  1. Extension du Domaine: Étend le cas de torsion au cas général
  2. Différence de Méthode: Utilise la transformation de Van der Put plutôt que les méthodes d'algèbres de quaternions
  3. Cohérence des Résultats: Les résultats coïncident avec ceux de AW25 dans le cas de torsion

Lien avec le Travail de Taylor

Taylor Tay25b a prouvé que l'application d'oubli de la connexion est un isomorphisme sur la partie de torsion; cet article fournit une autre preuve de ce résultat.

Difficultés Techniques et Solutions

Traitement de la Cohomologie des Groupes Topologiques

Difficulté: Traiter les actions de groupes continus et les structures topologiques Solution: Utiliser le cadre de la mathématique cohérente, transformant le problème en cohomologie cohérente des groupes

Systèmes Inverses Infini-Dimensionnels

Difficulté: Traiter O×(Ω)=lim⁡←O×(Ωn)\mathcal{O}^×(\Omega) = \lim_{\leftarrow} \mathcal{O}^×(\Omega_n)Solution: Prouver que le système inverse satisfait la condition de Mittag-Leffler, appliquer les théorèmes de cohomologie correspondants

Technicité du Problème de Relèvement

Difficulté: Prouver l'existence du relèvement des classes de cohomologie de G0G_0 à G0G^0Solution: Analyse fine de la restriction au sous-groupe d'Iwahori II, utilisant des calculs explicites de cocycles

Applications et Signification

Signification Théorique

  1. Théorie des Représentations Géométriques: Fournit des outils fondamentaux pour la théorie des représentations géométriques du demi-plan supérieur de Drinfeld
  2. Géométrie p-adique: Fait progresser le développement de la géométrie analytique non-archimédienne
  3. Théorie de la Cohomologie: Démontre la puissance de la cohomologie cohérente des groupes dans les problèmes concrets

Applications Potentielles

  1. Généralisation en Dimension Supérieure: La méthode peut potentiellement être généralisée aux espaces symétriques de Drinfeld de dimension supérieure
  2. Géométrie Arithmétique: Applications en géométrie arithmétique et au programme de Langlands
  3. Théorie des Représentations: Fournit des outils géométriques pour la correspondance de Langlands locale

Conclusion et Perspectives

Réalisations Principales

Cet article complète la classification des fibrés en droites équivariants sur le demi-plan supérieur de Drinfeld, fournit une nouvelle méthodologie et établit des connexions profondes avec la théorie des courants sur les arbres.

Limitations

  1. La méthode s'applique principalement au cas GL2\mathrm{GL}_2
  2. Nécessite l'hypothèse de caractéristique zéro (dans certains résultats)
  3. Complexité technique relativement élevée

Directions Futures

  1. Généralisation en Dimension Supérieure: Extension à GLn\mathrm{GL}_n et aux groupes réductifs généraux
  2. Applications Arithmétiques: Applications en géométrie arithmétique
  3. Aspects Computationnels: Développement de méthodes de calcul plus efficaces

Évaluation Approfondie

Avantages

  1. Complétude: Fournit une solution complète au problème
  2. Innovation Méthodologique: Combine ingénieusement les outils de plusieurs branches des mathématiques
  3. Profondeur Technique: Démontre un niveau technique élevé
  4. Valeur Théorique: Fournit une base théorique importante pour les domaines connexes

Évaluation Technique

L'article est rigoureux et complet sur le plan technique, avec des preuves détaillées et une logique claire. L'utilisation de la cohomologie cohérente des groupes est innovante, et l'application de la transformation de Van der Put est ingénieuse.

Prédiction d'Impact

Ceci est un progrès important dans ce domaine, et on s'attend à ce qu'il ait un impact durable sur la géométrie p-adique, la théorie des représentations et la géométrie arithmétique, et pourrait inspirer de nouvelles directions de recherche.

Références

Principalement basé sur les travaux importants suivants:

  • AW25 Travail d'Ardakov-Wadsley sur les fibrés en droites équivariants avec connexion
  • Jun23b Recherche de Junger sur les modèles formels
  • vdP92 Construction originale de Van der Put
  • CS19 Théorie de la mathématique cohérente de Clausen-Scholze