Parallel Symmetric Submanifolds

• Parallel symmetric submanifolds are defined by the parallelism of their second fundamental form, ensuring constant extrinsic invariants and ambient-isometry-induced symmetries.
• They are rigorously classified across Euclidean, space-form, Möbius, affine, and para-quaternionic geometries, forming the building blocks for more complex submanifold structures.
• Analytical methods from differential geometry and representation theory reveal integrability conditions and rigidity properties, guiding the construction of nearly symmetric and inhomogeneous almost symmetric submanifolds.

Parallel symmetric submanifolds constitute a central class in submanifold geometry, distinguished by the parallelism of their second fundamental form and the symmetries inherited from ambient isometries. They arise as the most rigid, highly classified objects, subordinate only to totally geodesic submanifolds, and provide the building blocks for more general constructs such as almost symmetric and inhomogeneous almost symmetric submanifolds. Their theory integrates differential geometric, representation-theoretic, and affine-geometric methods across diverse ambient structures, including Euclidean spaces, space forms, Grassmannians, Möbius and affine geometries, and para-quaternionic symmetric spaces.

1. Precise Definition and Characterization

Let $M \subset N$ be a submanifold of a Riemannian or pseudo-Riemannian manifold $(N,\tilde g)$ with normal bundle $\nu M$. The second fundamental form $h : TM \times TM \rightarrow \nu M$ is parallel if its covariant derivative with respect to the van der Waerden–Bortolotti connection $V = \nabla + D$ (Levi–Civita on $TM$, normal connection on $\nu M$) vanishes identically:

$Vh = 0 \quad \text{or} \quad \nabla^{\perp} h = 0.$

This condition implies that all extrinsic invariants, such as principal curvatures and normal curvature operators, are constant over $M$ (Chen, 2019). In the Euclidean setting, parallelism guarantees extrinsic symmetry: reflections in affine normal spaces extend to isometries of the ambient space fixing $M$ pointwise (Gorodski et al., 12 Jan 2026).

The equivalent characterizations include:

• Parallelism of the second fundamental form: $\nabla^⊥_X h(Y, Z) = 0$ for all $X, Y, Z$ tangent to $M$.
• Commutation of shape operators with the normal holonomy group.
• Realization as symmetric $R$-spaces, i.e., orbits of $s$-representations of symmetric spaces (Chen, 2019, Gorodski et al., 12 Jan 2026).

2. Classification in Euclidean and Space-Form Geometries

In Euclidean space $\mathbb{E}^n$, any complete, full, parallel submanifold is, up to affine motion, a product of irreducible extrinsic symmetric submanifolds, specifically orbits of $s$-representations. Ferus' theorem yields two possibilities:

• Products of symmetric $R$-spaces in Euclidean factors: $M = E^{m_0} \times M_1 \times \cdots \times M_s$.
• Products of symmetric $R$-spaces minimally embedded in spheres: $M = M_1 \times \cdots \times M_s \subset S^{m-1}$ (Chen, 2019).

Explicit examples include:

• Euclidean spheres $S^k(r)$, round cylinders $S^1(a) \times E^{m-2}$.
• Veronese, Segre, and Grassmannian embeddings as symmetric R-spaces (Chen, 2019).

In other real space forms $R^n(c)$, parallel submanifolds split as products of symmetric R-spaces embedded in spheres or hyperbolic space, consistent with the curvature decomposition $1/c_0 + 1/c' = 1/c$ as described by Takeuchi (Chen, 2019).

3. Parallel Symmetric Submanifolds in Symmetric Spaces and Grassmannians

For higher-rank symmetric spaces, complete parallel submanifolds are determined by their 2-jet $(T_pM, h_p)$ and their integrability is controlled by curvature-invariant pairs. In the real oriented 2-Grassmannian $\mathrm{G}^+_2(\mathbb{R}^{n+2})$, any complete parallel submanifold of dimension $\geq 2$ is contained in a totally geodesic factor as an extrinsic symmetric submanifold. Thus, parallel symmetric submanifolds coincide with symmetric submanifolds in these settings up to degenerate cases (Jentsch, 2011).

Key integrability conditions involve:

• Curvature-invariance of the tangent space $W$ and first normal $U = \operatorname{span}\{ h(x, y) \}$.
• The bundle splitting and commutator identities ensure that parallel submanifolds are extrinsically symmetric in their geodesic envelope (Jentsch, 2011).

4. Möbius and Affine Invariant Settings

In Möbius differential geometry, the parallelism condition applies to Möbius-invariant tensors such as the Blaschke tensor $A$, measuring deviation from Möbius minimality. Classification theorems by Li–Song establish that umbilic-free submanifolds in $S^n$ with parallel Blaschke tensor and vanishing Möbius form are Möbius equivalent to:

