An Arithmetic Invariant of the Jacquet-Langlands correspondence

Aquí presento un resumen técnico detallado del artículo "An Arithmetic Invariant of the Jacquet-Langlands correspondence" de Jun Yang, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda una cuestión fundamental en la teoría de números y la teoría de representaciones automorfas: la compatibilidad local-global de las medidas de Plancherel y la medida de Tamagawa bajo la correspondencia de Jacquet-Langlands (JL).

• Contexto Local: La correspondencia local de Jacquet-Langlands establece una relación entre las representaciones irreducibles cuadrado-integrables de $GL(2, F_v)$ y las de la álgebra de cuaterniones no dividida $D^\times(F_v)$. Se sabe que los grados formales de las representaciones correspondientes son proporcionales. Esta propiedad se ha generalizado a $GL(n)$ y a medidas de Plancherel para representaciones temperadas, donde la relación es $d\nu_v(\pi_v) / d\nu'_v(\pi'_v) = c_v$, siendo $c_v$ una constante dependiente de las medidas de Haar locales.
• El Desafío Global: Al intentar globalizar esta relación para representaciones automorfas sobre un cuerpo global $F$, surgen dos dificultades principales:
  1. Divergencia: Ni los grados formales globales ni la medida de Plancherel global están bien definidos debido a la divergencia del producto de las medidas locales sobre todos los lugares.
  2. Normalización Canónica: Aunque las medidas de Haar locales pueden reescalarse libremente, existe una medida única y canónica en el grupo adélico: la medida de Tamagawa.
• La Pregunta Central: ¿Existe una familia de medidas de Haar locales $\mu_v, \mu'_v$ tal que la constante de proporcionalidad $c_v$ sea igual a 1 para todos los lugares $v$, y que al mismo tiempo, el producto de estas medidas locales coincida con la medida de Tamagawa global? Además, ¿se preserva esta relación de medidas al considerar las representaciones como módulos sobre subgrupos aritméticos, en términos de densidades de von Neumann?

2. Metodología

El autor emplea una combinación de teoría de representaciones de grupos reductivos, teoría de números (álgebras de división) y análisis funcional (álgebras de von Neumann).

• Normalización de Medidas Locales:

  • Se definen medidas de Haar específicas en las formas internas de $GL(n)$ sobre cuerpos locales (no arquimedianos y arquimedianos).
  • Se utiliza la medida de Tamagawa local (definida a través de discriminantes y órdenes máximos en el caso no arquimediano, y formas diferenciales invariantes en el caso arquimediano) como la normalización base.
  • Se demuestra que con esta normalización específica, la relación de proporcionalidad entre las medidas de Plancherel locales se vuelve trivial ($c_v = 1$).

• Generalización de Dimensiones a Densidades:

  • Se introduce el concepto de densidad de von Neumann ($d_\Gamma(\pi)$) para representaciones sobre grupos discretos $\Gamma$. Esta noción generaliza la dimensión de von Neumann clásica.
  • Se adapta esta definición a representaciones proyectivas ($\sigma$-proyectivas) asociadas a cociclos de 2-cociclos, lo cual es crucial al pasar de representaciones de grupos lineales a sus versiones proyectivas (como $PGL$).

• Análisis Local-Global:

  • Se estudia la compatibilidad de las medidas de Plancherel locales bajo la correspondencia JL.
  • Se utiliza la fórmula de Plancherel para extensiones centrales y la descomposición de representaciones automorfas en componentes locales.
  • Se aplica la propiedad de aproximación fuerte para relacionar el covolumen de los subgrupos aritméticos con la medida de Tamagawa global.

3. Contribuciones Clave

1. Normalización de Medidas de Haar: El autor construye explícitamente una familia de medidas de Haar locales $\mu_v$ y $\mu'_v$ en $GL(n, F_v)$ y sus formas internas $GL(n, D_v)$, respectivamente, tales que:

   • Su producto es la medida de Tamagawa global.
   • La correspondencia de Jacquet-Langlands local preserva exactamente las medidas de Plancherel asociadas (es decir, $d\nu_v(\pi_v) = d\nu'_v(\pi'_v)$).

