stringtranslate.com

Par de gelfand

En matemáticas , un par de Gelfand es un par ( G , K  ) que consiste en un grupo G y un subgrupo K (llamado subgrupo de Euler de G ) que satisface una cierta propiedad en representaciones restringidas . La teoría de pares de Gelfand está estrechamente relacionada con el tema de las funciones esféricas en la teoría clásica de funciones especiales , y con la teoría de espacios simétricos de Riemann en geometría diferencial . En términos generales, la teoría existe para abstraer de estas teorías su contenido en términos de análisis armónico y teoría de la representación .

Cuando G es un grupo finito , la definición más simple es, en términos generales, que las clases laterales  dobles ( K , K ) en G conmutan. Más precisamente, el álgebra de Hecke , el álgebra de funciones en G que son invariantes bajo la traslación en ambos lados por K , debería ser conmutativa para la convolución en G .

En general, la definición de par Gelfand es aproximadamente que la restricción a K de cualquier representación irreducible de G contiene la representación trivial de K con multiplicidad no mayor que 1. En cada caso, se debe especificar la clase de representaciones consideradas y el significado de "contiene".

Definiciones

En cada área, la clase de representaciones y la definición de contención de las representaciones es ligeramente diferente. Aquí se dan definiciones explícitas de varios de estos casos.

Caso de grupo finito

Cuando G es un grupo finito, son equivalentes:

Caja de grupo compacta

Cuando G es un grupo topológico compacto , los siguientes son equivalentes:

Grupo de Lie con subgrupo compacto

Cuando G es un grupo de Lie y K es un subgrupo compacto , los siguientes son equivalentes:

Para una clasificación de dichos pares de Gelfand, véase [1] .

Ejemplos clásicos de tales pares Gelfand son ( G , K ), donde G es un grupo de Lie reductivo y K es un subgrupo compacto maximal .

Grupo topológico localmente compacto con subgrupo compacto

Cuando G es un grupo topológico localmente compacto y K es un subgrupo compacto, los siguientes son equivalentes:

En ese contexto, G tiene una descomposición de Iwasawa - Monod , es decir , G = KP para algún subgrupo susceptible P de G. [2] Este es el análogo abstracto de la descomposición de Iwasawa de grupos de Lie semisimples .

Grupo de Lie con subgrupo cerrado

Cuando G es un grupo de Lie y K es un subgrupo cerrado , el par ( G , K ) se denomina par de Gelfand generalizado si para cualquier representación unitaria irreducible π de G en un espacio de Hilbert , la dimensión de Hom K ( π , C ) es menor o igual a 1, donde π denota la subrepresentación de vectores suaves .

Grupo reductivo sobre un cuerpo local con subgrupo cerrado

Cuando G es un grupo reductivo sobre un campo local y K es un subgrupo cerrado, hay tres nociones (posiblemente no equivalentes) del par Gelfand que aparecen en la literatura:

( GP1 ) Para cualquier representación admisible irreducible π de G , la dimensión de Hom K ( π , C ) es menor o igual a 1.

( GP2 ) Para cualquier representación admisible irreducible π de G , tenemos , donde denota el dual suave .

( GP3 ) Para cualquier representación unitaria irreducible π de G en un espacio de Hilbert , la dimensión de Hom K ( π , C ) es menor o igual a 1.

Aquí, representación admisible es la noción usual de representación admisible cuando el cuerpo local no es arquimediano . Cuando el cuerpo local es arquimediano, representación admisible significa en cambio representación de Fréchet suave de crecimiento moderado tal que el módulo de Harish-Chandra correspondiente es admisible .

Si el campo local es arquimediano, entonces GP3 es lo mismo que la propiedad Gelfand generalizada definida en el caso anterior.

Claramente, GP1GP2GP3 .

Pares Gelfand fuertes

Un par ( G , K ) se denomina par Gelfand fuerte si el par ( G × K , Δ K ) es un par Gelfand, donde Δ KG × K es el subgrupo diagonal: . A veces, esta propiedad también se denomina propiedad de multiplicidad de uno .

