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

Clasificación de Haces de Líneas Equivariantes en el Semiplano Superior de Drinfeld

Información Básica

  • ID del Artículo: 2510.10330
  • Título: Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane
  • Autor: Georg Linden
  • Clasificación: math.AG (Geometría Algebraica), math.NT (Teoría de Números)
  • Fecha de Publicación: 11 de octubre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2510.10330v1

Resumen

Este artículo determina explícitamente el grupo de clases de isomorfismo de haces de líneas equivariantes en el semiplano superior de Drinfeld no arquimediano, para GL2(F)\mathrm{GL}_2(F), su subgrupo con valuación determinante cero, y GL2(OF)\mathrm{GL}_2(\mathcal{O}_F). Los resultados extienden la clasificación reciente de Ardakov y Wadsley de haces de líneas equivariantes con torsión y conexiones, aunque utilizando un enfoque diferente. Las herramientas clave incluyen la construcción de Van der Put (que relaciona funciones analíticas invertibles en el semiplano superior de Drinfeld con corrientes en el árbol de Bruhat-Tits) y la teoría de cohomología de grupos coherentes.

Contexto de Investigación y Motivación

Antecedentes del Problema

  1. Semiplano Superior de Drinfeld: Este es un espacio analítico no arquimediano importante, definido como ΩF=PF1∖P1(F)\Omega_F = \mathbb{P}^1_F \setminus \mathbb{P}^1(F), es decir, la línea proyectiva con todos los puntos FF-racionales removidos.
  2. Problema de Clasificación de Haces Equivariantes: En geometría algebraica, clasificar haces de líneas equivariantes en un espacio dado es un problema fundamental, estrechamente relacionado con acciones de grupos, teoría de cohomología y teoría de representaciones.
  3. Limitaciones del Trabajo Previo:
    • Ardakov y Wadsley AW25 solo clasificaron haces de líneas equivariantes con torsión que poseen conexiones integrables
    • Junger Jun23b estudió haces equivariantes en modelos formales
    • Falta una clasificación completa para el caso general

Motivación de la Investigación

Este artículo tiene como objetivo proporcionar una clasificación completa de haces de líneas equivariantes en el semiplano superior de Drinfeld, cerrando las brechas en la teoría existente y proporcionando nuevas herramientas para la geometría p-ádica y la teoría de representaciones.

Contribuciones Principales

  1. Teorema de Clasificación Completa: Determina explícitamente la estructura del grupo de Picard de haces equivariantes bajo la acción de tres grupos importantes (G=GL2(F)G = \mathrm{GL}_2(F), G0G^0, G0=GL2(OF)G_0 = \mathrm{GL}_2(\mathcal{O}_F)).
  2. Nueva Metodología: Utiliza la transformación de Van der Put y la teoría de cohomología de grupos coherentes, proporcionando un camino metodológico diferente al de Ardakov-Wadsley.
  3. Extensión Teórica: Extiende el caso de torsión ya conocido al caso general, y establece conexiones profundas con la teoría de corrientes en el árbol de Bruhat-Tits.
  4. Herramientas Computacionales: Desarrolla nuevas técnicas computacionales para manejar haces de líneas equivariantes en espacios analíticos no arquimedianos.

Explicación Detallada de Métodos

Estrategia Principal

El método del artículo se basa en transformar el problema de clasificación de haces equivariantes en un problema de cálculo de cohomología de grupos:

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

donde HH es el grupo relevante y O×(Ω)\mathcal{O}^×(\Omega) es la gavilla de funciones invertibles.

Transformación de Van der Put

Esta es la herramienta clave del método, estableciendo la sucesión exacta corta: 1→K×→O×(Ω)→PF(A,Z)→01 \to K^× \to \mathcal{O}^×(\Omega) \xrightarrow{P} F(A,\mathbb{Z}) \to 0

donde:

  • F(A,Z)F(A,\mathbb{Z}) es el espacio de corrientes en el árbol de Bruhat-Tits
  • PP es la transformación de Van der Put, que mapea funciones invertibles a corrientes en el árbol

Definición de Corrientes

Una corriente ϕ∈F(A,Z)\phi \in F(A,\mathbb{Z}) satisface:

  1. Antisimetría: ϕ((v,w))=−ϕ((w,v))\phi((v,w)) = -\phi((w,v))
  2. Armonicidad: Para cada vértice vv, ∑(v,w)∈Aϕ((v,w))=0\sum_{(v,w) \in A} \phi((v,w)) = 0

Cohomología de Grupos Coherentes

Utiliza el marco de matemáticas coherentes de Clausen-Scholze para tratar la cohomología de grupos topológicos:

  • Considera módulos GG-topológicos MM como módulos GG-coherentes
  • Define cohomología de grupos coherentes Hn(G,M)H^n(G,M)
  • Bajo condiciones apropiadas, se tiene Hn(G,M)(∗)=Hn(G,M)H^n(G,M)^{(*)} = H^n(G,M)

Resultados Principales

Teorema A: Clasificación Completa de Haces Equivariantes

Para 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}]

Para G0G^0 (matrices con valuación determinante cero): 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}]

Para 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]

donde LL es un haz de líneas G0G_0-equivariante especial que satisface [L]⊗(q+1)=[Odet⁡^−1][L]^{\otimes(q+1)} = [\mathcal{O}_{\widehat{\det}^{-1}}].

Puntos de Innovación Técnica

  1. Teorema tipo Mayer-Vietoris: Utiliza la estructura de producto libre amalgamado G0=G0∗IsG0G_0 = G_0 *_I {}^s G_0.
  2. Tratamiento de Unidades Principales: Maneja sistemáticamente caracteres en el grupo de unidades principales O××\mathcal{O}^{××}.
  3. Teorema de Levantamiento: Prueba la existencia de levantamientos de clases de cohomología de G0G_0 a G0G^0 y GG.

