Estructuras de Dirac y Tensores de Poisson G-Invariantes

Isaac Hasse Armengol

Departmento de Matemticas, Universidad de Sonora

Estructuras de Dirac Transformaciones de Gauge Caso Poisson

Resumen
En aos recientes el estudio de estructuras de Dirac ha visto
un desarrollo significativo en el campo de la geometra. En-
tre los objetivos planteados en nuestro trabajo es el estudio
de estructuras de Dirac que sean invariantes con respecto a
la accin de un grupo de Lie dado.
Dada una accin compatible de un grupo de Lie com-
pacto y conexo en una variedad de Dirac, podemos con-
struir una nueva variedad de Dirac, que sea invariante con
respecto a dicha accin. En particular, es posible aplicar
este resultado a una variedad de Poisson, y as obtener una
nueva estructura de Poisson que sea invariante con respecto
a dicha accin.
Motivacin
Los espacios fase en sistemas mecanicos clasicos son comun-
mente modelados en variedades simplcticas. En ocasiones
sucede que la dinmica que rige la evolucin del sistema, puede
ser restringido a subvariedades particulares del espacio fase.
Es conocido que cualquier subvariedad C de una variedad sim-
plctica hereda una forma pre-simplctica dada por el pullback
de la forma original, por lo cual el escenario natural para el es-
tudio de sistemas restringidos es la geometra pre-simplctica.
En muchos casos, los espacios fase son modelados por estruc-
turas mas generales: Las variedades de Poisson. Al igual que
en espacios fase simplcticos, existen ejemplos naturales de
sistemas en espacios fase de Poisson que son restringidos a
subvariedades. En este caso, cual es la estructura que hereda
dicha subvariedad?
Toda variedad de Poisson tiene una foliacin simplctica (S, )
Sea M una variedad diferenciable y consideramos el haz de Sea (M, D) una variedad de Dirac y consideremos (S, S ) su Si (M, ) es una variedad de Poisson, entonces podemos
Pontryagin TM := T M T M en M . Definimos el corchete foliacin pre-simplctica asociada. definir una estructura de Dirac en M como la grfica del bivec-
de Courant en TM como Dada una 2-forma cerrada B 2cl (M ) en M , y iS : S tor
M la inclusin cannica, podemos modificar la forma pre-
D := {(](), ) | (T M )}
JX , Y K = [X, Y ] (LX LY diY ) (1) simplctica para obtener una nueva forma cerrada como
Por la Proposicin, esta estructura de Poisson (M, D) induce
S iS B
Definicin una foliacin simplctica por hojas (S, S ). Y entonces, us-
y entonces obtenemos la foliacin ando el Teorema podemos obtener tensores de Poisson que
Definimos una estructura de Dirac en M como una distribu- (S, S iS B) sean invariantes con respecto a la accin de un grupo de Lie
cin del haz de Pontryagin D T M T M tal que es La- compatible.
Por la Proposicin, esta nueva foliacin pre-simplctica tiene
grangiano con respecto al pairing natural simtrico asociada una estructura de Dirac dada por Corolario
B (D) = {X iX B | X D} (2)
 X , Y = (X) + (Y ) Sea (M, ) una variedad de Poisson y sea (S, S ) su foliacin
La transformacin B es llamada transformacin de Gauge simplctica asociada. Sea G un grupo de Lie compacto y
y que es involutivo con respecto al conrchete de courant (1). asociada a B.
conexo actuando en M que es compatible con (M, D). Si
el endomorfismo de haces vectoriales
Proposicin
Id + (d)[ ] : T M T M
G
es invertible, entonces la forma pre-simplctica hS i es no
Existe una relacin uno a uno entre estructuras de Dirac y foliaciones pre-simplcticas en de una variedad.
degenerada en cada hoja S de la foliacin, y existe una nica
estructura de Poisson G-invariante e en M cuyas foliaciones
G
simplcticas singulares son (S, hS i ).
Acciones compatibles Estructuras de Dirac G-Invariantes Las estructuras de Poisson y e estan relacionadas por la
transformacin de Gauge
Consideremos (M, D) una variedad de Dirac, y sea (S, S ) La condicin de compatibilidad (3) nos permite contruir una
su foliacin pre-simplctica asociada. Sea G un grupo de Lie estructura de Dirac que sea invariante con respecto a dicha ac- e = (id + (d)[ ])1
compacto y conexo, y sea g su lgebra de Lie. cin.
Sea : G M M una accin de G en M que preserva cada Teorema
hoja de la foliacin, es decir: Para todo a g
 Referencias