Cada uno de los casos anteriores se puede adaptar a pares Gelfand fuertes. Por ejemplo, supongamos que G es un grupo finito. En ese caso, los siguientes son equivalentes:

Criterios para la propiedad Gelfand

Grupo topológico localmente compacto con subgrupo compacto

En este caso, existe un criterio clásico debido a Gelfand para que el par ( G , K ) sea Gelfand: supongamos que existe un antiautomorfismo involutivo σ de G tal que cualquier clase doble ( K , K ) es σ -invariante. Entonces el par ( G , K ) es un par Gelfand.

Este criterio es equivalente al siguiente: Supóngase que existe un antiautomorfismo involutivo σ de G tal que cualquier función en G que sea invariante con respecto a las traslaciones tanto a la derecha como a la izquierda de K es σ -invariante. Entonces el par ( G , K ) es un par Gelfand.

Grupo reductivo sobre un cuerpo local con subgrupo cerrado

En este caso, existe un criterio debido a Gelfand y Kazhdan para que el par ( G , K ) satisfaga GP2 . Supóngase que existe un antiautomorfismo involutivo σ de G tal que cualquier distribución ( K , K )-doble invariante en G es σ -invariante. Entonces el par ( G , K ) satisface GP2 (véase [3] [4] [5] ).

Si la afirmación anterior sólo es válida para distribuciones definidas positivas , entonces el par satisface GP3 (véase el siguiente caso).

La propiedad GP1 suele derivarse de GP2 . Por ejemplo, esto se cumple si existe un antiautomorfismo involutivo de G que preserva K y preserva toda clase de conjugación cerrada. Para G = GL( n ), la transposición puede servir como tal involución.

Grupo de Lie con subgrupo cerrado

En este caso, existe el siguiente criterio para que el par ( G , K ) sea un par Gelfand generalizado. Supóngase que existe un antiautomorfismo involutivo σ de G tal que cualquier distribución definida positiva invariante K × K en G es σ -invariante. Entonces el par ( G , K ) es un par Gelfand generalizado (véase [6] ).

Criterios para la propiedad Gelfand fuerte

Todos los criterios anteriores se pueden convertir en criterios para pares Gelfand fuertes reemplazando la acción bilateral de K × K por la acción de conjugación de K .

Pares Gelfand trenzados

Un par ( G , K ) se denomina par Gelfand trenzado con respecto al carácter χ del grupo K , si la propiedad Gelfand se cumple cuando la representación trivial se reemplaza por el carácter χ. Por ejemplo, en el caso en que K es compacto, significa que la dimensión de Hom K ( π , χ) es menor o igual a 1. El criterio para pares Gelfand se puede adaptar al caso de pares Gelfand trenzados. [ cita requerida ]

Pares simétricos

La propiedad de Gelfand se cumple a menudo con pares simétricos . Un par ( G , K ) se denomina par simétrico si existe un automorfismo involutivo θ de G tal que K es una unión de componentes conexos del grupo de elementos θ -invariantes: G θ .

Si G es un grupo reductivo conexo sobre R y K  =  G θ es un subgrupo compacto, entonces ( G , K ) es un par de Gelfand. Ejemplo: G  = GL( n , R ) y K  = O( n , R ), el subgrupo de matrices ortogonales .

En general, resulta interesante saber cuándo un par simétrico de un grupo reductivo sobre un campo local tiene la propiedad de Gelfand. Para investigaciones de pares simétricos de rango uno, véase. [7] [8]

Un ejemplo de par simétrico de Gelfand de alto rango es . Esto se demostró en [9] sobre cuerpos locales no arquimedianos y más tarde en [10] para todos los cuerpos locales de característica cero.

Para obtener más detalles sobre esta cuestión para pares simétricos de alto rango, consulte. [11]

Pares esféricos

En el contexto de los grupos algebraicos , los análogos de los pares de Gelfand se denominan pares esféricos . Es decir, un par ( G , K ) de grupos algebraicos se denomina par esférico si se cumple una de las siguientes condiciones equivalentes:

En este caso el espacio G / H se llama espacio esférico .

