grupos de lie y curvatura (efraín vega)
TRANSCRIPT
![Page 1: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/1.jpg)
Grupos de Liey
Curvatura
Coloquio de Orientación Matemática
Efraín Vega
![Page 2: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/2.jpg)
¿Qué es una variedad?
![Page 3: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/3.jpg)
Es un espacio que localmente
es como ℝ, ℝ², ℝ³,..., ℝⁿ,..
![Page 4: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/4.jpg)
![Page 5: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/5.jpg)
![Page 6: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/6.jpg)
![Page 7: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/7.jpg)
![Page 8: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/8.jpg)
![Page 9: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/9.jpg)
![Page 10: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/10.jpg)
![Page 11: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/11.jpg)
![Page 12: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/12.jpg)
?
![Page 13: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/13.jpg)
es variedadpara casi todo
valor de c
![Page 14: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/14.jpg)
¿Por qué son importantes las variedades?
![Page 15: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/15.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/16.jpg)
El espacio-tiempo es una 4-variedad
![Page 17: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/17.jpg)
Una familia de variedades: el conjunto de rectas por el origen en ℝ, ℝ², ℝ³,...,ℝⁿ,..
![Page 18: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/18.jpg)
: el conjunto de rectas por el origen en ℝ⁴
![Page 19: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/19.jpg)
![Page 20: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/20.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/21.jpg)
Fibración de Hopf
![Page 22: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/22.jpg)
Fibración de Hopf
![Page 23: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/23.jpg)
¿Qué es un grupo?
![Page 24: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/24.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/25.jpg)
![Page 26: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/26.jpg)
![Page 27: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/27.jpg)
![Page 28: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/28.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/29.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/30.jpg)
¡Y resulta ser !
![Page 31: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/31.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/32.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/33.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/34.jpg)
¿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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/35.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/36.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/37.jpg)
Sí regresamos al mismo puntoEjemplo de dos flujos en el plano que conmutan
![Page 38: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/38.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/39.jpg)
![Page 40: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/40.jpg)
![Page 41: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/41.jpg)
![Page 42: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/42.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/43.jpg)
¿Quién es el corchete de Lie en SO(3)?
![Page 44: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/44.jpg)
![Page 45: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/45.jpg)
![Page 46: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/46.jpg)
![Page 47: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/47.jpg)
¿Suena conocido?¡Es el producto cruz!
![Page 48: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/48.jpg)
¿Y la curvatura?
Conexiones
![Page 49: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/49.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/50.jpg)
Un ejemplo de una conexión
![Page 51: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/51.jpg)
La conexión tiene curvatura porque el transporte paralelo
depende de la trayectoria
![Page 52: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/52.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/53.jpg)
Consideremos ahora el haz tangente unitario de la 2-esfera, ya vimos que es
![Page 54: Grupos de Lie y Curvatura (Efraín vega)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/54.jpg)
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)](https://reader036.vdocuments.mx/reader036/viewer/2022082213/5a6d836c7f8b9af2418b5889/html5/thumbnails/55.jpg)
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!