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

Resumen Técnico: Cohomología No Nula de $\mathfrak{n}$ de Representaciones TDLDS

Enunciado del Problema
Los límites totalmente degenerados de series discretas (TDLDS) se definen relajando las suposiciones de regularidad requeridas para las representaciones estándar de series discretas. Mientras que se sabe que las representaciones de series discretas corresponden a representaciones de Galois y poseen vínculos robustos con la geometría aritmética, las representaciones TDLDS carecen de una conexión similarmente establecida. Aunque Carayol observó que los TDLDS pueden detectarse en la cohomología coherente de dominios de Griffiths-Schmid (que no son simétricos hermitianos), la aplicación de herramientas clásicas de geometría algebraica se ve obstaculizada por la falta de una estructura compleja en estos dominios. El problema central abordado es determinar las propiedades de no anulación de la cohomología de álgebras de Lie $H^*(\mathfrak{n}, \pi)$ para representaciones TDLDS $\pi$, donde $\mathfrak{n}$ es el espacio de raíces negativas, e investigar si estos grupos de cohomología satisfacen propiedades de dualidad que podrían apoyar leyes de ramificación de tipo Gan-Gross-Prasad (GGP) para grupos unitarios.

Metodología
El artículo emplea una combinación de teoría de representaciones combinatoria y construcción explícita de módulos:

1. Marco Combinatorio: El autor utiliza el complejo combinatorio introducido por Soergel [Soe97] para calcular la cohomología de álgebras de Lie. Esto implica definir complejos de cadenas sobre subconjuntos del grupo de Weyl $W$ utilizando el orden de Bruhat y las longitudes relativas de Bruhat ($l$ y $l_K$). Los diferenciales en estos complejos se construyen para satisfacer condiciones de signo específicas que aseguran $d^2=0$.
2. Análisis Cohomológico: El artículo analiza los espacios de peso $H^*(\mathfrak{n}, \pi)_{-\lambda}$ de las representaciones TDLDS. Aprovechando el Lema de Casselman-Osborne, el análisis se restringe a pesos específicos determinados por el carácter infinitesimal. El autor demuestra que, para TDLDS, los diferenciales en los grados relevantes se anulan debido a la no compacidad de las raíces simples que definen la representación.
3. Construcción Explícita: En el caso de rango bajo ($SU(2,1) \subset SU(1,1)$), el artículo pasa de argumentos combinatorios abstractos a cálculos explícitos. Utiliza la descomposición del módulo de Harish-Chandra del TDLDS único de $SU(2,1)$ descrita por Carayol [Car98] y Jantzen-Wallach [JW77]. El autor construye un mapa de entrelazamiento explícito $J$ entre el TDLDS de $SU(2,1)$ y una representación admisible irreducible de $SU(1,1)$, verificando su compatibilidad con la acción de $\mathfrak{g}'$.

Contribuciones y Resultados Clave

• Teorema de No Anulación (Teorema 1.1 / Teorema 3.3): El artículo establece que para cualquier peso dominante entero $\lambda$ fijo por el grupo de Weyl (característico de TDLDS), existe una representación TDLDS $\pi$ con carácter infinitesimal $\lambda + \rho$ tal que el grupo de cohomología $H^q(\mathfrak{n}, \pi)_{-\lambda}$ es no nulo en el grado canónico $q = \#(\Phi_K \cap \Phi^+)$. Esto extiende resultados previos de Carayol y Kerr a todos los grupos reductivos.
• Dualidad de Serre (Teorema 1.2 / Teorema 3.6): El autor demuestra que estos grupos de cohomología satisfacen la dualidad de Serre. Específicamente, $H^q(\mathfrak{n}, V)_{-\lambda} \simeq H^{\#\Phi^+ - q}(\mathfrak{n}, V^\vee)_{\lambda + 2\rho}$. La prueba demuestra que esta dualidad es compatible con la dualidad de Serre de la cohomología de $\mathfrak{n} \cap \mathfrak{k}$ de los tipos $K$.
• Conexión con las Conjeturas GGP (Sección 4): El artículo sugiere una interpretación geométrica de las conjeturas GGP a través de estos grupos de cohomología. Construye mapas de restricción entre grupos de cohomología de haces de líneas sobre variedades de Griffiths-Schmid para grupos unitarios de rangos $n$ y $n+1$. La no anulación de estos mapas se vincula con la no anulación de integrales de período y valores $L$.
• Mapa de Entrelazamiento Explícito (Teorema 1.3 / Teorema 5.7): Para la inclusión específica $SU(1,1) \subset SU(2,1)$, el artículo construye un morfismo $J: \pi \to \pi'$ de módulos $\mathfrak{g}'$. El resultado principal es que tal mapa induce una restricción no nula en cohomología en grado 1 si y solo si $\pi'$ es el límite anti-holomorfo de series discretas para $SU(1,1)$. Cabe destacar que este mapa se anula en el tipo $K$ mínimo de $SU(2,1)$, pero induce un mapa no trivial a nivel de cohomología.

Significado y Afirmaciones
El artículo afirma proporcionar la primera prueba combinatoria robusta de no anulación para la cohomología de $\mathfrak{n}$ de TDLDS en todos los grupos reductivos, superando casos específicos. Al establecer la dualidad de Serre para estos grupos, crea un marco estructural que refleja las propiedades de las series discretas estándar.

El autor postula que estos resultados ofrecen evidencia de un vínculo entre TDLDS y las conjeturas GGP. Específicamente, la no anulación del mapa de restricción de cohomología sugiere que no hay obstrucción cohomológica a la no anulación de integrales de período en el lugar arquimediano para TDLDS. Sin embargo, el artículo es modesto respecto al alcance de este vínculo; enmarca la generalización a todos los grupos unitarios como una pregunta abierta (Pregunta 1.4) en lugar de una conjetura demostrada. La construcción explícita para $SU(2,1)$ sirve como un "ejemplo básico" de cómo uno podría estudiar estas leyes de ramificación en rango bajo, demostrando que la cohomología no nula puede ocurrir incluso cuando el mapa de entrelazamiento aniquila el tipo $K$ mínimo, un fenómeno distinto de los enfoques que utilizan funtores de traducción.