grupo metapléctico

En matemáticas , el grupo metapléctico Mp _{2 n} es una doble cobertura del grupo simpléctico Sp _{2 n} . Se puede definir sobre números reales o p -ádicos . La construcción cubre de manera más general el caso de un campo local o finito arbitrario , e incluso el anillo de adeles .

El grupo metapléctico tiene una representación lineal de dimensión infinita particularmente significativa , la representación de Weil . ^[1] Fue utilizado por André Weil para dar una interpretación teórica de la representación de las funciones theta , y es importante en la teoría de las formas modulares del peso semiintegral y la correspondencia theta .

Definición

El grupo fundamental del grupo de Lie simpléctico Sp _2n ( R ) es cíclico infinito , por lo que tiene una doble cubierta conectada única, que se denota Mp _{2 n} ( R ) y se llama grupo metapléctico .

El grupo metapléctico Mp ₂ ( R ) no es un grupo matricial : no tiene representaciones fieles de dimensión finita . Por tanto, la cuestión de su realización explícita no es trivial. Tiene representaciones fieles e irreductibles de dimensiones infinitas, como la representación de Weil que se describe a continuación.

Se puede demostrar que si F es cualquier campo local distinto de C , entonces el grupo simpléctico Sp _{2 n} ( F ) admite una única extensión central perfecta con el núcleo Z /2 Z , el grupo cíclico de orden 2, que se llama grupo metapléctico sobre F . Sirve como un reemplazo algebraico de la noción topológica de una cobertura doble utilizada cuando F = R. El enfoque a través de la noción de extensión central es útil incluso en el caso de un grupo metapléctico real, porque permite una descripción del funcionamiento del grupo a través de un determinado cociclo .

Construcción explícita para n = 1

En el caso n = 1 , el grupo simpléctico coincide con el grupo lineal especial SL ₂ ( R ) . Este grupo actúa biholomórficamente sobre el semiplano superior complejo mediante transformaciones lineales fraccionarias, como la transformación de Möbius ,

${\displaystyle g\cdot z={\frac {az+b}{cz+d}}}$

dónde

