El estudio de propiedades y estructuras geométricas en variedades suaves mediante herramientas del cálculo, ecuaciones diferenciales, análisis tensorial y conexiones; incluye fibrados tangentes, formas diferenciales, métricas riemannianas, conexiones, curvatura, geodésicas y holonomía.

Principio

Los datos diferenciales locales (derivadas, conexiones, curvatura) se organizan en invariantes geométricos globales; la suavidad permite construcciones basadas en cálculo que vinculan el comportamiento infinitesimal con la topología y la geometría globales.

Demostración

Considerar una esfera bidimensional embebida en el espacio euclidiano: dotarla de la métrica riemanniana inducida, calcular la curvatura gaussiana en cada punto, examinar las geodésicas como círculos máximos y aplicar la relación de Gauss-Bonnet para conectar la curvatura total con la característica de Euler de la esfera.

Aplicación incorrecta

Aplicar fórmulas que requieren una estructura suave a espacios con singularidades o conjuntos discretos (por ejemplo tratar una superficie poliédrica como si tuviera una conexión suave global) o asumir la existencia de una métrica riemanniana con propiedades dadas sin verificar la compatibilidad suave.

Consecuencia

Aplicada correctamente, la geometría diferencial produce invariantes computables (tensores de curvatura, clases características), descripciones explícitas de flujos geodésicos, resultados de clasificación en bajas dimensiones y puentes con la física (mecánica clásica, relatividad general) y el análisis en variedades.

Inversión

Invertir hacia un punto de vista puramente topológico o algebraico: ignorar la estructura diferenciable y estudiar la variedad subyacente como objeto topológico o como variedad algebraica; muchos invariantes diferenciales desaparecen o se vuelven inaccesibles sin suavidad.

Límite

Se aplica solo a variedades suaves (o suficientemente diferenciables) y aplicaciones suaves; excluye problemas puramente combinatorios, puramente métricos o variedades algebraicas sobre cuerpos arbitrarios salvo que exista una estructura suave; los espacios singulares requieren teorías separadas.

Tensión semántica

Se solapa con la geometría riemanniana (énfasis en métricas) y el análisis geométrico (énfasis en EDP en variedades); existe tensión cuando un concepto como curvatura tiene interpretaciones tanto analíticas como topológicas, o cuando la geometría algebraica ofrece diferencias análogas sin suavidad.

Síntesis

La geometría diferencial es el marco basado en cálculo que describe cómo los datos lineales infinitesimales en una variedad suave se ensamblan en información geométrica global, permitiendo calcular y clasificar curvatura, geodésicas y sus consecuencias topológicas.