Fibrado Cotangente y Forma de Liouville

Samuel Tomas M.
Universidad Mayor de San Simon, UMSS
VIII Jornadas Matematicas

noviembre 2012

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y Forma de Liouville

Teorema
El fibrado cotangente M = T X de una variedad X, tiene una
estructura natural de una variedad symplectic
1

Que es una Variedad Diferencial

Que es una forma diferencial

Que es una variedad Symplectic

Que es un Fibrado Cotangente

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y Forma de Liouville

Teorema
El fibrado cotangente M = T X de una variedad X, tiene una
estructura natural de una variedad symplectic
1

Que es una Variedad Diferencial

Que es una forma diferencial

Que es una variedad Symplectic

Que es un Fibrado Cotangente

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y Forma de Liouville

Teorema
El fibrado cotangente M = T X de una variedad X, tiene una
estructura natural de una variedad symplectic
1

Que es una Variedad Diferencial

Que es una forma diferencial

Que es una variedad Symplectic

Que es un Fibrado Cotangente

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y Forma de Liouville

Teorema
El fibrado cotangente M = T X de una variedad X, tiene una
estructura natural de una variedad symplectic
1

Que es una Variedad Diferencial

Que es una forma diferencial

Que es una variedad Symplectic

Que es un Fibrado Cotangente

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y Forma de Liouville

Teorema
El fibrado cotangente M = T X de una variedad X, tiene una
estructura natural de una variedad symplectic
1

Que es una Variedad Diferencial

Que es una forma diferencial

Que es una variedad Symplectic

Que es un Fibrado Cotangente

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Prueba
1 Comencemos construyendo la Forma de Liouville
2
3

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X
Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

p (v) = ((dp )v)

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Prueba
1 Comencemos construyendo la Forma de Liouville
2
3

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X
Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

p (v) = ((dp )v)

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Prueba
1 Comencemos construyendo la Forma de Liouville
2
3

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X
Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

p (v) = ((dp )v)

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Prueba
1 Comencemos construyendo la Forma de Liouville
2
3

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X
Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

p (v) = ((dp )v)

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Prueba
1 Comencemos construyendo la Forma de Liouville
2
3

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X
Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

p (v) = ((dp )v)

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Prueba
1 Comencemos construyendo la Forma de Liouville
2
3

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X
Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

p (v) = ((dp )v)

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado cotangente y forma de Liouville

Resumen

Prueba
1

p = (

i dxi )d =
i=1

i d(xi o)
i=1

abusando la notacin podemos escribir xi por xi o entonces

=

i dxi

por lo tanto es una forma de liuoville por tanto es suave.

notese que d = di dxi por tanto es no degenerada y
cerrada asi
= d
y esto es una forma symplectic sobre el fibrado cotangente
T X.
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado cotangente y forma de Liouville

Resumen

Prueba
1

p = (

i dxi )d =
i=1

i d(xi o)
i=1

abusando la notacin podemos escribir xi por xi o entonces

=

i dxi

por lo tanto es una forma de liuoville por tanto es suave.

notese que d = di dxi por tanto es no degenerada y
cerrada asi
= d
y esto es una forma symplectic sobre el fibrado cotangente
T X.
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

symplectic manifold

Definicin
Una variedad symplectic es un par (M, ) donde M es una
variedad suave, y es una form symplectic
vamos a definir lo que es una variedad, y una form symplectic

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

symplectic manifold

Definicin
Una variedad symplectic es un par (M, ) donde M es una
variedad suave, y es una form symplectic
vamos a definir lo que es una variedad, y una form symplectic

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Variedades diferenciales
Definicin
Una variedad diferenciable de clase C es un par (M, ), que
consiste en un espacio topolgico M y una estructura diferenciable
de clase C

Figure : skdjksdjnksjd

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Variedades diferenciales
Definicin
Una variedad diferenciable de clase C es un par (M, ), que
consiste en un espacio topolgico M y una estructura diferenciable
de clase C

Figure : skdjksdjnksjd

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Variedades diferenciales
Definicin
Una variedad diferenciable de clase C es un par (M, ), que
consiste en un espacio topolgico M y una estructura diferenciable
de clase C

Figure : skdjksdjnksjd

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

estructura diferenciable

Definicin
Una carta o sistema de coordenadas m-dimensional en M es un par
(U, ), donde U M es un conjunto abierto y : U m es
un homeomorfismo de U sobre el subconjunto abierto (U ) m
Definicin
Un atlas mdimensional de clase C r , r 1 sobre un espacio
topolgico M es una coleccin A = {(Ui , i ) : i } de cartas de
M , Donde conjunto de indices tales que:

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

estructura diferenciable

Definicin
Una carta o sistema de coordenadas m-dimensional en M es un par
(U, ), donde U M es un conjunto abierto y : U m es
un homeomorfismo de U sobre el subconjunto abierto (U ) m
Definicin
Un atlas mdimensional de clase C r , r 1 sobre un espacio
topolgico M es una coleccin A = {(Ui , i ) : i } de cartas de
M , Donde conjunto de indices tales que:

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

estructura diferenciable
1
2

M = i Ui
Si Ui Uj = ,entonces el cambio de coordenadas
j 1
i : i (Ui Uj )

j (Ui Uj )

es un difeomorfismo de C r entre los abiertos i (Ui Uj ) y

j (Ui Uj ) de n

Figure : skdjksdjnksjd
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

estructura diferenciable
1
2

