¿Cuáles son las diferencias entre topología diferencial, geometría diferencial, topología algebraica y geometría algebraica? ¿En qué orden se suele aprender sobre ellos?

A pesar de la similitud en los nombres, esos son dominios muy diferentes, lo suficientemente diferentes como para que no haya ningún orden natural para estudiarlos, en su mayor parte.


La topología diferencial es el estudio de múltiples y mapas suaves. Utiliza fundamentalmente herramientas de cálculo (de ahí la parte “diferencial” en el nombre), pero se centra en espacios y mapas hasta el difeomorfismo , lo que significa que no le importan en absoluto las nociones como ángulos, longitudes, curvatura, planeidad etc. Al igual que en la topología ordinaria (no diferencial), una línea suavemente curvada, una línea recta y una línea totalmente ondulada son iguales hasta el difeomorfismo (la línea ondulada no debería tener cúspides y esquinas afiladas, que es cómo esto es diferente de la topología ordinaria).


La “Topología desde el punto de vista diferenciable” de John Milnor y la “Topología diferencial” de Guillemin y Pollack son las mejores presentaciones que conozco sobre el tema (Anécdota: en 1995, el libro de Milnor fue uno de los dos libros en mi primera compra en Amazon).

Los requisitos previos incluyen una muy buena base en el análisis real, incluido el análisis diferencial multivariante; álgebra lineal; y topología (no se necesita mucho para comenzar).


La Geometría diferencial es el estudio de precisamente aquellas cosas que a la topología diferencial no le importan. Aquí los principales objetos de estudio son múltiples dotados de la estructura mucho más rígida de una métrica (riemanniana), que le permite discutir propiedades geométricas como longitudes, ángulos y curvaturas.

Hay muchas introducciones a la Geometría Diferencial que enfatizan diferentes aspectos de la teoría (es vasta): existen fuertes lazos con los grupos de Lie, la relatividad general, la mecánica (geometría simpléctica) y la topología algebraica (ver más abajo). Estoy familiarizado con los “Fundamentos de los manifiestos diferenciables y los grupos de mentiras” de Warner.


Creo que la “Geometría diferencial de curvas y superficies” de Do Carmo es altamente considerada como una introducción suave. Otro clásico es Spivak, una introducción integral a la geometría diferencial.


Los requisitos previos son similares a los de la topología diferencial: análisis multivariado sólido, alguna topología y, por supuesto, álgebra lineal.


La topología algebraica es el estudio de los invariantes algebraicos como una herramienta para clasificar objetos topológicos (ver ¿Qué son la topología y la topología algebraica en términos simples?). Algunos de esos invariantes en realidad se pueden desarrollar a través de la topología diferencial (cohomología de De Rham), pero la mayoría se definen en términos completamente diferentes que no necesitan el espacio para tener ninguna estructura diferencial.

La topología algebraica también es una gran materia con muchos puntos de contacto con otras áreas de las matemáticas. Antes de sumergirse en él, debe tener una comprensión bastante sólida de la topología, una buena base en álgebra (grupos abelianos, anillos, etc.) y ayuda a saber algo sobre categorías y functores, aunque muchas personas realmente aprenden estas cosas aprendiendo topología algebraica, no antes de eso.

Hay un libro de topología algebraica muy popular de Allen Hatcher. Creo que es bueno, aunque no excelente, y su precio es bastante difícil de superar ($ 0).


Otras opciones son Munkres


y Spanier, aunque este último es muy, muy conciso. John Stillwell ofrece una aproximación y un estilo diferentes de Topología clásica y Teoría combinatoria de grupo, y aunque no es tan profundo como otros libros, lo recomiendo muchísimo a los principiantes.


La geometría algebraica es, en muchos sentidos, algo completamente diferente.

En el nivel más básico, la geometría algebraica es el estudio de variedades algebraicas, conjuntos de soluciones para ecuaciones polinómicas. Sin embargo, la geometría algebraica moderna es mucho más amplia de lo que parece implicar esta declaración inocente. Es notoriamente complejo y requiere una comprensión muy profunda de una amplia variedad de disciplinas y dominios.

