Fórmula matemática
En matemáticas, la fórmula de integración de Weyl , introducida por Hermann Weyl , es una fórmula de integración para un grupo de Lie G compacto y conectado en términos de un toro máximo T. Precisamente, dice [1] existe una función continua de valor real u en T tal que para cada función de clase f en G :
![{\displaystyle \int _ {G}f(g)\,dg=\int _ {T}f(t)u(t)\,dt.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Además, se da explícitamente como: ¿dónde está el grupo Weyl determinado por T y![{\displaystyle u}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle u=|\delta |^{2}/\#W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle W=N_{G}(T)/T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \delta (t)=\prod _{\alpha >0}\left(e^{\alpha (t)/2}-e^{-\alpha (t)/2}\right),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
el producto que corre sobre las raíces positivas de G con respecto a T . De manera más general, si es solo una función continua, entonces ![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \int _{G}f(g)\,dg=\int _{T}\left(\int _{G}f(gtg^{-1})\,dg\right)u(t )\,dt.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La fórmula se puede utilizar para derivar la fórmula del carácter de Weyl . (La teoría de los módulos de Verma , por otro lado, proporciona una derivación puramente algebraica de la fórmula del carácter de Weyl).
Derivación
Considere el mapa
.
El grupo Weyl W actúa sobre T por conjugación y desde la izquierda por: para ,![{\displaystyle G/T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle nT\en W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle nT(gT)=gn^{-1}T.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea el cociente espacial de esta W -acción. Entonces, dado que la acción W es gratuita, el mapa del cociente![{\displaystyle G/T\times _ {W}T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G/T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p:G/T\times T\to G/T\times _ {W}T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un recubrimiento liso con fibra W cuando se restringe a puntos regulares. Ahora, le sigue y este último es un homeomorfismo en puntos regulares y también tiene grado uno. Por tanto, el grado de es y, mediante el cambio de fórmula de la variable, obtenemos:![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G/T\times _ {W}T\to G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\#W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \#W\int _{G}f\,dg=\int _{G/T\times T}q^{*}(f\,dg).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí, since es una función de clase. A continuación calculamos . Identificamos un espacio tangente a donde están las álgebras de Lie de . Para cada ,![{\displaystyle q^{*}(f\,dg)|_{(gT,t)}=f(t)q^{*}(dg)|_{(gT,t)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q^{*}(dg)|_{(gT,t)}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G/T\veces T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}/{\mathfrak {t}}\oplus {\mathfrak {t}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}},{\mathfrak {t}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G,T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v\en T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q(gv,t)=gvtv^{-1}g^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y así, en , tenemos:![{\displaystyle {\mathfrak {g}}/{\mathfrak {t}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(gT\mapsto q(gT,t))({\dot {v}})=gtg^{-1}(gt^{-1}{\dot {v}}tg^{-1 }-g{\dot {v}}g^{-1})=(\operatorname {Anuncio} (g)\circ (\operatorname {Anuncio} (t^{-1})-I))({\ punto {v}}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De manera similar vemos, en , . Ahora, podemos ver G como un subgrupo conexo de un grupo ortogonal (ya que es conexo compacto) y por tanto . Por eso,![{\displaystyle {\mathfrak {t}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(t\mapsto q(gT,t))=\operatorname {Anuncio} (g)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \det(\operatorname {Anuncio} (g))=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q^{*}(dg)=\det(\operatorname {Ad} _{{\mathfrak {g}}/{\mathfrak {t}}}(t^{-1})-I_{{ \mathfrak {g}}/{\mathfrak {t}}})\,dg.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para calcular el determinante, recordamos que donde y cada uno tiene dimensión uno. Por tanto, considerando los valores propios de , obtenemos:![{\displaystyle {\mathfrak {g}}_{\mathbb {C} }={\mathfrak {t}}_{\mathbb {C} }\oplus \oplus _{\alpha }{\mathfrak {g}} _{\alfa}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}_{\alpha }=\{x\in {\mathfrak {g}}_{\mathbb {C} }\mid \operatorname {Ad} (t)x=e^ {\alpha (t)}x,t\en T\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}_{\alpha }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Anuncio} _{{\mathfrak {g}}/{\mathfrak {t}}}(t^{-1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \det(\operatorname {Ad} _{{\mathfrak {g}}/{\mathfrak {t}}}(t^{-1})-I_{{\mathfrak {g}}/{\ mathfrak {t}}})=\prod _{\alpha >0}(e^{-\alpha (t)}-1)(e^{\alpha (t)}-1)=\delta (t) {\overline {\delta (t)}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ya que cada raíz tiene un valor imaginario puro.![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Fórmula del carácter de Weyl
La fórmula del carácter de Weyl es una consecuencia de la fórmula integral de Weyl como sigue. Primero observamos que se puede identificar con un subgrupo de ; en particular, actúa sobre el conjunto de raíces, funcionales lineales sobre . Dejar![{\displaystyle W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {GL} ({\mathfrak {t}}_{\mathbb {C} }^{*})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {t}}_{\mathbb {C} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A_{\mu }=\sum _ {w\in W}(-1)^{l(w)}e^{w(\mu )}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Dónde está la longitud de w ? Sea la red de pesos de G con respecto a T. La fórmula del carácter de Weyl dice entonces que: para cada carácter irreducible de , existe tal que![{\displaystyle l(w)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\chi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \en \Lambda }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Para ver esto, primero observemos
![{\displaystyle \|\chi \|^{2}=\int _ {G}|\chi |^{2}dg=1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \chi |T\cdot \delta \in \mathbb {Z} [\Lambda ].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La propiedad (1) es precisamente (una parte de) las relaciones de ortogonalidad sobre caracteres irreducibles.
Referencias
- ^ Adams 1982, Teorema 6.1.
- Adams, JF (1982), Conferencias sobre grupos de mentiras, University of Chicago Press, ISBN 978-0-226-00530-0
- Theodor Bröcker y Tammo tom Dieck, Representaciones de grupos compactos de Lie , Textos de Graduado en Matemáticas 98, Springer-Verlag, Berlín, 1995.