MAT290 (Geometría Diferencial)
Departamento de Matemática, Universidad Técnica Federico Santa María (Valparaíso, Chile)
Profesor:
- Pedro Montero
- Oficina: F-250
- Horario de clases: Lunes de 9:35 a 10:45 y Jueves de 14:30 a 15:40.
- Horario de consultas: Lunes a viernes de 8:00 a 17:00.
- Ayudantía y Presentaciones: Jueves de 17:10 a 18:20.
Índice
Calendario Académico
El curso MAT290 se rige bajo el Calendario Académico del Campus Casa Central Valparaíso. En particular, las fechas importantes del Semestre 2022-2 a considerar son las siguientes:
- Inicio del Segundo Semestre 2022: Martes 16 de Agosto.
- Desinscripciones (sin botón de pánico): Viernes 2 de Septiembre.
- Vacaciones de Fiestas Patrias: Lunes 19 de Septiembre al Sábado 24 de Septiembre. El día Lunes 26 de Septiembre se retoman las actividades académicas (colchón académico lunes y martes).
- Feriado (fuera de vacaciones): Lunes 10 de Octubre.
- Semana Sansana: Miércoles 19 al Sábado 22 de Octubre a partir de las 12:05. El día Lunes 24 de Octubre se retoman las actividades académicas (colchón académico lunes y martes).
- Feriados (fuera de vacaciones): Lunes 31 de Octubre y Martes 1 de Noviembre.
- Desinscripciones (botón de pánico): Viernes 11 de Noviembre, término de plazo para la Rebaja Académica Voluntaria.
- Feriado (fuera de vacaciones): Jueves 8 de Diciembre.
- Término del Segundo Semestre 2022: Viernes 16 de Diciembre.
Anuncios
Proyectos finales: A continuación pueden encontrar los Proyectos finales del curso MAT290, de temas bastante variados y de muy buen nivel. Pueden consultarlos para introducirse a diferentes tópicos fuera del curso:
Apunte de MAT290: Durante el semestre escribiré un Apunte oficial (a mano) para el curso. Podran descargar la última versión AQUÍ, que se irá actualizando a lo largo del semestre.
Horarios: Nos reuniremos todos los Lunes de 9:35 a 10:45 y Jueves de 14:30 a 15:40, y tendremos varias sesiones de ayudantía los Jueves bloque 13-14.
Descripción y Bibliografía: Pueden encontrar aquí una descripción detallada del curso, así como referencias para cada tópico que será discutido.
Se recomienda leer antes de la primera clase la Sección 8.4.1 del Apunte de Análisis I del Profesor Pedro Gajardo, sobre Teorema de la Función Inversa e Implícita. Ver aquí.
También será útil recordar las propiedades básicas sobre Producto tensorial de espacios vectoriales, Álgebra tensorial, Álgebra exterior y formas multilineales alternadas y Álgebra simétrica y anillos de polinomios. Pueden encontrar clases en YouTube, material adicional y algunas correcciones de mis apuntes escritos a mano aquí.
Prerrequisitos
La audiencia debe tener buena base en cálculo en varias variables (MAT023 y MAT024), así como álgebra lineal avanzada (MAT210). Es bueno saber un poco de topología (definición de topología, continuidad, conexidad, etc: el curso de Análisis I es suficiente) y ciertamente ayudará tener la intución y conocimientos de teoría de grupos (MAT214) en ciertas partes del curso, aunque no lo asumiré.
Material Adicional
Seminario de Geometría Riemanniana Valparaíso (GRV): El primer semestre del año 2022 organizamos en conjunto con Tobías Martínez y Sergio Troncoso un grupo de lectura semanal sobre geometría riemanniana, y varios de los tópicos del curso fueron tocados allí. Ver aquí.
El objetivo de este curso es que las y los estudiantes se introduzcan a la geometría diferencial. El principal objeto de estudio de la geometría diferencial son las variedades diferenciables, las cuales son objetos geométricos que lucen localmente como abiertos de $\mathbf{R}^n$. Una clase importante de ejemplos son las variedades diferenciables que están dadas por ciertos subconjuntos de $\mathbf{R}^N$, como por ejemplo la $2$-esfera
$$
\mathbf{S}^2 = \{(x,y,z)\in \mathbf{R}^3 \textrm{ tal que }x^2+y^2+z^2=1\}\subseteq \mathbf{R}^3,
$$
que luce localmente como $\mathbf{R}^2$, y que puede ser vista en el espacio euclideano $\mathbf{R}^3$. Por otra parte, existen variedades definidas por condiciones geométricas tales como el espacio projectivo real
$$
\mathbf{P}^n(\mathbf{R})=\{\textrm{rectas vectoriales }\ell \textrm{ en }\mathbf{R}^{n+1} \},
$$
que luce localmente como $\mathbf{R}^n$, y que a priori no tiene una descripción sencilla en algún espacio ambiente $\mathbf{R}^N$. Por otra parte, un Teorema de Whitney (1936) señala que toda variedad diferenciable $M$ puede ser vista dentro de algún $\mathbf{R}^N$ para cierto $N$ suficientemente grande.
A pesar del importante resultado anterior, veremos que en general la forma en que la variedad $M$ se ve dentro de un $\mathbf{R}^N$ no es explícita, lo cual hace necesario que seamos capaces de estudiar las propiedades geométricas intrínsecas de las variedades, como lo son por ejemplo su dimensión, sus campos vectoriales, o su topología.
El objetivo de este curso es introducir las nociones básicas de la geometría diferencial. En particular, se estudiarán algunos de los invariantes geométricos más importantes tales como los campos de vectores, formas diferenciales, y fibrados vectoriales. Además, exploraremos las diferentes nociones de derivación e integración en variedades, que a su vez están relacionadas a través del Teorema de Stokes. Finalmente, estudiaremos métodos de topología diferencial que permiten utilizar técnicas de geometría diferencial, tales como la Teoría de Morse o la Teoría del grado topológico de Brauer, para deducir propiedades de la topología de las variedades.
Concretamente, discutiremos sobre:
- Teorema de la función implícita y Teorema del rango constante.
- Subvariedades de $\mathbf{R}^n$.
- Variedades abstractas.
- Fibrado tangente.
- Campos vectoriales.
- Ecuaciones diferenciales ordinarias en variedades.
- Formas diferenciales.
- Teorema de Stokes y Cohomología de de Rham.
- Teoría del grado topológico de Brouwer.
La evaluación de este curso se realizará mediante 1 Presentación, 1 Certamen y 1 Proyecto Final. Las fechas de estas evaluaciones son las siguientes:
- Presentación (P): Desarrollar ejemplos concretos y presentarlos durante la Ayudantía del curso.
- Certamen (C): A partir del 7 de noviembre.
- Proyecto Final: (PF): Escribir en grupos de a lo más 3 personas un reporte en formato artículo donde expongan un tópico fuera del curso (propuesto por el profesor en conjunto con los estudiantes). Fecha de entrega: A más tardar el 5 de Diciembre de 2022.
La nota final NF se calcula de acuerdo a la fórmula NF = 0.2 P + 0.3 C + 0.5 PF.
Clases (referencial)
- 18/08/2022: Teorema de la Función Implícita.
- 24/08/2022: Teorema del rango constante.
- 25/08/2022: Subvariedades de $\mathbf{R}^n$. Construcción de subvariedades de $\mathbf{R}^n$ (parte 1).
- 31/08/2022: Construcción de subvariedades de $\mathbf{R}^n$ (parte 2).
- 01/09/2022: Lema de Morse.
- 07/09/2022: Variedades diferenciables y funciones diferenciables.
- 08/09/2022: Pegado de variedades y variedades cocientes.
- 14/09/2022: Particiones de la unidad. Espacio tangente. Revestimientos.
- 15/09/2022: Subvariedades diferenciables.
- 28/09/2022: Fibrado tangente.
- 05/10/2022: Fibrados vectoriales (parte 1).
- 06/10/2022: Fibrados vectoriales (parte 2).
- 12/10/2022: Campos de vectores y Derivada de Lie (parte 1).
- 13/10/2022: Campos de vectores y Derivada de Lie (parte 2).
- 26/10/2022: Ecuaciones Diferenciales y Flujo de Campos Vectoriales.
- 27/10/2022: Variedades de dimensión 1 y Métricas Riemannianas (parte 1).
- 02/11/2022: Variedades de dimensión 1 y Métricas Riemannianas (parte 2). Aplicación exponencial.
- 03/11/2022: Teorema de fibración de Ehresmann. Flujos y derivada de Lie.
- 09/11/2022: Recuerdos de álgebra multilineal. Fibrado cotangente y Formas diferenciales.
- 10/11/2022: Diferencial exterior (parte 1).
- 16/11/2022: Diferencial exterior (parte 2). Orientación de variedades.
- 17/11/2022: Variedades con borde. Teorema de Stokes.
- 23/11/2022: Cohomología de de Rham. Sucesión exacta de Mayer-Vietoris.
- 24/11/2022: Grado topológico de Brouwer.
Ayudantía (referencial)
Errata
En esta sección se recopilaran las correcciones y aclaraciones necesarias.
- $\S 2$, pág 3, Demostración del Lema, línea 2: "sub-determinantes $r\times r$" debería ser "sub-determinantes $(r+1)\times (r+1)$".
- $\S 2$, pág 5, Demostración del Teorema del rango constante, líneas 6 y 7: las últimas dos filas de la matriz de $d_{(x,y)}f$ deberían ser $\partial_K f_J(x,y)$ y $\partial_I f_J(x,y)$ en lugar de "$\partial_K f(x,y)$ y $\partial_I f(x,y)$". Así, la conclusión debería ser que $\partial_K f_J(x,y)=0$ en lugar que "$\partial_K f(x,y)=0$"; de donde se obtiene que $f_J(x,y)=g(y)$ es una función que no depende de $x\in K$.
- $\S 4$, pág 10, Demostración de la Proposición: en toda la demostración, los compactos $K$ deben ser entendidos como vecindades compactas (en el sentido de la definición anterior, de espacio localmente compacto). En otras palabras, como triples $(y,U,K)$ donde $y\in U$ es una vecindad abierta contenida en el compacto $K$. Esto permite usar la propiedad de intersecciones finitas.
- $\S 10$, pág 24, Teorema de Sard: la afirmación "$\operatorname{Crit}(f)$ tiene meduda nula" debería ser "$f(\operatorname{Crit}(f))$ tiene meduda nula".
Nuestras principales referencias serán:
- J.M. Lee, Introduction to Smooth Manifolds.
- R. Bott and L.W. Tu, Differential Forms in Algebraic Topology.
Otras buenas referencias y fuentes de ejemplos son:
- S.S. Chern, Lectures on Differential Geometry.
- A. Kirillov, An Introduction to Lie Groups and Lie Algebras.
- I.A. Taimanov, Lectures on Differential Geometry.
Información Práctica
Nos reuniremos todos los Lunes de 9:35 a 10:45 y Jueves de 14:30 a 15:40, y tendremos varias sesiones de ayudantía en horario por definir.
Humor