On Affinely Homogeneous Submanifolds: The Power Series Method of Equivalence

We determine all affinely homogeneous models for surfaces $S^2 \subset \mathbb{R}^4$, including the simply transitive models. We employ an improved power series method of equivalence, which captures invariants at the origin, creates branches, and infinitesimalizes calculations. We find several inequivalent terminal branches yielding each to some nonempty moduli space of homogeneous models, sometimes parametrized by a certain invariant algebraic variety. Three main features may be emphasized: 1) Iterated single-pointed jet bundles; 2) Cartan-enhanced power series method of equivalence; 3) Constant ping-pong between normal forms (nf) and vector fields (vf).