${\displaystyle g={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {SL} _{2}(\mathbf {R} )}$

es una matriz real de 2 por 2 con el determinante unitario y z está en el semiplano superior, y esta acción se puede utilizar para construir explícitamente la cubierta metapléctica de SL ₂ ( R ).

Los elementos del grupo metapléctico Mp ₂ ( R ) son los pares ( g , ε ), donde y ε es una función holomorfa en el semiplano superior tal que . La ley de la multiplicación está definida por: ${\displaystyle g\in \operatorname {SL} _{2}(\mathbf {R} )}$ ${\displaystyle \epsilon (z)^{2}=cz+d=j(g,z)}$

${\displaystyle (g_{1},\epsilon _{1})\cdot (g_{2},\epsilon _{2})=(g_{1}g_{2},\epsilon ),}$ dónde ${\displaystyle \epsilon (z)=\epsilon _{1}(g_{2}\cdot z)\epsilon _{2}(z).}$

Que este producto está bien definido se desprende de la relación cociclo . El mapa ${\displaystyle j(g_{1}g_{2},z)=j(g_{1},g_{2}\cdot z)j(g_{2},z)}$

${\displaystyle (g,\epsilon )\mapsto g}$

es una sobreyección de Mp ₂ ( R ) a SL ₂ ( R ) que no admite sección continua. Por lo tanto, hemos construido una portada doble no trivial del último grupo.

Construcción de la representación de Weil

Primero damos una razón bastante abstracta por la que existe la representación de Weil. El grupo de Heisenberg tiene una representación unitaria irreducible en un espacio de Hilbert , es decir, ${\displaystyle {\mathcal {H}}}$

${\displaystyle \rho :\mathbb {H} (V)\longrightarrow U({\mathcal {H}})}$

con el centro actuando como una constante dada distinta de cero. El teorema de Stone-von Neumann establece que esta representación es esencialmente única: si hay otra representación similar, existe un automorfismo ${\displaystyle \rho '}$

${\displaystyle \psi \in U({\mathcal {H}})}$tal que . ${\displaystyle \rho '=\operatorname {Ad} _{\psi }(\rho )}$

y el automorfismo conjugador es proyectivamente único, es decir, hasta un módulo multiplicativo 1 constante. Entonces, cualquier automorfismo del grupo de Heisenberg, que induzca la identidad en el centro, actúa sobre esta representación ; para ser precisos, la acción sólo está bien definida hasta la multiplicación por una constante distinta de cero. ${\displaystyle {\mathcal {H}}}$

Los automorfismos del grupo de Heisenberg (que fijan su centro) forman el grupo simpléctico , por lo que a primera vista esto parece dar una acción del grupo simpléctico sobre . Sin embargo, la acción solo se define hasta la multiplicación por una constante distinta de cero; en otras palabras, solo se puede asignar el automorfismo del grupo a la clase . Entonces solo obtenemos un homomorfismo del grupo simpléctico al grupo unitario proyectivo de ; en otras palabras, una representación proyectiva . Entonces se aplica la teoría general de las representaciones proyectivas, para dar una acción de alguna extensión central del grupo simpléctico sobre . Un cálculo muestra que esta extensión central puede considerarse una doble cubierta, y esta doble cubierta es el grupo metapléctico. ${\displaystyle {\mathcal {H}}}$ ${\displaystyle [\psi ]\in \operatorname {PU} ({\mathcal {H}})}$ ${\displaystyle {\mathcal {H}}}$ ${\displaystyle {\mathcal {H}}}$

Ahora damos una construcción más concreta en el caso más simple de Mp ₂ ( R ). El espacio de Hilbert H es entonces el espacio de todas las funciones L ² en los reales. El grupo de Heisenberg se genera por traslaciones y por multiplicación de las funciones e ^ixy de x , para y real. Entonces la acción del grupo metapléctico sobre H se genera mediante la transformada de Fourier y la multiplicación por las funciones exp( ix ² y ) de x , para y real.

Generalizaciones

Weil mostró cómo ampliar la teoría anterior reemplazándola por cualquier grupo abeliano localmente compacto G , que según la dualidad de Pontryagin es isomorfo a su dual (el grupo de caracteres). El espacio de Hilbert H es entonces el espacio de todas las funciones L ² en G . El (análogo de) el grupo de Heisenberg se genera mediante traslaciones de elementos de G y multiplicación por elementos del grupo dual (considerados como funciones de G al círculo unitario). Hay un análogo del grupo simpléctico que actúa sobre el grupo de Heisenberg, y esta acción se eleva a una representación proyectiva en H. La extensión central correspondiente del grupo simpléctico se llama grupo metapléctico. ${\displaystyle \mathbb {R} }$

Algunos ejemplos importantes de esta construcción los dan:

• G es un espacio vectorial sobre los reales de dimensión n . Esto da un grupo metapléctico que es una doble cobertura del grupo simpléctico Sp _{2 n} ( R ).
• De manera más general, G puede ser un espacio vectorial sobre cualquier campo local F de dimensión n . Esto da un grupo metapléctico que es una doble cobertura del grupo simpléctico Sp _{2 n} ( F ).
• G es un espacio vectorial sobre los adeles de un campo numérico (o campo global ). Este caso se utiliza en el enfoque de la teoría de la representación de las formas automórficas .
• G es un grupo finito. El grupo metapléctico correspondiente también es finito y la cobertura central es trivial. Este caso se utiliza en la teoría de las funciones theta de redes, donde típicamente G será el grupo discriminante de una red par .
• David Kazhdan propuso un punto de vista moderno sobre la existencia de la representación lineal (no proyectiva) de Weil sobre un campo finito, es decir, que admite una realización canónica del espacio de Hilbert . Utilizando la noción de operadores canónicos entrelazados sugerida por Joseph Bernstein , Gurevich-Hadani construyó tal realización. ^[2]

Ver también

• grupo heisenberg
• Representación del oscilador
• Estructura metapléctica
• Par dual reductivo
• Grupo de giro , otra doble portada.
• grupo simpléctico
• función theta

Notas

1. Weil, A. (1964). "Sur ciertos grupos de operadores unitarios". Acta Matemáticas . 111 : 143–211. doi : 10.1007/BF02391012 .
2. Gurevich, Samgar; Hadani, Ronny (31 de mayo de 2007). "Cuantización de espacios vectoriales simplécticos sobre campos finitos". arXiv : 0705.4556 [matemáticas.RT].

Referencias

• Howe, Roger; Tan, Eng-Chye (1992), Análisis armónico nobeliano. Aplicaciones de SL(2, R ) , Universitext, Nueva York: Springer-Verlag, ISBN 978-0-387-97768-3
• León, Gerard; Vergne, Michele (1980), La representación de Weil, índice de Maslov y series theta , Progreso en Matemáticas, vol. 6, Boston: Birkhäuser
• Weil, André (1964), "Sur ciertos grupos de operadores unitarios", Acta Math. , 111 : 143–211, doi : 10.1007/BF02391012
• Gurevich, Samgar; Hadani, Ronny (2006), "La representación geométrica de Weil", Selecta Mathematica , Nueva serie, arXiv : math/0610818 , Bibcode :2006math.....10818G
• Gurevich, Samgar; Hadani, Ronny (2005), Cuantización canónica de espacios vectoriales simplécticos sobre campos finitos , arXiv : 0705.4556

enlaces externos

• Weissman, Martin H. (mayo de 2023). "¿Qué es... un grupo metapléctico?" (PDF) . Avisos de la Sociedad Matemática Estadounidense . 70 (5): 806–811. doi : 10.1090/noti2687 .