Cohomologie de de Rham du revêtement modéré de l'espace de Drinfeld

Resumen Técnico: Cohomología de De Rham de la Primera Cubierta del Espacio de Drinfeld

Planteamiento del Problema
El artículo investiga la cohomología de De Rham de la primera cubierta, denotada como $M^1_{Dr}$, dentro de la torre de Drinfeld de cubiertas étale sobre el espacio simétrico de Drinfeld $H^d_K$. Si bien la cohomología $\ell$-ádica ($\ell \neq p$) de esta torre está bien establecida como una realización geométrica de las correspondencias de Langlands local y Jacquet-Langlands (a través de los trabajos de Harris, Taylor, Boyer, etc.), el caso $p$-ádico (específicamente la cohomología de De Rham) presenta desafíos significativos. La dificultad principal radica en la ausencia de un modelo semi-estable conocido (o de reducción semi-estable generalizada) para la primera cubierta $M^1_{Dr}$, a diferencia del espacio base $M^0_{Dr}$ que admite un modelo de Deligne. Sin tal modelo, las técnicas estándar que involucran la comparación de fibras genéricas y especiales (como el estudio de los ciclos evanescentes) no son directamente aplicables en el entorno de De Rham.

Metodología
El autor emplea un enfoque puramente local, evitando argumentos geométicos globales siempre que sea posible. La metodología se apoya en tres pilares principales:

1. Generalización de Resultados de Excesión: El artículo extiende un resultado de Grosse-Klönne referente a la excesión de la cohomología en espacios analíticos rígidos. Específicamente, el Teorema B establece que para un esquema formal $X$ de reducción semi-estable generalizada y una cubierta cíclica tame $\pi: T \to X_\eta$, la cohomología de De Rham del tubo sobre una intersección de componentes irreducibles de la fibra especial es isomórfica a la cohomología del tubo sobre la intersección menos los componentes "frontera". Esto permite la reducción del cálculo de la cohomología global a cálculos locales en subconjuntos abiertos específicos.

2. Descripción Geométrica Explícita: Utilizando trabajos previos del autor, la primera cubierta $\Sigma_1$ (el espacio analítico asociado con $M^1_{Dr}$) se describe explícitamente como una cubierta Kummer (una cubierta cíclica de orden coprimo con $p$) del espacio de Drinfeld. Sobre conjuntos abiertos específicos correspondientes a vértices del edificio de Bruhat-Tits, se demuestra que esta cubierta es isomórfica a una cubierta cíclica de un toro monomial.

3. Comparación con Variedades de Deligne-Lusztig: El artículo identifica que la fibra especial de la cubierta sobre un vértice del edificio de Bruhat-Tits es isomórfica a una variedad de Deligne-Lusztig $DL^d_F$. El autor calcula la cohomología de De Rham de estas cubiertas cíclicas de toros monomiales y relaciona su cohomología con la cohomología rígida de las variedades de Deligne-Lusztig.

Contribuciones Clave y Resultados

• Teorema 5.1 (Excesión para Cubiertas Cíclicas): El artículo demuestra un teorema de excesión generalizado para la cohomología de De Rham de cubiertas cíclicas tame sobre esquemas formales de reducción semi-estable generalizada. Este resultado es crucial para reducir la cohomología de la cubierta completa a la cohomología de "tubos" específicos sobre las componentes irreducibles de la fibra especial.
• Teorema 5.8 (Cohomología de Cubiertas Cíclicas de Toros Monomiales): El autor proporciona una descripción explícita de la cohomología de De Rham de una cubierta cíclica tame de un toro monomial. Se muestra que la cohomología se descompone en componentes isotípicas correspondientes a los caracteres del grupo de Galois, con una base dada por diferenciales logarítmicas.
• Teorema 6.1 (Cálculo Local): Para un carácter primitivo $\theta$ del grupo de Galois $F_{q^{d+1}}^*$, la cohomología de De Rham con soporte compacto de la primera cubierta, restringida a la componente isotípica $\theta$, está concentrada en el grado $d$. Específicamente:
  $$H^i_{dR,c}(\Sigma_1)[\theta] \cong \begin{cases} \bigoplus_{s \in BT_0} H^d_{rig,c}(DL^d_F / \breve{K})[\theta] & \text{si } i = d \\ 0 & \text{en otro caso} \end{cases}$$
  Aquí, $BT_0$ denota el conjunto de vértices del edificio de Bruhat-Tits semi-simple.
• Teorema 6.9 (Realización de Jacquet-Langlands): El artículo establece que la parte supercuspidal de la cohomología de De Rham de la primera cubierta realiza la correspondencia de Jacquet-Langlands local. Específicamente, para un carácter primitivo $\theta$, el espacio de aplicaciones $D^*$- equivariantes desde la representación $\rho(\theta)$ hacia la cohomología $H^i_{dR,c}(M^1_{Dr})$ es isomórfico a la representación $JL(\rho(\theta))$ de $GL_{d+1}(K)$ si $i=d$, y cero en caso contrario.

Significancia
El artículo afirma proporcionar una prueba puramente local de que la parte supercuspidal de la cohomología de De Rham de la primera cubierta de Drinfeld realiza la correspondencia de Jacquet-Langlands local. Esto sirve como un análogo de De Rham a los resultados clásicos $\ell$-ádicos establecidos por Wang y otros.

La significancia reside en:

1. Puente entre Teorías de Cohomología: Demuestra que la información "supercuspidal" codificada en la cohomología $\ell$-ádica también está presente en la cohomología de De Rham, siempre que se ignore la acción del grupo de Weil (que es invisible en el entorno de De Rham).
2. Superación de Limitaciones de Modelos: Al utilizar el teorema de excesión generalizada (Teorema B) y la descripción explícita de la cubierta como una extensión Kummer, el autor evita la necesidad de un modelo semi-estable global de $M^1_{Dr}$, un obstáculo mayor en intentos previos.
3. Extensión Metodológica: Las técnicas desarrolladas, particularmente el resultado de excesión para cubiertas cíclicas, se señalan como potencialmente útiles para estudiar la primera cubierta del espacio de Lubin-Tate, donde surgen complejidades geométricas similares.

El autor observa que, si bien el resultado se prueba para $n=1$ (la primera cubierta) y dimensión $d$ arbitraria, la situación para niveles superiores ($n > 1$) es significativamente más compleja, y un enfoque puramente local puede no ser suficiente para esos casos. El trabajo depende fuertemente de la descripción geométrica de la primera cubierta obtenida en las publicaciones previas del autor.