Función c de Harish-Chandra

En matemáticas , la función c de Harish-Chandra es una función relacionada con el operador de entrelazamiento entre dos representaciones de series principales , que aparece en la medida de Plancherel para grupos de Lie semisimples . Harish-Chandra  (1958a, 1958b) introdujo un caso especial de la misma definido en términos del comportamiento asintótico de una función esférica zonal de un grupo de Lie , y Harish-Chandra (1970) introdujo una función c más general llamada función C ( generalizada ) de Harish-Chandra . Gindikin y Karpelevich  (1962, 1969) introdujeron la fórmula de Gindikin–Karpelevich , una fórmula de producto para la función c de Harish-Chandra .

Fórmula de Gindikin-Karpelevich

La función c tiene una generalización c _w (λ) que depende de un elemento w del grupo de Weyl . El único elemento de mayor longitud s ₀ , es el único elemento que lleva la cámara de Weyl a . Por la fórmula integral de Harish-Chandra, c _{s 0} es la función c de Harish-Chandra : ${\displaystyle {\mathfrak {a}}_{+}^{*}}$ ${\displaystyle -{\mathfrak {a}}_{+}^{*}}$

${\displaystyle c(\lambda )=c_{s_{0}}(\lambda ).}$

Las funciones c se definen en general mediante la ecuación

${\displaystyle \displaystyle A(s,\lambda )\xi _{0}=c_{s}(\lambda )\xi _{0},}$

donde ξ ₀ es la función constante 1 en L ² ( K / M ). La propiedad de cociclo de los operadores entrelazados implica una propiedad multiplicativa similar para las c -funciones:

${\displaystyle c_{s_{1}s_{2}}(\lambda )=c_{s_{1}}(s_{2}\lambda )c_{s_{2}}(\lambda )}$

proporcionó

${\displaystyle \ell (s_{1}s_{2})=\ell (s_{1})+\ell (s_{2}).}$

Esto reduce el cálculo de c _s al caso en el que s = s _α , la reflexión en una raíz (simple) α , la llamada "reducción de rango uno" de Gindikin y Karpelevich (1962). De hecho, la integral involucra solo el subgrupo cerrado conexo G ^α correspondiente a la subálgebra de Lie generada por donde α se encuentra en Σ ₀ ⁺ . Entonces G ^α es un grupo de Lie semisimple real con rango uno real, es decir, dim A ^α = 1, y c _s es simplemente la función c de Harish-Chandra de G ^α . En este caso, la función c se puede calcular directamente y está dada por ${\displaystyle {\mathfrak {g}}_{\pm \alpha }}$