M = i Ui
Si Ui Uj = ,entonces el cambio de coordenadas
j 1
i : i (Ui Uj )

j (Ui Uj )

es un difeomorfismo de C r entre los abiertos i (Ui Uj ) y

j (Ui Uj ) de n

Figure : skdjksdjnksjd
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

formas diferenciales
Teorema
Una kform diferencial en n k 1 es una aplicacin que a
cada p n asocia w(p) k (Tp n ) ; donde
w(p) = i1 <i2 ...<in ai1 ...ik (p)(dxi1 ... dxik )
Definicin
una forma symplectic es una 2 form, cerrada y no degenerate.
entonces una 2 form es una aplicacin tal que
= i<j ai,j dxi dxj Se dira que es una 2 form cerrada, si la
derivada exterior de es cero es decir d = 0
Definicin
Sea V un espacio vectorial, sea 2 V es no degenerate, si para
cada v V (u, v) = 0 pata todo u V entonces v = 0
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

formas diferenciales
Teorema
Una kform diferencial en n k 1 es una aplicacin que a
cada p n asocia w(p) k (Tp n ) ; donde
w(p) = i1 <i2 ...<in ai1 ...ik (p)(dxi1 ... dxik )
Definicin
una forma symplectic es una 2 form, cerrada y no degenerate.
entonces una 2 form es una aplicacin tal que
= i<j ai,j dxi dxj Se dira que es una 2 form cerrada, si la
derivada exterior de es cero es decir d = 0
Definicin
Sea V un espacio vectorial, sea 2 V es no degenerate, si para
cada v V (u, v) = 0 pata todo u V entonces v = 0
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

formas diferenciales
Teorema
Una kform diferencial en n k 1 es una aplicacin que a
cada p n asocia w(p) k (Tp n ) ; donde
w(p) = i1 <i2 ...<in ai1 ...ik (p)(dxi1 ... dxik )
Definicin
una forma symplectic es una 2 form, cerrada y no degenerate.
entonces una 2 form es una aplicacin tal que
= i<j ai,j dxi dxj Se dira que es una 2 form cerrada, si la
derivada exterior de es cero es decir d = 0
Definicin
Sea V un espacio vectorial, sea 2 V es no degenerate, si para
cada v V (u, v) = 0 pata todo u V entonces v = 0
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

formas diferenciales
Teorema
Una kform diferencial en n k 1 es una aplicacin que a
cada p n asocia w(p) k (Tp n ) ; donde
w(p) = i1 <i2 ...<in ai1 ...ik (p)(dxi1 ... dxik )
Definicin
una forma symplectic es una 2 form, cerrada y no degenerate.
entonces una 2 form es una aplicacin tal que
= i<j ai,j dxi dxj Se dira que es una 2 form cerrada, si la
derivada exterior de es cero es decir d = 0
Definicin
Sea V un espacio vectorial, sea 2 V es no degenerate, si para
cada v V (u, v) = 0 pata todo u V entonces v = 0
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y forma de Liouville

Definicin
El fibrado tangente de una variedad es la union disjunta de todos
los espacios tangentes T M = pM Tp M

Figure : fibrado tangente

Definicin
Se llama espacio cotangente a M en un punto p M , al espacio
vectorial Tp M dual del espacio tangente Tp M
Tp M = { : Tp M

| , lineal}

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y forma de Liouville

Definicin
El fibrado tangente de una variedad es la union disjunta de todos
los espacios tangentes T M = pM Tp M

Figure : fibrado tangente

Definicin
Se llama espacio cotangente a M en un punto p M , al espacio
vectorial Tp M dual del espacio tangente Tp M
Tp M = { : Tp M

| , lineal}

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Fibrado Cotangente y forma de Liouville

Tenemos proyeccion natural

Figure : proyeccin natural

Definicin
El Fibrado Cotangente es (T M, , M ) donde T M = pM Tp M
y es la proyeccin natural de T M en M y M una variedad
Y ahora hayque dotar de una estructura de variedad diferencial que
es justamente la demostracin del teorema a analizar.
Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII
Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Comencemos construyendo la Forma de Liouville

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X

Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Comencemos construyendo la Forma de Liouville

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X

Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Comencemos construyendo la Forma de Liouville

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X

Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Comencemos construyendo la Forma de Liouville

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X

Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Comencemos construyendo la Forma de Liouville

Sea : T X X la proyeccion canonica

Sea T X, con x = (), asi que Tx X

Sea v T (T X), asi que d (v) Tx X
donde d() : T (T X) T() X = Tx X, definido
(v) = (d (v))

por mostrar que es suave

fijemos 0 talque (0 ) = x0 , consideremos las coordenadas

sobre T X , x1 , x2 , ..., xn , 1 , 2 , ..., n y x1 , x2 , ..., xn
coordenadas sobre X cercanos a x0 , entonces

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

p (v) = ((dp )v)

n

p = (

i dxi )d =
i=1

i d(xi o)
i=1

abusando la notacin podemos escribir xi por xi o entonces

=

i dxi

por lo tanto es una forma de liuoville por tanto es suave. notese

que d = di dxi por tanto es no degenerada y cerrada asi
= d
y esto es una forma symplectic sobre el fibrado cotangente T X.

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville

Eso es todo

Samuel Tomas M. Universidad Mayor de San Simon, UMSS VIII

Fibrado
Jornadas
Cotangente
Matematicas
y Forma de Liouville