El libro de texto estándar es Geometría Algebraica de Robin Hartshorne. Es uno de esos libros que oficialmente tiene pocos requisitos previos, pero realmente debería abordarse después de haber aprendido mucho más de lo que aparentemente requiere.


Independientemente de cómo elija aprender geometría algebraica, querrá tener una muy buena base en álgebra conmutativa, teoría de Galois, cierta teoría de números (especialmente teoría de números algebraicos), teoría de funciones complejas, teoría de categorías y una porción de topología algebraica. No duele. La topología general es más o menos requerida; La geometría algebraica usa la noción de “topología de Zariski” pero, honestamente, esta topología es tan diferente de las cosas de las que hablan la mayoría de los analistas y topólogos que es difícil para mí ver cómo un curso básico de topología sería de alguna ayuda.

No dejes que esto te detenga. La geometría algebraica es asombrosamente hermosa, y existen enfoques más suaves que Hartshorne o Shafarevich. Las curvas algebraicas de Fulton (página en Umich) son un excelente punto de partida.


Soy una persona de 4 múltiples, por lo que mi idea de cómo encajan estos temas se inclina hacia una clase de 4 múltiples con una propiedad simplemente conectada.

Definitivamente comienzas con la topología algebraica, quiero decir que primero quieres encontrar la estructura más cruda (la más básica y básica) y ese es el tipo de homeomorfismo (topológico) de M. (En simplemente conn. Cpt cerrado M ^ 4 están ‘completamente’ determinados por la forma de intersección – Una forma bi-lineal uni-modular simétrica no degenerada en la segunda (co) homología de M ^ 4)

¡Bueno!

Ahora va a Topología diferencial y encuentra alguna cirugía para realizar en su múltiple M.
Lo que debe hacer es tratar de encontrar ciertos submúltiples, como el toro incrustado en su M con auto-intersección 0. Luego, puede realizar lo que se llama una cirugía de nudo sacando nbhd tubular. de ese toro y pegándolo con diffeomorfismo que incrusta el nudo elegido dentro de tu M ^ 4.

Genial, está acelerado y esta operación es una operación topológica diferencial. (Conserva las estructuras complejas lisas o incluso simplécticas)

Quieres comprobar qué pasó con su tipo suave. ¡Por lo general, cuando haces algo tan extremo como la cirugía de nudos, cambia la estructura diferenciable (tipo liso) mientras mantiene fijo el tipo topológico! (Comprueba que el tipo topológico no ha cambiado al mirar de nuevo el formulario de intersección)

Entonces, necesitas un invariante suave.
Bueno, obtienes este pesado arsenal de Geometría diferencial + PDE = Teoría del medidor. Digamos que tienes Invariante de Seiberg-Witten, que es una función del conjunto de estructuras Spin ^ C a números enteros.

Su cirujano M ^ 4, tiene clases básicas de Seiberg-Witten no triviales, mientras que el ‘estándar’ (simplemente con 4 múltiples para que M ^ 4 sea homeomorfo) solo tiene clase SW trivial => su cirugía ha creado un exótico 4 -colector. (Homeomórfico pero no difeomorfo)

¿Dónde entra la geometría compleja?

La geometría compleja está bien estudiada y proporciona el entorno, el paisaje y la geografía de su comercio. La teoría de Superficies complejas le brinda dónde trabajará y las técnicas de Geometría compleja que son más o menos Geometría algebraica le brindan las herramientas para comprender la comprensión ‘geométrica’ de sus operaciones topológicas. (volar los puntos, el teorema de Bezout para encontrar intersecciones, la fórmula de Riemann-Hurwitz para encontrar divisores de ramificación y así sucesivamente).

junio

Todos esos temas tienen fuertes interrelaciones entre ellos.