${\displaystyle c_{s_{\alpha }}(\lambda )=c_{0}{2^{-i(\lambda ,\alpha _{0})}\Gamma (i(\lambda ,\alpha _{0})) \over \Gamma ({1 \over 2}({1 \over 2}m_{\alpha }+1+i(\lambda ,\alpha _{0}))\Gamma ({1 \over 2}({1 \over 2}m_{\alpha }+m_{2\alpha }+i(\lambda ,\alpha _{0}))},}$

dónde

${\displaystyle c_{0}=2^{m_{\alpha }/2+m_{2\alpha }}\Gamma \left({1 \over 2}(m_{\alpha }+m_{2\alpha }+1)\right)}$

y α ₀ =α/〈α,α〉.

La fórmula general de Gindikin-Karpelevich para c (λ) es una consecuencia inmediata de esta fórmula y de las propiedades multiplicativas de c _s (λ), como sigue:

${\displaystyle c(\lambda )=c_{0}\prod _{\alpha \in \Sigma _{0}^{+}}{2^{-i(\lambda ,\alpha _{0})}\Gamma (i(\lambda ,\alpha _{0})) \over \Gamma ({1 \over 2}({1 \over 2}m_{\alpha }+1+i(\lambda ,\alpha _{0}))\Gamma ({1 \over 2}({1 \over 2}m_{\alpha }+m_{2\alpha }+i(\lambda ,\alpha _{0}))},}$

donde la constante c ₀ se elige de modo que c (–iρ)=1 (Helgason 2000, p.447).

Medida de Plancherel

La función c aparece en el teorema de Plancherel para funciones esféricas , y la medida de Plancherel es 1/ c ² veces la medida de Lebesgue.

Grupos de Lie p-ádicos

Existe una función c similar para los grupos de Lie p -ádicos. Macdonald (1968, 1971) y Langlands (1971) encontraron una fórmula de producto análoga para la función c de un grupo de Lie p -ádico.

Referencias

• Cohn, Leslie (1974), Teoría analítica de la función C de Harish-Chandra , Lecture Notes in Mathematics, vol. 429, Berlín, Nueva York: Springer-Verlag , doi :10.1007/BFb0064335, ISBN 978-3-540-07017-7, Sr.  0422509
• Doran, Robert S.; Varadarajan, VS, eds. (2000), "El legado matemático de Harish-Chandra", Actas de la Sesión Especial de la AMS sobre Teoría de la Representación y Análisis Armónico No Conmutativo, celebrada en memoria de Harish-Chandra con motivo del 75º aniversario de su nacimiento, en Baltimore, MD, 9 y 10 de enero de 1998, Actas de Simposios sobre Matemáticas Pura, vol. 68, Providence, RI: American Mathematical Society , pp. xii+551, ISBN 978-0-8218-1197-9, Sr.  1767886
• Gindikin, SG; Karpelevich, FI (1962), "Medida de Plancherel para espacios riemannianos simétricos de curvatura no positiva", Soviet Math. Dokl. , 3 : 962–965, ISSN  0002-3264, MR  0150239
• Gindikin, SG; Karpelevich, FI (1969) [1966], "Sobre una integral asociada con espacios simétricos de Riemann de curvatura no positiva", Doce artículos sobre análisis funcional y geometría , traducciones de la American Mathematical Society, vol. 85, págs. 249–258, ISBN 978-0-8218-1785-8, Sr.  0222219
• Harish-Chandra (1958a), "Funciones esféricas en un grupo de Lie semisimple. I", American Journal of Mathematics , 80 (2): 241–310, doi :10.2307/2372786, ISSN  0002-9327, JSTOR  2372786, MR  0094407
• Harish-Chandra (1958b), "Funciones esféricas en un grupo de Lie semisimple II", American Journal of Mathematics , 80 (3), The Johns Hopkins University Press: 553–613, doi :10.2307/2372772, ISSN  0002-9327, JSTOR  2372772
• Harish-Chandra (1970), "Análisis armónico de grupos de Lie semisimples", Boletín de la Sociedad Matemática Americana , 76 (3): 529–551, doi : 10.1090/S0002-9904-1970-12442-9 , ISSN  0002-9904, MR  0257282
• Helgason, Sigurdur (1994), "La función c de Harish-Chandra. Una joya matemática", en Tanner, Elizabeth A.; Wilson., Raj (eds.), Grupos de Lie no compactos y algunas de sus aplicaciones (San Antonio, TX, 1993) , NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 429, Dordrecht: Kluwer Acad. Publ., págs. 55–67, ISBN 978-0-7923-2787-5, MR  1306516, reimpreso en (Doran y Varadarajan 2000)
• Helgason, Sigurdur (2000) [1984], Grupos y análisis geométrico, Encuestas y monografías matemáticas, vol. 83, Providence, RI: American Mathematical Society , ISBN 978-0-8218-2673-7, Sr.  1790156
• Knapp, Anthony W. (2003), "La fórmula de Gindikin-Karpelevič y los operadores entrelazados", en Gindikin, SG (ed.), Grupos de Lie y espacios simétricos. En memoria de FI Karpelevich , Amer. Math. Soc. Transl. Ser. 2, vol. 210, Providence, RI: American Mathematical Society , pp. 145–159, ISBN 978-0-8218-3472-5, Sr.  2018359
• Langlands, Robert P. (1971) [1967], Productos de Euler, Yale University Press, ISBN 978-0-300-01395-5, Sr.  0419366
• Macdonald, IG (1968), "Funciones esféricas en un grupo de Chevalley p-ádico", Boletín de la Sociedad Matemática Americana , 74 (3): 520–525, doi : 10.1090/S0002-9904-1968-11989-5 , ISSN  0002-9904, MR  0222089
• Macdonald, IG (1971), Funciones esféricas en un grupo de tipo p-ádico , Notas de clase del Instituto Ramanujan, vol. 2, Instituto Ramanujan, Centro de Estudios Avanzados en Matemáticas, Universidad de Madrás, Madrás, MR  0435301
• Wallach, Nolan R (1975), "Sobre las funciones C generalizadas de Harish-Chandra", American Journal of Mathematics , 97 (2): 386–403, doi :10.2307/2373718, ISSN  0002-9327, JSTOR  2373718, MR  0399357