Nonzero $\mathfrak{n}$-cohomology of Totally Degenerate Limit of Discrete Series representations

Resumo Técnico: Cohomologia Não Nula de $\mathfrak{n}$ de Representações TDLDS

Enunciado do Problema
Limites totalmente degenerados de séries discretas (TDLDS) são definidos ao relaxar as hipóteses de regularidade exigidas para as representações padrão de séries discretas. Enquanto as representações de séries discretas são conhecidas por corresponder a representações de Galois e possuírem ligações robustas com a geometria aritmética, as representações TDLDS carecem de uma conexão similarmente estabelecida. Embora Carayol tenha observado que os TDLDS podem ser detectados na cohomologia coerente de domínios de Griffiths-Schmid (que não são simétricos hermitianos), a aplicação de ferramentas clássicas da geometria algébrica é dificultada pela falta de uma estrutura complexa nesses domínios. O problema central abordado é determinar as propriedades de não anulação da cohomologia de álgebra de Lie $H^*(\mathfrak{n}, \pi)$ para representações TDLDS $\pi$, onde $\mathfrak{n}$ é o espaço de raízes negativas, e investigar se esses grupos de cohomologia satisfazem propriedades de dualidade que poderiam suportar leis de ramificação do tipo Gan-Gross-Prasad (GGP) para grupos unitários.

Metodologia
O artigo emprega uma combinação de teoria de representações combinatória e construção explícita de módulos:

1. Estrutura Combinatória: O autor utiliza o complexo combinatório introduzido por Soergel [Soe97] para calcular a cohomologia de álgebra de Lie. Isso envolve definir complexos de cadeias em subconjuntos do grupo de Weyl $W$ usando a ordem de Bruhat e comprimentos relativos de Bruhat ($l$ e $l_K$). Os diferenciais nesses complexos são construídos para satisfazer condições de sinal específicas que garantem $d^2=0$.
2. Análise Cohomológica: O artigo analisa os espaços de peso $H^*(\mathfrak{n}, \pi)_{-\lambda}$ de representações TDLDS. Ao alavancar o Lema de Casselman-Osborne, a análise é restrita a pesos específicos determinados pelo caráter infinitesimal. O autor prova que, para TDLDS, os diferenciais nos graus relevantes se anulam devido à não compacidade das raízes simples que definem a representação.
3. Construção Explícita: No caso de baixo posto ($SU(2,1) \subset SU(1,1)$), o artigo avança de argumentos combinatórios abstratos para cálculos explícitos. Utiliza-se a decomposição do módulo de Harish-Chandra do TDLDS único de $SU(2,1)$ conforme descrito por Carayol [Car98] e Jantzen-Wallach [JW77]. O autor constrói um mapa de entrelaçamento explícito $J$ entre o TDLDS de $SU(2,1)$ e uma representação irredutível admissível de $SU(1,1)$, verificando sua compatibilidade com a ação de $\mathfrak{g}'$.

Principais Contribuições e Resultados

• Teorema de Não Anulação (Teorema 1.1 / Teorema 3.3): O artigo estabelece que, para qualquer peso dominante integral $\lambda$ fixado pelo grupo de Weyl (característico de TDLDS), existe uma representação TDLDS $\pi$ com caráter infinitesimal $\lambda + \rho$ tal que o grupo de cohomologia $H^q(\mathfrak{n}, \pi)_{-\lambda}$ é não nulo no grau canônico $q = \#(\Phi_K \cap \Phi^+)$. Isso estende resultados anteriores de Carayol e Kerr a todos os grupos redutivos.
• Dualidade de Serre (Teorema 1.2 / Teorema 3.6): O autor prova que esses grupos de cohomologia satisfazem a dualidade de Serre. Especificamente, $H^q(\mathfrak{n}, V)_{-\lambda} \simeq H^{\#\Phi^+ - q}(\mathfrak{n}, V^\vee)_{\lambda + 2\rho}$. A prova demonstra que essa dualidade é compatível com a dualidade de Serre da cohomologia $\mathfrak{n} \cap \mathfrak{k}$ dos tipos $K$.
• Conexão com as Conjecturas GGP (Seção 4): O artigo sugere uma interpretação geométrica das conjecturas GGP por meio desses grupos de cohomologia. Constrói-se mapas de restrição entre grupos de cohomologia de fibrados de linha sobre variedades de Griffiths-Schmid para grupos unitários de rangos $n$ e $n+1$. A não anulação desses mapas está ligada à não anulação de integrais de período e valores $L$.
• Mapa de Entrelaçamento Explícito (Teorema 1.3 / Teorema 5.7): Para a inclusão específica $SU(1,1) \subset SU(2,1)$, o artigo constrói um morfismo $J: \pi \to \pi'$ de módulos $\mathfrak{g}'$. O resultado principal é que tal mapa induz uma restrição não nula na cohomologia no grau 1 se e somente se $\pi'$ for o limite anti-holomorfo de séries discretas para $SU(1,1)$. Notavelmente, este mapa se anula no tipo $K$ mínimo de $SU(2,1)$, mas induz um mapa não trivial no nível da cohomologia.

Significado e Alegações
O artigo alega fornecer a primeira prova combinatória robusta de não anulação para a cohomologia de $\mathfrak{n}$ de TDLDS em todos os grupos redutivos, indo além de casos específicos. Ao estabelecer a dualidade de Serre para esses grupos, cria-se uma estrutura estrutural que espelha propriedades das séries discretas padrão.

O autor postula que esses resultados oferecem evidências para um vínculo entre TDLDS e as conjecturas GGP. Especificamente, a não anulação do mapa de restrição de cohomologia sugere que não há obstrução cohomológica à não anulação de integrais de período no lugar arquimediano para TDLDS. No entanto, o artigo é modesto quanto ao escopo desse vínculo; enquadra a generalização para todos os grupos unitários como uma questão aberta (Questão 1.4) em vez de uma conjectura provada. A construção explícita para $SU(2,1)$ serve como um "exemplo básico" de como estudar essas leis de ramificação em baixo posto, demonstrando que a cohomologia não nula pode ocorrer mesmo quando o mapa de entrelaçamento aniquila o tipo $K$ mínimo, um fenômeno distinto de abordagens que utilizam funtores de tradução.