d  Sea (M, D) una variedad de Dirac y sea G un grupo de Lie
que caracteriza completamente su estructura de Poisson. Si a(m) =  exp(ta)(m) TmS
dt t=0 compacto y conexo actuando en M . Si la G-accin es com- [1] M. Avendao Camacho and Y. M. Vorobiev. Homological equations
suponemos que C S es una subvariedad para cada hoja S G
Decimos que una variedad de Dirac (M, D) es G-invariante patible (3) con (M, D), entonces el promedio hS i es suave for tensor fields and periodic averaging. Russ. J. Math. Phys., 18(3):
de la foliacin, entonces la estructura de Poisson induce una 243257, 2011. ISSN 1061-9208. doi: 10.1134/S1061920811030010.
si para cada X (D) se tiene que y cumple que
descomposicin de C en hojas pre-simplcticas. URL http://dx.doi.org/10.1134/S1061920811030010.
G
g X g (D) gG hS i = S iS d [2] Jean-Paul Dufour and A ssa Wade. On the local structure of Dirac man-
Por lo tanto nos podemos preguntar: Existe un objeto ge- ifolds. Compos. Math., 144(3):774786, 2008. ISSN 0010-437X. doi:
omtrico mas general con una foliacin subyacente, cuyas ho- donde 1(M ) es definida como
Por otro lado, un tensor F Tsr (M ) es G-invariante si 10.1112/S0010437X07003272. URL http://dx.doi.org/10.1112/
jas sean pre-simplcticas? S0010437X07003272.
g F =F gG
!
Z Z 1
Esta pregunta conduce de manera natural a las estructuras de [3] Jean-Paul Dufour and Nguyen Tien Zung. Poisson structures and their
Dada la forma pre-simplctica S , podemos definir una forma := exp(ta)adt exp(dg) normal forms, volume 242 of Progress in Mathematics. Birkhuser
Dirac. D 0
pre-simplctica (llamado G-promedio) que es G-invariante Verlag, Basel, 2005. ISBN 978-3-7643-7334-4; 3-7643-7334-2.
como donde D es un dominio en forma de estrella tal que exp |D es [4] Jos A. Vallejo and Yurii Vorobiev. Invariant Poisson realizations
Z
G un difeomorfismo sobre su imagen. and the averaging of Dirac structures. SIGMA Symmetry Integrabil-
hS i = g S dg ity Geom. Methods Appl., 10:Paper 096, 20, 2014. ISSN 1815-0659.
G doi: 10.3842/SIGMA.2014.096. URL http://dx.doi.org/10.3842/
Usando (2), la estructura de Dirac asociada a la foliacin pre-
donde dg es la medida de Haar normalizada en G. SIGMA.2014.096.
simplctica
Definicin (S, hS iG)
esta dada por la transformacin de Gauge
Decimos que la accin es compatible con (M, D), si existe una Agradecimientos
aplicacin R-lineal Hom(g, 1(M )) tal que, para cada
hoja S de la foliacin d (D) = {X + iX d | X D)} Agradesco al Dr. Yuri Voroviev por su valiosa asesoria para para la elab-
oracin de este cartel. Y agradesco al Dr. Misael Avendao por sus fruc-
iaM S = iS a ag (3) la cual es invariante con respecto a la accin de G. tferas discusiones sobre el tema.

XXVII Semana Nacional de Investigacin y Docencia en Matemticas