Formas Diferenciales

Las formas diferenciales son los objetos antisimétricos que pueden integrarse sobre variedades orientadas, y la derivada exterior junto con el teorema de Stokes unifica los teoremas clásicos del cálculo vectorial en una única declaración.

Definition

Una k-forma diferencial en una variedad suave es un campo suave de funciones k-lineales alternas en los espacios tangentes; las formas pueden sumarse, multiplicarse mediante el producto cuña, diferenciarse mediante la derivada exterior e integrarse sobre subvariedades k-dimensionales orientadas.

Scope

Este tema desarrolla el álgebra exterior de las formas diferenciales, el producto cuña, la derivada exterior y el pullback bajo mapas suaves. Define la orientación y la integración de formas de grado superior, culminando en el teorema de Stokes generalizado, e introduce la cohomología de de Rham como la obstrucción para que una forma cerrada sea exacta. El producto interior, la derivada de Lie a través de la fórmula mágica de Cartan, y las aplicaciones al volumen y al flujo completan el panorama, conectando la geometría suave con la topología.

Core questions

• ¿Por qué la antisimetría es la condición adecuada para objetos que pueden integrarse independientemente de las coordenadas?
• ¿Cómo generaliza la derivada exterior el gradiente, el rotacional y la divergencia a la vez?
• ¿Cómo unifica el teorema de Stokes el teorema fundamental del cálculo, los teoremas de Green, Gauss y el teorema clásico de Stokes?
• ¿Qué mide la cohomología de de Rham sobre las formas cerradas que no son exactas?

Key concepts

• Álgebra exterior y el producto cuña
• Derivada exterior y pullback
• Orientación e integración de formas
• Teorema de Stokes generalizado
• Cohomología de de Rham y formas cerradas versus exactas

Clinical relevance

Las formas diferenciales son el lenguaje natural del electromagnetismo (las ecuaciones de Maxwell como ecuaciones de formas), la mecánica hamiltoniana (formas simplécticas) y la teoría de gauge, y conectan la geometría diferencial con la topología algebraica a través del teorema de de Rham.

History

Basándose en el álgebra exterior de Grassmann, Cartan desarrolló el cálculo de las formas diferenciales a principios del siglo XX; el teorema de de Rham (1931) vinculó su cohomología con la topología de la variedad, haciendo que las formas fueran centrales tanto para la geometría como para la topología.

Key figures

• Élie Cartan
• Georges de Rham
• Hermann Grassmann

Seminal works

• lee2012
• tu2011

Frequently asked questions

¿Por qué las formas deben ser antisimétricas?

La antisimetría codifica la orientación y hace que la integración sobre variedades orientadas sea independiente de las coordenadas; el jacobiano del cambio de variables aparece exactamente como el determinante que produce el producto cuña.

¿Cuál es la diferencia entre una forma cerrada y una forma exacta?

Una forma cerrada tiene una derivada exterior nula; una forma exacta es la derivada exterior de otra forma. Toda forma exacta es cerrada, y la cohomología de de Rham mide cuántas formas cerradas no son exactas.