La geometría diferencial es la más fácil de definir: el objeto básico a estudiar son los múltiples y la estructura diferencial. Se ramifica en geometría simpléctica (relacionada originalmente con la mecánica pero ahora vinculada de alguna manera a la geometría algebraica), múltiple riemanniano (básicamente nociones de distancias euclidianas en múltiples, siendo la curvatura la noción clave). Las nociones importantes son paquete de vectores (y las nociones relacionadas de clases características). La mejor referencia en mi opinión es Geometría, Topología y Física, Segunda edición de Mikio Nakahara. Es un libro práctico en el sentido de que está destinado a una audiencia de físicos y explica todas las nociones anteriores de una manera clara.

La topología algebraica es el estudio de espacios topológicos y sus invariantes. El primer objeto fundamental son los grupos de homología / cohomología que se pueden entender si conoce álgebra lineal. El segundo objeto fundamental es el grupo Fundamental que permite describir rutas en una variedad. La teoría de la homotopía es de alguna manera una generalización de ambos aspectos. Estoy de acuerdo en que el libro Algebraic Topology de Allen Hatcher es una referencia muy adecuada.

La topología diferencial no existe realmente como un sujeto independiente. Es el estudio de la topología de múltiples diferenciables. Por ejemplo, algunos colectores tienen varias estructuras diferenciables.

La geometría algebraica se ha expandido en los últimos 100 años en todas las direcciones. Es muy complejo si quieres estudiarlo en general. Sin embargo, probablemente no desee hacer eso, por lo que le daré varios puntos de entrada independientes al tema.

  • El libro Principios de la geometría algebraica: Phillip Griffiths, Joseph Harris le dará el aspecto teórico complejo de la misma. Utiliza y explica análisis complejos, paquetes de vectores, cohomología. Su capítulo sobre las superficies de Riemann es bueno, pero creo que el de las superficies complejas es malo. También tiene un capítulo sobre el Grassmannian.
  • Otro punto de entrada es el lado algebraico con ecuaciones, etc. Para eso, la mejor corriente es el álgebra conmutativa: con una vista hacia la geometría algebraica: David Eisenbud. Es un libro agradable pero el centro es realmente el álgebra, no la geometría.
  • La variedad algebraica se puede definir sobre cualquier campo, por sus ecuaciones. Entonces la noción de puntos se vuelve problemática. Un buen libro simple que explica el caso unidimensional con aplicaciones interesantes para la teoría de la codificación es Algebraic Function Fields and Codes: Henning Stichtenoth.
  • Toda la teoría de alguna manera se origina en el caso unidimensional sobre C y el espacio de módulos, es decir, su parametrización. Una serie de tres libros de Temas en teoría de funciones complejas, funciones abelianas y funciones modulares de varias variables: CL Siegel le dará una explicación legible de la teoría.

En general, la estrategia incorrecta es tratar de aprender todas esas teorías solo. Es mejor hacerlo en grupo. Mejor también para tratar de alcanzar un solo objetivo, es muy fácil distraerse con todas esas nociones y perder el enfoque.

Quiero escribir esta respuesta teniendo en cuenta el hecho de que los estoy aprendiendo de forma horizontal durante unos meses. Los estoy aprendiendo porque los usaré como herramientas para otros trabajos en otros campos. Pero sí tengo interés en la física en general. Pero como requisito principal, primero quiero aprender la caja de herramientas. Estoy pasando por la teoría Gauge en este momento, comenzando desde formas diferenciales. Tengo algunos antecedentes, habiendo tomado cursos en Análisis, Álgebra Lineal y muchas Estadísticas. Seguiré actualizando la respuesta a medida que avance. Espero que no sea una mala idea para otros veteranos que han escrito minuciosamente excelentes respuestas aquí, dando a otros una hoja de ruta para abordar este esfuerzo. Si alguien quiere unirse para hacer esto como una comunidad pequeña, póngase en contacto.

Estoy usando el libro de Mikio Nakahara en este momento.