• Pseudo-parallel immersions with parallel mean curvature and constant scalar curvature.
• Euclidean or hyperbolic analogues via stereographic/hyperbolic projection.
• New families such as $LS(m_1, p_1, r, p)$ arising from minimal immersions in hyperbolic/spherical factors (Li et al., 2015).

This classification mirrors the role of parallel second fundamental form in Euclidean theory, with the Blaschke tensor acting as a Möbius-invariant replacement for $h$ (Li et al., 2015).

In affine geometry, parallel symmetric equiaffine hyperspheres with nontrivial parallel Fubini–Pick tensor $A$ are precisely the hyperbolic affine hyperspheres, which, up to equivalence, are quadrics or standard equivariant embeddings of irreducible symmetric spaces (SL($m$,$\mathbb{R}$)/SO($m$), etc.). The duality between these hyperspheres and minimal symmetric Lagrangian submanifolds in complex space forms further reinforces their distinguished status (Li, 2013).

5. Parallel Symmetric Submanifolds in Para-Quaternionic Kähler Geometry

In para-quaternionic Kähler symmetric spaces, a submanifold $M^{2n} \subset (\tilde{M}^{4n}, Q, \tilde{g})$ is parallel if its second fundamental form, or equivalently a "shape tensor" $C = J_2 \circ h$, is parallel ($\nabla^{\perp} h = 0 \iff \nabla C = 0$) (Vaccaro, 2012). For maximal totally (para-)complex submanifolds, parallelism implies curvature invariance and a reduction of the Gauss–Ricci system:

$$R_{XYZW} = \tilde{R}_{XYZW} + \langle C_X Y, C_Z W \rangle - \langle C_X Z, C_Y W \rangle.$$

Local symmetry is achieved if and only if the curvature form $[C, C]$ is parallel along $M$ (Vaccaro, 2012).

6. Parallel Symmetric Decomposition for Inhomogeneous Almost Symmetric Submanifolds

Recent classification results for inhomogeneous almost symmetric submanifolds in Euclidean space establish that every irreducible example is a union of parallel symmetric leaves. Specifically, for any such submanifold $M$, there exists a cohomogeneity-one group $K$ whose generic $K$-orbit is a parallel symmetric submanifold, and $M$ admits a foliation $M = \bigcup_t S_t$, with $S_t$ parallel symmetric (Gorodski et al., 12 Jan 2026). The explicit construction involves orbits of $s$-representations acting on connected curves in a subspace, with reflectional symmetries corresponding to specific hyperplane invariances.

This structural result demonstrates that inhomogeneous almost symmetric submanifolds preserve a strong rigidity inherited from parallel symmetric submanifolds, precluding arbitrary deformation except in directions normal to the symmetric orbits (Gorodski et al., 12 Jan 2026).

7. Methods, Algebraic Constraints, and Examples

The underlying methods of analysis are algebraic and representation-theoretic. Integrability of curvature-invariant pairs, commutator identities in shape operators, and holonomy considerations are essential. All principal extrinsic invariants (principal curvatures, normal curvatures) remain constant due to parallelism, and Simons' holonomy theorem constrains enlargements of symmetry. Typical examples include symmetric products, orbits of classical groups, Veronese and Segre embeddings, and minimal immersions in space forms.

The table below organizes some classical symmetric examples:

Ambient Geometry	Parallel Symmetric Submanifolds	Key Features
Euclidean space	Spheres, cylinders, R-space orbits	Constant $h$, extrinsic symmetries
Space forms (sphere)	Products of symmetric R-space in spheres	Invariant curvature decompositions
2-Grassmannian	Submanifolds in geodesic factors	Intrinsic + extrinsic symmetry
Affine geometry	Quadrics, standard group embeddings	Parallel cubic forms

8. Extensions, Variants, and Outlook

The theory extends to pseudo-Riemannian settings, non-compact symmetric spaces (e.g., real Grassmannians), para-quaternionic spaces, and possibly to higher-rank symmetric spaces, although classification becomes highly intricate (Jentsch, 2011). New phenomena emerge in indefinite geometries, yet parallel symmetric submanifolds retain crucial rigidity (e.g., pseudo-extrinsic symmetric R-spaces).

A plausible implication is that the decomposition into parallel symmetric leaves provides a maximal rigidity template for constructing and understanding broader classes of highly symmetric or nearly-symmetric submanifolds. The parallelism condition delineates the boundary between full symmetry and weaker, but still considerable, constraint.