55
Grupos de Lie y Curvatura Coloquio de Orientación Matemática Efraín Vega

Grupos de Lie y Curvatura (Efraín vega)

Embed Size (px)

Citation preview

Page 1: Grupos de Lie y Curvatura (Efraín vega)

Grupos de Liey

Curvatura

Coloquio de Orientación Matemática

Efraín Vega

Page 2: Grupos de Lie y Curvatura (Efraín vega)

¿Qué es una variedad?

Page 3: Grupos de Lie y Curvatura (Efraín vega)

Es un espacio que localmente

es como ℝ, ℝ², ℝ³,..., ℝⁿ,..

Page 4: Grupos de Lie y Curvatura (Efraín vega)
Page 5: Grupos de Lie y Curvatura (Efraín vega)
Page 6: Grupos de Lie y Curvatura (Efraín vega)
Page 7: Grupos de Lie y Curvatura (Efraín vega)
Page 8: Grupos de Lie y Curvatura (Efraín vega)
Page 9: Grupos de Lie y Curvatura (Efraín vega)
Page 10: Grupos de Lie y Curvatura (Efraín vega)
Page 11: Grupos de Lie y Curvatura (Efraín vega)
Page 12: Grupos de Lie y Curvatura (Efraín vega)

?

Page 13: Grupos de Lie y Curvatura (Efraín vega)

es variedadpara casi todo

valor de c

Page 14: Grupos de Lie y Curvatura (Efraín vega)

¿Por qué son importantes las variedades?

Page 15: Grupos de Lie y Curvatura (Efraín vega)

Nuestro universo (sin tomar en cuenta el tiempo) es una 3-variedad

Nadie sabe cual...

Page 16: Grupos de Lie y Curvatura (Efraín vega)

El espacio-tiempo es una 4-variedad

Page 17: Grupos de Lie y Curvatura (Efraín vega)

Una familia de variedades: el conjunto de rectas por el origen en ℝ, ℝ², ℝ³,...,ℝⁿ,..

Page 18: Grupos de Lie y Curvatura (Efraín vega)

: el conjunto de rectas por el origen en ℝ⁴

Page 19: Grupos de Lie y Curvatura (Efraín vega)
Page 20: Grupos de Lie y Curvatura (Efraín vega)

Otra familia de variedades (medios hermanos complejos de los espacios proyectivos): el conjunto de rectas complejas por el origen en

Page 21: Grupos de Lie y Curvatura (Efraín vega)

Fibración de Hopf

Page 22: Grupos de Lie y Curvatura (Efraín vega)

Fibración de Hopf

Page 23: Grupos de Lie y Curvatura (Efraín vega)

¿Qué es un grupo?

Page 24: Grupos de Lie y Curvatura (Efraín vega)

Es un conjunto (G,∗) con una operación que satisface las

propiedades:

1. Cerradura2. Asociativa

3. ∃ Elemento neutro4. ∃ Elemento inverso

Grupo

Page 25: Grupos de Lie y Curvatura (Efraín vega)
Page 26: Grupos de Lie y Curvatura (Efraín vega)
Page 27: Grupos de Lie y Curvatura (Efraín vega)
Page 28: Grupos de Lie y Curvatura (Efraín vega)

Las rotaciones en el plano, SO(2), son un grupo de Lie, un círculo

Page 29: Grupos de Lie y Curvatura (Efraín vega)

Las rotaciones en el espacio, SO(3), forman un grupo de Lie de dimensión 3

Page 30: Grupos de Lie y Curvatura (Efraín vega)

¡Y resulta ser !

Page 31: Grupos de Lie y Curvatura (Efraín vega)

Además, podemos asociar a cada rotación un marco ortonormal y a este, un elemento

del haz tangente de la esfera .De modo que SO(3) resulta ser también el

haz tangente unitario de la esfera

Page 32: Grupos de Lie y Curvatura (Efraín vega)

Usando las simetrías de un grupo de Lie,

podemos construir para cada vector en alguno de sus

espacios tangentes un campo vectorial

especial. Podemos tomar el espacio tangente a la identidad.

Page 33: Grupos de Lie y Curvatura (Efraín vega)

Podemos interpretar el conjunto de campos asociados a cada

