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

Resumo Técnico: Cohomologia de De Rham da Primeira Cobertura do Espaço de Drinfeld

Enunciado do Problema
O artigo investiga a cohomologia de De Rham da primeira cobertura, denotada por $M^1_{Dr}$, dentro da torre de Drinfeld de coberturas étale sobre o espaço simétrico de Drinfeld $H^d_K$. Embora a cohomologia $\ell$-ádica ($\ell \neq p$) desta torre seja bem estabelecida como fornecedora de uma realização geométrica das correspondências de Langlands local e de Jacquet-Langlands (via trabalhos de Harris, Taylor, Boyer, etc.), o caso $p$-ádico (especificamente a cohomologia de De Rham) apresenta desafios significativos. A dificuldade principal reside na ausência de um modelo semiestável conhecido (ou de redução semiestável generalizada) para a primeira cobertura $M^1_{Dr}$, ao contrário do espaço base $M^0_{Dr}$, que admite um modelo de Deligne. Sem tal modelo, as técnicas padrão envolvendo a comparação de fibras genéricas e especiais (como o estudo de ciclos evanescentes) não são diretamente aplicáveis no contexto de De Rham.

Metodologia
O autor emprega uma abordagem puramente local, evitando argumentos geométricos globais sempre que possível. A metodologia baseia-se em três pilares principais:

1. Generalização de Resultados de Excisão: O artigo estende um resultado de Grosse-Klönne referente à excisão de cohomologia em espaços analíticos rígidos. Especificamente, o Teorema B estabelece que, para um esquema formal $X$ de redução semiestável generalizada e uma cobertura cíclica tame $\pi: T \to X_\eta$, a cohomologia de De Rham do tubo sobre uma interseção de componentes irreduzíveis da fibra especial é isomórfica à cohomologia do tubo sobre a interseção menos os componentes "fronteira". Isso permite a redução do cálculo da cohomologia global para cálculos locais em subconjuntos específicos.

2. Descrição Geométrica Explícita: Utilizando trabalho anterior do próprio autor, a primeira cobertura $\Sigma_1$ (o espaço analítico associado a $M^1_{Dr}$) é descrita explicitamente como uma cobertura Kummer (uma cobertura cíclica de ordem coprima a $p$) do espaço de Drinfeld. Sobre subconjuntos abertos específicos correspondentes a vértices do edifício de Bruhat-Tits, esta cobertura mostra-se ser isomórfica a uma cobertura cíclica de um toro monomial.

3. Comparação com Variedades de Deligne-Lusztig: O artigo identifica que a fibra especial da cobertura sobre um vértice do edifício de Bruhat-Tits é isomórfica a uma variedade de Deligne-Lusztig $DL^d_F$. O autor calcula a cohomologia de De Rham destas coberturas cíclicas de toros monomial e relaciona-as com a cohomologia rígida das variedades de Deligne-Lusztig.

Contribuições Principais e Resultados

• Teorema 5.1 (Excisão para Coberturas Cíclicas): O artigo prova um teorema de excisão generalizado para a cohomologia de De Rham de coberturas cíclicas tame sobre esquemas formais de redução semiestável generalizada. Este resultado é crucial para reduzir a cohomologia de toda a cobertura para a cohomologia de "tubos" específicos sobre as componentes irreduzíveis da fibra especial.
• Teorema 5.8 (Cohomologia de Coberturas Cíclicas de Toros Monomiais): O autor fornece uma descrição explícita da cohomologia de De Rham de uma cobertura cíclica tame de um toro monomial. A cohomologia mostra-se decomponível em componentes isotípicas correspondentes aos caracteres do grupo de Galois, com uma base dada por diferenciais logarítmicos.
• Teorema 6.1 (Cálculo Local): Para um caráter primitivo $\theta$ do grupo de Galois $F_{q^{d+1}}^*$, a cohomologia de De Rham com suporte compacto da primeira cobertura, restrita à sua componente isotípica $\theta$, está concentrada no grau $d$. Especificamente:
  $$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{se } i = d \\ 0 & \text{caso contrário} \end{cases}$$
  Aqui, $BT_0$ denota o conjunto de vértices do edifício de Bruhat-Tits semi-simples.
• Teorema 6.9 (Realização de Jacquet-Langlands): O artigo estabelece que a parte supercuspídeal da cohomologia de De Rham da primeira cobertura realiza a correspondência local de Jacquet-Langlands. Especificamente, para um caráter primitivo $\theta$, o espaço de aplicações $D^*$-equivariantes da representação $\rho(\theta)$ para a cohomologia $H^i_{dR,c}(M^1_{Dr})$ é isomórfico à representação $JL(\rho(\theta))$ de $GL_{d+1}(K)$ se $i=d$, e zero caso contrário.

Significância
O artigo afirma fornecer uma prova puramente local de que a parte supercuspídeal da cohomologia de De Rham da primeira cobertura de Drinfeld realiza a correspondência local de Jacquet-Langlands. Isto serve como um análogo de De Rham para os resultados clássicos $\ell$-ádicos estabelecidos por Wang e outros.

A significância reside em:

1. Ponte entre Teorias de Cohomologia: Demonstra que a informação "supercuspídeal" codificada na cohomologia $\ell$-ádica também está presente na cohomologia de De Rham, desde que se ignore a ação do grupo de Weil (que é invisível no contexto de De Rham).
2. Superação de Limitações de Modelos: Ao utilizar o teorema de excisão generalizado (Teorema B) e a descrição explícita da cobertura como uma extensão Kummer, o autor contorna a necessidade de um modelo semiestável global de $M^1_{Dr}$, uma grande obstrução em tentativas anteriores.
3. Extensão Metodológica: As técnicas desenvolvidas, particularmente o resultado de excisão para coberturas cíclicas, são notadas como potencialmente úteis para o estudo da primeira cobertura do espaço de Lubin-Tate, onde surgem complexidades geométricas semelhantes.

O autor observa que, embora o resultado tenha sido provado para $n=1$ (a primeira cobertura) e dimensão $d$ arbitrária, a situação para níveis superiores ($n > 1$) é significativamente mais complexa, e uma abordagem puramente local pode não ser suficiente para esses casos. O trabalho depende fortemente da descrição geométrica da primeira cobertura obtida nas publicações anteriores do autor.