A differential-geometric technique that assigns at each point of a manifold a smoothly varying basis (frame) adapted to the geometry, used to compute invariants, express structure equations, and simplify classification and equivalence problems under group actions (Cartan's moving frames).

Principle

Local adaptation and normalization: choose a frame depending smoothly on position so that group degrees of freedom are normalized step by step, producing differential invariants and structure equations (torsion, curvature) that capture the geometry under the action of a transformation group.

Demonstration

On a smooth curve in the plane, the Frenet frame of tangent and normal vectors parametrized by arc length is a moving frame: its structure equations yield curvature as the invariant scalar. In higher-dimensional problems, implement Cartan's normalization to derive invariants characterizing submanifold equivalence under the group of interest.

Misapplication

Attempting to apply moving-frame normalization without controlling singular or nongeneric positions (where normalizing choices fail) or ignoring the need to work in smooth categories and take account of discrete stabilizers can produce spurious 'invariants' or miss global obstructions.

Consequence

Provides a systematic algorithm to produce complete sets of local differential invariants, to decide equivalence under symmetry groups, and to derive canonical forms for geometric structures; it unifies many classical constructions (Frenet frames, rigid-body frames).

Reversal

The dual viewpoint is a coordinate-based approach: instead of adapting a frame to simplify group action, fix coordinates and treat group actions on coordinate expressions. Reversal emphasizes coordinate formulas and global chart issues rather than intrinsic normalization steps.

Boundary

Applies in smooth (C^∞ or analytic) settings with a Lie group acting smoothly; exclusions include purely discrete or wildly singular spaces, contexts without sufficient regularity, or problems where global topology obstructs extension of local frames.

Semantic Tension

Tension arises between intrinsic invariant-building (moving frames) and extrinsic coordinate calculations: both produce invariants but differ in naturality, computability, and global extendability; practitioners must choose based on regularity and group type.

Synthesis

The method of moving frames is a procedure of choosing smoothly varying adapted bases along a manifold to normalize symmetry degrees of freedom, yielding differential invariants and structure equations that classify and simplify geometric problems under group actions.