Estrategia de Demostración

Primer Paso: Cohomología de la Sucesión de Van der Put

Utiliza la sucesión exacta corta de la transformación de Van der Put para obtener la sucesión exacta larga de cohomología: 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}))

Segundo Paso: Cálculo de Cohomología del Espacio de Corrientes

Mediante el análisis de la estructura combinatoria del árbol de Bruhat-Tits, se calcula:

  • 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}

Tercer Paso: Construcción de Clases de Torsión

Se construyen clases de torsión clave [α]∈H1(G0,O×(Ω))[\alpha] \in H^1(G_0, \mathcal{O}^×(\Omega)) que satisfacen:

  • Orden igual a q2−1q^2-1
  • [α]q+1=det⁡^−1[\alpha]^{q+1} = \widehat{\det}^{-1}
  • Bajo la acción de conjugación s∗[α]=[α]qs_*[\alpha] = [\alpha]^q

Cuarto Paso: Análisis de Levantamiento

Utiliza la sucesión de Mayer-Vietoris del producto libre amalgamado y la sucesión espectral de Hochschild-Serre para analizar el levantamiento de clases.

Relación con Trabajos Previos

Comparación con el Trabajo de Ardakov-Wadsley

  1. Extensión de Alcance: Extiende del caso de torsión al caso general
  2. Diferencia de Métodos: Utiliza la transformación de Van der Put en lugar de métodos de álgebras de cuaterniones
  3. Consistencia de Resultados: En el caso de torsión, es consistente con los resultados de AW25

Conexión con el Trabajo de Taylor

Taylor Tay25b probó que el mapa de olvido de conexión es un isomorfismo en la parte de torsión; este artículo proporciona una prueba alternativa de este resultado.

Dificultades Técnicas y Soluciones

Tratamiento de Cohomología de Grupos Topológicos

Dificultad: Manejar acciones de grupos continuos y estructuras topológicas Solución: Utilizar el marco de matemáticas coherentes, transformando el problema en cohomología de grupos coherentes

Sistemas Inversos Infinito-Dimensionales

Dificultad: Tratar O×(Ω)=lim⁡←O×(Ωn)\mathcal{O}^×(\Omega) = \lim_{\leftarrow} \mathcal{O}^×(\Omega_n)Solución: Probar que el sistema inverso satisface la condición de Mittag-Leffler, aplicando teoremas de cohomología correspondientes

Tecnicidad del Problema de Levantamiento

Dificultad: Probar la existencia de levantamientos de clases de cohomología de G0G_0 a G0G^0Solución: Análisis fino de restricciones en el subgrupo de Iwahori II, utilizando cálculos explícitos de cociclos

Aplicaciones e Importancia

Significado Teórico

  1. Teoría de Representaciones Geométricas: Proporciona herramientas fundamentales para la teoría de representaciones geométricas del semiplano superior de Drinfeld
  2. Geometría p-ádica: Avanza en el desarrollo de la geometría analítica no arquimediana
  3. Teoría de Cohomología: Demuestra el poder de la cohomología de grupos coherentes en problemas concretos

Aplicaciones Potenciales

  1. Generalización a Dimensiones Superiores: Los métodos podrían generalizarse a espacios simétricos de Drinfeld de dimensión superior
  2. Geometría Aritmética: Aplicaciones en geometría aritmética y el programa de Langlands
  3. Teoría de Representaciones: Proporciona herramientas geométricas para la correspondencia local de Langlands

Conclusiones y Perspectivas Futuras

Logros Principales

Este artículo completa la clasificación de haces de líneas equivariantes en el semiplano superior de Drinfeld, proporciona nueva metodología y establece conexiones profundas con la teoría de corrientes en árboles.

Limitaciones

  1. Los métodos se aplican principalmente al caso GL2\mathrm{GL}_2
  2. Se requieren suposiciones de característica cero en algunos resultados
  3. La complejidad técnica es considerable

Direcciones Futuras

  1. Generalización a Dimensiones Superiores: Extender a GLn\mathrm{GL}_n y grupos reductivos generales
  2. Aplicaciones Aritméticas: Aplicaciones en geometría aritmética
  3. Aspectos Computacionales: Desarrollar métodos computacionales más efectivos

Evaluación Profunda

Fortalezas

  1. Completitud: Proporciona una solución completa del problema
  2. Innovación Metodológica: Combina ingeniosamente herramientas de múltiples ramas de las matemáticas
  3. Profundidad Técnica: Demuestra un nivel técnico superior
  4. Valor Teórico: Proporciona una base teórica importante para campos relacionados

Evaluación Técnica

El artículo es riguroso y completo técnicamente, con pruebas detalladas y lógica clara. El uso de cohomología de grupos coherentes es innovador, y la aplicación de la transformación de Van der Put es ingeniosa.

Predicción de Impacto

Este es un avance importante en el campo, se espera que tenga un impacto duradero en la geometría p-ádica, la teoría de representaciones y la geometría aritmética, e inspirará probablemente futuras direcciones de investigación.

Referencias

Se citan principalmente los siguientes trabajos importantes:

  • AW25 Trabajo de Ardakov-Wadsley sobre haces de líneas equivariantes con conexiones
  • Jun23b Investigación de Junger sobre modelos formales
  • vdP92 Construcción original de Van der Put
  • CS19 Teoría de matemáticas coherentes de Clausen-Scholze