Una técnica de geometría diferencial que asigna en cada punto de una variedad una base que varía suavemente (marco) adaptada a la geometría, usada para calcular invariantes, expresar ecuaciones de estructura y simplificar problemas de clasificación y equivalencia bajo acciones de grupos (marcos móviles de Cartan).

Principio

Adaptación local y normalización: elegir un marco dependiente y suave en la posición de modo que los grados de libertad del grupo se normalicen paso a paso, produciendo invariantes diferenciales y ecuaciones de estructura (torsión, curvatura) que codifican la geometría bajo la acción del grupo de transformaciones.

Demostración

En una curva suave del plano, el marco de Frenet formado por el vector tangente y el vector normal parametrizados por longitud de arco es un marco móvil: sus ecuaciones de estructura proporcionan la curvatura como invariante escalar. En problemas de mayor dimensión, aplicar la normalización de Cartan permite derivar invariantes que caracterizan la equivalencia local de subvariedades bajo el grupo de interés.

Aplicación incorrecta

Intentar normalizar mediante marcos móviles sin controlar posiciones singulares o no genéricas (donde las elecciones de normalización fallan) o ignorar la necesidad de trabajar en categorías suaves y considerar estabilizadores discretos puede producir 'invariantes' espurios o pasar por alto obstrucciones globales.

Consecuencia

Proporciona un procedimiento sistemático para obtener conjuntos completos de invariantes diferenciales locales, decidir equivalencia bajo grupos de simetría y derivar formas canónicas para estructuras geométricas; unifica construcciones clásicas (marcos de Frenet, marcos de cuerpos rígidos).

Inversión

Punto de vista inverso: el enfoque basado en coordenadas fijas; en lugar de adaptar un marco para simplificar la acción del grupo, se fijan coordenadas y se tratan las acciones del grupo sobre expresiones en coordenadas. La inversión enfatiza fórmulas coordinadas y cuestiones de recubrimiento global frente a pasos intrínsecos de normalización.

Límite

Se aplica en contextos suaves (C^∞ o analíticos) con una acción suave de un grupo de Lie; quedan excluidos espacios puramente discretos o muy singulares, contextos sin regularidad suficiente o problemas donde la topología global impide extender marcos locales.

Tensión semántica

La tensión surge entre construir invariantes intrínsecos (marcos móviles) y cálculos extrínsecos en coordenadas: ambos producen invariantes pero difieren en naturalidad, computabilidad y extensibilidad global; la elección depende de la regularidad y del tipo de grupo.

Síntesis

El método de marcos móviles consiste en elegir bases adaptadas que varían suavemente a lo largo de una variedad para normalizar grados de libertad de simetría, generando invariantes diferenciales y ecuaciones de estructura que clasifican y simplifican problemas geométricos bajo acciones de grupos.