2. Invariante Aritmético (Densidad): Se demuestra que la correspondencia global de Jacquet-Langlands preserva las densidades de von Neumann sobre los subgrupos aritméticos principales. Esto proporciona un invariante aritmético nuevo y robusto que conecta las representaciones automorfas de grupos lineales con las de sus formas internas.

3. Generalización de Resultados Previos: Se extienden resultados conocidos sobre grados formales y medidas de Plancherel (de Aubert, Plymen, Rogawski, etc.) al contexto global y a la noción de densidad sobre grupos discretos, resolviendo la ambigüedad de la normalización de medidas.

4. Resultados Principales

• Lema 3.9 (Compatibilidad Local-Global): Existe una elección de medidas de Haar locales tal que el producto de estas medidas es la medida de Tamagawa global y, simultáneamente, la correspondencia de Jacquet-Langlands local preserva las medidas de Plancherel ($d\nu_v = d\nu'_v$). Esto se prueba tanto para lugares no arquimedianos (Sección 3.2) como arquimedianos (Sección 3.4).

• Teorema 4.3 (Preservación de Densidades): Sea $\pi$ y $\pi'$ representaciones automorfas cuspidales temperadas de $GL(nd, \mathbb{A})$ y $GL(n, D(\mathbb{A}))$ que se corresponden bajo la correspondencia global de Jacquet-Langlands. Si $S$ es un conjunto finito de lugares que contiene los lugares ramificados de $D$ y ambos grupos $G(F_S)$ y $G'(F_S)$ no son compactos módulo sus centros, entonces:
  $$d_{\Gamma_S, \sigma(\pi_S)}(\pi_S) = d_{\Gamma'_S, \sigma(\pi'_S)}(\pi'_S)$$
  Donde $d_{\Gamma, \sigma}$ denota la densidad de von Neumann sobre el subgrupo aritmético $\Gamma$ para la representación proyectiva asociada.

• Corolario 4.5 (Preservación de Dimensiones): Bajo las mismas hipótesis, si las componentes locales son cuadrado-integrables, las dimensiones de von Neumann de las representaciones como módulos sobre las álgebras de von Neumann de los subgrupos aritméticos son iguales:
  $$\dim_{L(\Gamma_S, \sigma)} \pi_S = \dim_{L(\Gamma'_S, \sigma')} \pi'_S$$

5. Significado e Impacto

• Resolución de la Ambigüedad de Normalización: El trabajo resuelve la cuestión de cómo normalizar las medidas locales para que la correspondencia de Jacquet-Langlands sea "isométrica" en términos de medidas de Plancherel, alineando la teoría local con la medida global canónica (Tamagawa).
• Nuevo Invariante Aritmético: La demostración de que la densidad de von Neumann es un invariante bajo la correspondencia JL ofrece una herramienta poderosa para estudiar la estructura de los subgrupos aritméticos y sus representaciones. Esto conecta la teoría de números (formas modulares, representaciones automorfas) con la teoría de operadores (álgebras de von Neumann).
• Implicaciones para la Conjetura de Ramanujan-Petersson: Dado que la conjetura predice que todas las representaciones automorfas cuspidales son temperadas, este resultado sugiere que la igualdad de densidades es una propiedad universal para estas representaciones, proporcionando un marco para futuras investigaciones sobre la distribución espectral de estos grupos.
• Generalización de $GL(2)$a$GL(n)$: El artículo generaliza resultados clásicos de Jacquet y Langlands (originalmente para $GL(2)$) al caso de $GL(n)$ y formas internas generales, utilizando la teoría de Badulescu y Renard.

En resumen, el artículo establece un puente riguroso entre la teoría de medidas locales, la geometría aritmética global y la teoría de representaciones de grupos discretos, demostrando que la correspondencia de Jacquet-Langlands preserva una estructura métrica profunda (la densidad de von Neumann) cuando se utiliza la normalización correcta de Tamagawa.