Counting points on generic character varieties

Resumen Técnico: Conteo de Puntos en Variedades de Caracteres Genéricas

Planteamiento del Problema
El artículo aborda la enumeración de puntos en variedades de caracteres asociadas con grupos de superficies con agujeros y clases de conjugación semisimples regulares en grupos reductivos arbitrarios $G$ sobre cuerpos finitos. Mientras que la geometría y la topología de las variedades de caracteres de $GL_n$ están bien comprendidas —gracias al trabajo fundacional de Hausel, Letellier y Rodriguez-Villegas [HRV08, HLRV1les]— existe una comprensión limitada de las variedades de caracteres para grupos reductivos generales. Específicamente, los autores buscan determinar el número de puntos $\mathbb{F}_q$ tanto para las variedades de caracteres multiplicativas (asociadas al grupo fundamental de una superficie con agujeros) como para sus análogos aditivos (asociados a la álgebra de Lie $\mathfrak{g}$). El estudio se centra en tuplas "genéricas" de clases de conjugación, una condición que asegura que las variedades sean suaves y equidimensionales.

Metodología
Los autores emplean una combinación de la teoría de la representación de grupos finitos de tipo Lie, la teoría de Deligne-Lusztig y el análisis armónico en álgebras de Lie.

1. Caso Multiplicativo:

   • El punto de partida es la Fórmula de Masa de Frobenius, que expresa el número de puntos en la variedad de representación en términos de los caracteres complejos irreducibles del grupo finito $G(\mathbb{F}_q)$.
   • Utilizando el supuesto de que las clases de conjugación son genéricas y contienen elementos fuertemente regulares, los autores aplican un teorema de Deligne y Lusztig [DL76]. Esto restringe los caracteres contribuyentes a las representaciones de la serie principal.
   • La suma sobre los caracteres se reorganiza agrupando las representaciones en "tipos" $\tau = [L, \rho]$, donde $L$ es un grupo de endoscopia estándar (un subgrupo pseudo-Levi) y $\rho$ es un carácter irreducible del grupo de Weyl de $L$.
   • Las sumas de caracteres se evalúan mediante la inversión de Möbius en el orden de los grupos de endoscopia. Un paso crucial implica analizar los estabilizadores de la acción de Frobenius en el toro dual, lo que requiere un cambio de base finito para asegurar que los grupos de componentes se descompongan.

2. Caso Aditivo:

   • La variedad de caracteres aditiva se define vía el álgebra de Lie $\mathfrak{g}$ y las órbitas de adjunción. El problema de conteo se aborda mediante un análogo aditivo de la Fórmula de Masa de Frobenius, que involucra las transformadas de Fourier de las funciones características de las órbitas de adjunción.
   • Los autores utilizan resultados de Kazhdan y Letellier [Let05] para evaluar estas transformadas de Fourier. La no nulidad de la transformada está vinculada a elementos "descompuestos" (split) en el álgebra de Lie.
   • De manera similar al caso multiplicativo, la suma se descompone por "tipos" $\tau = [L, N]$, donde $L$ es un subgrupo de Levi y $N$ es una órbita nilpotente.
   • La evaluación se basa en las propiedades de las funciones de Green y las fibras de Springer. Los autores señalan que para grupos con un factor $E_8$, puede requerirse un cambio de base cuadrático para asegurar que el conteo de puntos sea un polinomio.

Contribuciones Clave y Resultados

1. Conteo Polinomial para Variedades Multiplicativas:

   • Teorema 2: Los autores demuestran que para una variedad de caracteres genérica $X$ asociada a un grupo reductivo $G$, existe un entero positivo $r$ tal que el número de puntos $|X(\mathbb{F}_{q^{rm}})|$ viene dado por un polinomio $f_X(q^{rm})$ para todo $m \geq 1$.
   • Propiedad Palindrómica: Se muestra que el polinomio de conteo $f_X(t)$ es palindrómico (coeficientes simétricos). Esto sugiere que la variedad satisface una dualidad de Poincaré "curiosa" y una propiedad de Lefschetz de Hodge "curiosa", apoyando una conjetura $P=W$ para estas variedades.
   • Componentes Conexas: Se determina que el número de componentes conexas de $X$ es $|\pi_0(Z(\check{G}))|$, donde $\check{G}$ es el grupo de Langlands dual.
   • Independencia: El polinomio $f_X$ depende solo del grupo $G$, el género $g$ y el número de agujeros $n$, pero es independiente de las clases de conjugación genéricas específicas elegidas.

2. Conteo Polinomial para Variedades Aditivas:

   • Teorema 6: Los autores establecen que la variedad de caracteres aditiva $Y$ también tiene conteo polinomial, específicamente tras un cambio de base cuadrático (es decir, $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$).
   • Coeficientes No Negativos: Aunque falta una prueba general debido a la ausencia de un vínculo directo con las variedades de quivers (que solo existe para $GL_n$), la evidencia computacional para grupos de rango menor a 7 sugiere que los coeficientes de $f_Y$ son no negativos. Esto apoya la conjetura de que la cohomología de $Y$ es pura.
   • Conexidad: Se demuestra que la variedad aditiva $Y$ es conexa.

3. Fórmulas Explícitas y Ejemplos:

   • El artículo proporciona fórmulas de funciones racionales explícitas para los polinomios de conteo $f_X$ y $f_Y$ en términos de datos del sistema de raíces, caracteres del grupo de Weyl y polinomios de Green.
   • La Sección 7 presenta tablas detalladas y polinomios explícitos para grupos de bajo rango ($GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$) y valores específicos de género y agujeros.

Significancia y Reivindicaciones
El artículo afirma generalizar los resultados seminales de Hausel, Letellier y Rodriguez-Villegas del tipo $A$ ($GL_n$) a grupos reductivos arbitrarios.

• Perspectiva Estructural: La demostración de que las variedades de caracteres genéricas son de conteo polinomial y palindrómicas proporciona una fuerte evidencia de propiedades topológicas profundas (estructura de Hodge-Tate, dualidad de Poincaré, Lefschetz de Hodge) en el entorno reductivo, reflejando el comportamiento conocido para $GL_n$.
• Análogo Reductivo de los Polinomios de Kac: Se propone que los polinomios de conteo para las variedades de caracteres aditivas son los análogos reductivos de los polinomios de Kac para quivers con forma de cometa. La no negatividad de sus coeficientes es una conjetura que vincula la geometría de las variedades de caracteres aditivas con la teoría de representaciones de álgebras de Borcherds.
• Fundamento para Conjeturas Futuras: Los autores señalan que sus resultados proporcionan los datos necesarios para formular conjeturas respecto a los polinomios de Hodge mixtos en el entorno reductivo, de manera análoga a las fórmulas de polinomios de Macdonald conocidas para $GL_n$. Enfatizan que probar la no negatividad de los coeficientes para un $G$ general sigue siendo un problema abierto no trivial debido a la falta de una correspondencia directa con variedades de quivers.

El trabajo depende fuertmente del supuesto de que el centro $Z(G)$ es conexo y que la característica del cuerpo es "muy buena" para $G$. Los autores reconocen que relajar el supuesto del centro conexo complicaría las fórmulas debido a los centralizadores desconectados en el grupo dual, y que el supuesto de genericidad es crucial para la suavidad y la equidimensionalidad de las variedades.