forma diferencial

# tag · @ author · ! scientist

Una forma diferencial es una aplicación multilineal alternante sobre vectores tangentes en cada punto de una variedad suave. Una forma de grado k (k-forma) está destinada a la integración sobre subvariedades k-dimensionales. El diferencial exterior d eleva el grado en 1 y tiene la propiedad clave d² = 0, que generaliza el hecho de que «la frontera de una frontera es vacía». El famoso teorema de Stokes toma la forma compacta: ∫_M dω = ∫_∂M ω. En física, el potencial electromagnético es una 1-forma, la intensidad del campo es una 2-forma, y las ecuaciones de Maxwell se escriben como dF = 0, d⋆F = J.

History

Desarrollada por el matemático francés Élie Cartan a principios del siglo XX. Generalizó las ideas del análisis vectorial y los teoremas integrales, comprendiendo que muchas leyes físicas se ven mucho más elegantes en el lenguaje de las formas diferenciales. Hoy es el lenguaje principal de la geometría y la física moderna.

How it works

Imagina una lámina de hojalata curvada en el espacio. Sobre ella se puede dibujar una cuadrícula de coordenadas. La forma diferencial de primer orden mide cuán fuertemente está dirigido un vector a lo largo de un eje; la de segundo orden, el área tendida sobre dos vectores, y así sucesivamente. «Palpa» el espacio, aplicándose a cada punto. La integración de formas sobre arcos, superficies o volúmenes da las magnitudes físicas familiares: trabajo, flujo, carga.

💡 Las ecuaciones de Maxwell, que describen todo el electromagnetismo clásico, en el lenguaje de las formas diferenciales caben en dos líneas cortas: dF = 0 y d⋆F = J. La notación habitual en los libros de texto ocupa cuatro engorrosas ecuaciones en derivadas parciales.

Sea M una variedad suave de dimensión n. Una k-forma diferencial ω es una sección suave de la potencia exterior del fibrado cotangente: ω ∈ Ω^k(M) = Γ(⋀^k T^*M). Localmente ω = Σ ω_{i₁…i_k} dx^{i₁} ∧ … ∧ dx^{i_k}, donde ∧ es el producto exterior, que anticonmuta según la regla dxⁱ ∧ dxʲ = – dxʲ ∧ dxⁱ. El diferencial exterior d: Ω^k → Ω^{k+1} actúa como dω = Σ (∂ω_{i₁…i_k}/∂xʲ) dxʲ ∧ dx^{i₁} ∧ … ∧ dx^{i_k} y satisface d² = 0. La integral de una k-forma sobre una superficie orientada k-dimensional se define de manera invariante. Teorema de Stokes: ∫_M dω = ∫_∂M ω. La conexión en un fibrado vectorial da formas con valores en el álgebra de Lie; la curvatura es una 2-forma. En electrodinámica, el 4-potencial A = A_μ dx^μ, la intensidad de campo F = dA = (1/2) F_μν dx^μ ∧ dx^ν; ecuaciones de Maxwell: dF = 0 (identidad de Bianchi), d⋆F = J (aquí ⋆ es la dualidad de Hodge, J es la 3-forma de densidad de corriente). La cohomología de De Rham H^k(M) = ker d / im d describe la topología mediante formas.

History

El concepto se desarrolló gradualmente. En el siglo XIX, Green, Stokes y Gauss dieron teoremas integrales dispersos. El paso decisivo lo dio Élie Cartan en los años 1920, introduciendo el diferencial exterior y el teorema de Stokes generalizado. En 1931, Georges de Rham demostró el isomorfismo entre las cohomologías construidas a partir de formas y las cohomologías singulares, vinculando análisis y topología. Posteriormente, las formas diferenciales se convirtieron en el lenguaje principal de la geometría y la física, desde las teorías de gauge hasta las cuerdas.

How it works

Una forma de grado k es un funcional que toma k vectores tangentes y devuelve un número, antisimétrico en los argumentos. Esto permite medir volúmenes orientados de paralelepípedos k-dimensionales en el espacio tangente. La integral de una forma sobre una subvariedad se obtiene mediante la subdivisión en pequeñas celdas y la suma de valores sobre ellas. El diferencial exterior generaliza el rotacional, la divergencia y el gradiente. La propiedad d² = 0 conduce a leyes de conservación: por ejemplo, en electrodinámica, de dF = 0 se sigue la ausencia de cargas magnéticas, y de d⋆F = J, la conservación de la carga. El operador de Hodge ⋆, definido por la métrica, transforma k-formas en (n–k)-formas, lo que, por ejemplo, intercambia los campos eléctrico y magnético en el vacío.

\omega = \sum \omega_{i_1 \dots i_k} dx^{i_1} \wedge \dots \wedge dx^{i_k}

ω_{i₁…i_k} son las componentes de la forma (funciones en la variedad), dx^{i} son 1-formas básicas, ∧ es el producto exterior: dxⁱ ∧ dxʲ = –dxʲ ∧ dxⁱ.

dF = 0, \quad d\star F = J

F es la 2-forma de intensidad del campo electromagnético, d es el diferencial exterior, ⋆ es el operador de dualidad de Hodge, J es la 3-forma de densidad de corriente eléctrica y carga.

\int_{M} d\omega = \int_{\partial M} \omega

M es una variedad orientada, ∂M su frontera; ω es una forma diferencial, dω su diferencial exterior. Unifica las fórmulas de Green, Gauss–Ostrogradski y el teorema de Stokes clásico.

Open problems & fun facts

La integración de formas en espacios singulares o estratificados requiere nociones generalizadas (corrientes, distribuciones).; En teoría cuántica de campos, la construcción de una teoría matemáticamente rigurosa de integración sobre espacios de campos (integral funcional).; Relación con la geometría no conmutativa: búsqueda de análogos cuánticos de formas y cohomologías.

💡 En las teorías supersimétricas, las formas diferenciales se generalizan a superformas en supervariedades, donde las coordenadas pueden ser anticonmutantes (variables de Grassmann), y el operador d se convierte en una supercarga nilpotente que actúa como generador de simetría.

No articles yet

forma diferencial

History

How it works

History

How it works

History

How it works

Open problems & fun facts

Related articles