vector en el espacio tangente a la identidad como el álgebra de Lie

de nuestro grupo de Lie

Page 34: Grupos de Lie y Curvatura (Efraín vega)

¿Quién es la operación del álgebra de Lie?

El Corchete de Lie

Daremos una interpretación dinámica

del corchete de Lie

Page 35: Grupos de Lie y Curvatura (Efraín vega)

Dados dos flujos, generados por X y Y, podemos fluir un

cierto tiempo por uno y luego por el otro ¿Qué pasa si

lo hacemos al revés?

¿Llegamos al mismo punto?

Page 36: Grupos de Lie y Curvatura (Efraín vega)

La cuestión anterior es equivalente a preguntarnos si regresamos al punto inicial después de viajar un cierto tiempo por el flujo X, luego el mismo tiempo por el flujo Y, luego por -X y finalmente por -Y.

Page 37: Grupos de Lie y Curvatura (Efraín vega)

Sí regresamos al mismo puntoEjemplo de dos flujos en el plano que conmutan

Page 38: Grupos de Lie y Curvatura (Efraín vega)

No regresamos al mismo punto,Ejemplo de dos

flujos en el plano que no conmutan

Page 39: Grupos de Lie y Curvatura (Efraín vega)
Page 40: Grupos de Lie y Curvatura (Efraín vega)
Page 41: Grupos de Lie y Curvatura (Efraín vega)
Page 42: Grupos de Lie y Curvatura (Efraín vega)

El corchete de Lie nos da un nuevo campo que

en cada punto representa la mitad de la aceleración

con la cual se “abre” el cuadrilátero

al correr el tiempo t

Page 43: Grupos de Lie y Curvatura (Efraín vega)

¿Quién es el corchete de Lie en SO(3)?

Page 44: Grupos de Lie y Curvatura (Efraín vega)
Page 45: Grupos de Lie y Curvatura (Efraín vega)
Page 46: Grupos de Lie y Curvatura (Efraín vega)
Page 47: Grupos de Lie y Curvatura (Efraín vega)

¿Suena conocido?¡Es el producto cruz!

Page 48: Grupos de Lie y Curvatura (Efraín vega)

¿Y la curvatura?

Conexiones

Page 49: Grupos de Lie y Curvatura (Efraín vega)

ConexiónNos da todos los posibles transportes paralelos que contienen la información

del “permanecer constante” al movernos de

una fibra a otra.

Si depende de la trayectoria hay curvatura

Page 50: Grupos de Lie y Curvatura (Efraín vega)

Un ejemplo de una conexión

Page 51: Grupos de Lie y Curvatura (Efraín vega)

La conexión tiene curvatura porque el transporte paralelo

depende de la trayectoria

Page 52: Grupos de Lie y Curvatura (Efraín vega)

Curvatura 0

La conexión no tiene curvatura porque el

transporte paralelo no depende de la

trayectoria

Page 53: Grupos de Lie y Curvatura (Efraín vega)

Consideremos ahora el haz tangente unitario de la 2-esfera, ya vimos que es

Page 54: Grupos de Lie y Curvatura (Efraín vega)

La curvatura de la conexión de la 2-esfera, se puede obtener como el corchete de lie de ciertos flujos en el haz tangente unitario

La curvatura de la conexión de una variedad se puede obtener como el corchete de lie de

ciertos flujos en el haz tangente (unitario o no)

Page 55: Grupos de Lie y Curvatura (Efraín vega)

Referencias e imágenes

● Francisco Villalobos● Debrayes sobre la curvatura, Efraín Vega

● Wolfram Demonstration Project● Wikipedia

● Visual Geometry and Topology, Fomenko● Homotopic Topology, Fomenko● Camino a la Realidad, Penrose

● Gravitation, Misner● Moda fe y fantasía, Penrose● Amor y matemáticas, Frenkel

● Ordinary Differential equations, Arnold● Lie bracket and Curvature Samelson, Hans

● http://xahlee.info/MathGraphicsGallery_dir/sphere_projection/sphere_proj_illus.png

● https://moodle.capilanou.ca/mod/book/view.php?id=328667&chapterid=1396

● http://mathonline.wikidot.com/the-group-of-symmetries-of-the-square

¡Gracias!