Se conjetura que cualquier par esférico ( G , K ) sobre un cuerpo local satisface la siguiente versión débil de la propiedad de Gelfand: Para cualquier representación admisible π de G , el espacio Hom K ( π , C ) es de dimensión finita; además, el límite para esta dimensión no depende de π . Esta conjetura se demuestra para una gran clase de pares esféricos que incluyen todos los pares simétricos. [12]

Aplicaciones

Clasificación

Los pares Gelfand se utilizan a menudo para la clasificación de representaciones irreducibles de la siguiente manera:

Sea ( G , K ) un par de Gelfand. Una representación irreducible de G se llama K -distinguible si Hom K ( π , C ) es unidimensional. La representación IndG
K
( C ) es un modelo para todas las representaciones K -distinguidas, es decir, cualquier representación K -distinguida aparece allí con una multiplicidad exactamente 1. Una noción similar existe para los pares Gelfand trenzados.

Ejemplo: Si G es un grupo reductivo sobre un cuerpo local y K es su subgrupo compacto máximo, entonces las representaciones con K -distinguibles se denominan esféricas y dichas representaciones se pueden clasificar mediante la correspondencia de Satake. La noción de representación esférica se encuentra en la base de la noción de módulo de Harish-Chandra .

Ejemplo: Si G es un grupo reductivo dividido sobre un cuerpo local y K es su subgrupo unipotente máximo, entonces el par ( G , K ) es un par de Gelfand trenzado con respecto a cualquier carácter no degenerado ψ (ver [3] [13] ). En este caso, las representaciones distinguidas por K se denominan genéricas (o no degeneradas) y son fáciles de clasificar. Casi cualquier representación irreducible es genérica. La incrustación única (hasta escalar) de una representación genérica en IndG
K
( ψ ) se llama modelo de Whittaker .

En el caso de G = GL( n ) hay una versión más fina del resultado anterior; es decir, existe una secuencia finita de subgrupos K i y caracteres tales que ( G , K i ) es un par Gelfand trenzado con respecto a y cualquier representación unitaria irreducible es K i distinguida por exactamente un i (véase [14] [15] ).

Construcción Gelfand-Zeitlin

También se pueden utilizar pares Gelfand para construir bases para representaciones irreducibles.

Supongamos que tenemos una secuencia tal que es un par Gelfand fuerte. Para simplificar, supongamos que G n es compacto. Entonces esto da una descomposición canónica de cualquier representación irreducible de G n en subrepresentaciones unidimensionales. Cuando G n = U( n ) (el grupo unitario), esta construcción se llama base de Gelfand–Zeitlin. Dado que las representaciones de U( n ) son las mismas que las representaciones algebraicas de GL( n ), también obtenemos una base de cualquier representación algebraica irreducible de GL( n ). Sin embargo, la base construida no es canónica ya que depende de la elección de las incrustaciones .

División de periodos de formas automorfas

Un uso más reciente de los pares Gelfand es la división de períodos de formas automórficas.

Sea G un grupo reductivo definido sobre un cuerpo global F y sea K un subgrupo algebraico de G. Supóngase que para cualquier lugar de F , el par ( G , K ) es un par Gelfand sobre la completitud . Sea m una forma automórfica sobre G , entonces su H -periodo se divide como un producto de factores locales (es decir, factores que dependen solo del comportamiento de m en cada lugar ).

Ahora supongamos que se nos da una familia de formas automorfas con un parámetro complejo  s . Entonces, el período de esas formas es una función analítica que se descompone en un producto de factores locales. A menudo, esto significa que esta función es una determinada función L y esto da una continuación analítica y una ecuación funcional para esta función L.

Generalmente estos periodos no convergen y conviene regularizarlos. [ cita requerida ]

Generalización de la teoría de la representación

Un enfoque posible para la teoría de la representación es considerar la teoría de la representación de un grupo G como un análisis armónico sobre el grupo G con respecto a la acción bilateral de G × G . De hecho, conocer todas las representaciones irreducibles de G es equivalente a conocer la descomposición del espacio de funciones en G como una representación G × G . En este enfoque, la teoría de la representación se puede generalizar reemplazando el par ( G × G , G ) por cualquier par esférico ( G , K ). Entonces seremos llevados a la cuestión del análisis armónico sobre el espacio G / K con respecto a la acción de G .

