A note on toric periods in unramified families

Resumen Técnico: Una nota sobre los periodos toricos en familias no ramificadas

Planteamiento del problema
El artículo aborda el problema de identificar la normalización correcta para los periodos toricos dentro del contexto de las representaciones de familias no ramificadas inducidas parabólicamente para $GL_2(F)$, donde $F$ es una extensión finita de $\mathbb{Q}_p$. Específicamente, el autor investiga el comportamiento de estos periodos cuando se restringen desde una familia definida sobre el cuerpo cociente $Q(A)$ a una familia definida sobre el álgebra $A = \mathbb{C}[X_1^{\pm 1}, X_2^{\pm 1}]$ de polinomios de Laurent complejos.

Si bien el espacio de periodos toricos no ramificados sobre $Q(A)$ es conocido por ser unidimensional y no nulo en el vector esférico (un resultado que sigue de Waldspurger y Prasad), la situación sobre el anillo $A$ es más sutil. El $A$-módulo $i_A(\chi)$ no es irreducible, a diferencia de su contraparte de $Q(A)$. La cuestión central, planteada por D. Prasad, es encontrar una forma lineal normalizada explícita $l_A$ tal que la imagen $l_A(i_A(\chi))$ esté contenida en $A$ y sea "óptima" en el sentido de que no pueda ser escalada por ningún elemento no unidad $a \in A$ para permanecer en $A$. Además, el artículo busca determinar la estructura precisa del $A$-módulo generado por estos periodos.

Metodología
El autor emplea un enfoque algebraico de la teoría de representaciones, utilizando las siguientes herramientas:

1. Modelos de Whittaker: El artículo realiza la representación inducida $i_{Q(A)}(\chi)$ a través de su modelo de Whittaker $W(i_{Q(A)}(\chi), \psi)$, construyendo un funcional de Whittaker $\Lambda_\chi$ sobre el subespacio de funciones soportadas en la gran celda de Bruhat. Esta construcción sigue el marco algebraico de Casselman y Shalika, adaptado al cuerpo $Q(A)$.
2. Zeta-integrales formales: Siguiendo el enfoque de Kim y Krishnamurthy, se define una forma lineal $\lambda$ sobre el modelo de Whittaker utilizando una versión algebraica formal de la clásica zeta-integral de $GL_2$. Esto implica una serie de Laurent formal $I(W, X)$ dividida por un factor-$L$ $L(i_{Q(A)}(\chi), X)$.
3. Descenso a la serie principal: La forma lineal $l_A$ se define componiendo la forma de la zeta-integral $\lambda$ con el mapa desde el modelo de la serie principal hacia el modelo de Whittaker.
4. Descomposición de Bruhat y análisis de soporte: Para analizar la imagen de $l_A$ en el $A$-módulo $i_A(\chi)$, el autor descompone los elementos $f \in i_A(\chi)$ en una parte esférica y una parte soportada en la gran celda. Mediendo el soporte de las funciones y el comportamiento de los caracteres aditivos bajo conjugación, el autor computa los valores específicos de los periodos sobre vectores de prueba específicos, incluyendo el vector esférico $f_{sph}$ y una función $f_0$ soportada en el subgrupo de Iwahori.

Contribuciones clave y resultados
El resultado principal, Teorema A, identifica la forma lineal única $l_A$ (salvo escalares de $A^\times$) que satisface la condición $l_A(f_{sph}) = 1 - q^{-1}X_1 X_2^{-1}$. El artículo establece que:

• La imagen del $A$-módulo $i_A(\chi)$ bajo $l_A$ es precisamente el $A$-submódulo no libre de $A$ dado por:
  $$(1 - q^{-1/2}X_1)A + (1 - q^{-1}X_1 X_2^{-1})A$$
  Esto se expresa equivalentemente como $(1 - q^{1/2}X_2)A + (1 - q^{-1}X_1 X_2^{-1})A$.
• Esta imagen está contenida en $A$, y para cualquier $a \notin A^\times$, el módulo escalado $a^{-1}l_A(i_A(\chi))$ no está contenido en $A$.

Se muestra que el factor de normalización $1 - q^{-1}X_1 X_2^{-1}$ coincide con el producto sobre las raíces positivas $\prod_{\alpha > 0} (1 - q^{-1}\chi(\alpha^\vee(\varpi)))$, que aparece en la fórmula de Casselman-Shalika.

Una observación secundaria (Observación 1.3.2) destaca un fenómeno derivado de la reducibilidad de $i_A(\chi)$: mientras que el periodo del submódulo cíclico generado por el vector esférico está contenido en $A$, el periodo de todo el módulo $i_A(\chi)$ requiere la normalización específica derivada en el Teorema A para permanecer en $A$.

Significado y pretensiones
El artículo afirma responder a una pregunta específica planteada por D. Prasad sobre la normalización de los periodos toricos en familias no ramificadas sobre anillos de polinomios de Laurent. Al proporcionar la estructura explícita del módulo de la imagen, el trabajo clarifica el comportamiento "óptimo" de estos periodos bajo restricción.

El autor sugiere que este resultado apunta hacia posibles generalizaciones a un entorno más amplio de Gan-Gross-Prasad no ramificado para representaciones de $G \times H$ que admiten formas lineales no nulas invariantes por $H$. Sin embargo, el artículo no proporciona estas generalizaciones, ni propone aplicaciones experimentales. La significancia se enmarca como un paso fundacional para comprender las propiedades aritméticas de los periodos en familias, con la esperanza de que esto "despierte el interés para trabajos futuros" en la extensión de estos resultados a entornos más generales.