Ahora bien, la propiedad de Gelfand para el par ( G , K ) es un análogo del lema de Schur .

Con este enfoque, cualquier concepto de la teoría de la representación se puede generalizar al caso del par esférico. Por ejemplo, la fórmula de la traza relativa se obtiene a partir de la fórmula de la traza mediante este procedimiento.

Ejemplos

Grupos finitos

Algunos ejemplos comunes de pares Gelfand son:

Si ( G , K ) es un par Gelfand, entonces ( G / N , K / N ) es un par Gelfand para cada G - subgrupo normal N de K . Para muchos propósitos es suficiente considerar K sin ninguno de esos subgrupos normales no identidad. La acción de G sobre las clases laterales de K es, por lo tanto, fiel, por lo que uno está considerando grupos de permutación G con estabilizadores puntuales K . Ser un par Gelfand es equivalente a para cada χ en Irr( G ). Dado que por reciprocidad de Frobenius y es el carácter de la acción de permutación, un grupo de permutación define un par Gelfand si y solo si el carácter de permutación es un llamado carácter de permutación libre de multiplicidad . Tales caracteres de permutación libres de multiplicidad se determinaron para los grupos esporádicos en (Breuer & Lux 1996).

Esto da lugar a una clase de ejemplos de grupos finitos con pares Gelfand: los grupos 2-transitivos . Un grupo de permutación G es 2-transitivo si el estabilizador K de un punto actúa transitivamente sobre los puntos restantes. En particular, G el grupo simétrico sobre n +1 puntos y K el grupo simétrico sobre n puntos forman un par Gelfand para cada ≥ 1. Esto se deduce porque el carácter de una acción de permutación 2-transitiva es de la forma 1+ χ para algún carácter irreducible χ y el carácter trivial  1, (Isaacs 1994, p. 69).

De hecho, si G es un grupo de permutación transitiva cuyo estabilizador puntual K tiene como máximo cuatro órbitas (incluida la órbita trivial que contiene solo el punto estabilizado), entonces su anillo de Schur es conmutativo y ( G , K ) es un par Gelfand (Wielandt 1964, p. 86). Si G es un grupo primitivo de grado dos veces primo con estabilizador puntual K , entonces nuevamente ( G , K ) es un par Gelfand (Wielandt 1964, p. 97).

Los pares de Gelfand (Sym( n ), K ) se clasificaron en (Saxl 1981). En términos generales, K debe estar contenido como un subgrupo de índice pequeño en uno de los siguientes grupos a menos que n sea menor que 18:

También se han investigado pares Gelfand para grupos clásicos.

Pares simétricos con compactosK

Pares de Gelfand simétricos de rango uno

Sea F un campo local de característica cero.

Pares simétricos de alto rango

Sea F un cuerpo local de característica cero. Sea G un grupo reductivo sobre F. Los siguientes son ejemplos de pares Gelfand simétricos de alto rango:

Pares Gelfand fuertes

Los siguientes pares son pares Gelfand fuertes:

Estos cuatro ejemplos pueden reformularse como la afirmación de que los siguientes son pares Gelfand:

Véase también

Referencias

  1. ^ Yakimova, Oksana (2005). Parejas de Gelfand (Tesis). Rheinische Friedrich-Wilhelms-Universität Bonn.
  2. ^ Nicolas Monod , "Los pares Gelfand admiten una descomposición de Iwasawa". arXiv :1902.09497
  3. ^ ab Israel Gelfand , David Kazhdan , Representaciones del grupo GL(n,K) donde K es un cuerpo local, Grupos de Lie y sus representaciones (Proc. Summer School, Bolyai János Math. Soc., Budapest, 1971), pp. 95--118. Halsted, Nueva York (1975).
  4. ^ A. Aizenbud, D. Gourevitch, E. Sayag: (GL_{n+1}(F),GL_n(F)) es un par Gelfand para cualquier campo local F. arXiv :0709.1273
  5. ^ Sun, Binyong ; Zhu, Chen-Bo (2011), "Una forma general del criterio de Gelfand-Kazhdan", Manuscripta Math. , 136 (1–2): 185–197, arXiv : 0903.1409 , doi :10.1007/s00229-011-0437-x, MR  2820401
  6. ^ EGF Thomas, El teorema de Bochner-Schwartz-Godement para pares Gelfand generalizados, Análisis funcional: encuestas y resultados III, Bierstedt, KD, Fuchssteiner, B. (eds.), Elsevier Science Publishers BV (Holanda del Norte), (1984).
  7. ^ van Dijk, Gerrit (1986). "Sobre una clase de pares de Gelfand generalizados". Math. Z. 193 : 581–593.
  8. ^ Bosman, EPH; Van Dijk, G. (1994). "Una nueva clase de pares Gelfand". Geometriae Dedicata . 50 (3): 261–282. doi :10.1007/bf01267869. S2CID  121913299.
  9. ^ ab Hervé Jacquet , Stephen Rallis (1996). Unicidad de períodos lineales, Compositio Mathematica, tomo 102, no 1, págs. 65-123.
  10. ^ ab Aizenbud, A.; Gourevitch, D. (2007). "(GL n +1 ( F ), GL n ( F )) es un par Gelfand para cualquier cuerpo local F ". Compositio Mathematica . 144 (6): 1504–1524. arXiv : 0709.1273 . doi :10.1112/S0010437X08003746.
  11. ^ ab Aizenbud, A.; Gourevitch, D. (2008). "Descendencia generalizada de Harish-Chandra y aplicaciones a pares Gelfand". arXiv : 0803.3395 [math.RT].
  12. ^ Yiannis Sakellaridis y Akshay Venkatesh , "Períodos y análisis armónico en variedades esféricas". arXiv :1203.0039
  13. ^ Joseph Shalika , El teorema de multiplicidad uno para GL n , Ann. of Math. 100(1974) 171–193. MR 348047
  14. ^ Omer Offen, Eitan Sayag, Períodos mixtos globales y modelos locales de Klyachko para el grupo lineal general, arXiv :0710.3492
  15. ^ Omer Offen, Eitan Sayag, SINGULARIDAD Y DESUNIÓN DE LOS MODELOS DE KLYACHKO, arXiv :0710.3492
  16. ^ Heumos, Michael J.; Rallis, Stephen (1990). "Modelos simplécticos-Whittaker para GLn". Pacific J. Math . 146 (2): 247–279. doi : 10.2140/pjm.1990.146.247 .
  17. ^ E.Sayag (GL(2n,C),SP(2n,C)) es un par Gelfand arXiv :0805.2625
  18. ^ ab A. Aizenbud, D. Gourevitch. Algunos pares simétricos regulares. arXiv :0805.2504
  19. ^ YZ Flicker: Sobre representaciones distinguidas, J. Reine Angew. Math. 418 (1991), 139-172.
  20. ^ abc Aizenbud, Avraham; Gourevitch, Dmitry; Rallis, Stephen ; Schiffmann, Gérard (2010), "Teoremas de multiplicidad-uno", Anales de Matemáticas , 172 (2): 1407–1434, arXiv : 0709.4215 , doi :10.4007/annals.2010.172.1413, MR  2680495
  21. ^ Aizenbud, Avraham; Gourevitch, Dmitry (2009), "Teorema de multiplicidad uno para (GL( n  + 1,  R ), GL( nR ))", Selecta Math. , Nueva serie, 15 (2): 271–294, arXiv : 0808.2729 , doi :10.1007/s00029-009-0544-7, MR  2529937
  22. ^ abc Sun, Binyong ; Zhu, Chen-Bo (2012), "Teoremas de multiplicidad-uno: el caso de Arquímedes", Anales de Matemáticas , 175 (1): 23–44, arXiv : 0903.1413 , doi :10.4007/annals.2012.175.1.2, MR  2874638

Obras citadas