---
title: Almost Symmetric Submanifolds
url: https://www.emergentmind.com/topics/almost-symmetric-submanifolds
type: topic
---

# Almost Symmetric Submanifolds

Searching arXiv for recent and foundational papers on almost symmetric submanifolds and closely related notions.
Almost symmetric submanifolds form a family of submanifolds situated strictly between arbitrary submanifolds and fully symmetric or extrinsically symmetric models. In the Euclidean setting introduced by Gorodski and Olmos, an almost symmetry at a point \(p\in M\subset V\) is an involutive ambient isometry \(\sigma_p\in \operatorname{Iso}(V)\) such that \(\sigma_p(M)=M\), \(\sigma_p\) fixes the affine normal space \(p+\nu_pM\) pointwise, and the fixed point set of \((d\sigma_p)_p\) in \(T_pM\) is \(1\)-dimensional [2509.23301]. This weakens extrinsic symmetry by allowing one tangent direction to remain fixed rather than requiring the whole tangent space to be reflected. Closely related frameworks appear in curvature-adapted submanifold theory in symmetric spaces, where the extrinsic geometry is forced to align with the ambient curvature decomposition, yielding a strong form of “almost symmetry” without requiring homogeneity [1102.4756], and in the recent global Euclidean classification of inhomogeneous examples [2601.07564].

## 1. Euclidean definition and basic geometric meaning

In Euclidean space \(V\), a submanifold \(S\subset V\) is extrinsically symmetric if for every \(p\in S\), the orthogonal reflection in the affine normal space \(p+\nu_pS\) preserves \(S\). By Ferus, these are exactly the Euclidean submanifolds with parallel second fundamental form, a class used as the comparison model in the almost symmetric theory [2601.07564]. The Euclidean notion of almost symmetry modifies only the tangent action: the ambient involution still fixes \(p+\nu_pM\) pointwise, but on \(T_pM\) it acts as \(+1\) on a line and \(-1\) on its orthogonal complement [2509.23301], [2601.07564].

This definition is explicitly extrinsic. It depends on ambient Euclidean isometries, affine normal spaces, and the induced decomposition
\[
T_pM=L_p\oplus L_p^\perp,
\]
where \(L_p\) is the \(1\)-dimensional tangent fixed-point set of \((d\sigma_p)_p\) [2509.23301]. In this sense, almost symmetric submanifolds are “one tangent direction away” from extrinsic symmetry.

The homogeneous theory also admits a broader “co-index of extrinsic symmetry” viewpoint. In the terminology of Gorodski and Olmos, symmetric submanifolds have co-index \(0\), while almost symmetric submanifolds have co-index \(1\) [2509.23301]. This suggests a hierarchy of increasingly weaker reflectional symmetries, though only the co-index-one case is developed there.

A separate but influential geometric interpretation comes from symmetric-space submanifold theory. Murphy’s curvature-adapted condition requires, for each normal direction \(\xi\), that the normal Jacobi operator
\[
K_\xi(X)=R(\xi,X)\xi
\]
preserve \(T_pM\) and commute with the shape operator
\[
A_\xi(X)=-(\bar\nabla_X\xi)^\top.
\]
For hypersurfaces this reduces to simultaneous diagonalizability of \(K_\xi\) and \(A_\xi\), so principal curvature directions are aligned with ambient curvature eigendirections [1102.4756]. This is not the same definition as Euclidean almost symmetry, but it provides a widely used symmetric-space analogue of “almost symmetric” behavior.

## 2. Homogeneous Euclidean theory

The first systematic compact homogeneous theory is due to Gorodski and Olmos [2509.23301]. Let \(M\) be a full irreducible compact homogeneous submanifold of Euclidean space of codimension at least two. Their structural theorem states that if \(M\) is almost symmetric, then in codimension greater than three it must be an orbit of an irreducible \(s\)-representation [2509.23301]. Thus high-codimension compact homogeneous almost symmetric submanifolds remain tightly controlled by the classical orbit geometry of symmetric spaces.

More precisely, if such a homogeneous almost symmetric submanifold is an orbit of an \(s\)-representation, then it is either a most singular orbit or an almost most singular orbit [2509.23301]. The almost most singular case admits a geometric description as a partial holonomy tube \((\bar M)_\xi\) over a symmetric submanifold \(\bar M\), where \(\xi\) lies in a \(2\)-dimensional irreducible factor of the normal holonomy of \(\bar M\). Conversely, any holonomy tube over a symmetric submanifold through a sufficiently small vector in a two dimensional factor of the normal holonomy is an almost symmetric submanifold [2509.23301].

A key mechanism in the proof is uniqueness of the almost symmetry outside the \(s\)-orbit case. If there are two distinct almost symmetries at a point, then the submanifold is forced to be an orbit of an \(s\)-representation [2509.23301]. This uses the homogeneous normal connection and the distribution
\[
\mathcal D_q^K=\{z\in T_qM : D^\perp_z=0\},
\]
where \(D^\perp=\nabla^\perp-\tilde\nabla^\perp\) compares the normal connection with the canonical \(K\)-invariant one. When \(\mathcal D^K=TM\), equivalently \(\tilde\nabla^\perp=\nabla^\perp\), one recovers the Olmos–Sánchez criterion that the homogeneous submanifold is an orbit of an irreducible \(s\)-representation [2509.23301].

The compact homogeneous classification itself splits into \(s\)-orbit examples and three additional families of principal orbits of reducible cohomogeneity-three representations [2509.23301]. The \(s\)-orbit list contains 15 families, including \(CP^{q-1}\), \(S^2\times S^2\), \(Sp(4)/U(4)\), \(SU(8)/S(U(4)\times U(4))\), \(SO(16)/U(8)\), various real and complex Grassmannian products, and exceptional examples involving \(E_6\), \(E_7\), and \(E_8\) [2509.23301]. The non-\(s\)-orbit families are \(V_2(\mathbb R^n)\), \(U(2)\), and \(T^2\times S^3\), each realized as an arbitrary principal orbit of a reducible cohomogeneity-three representation [2509.23301].

An important intrinsic byproduct is that, except for one \(4\)-dimensional odd-contact example, the classified compact homogeneous almost symmetric submanifolds are embeddings of contact sub-Riemannian symmetric spaces, and their \(S^1\)-quotients are compact Hermitian symmetric spaces [2509.23301]. This places Euclidean almost symmetry in direct contact with intrinsic symmetric geometries weaker than full Riemannian symmetry.

## 3. Inhomogeneous Euclidean classification

The global inhomogeneous theory is completed in “Inhomogeneous almost symmetric submanifolds” [2601.07564]. There the ambient space is Euclidean, and the main objects are full irreducible properly embedded almost symmetric submanifolds. The principal conclusion is a complete description of the inhomogeneous case: every full irreducible inhomogeneous properly embedded almost symmetric submanifold is a union of parallel symmetric submanifolds, parametrized by a connected properly embedded \(1\)-dimensional submanifold \(L\) in a flat section [2601.07564].

The geometric model is built as follows. One decomposes
\[
V=V_0\oplus V_1\oplus\cdots\oplus V_r,
\]
where for each \(i\ge 1\), \(K_i\) acts irreducibly on \(V_i\) as an \(s\)-representation, and \(K_i\cdot v_i\subset V_i\) is a fixed nontrivial extrinsic symmetric orbit [2601.07564]. Let
\[
K=K_1\times\cdots\times K_r
\]
and let \(L\subset V_0\oplus \mathbb R v_1\oplus\cdots\oplus \mathbb R v_r\) be a connected properly embedded \(1\)-dimensional submanifold through \(v=v_1+\cdots+v_r\), satisfying nonconstancy and nonvanishing conditions on its projections to each \(\mathbb R v_i\), and fullness of the projection to \(V_0\) [2601.07564]. Then \(KL\) is a full irreducible properly embedded almost symmetric submanifold.

The general classification theorem states that every full irreducible inhomogeneous properly embedded almost symmetric submanifold of Euclidean space is of one of the forms
\[
KL,\qquad (SO(k)\times K)L,\qquad (SO(k)\times SO(k')\times K)L,
\]
with at most two extra rotational factors corresponding to singular orbits of the cohomogeneity-one action [2601.07564]. These examples are inhomogeneous unless they are round spheres [2601.07564].

The essential geometry is cohomogeneity one. Let \(K\) be the closure of the group generated by the almost symmetries. Then \(K\) acts with cohomogeneity one, a fact already established in the earlier paper and used as input here [2601.07564]. For a regular point \(p\), the orbit
\[
S=K^0p
\]
is a compact extrinsic symmetric submanifold. Choosing a normal vector \(\xi\) to \(S\) inside \(M\), the normal geodesic \(\gamma_\xi\) defines a transverse curve
\[
C=\gamma_\xi(\mathbb R)\subset V_0\oplus \mathbb R p_1\oplus\cdots\oplus \mathbb R p_r,
\]
with
\[
\gamma_\xi(t)=c_0(t)+\lambda_1(t)p_1+\cdots+\lambda_r(t)p_r.
\]
Since \(C\) meets all \(K^0\)-orbits, one has
\[
M=K^0C=\bigcup_t S_t,\qquad S_t=K^0\gamma_\xi(t),
\]
and each \(S_t\) is a parallel symmetric submanifold of \(S\) in \(V\) [2601.07564]. This is the precise meaning of the “union of parallel symmetric submanifolds” description.

The singular-orbit analysis is encoded in the scalar functions \(\lambda_i\). If some \(\lambda_i(t_0)=0\), then \(\gamma_\xi(t_0)\) lies on a singular orbit, the corresponding factor is a standard \(SO(k)\)-representation, and the curve \(C\) is invariant under reflection in the hyperplane \(p_i^\perp\) [2601.07564]. Since a cohomogeneity one action has at most two singular orbits, there can be at most two such extra rotational factors [2601.07564].

## 4. Intrinsic almost symmetric spaces and cohomogeneity one

The intrinsic theory in the Euclidean program abstracts away the embedding. A complete Riemannian manifold is almost symmetric if for each point there is an involutive isometry fixing the point and having \(1\)-dimensional fixed-point set in the tangent space [2509.23301]. Let \(K\) be the closure of the group generated by the almost symmetries. If \(K\) is not transitive, then \(K\) acts with cohomogeneity \(1\) [2509.23301].

This cohomogeneity-one theorem is one of the most rigid consequences of the notion. On the open dense regular set \(\Omega\), the almost symmetry at a point is unique [2509.23301]. If \(N\) is a \(K^0\)-orbit of codimension \(k\ge 2\), then there is a connected normal subgroup \(H\subset K^0\) acting trivially on \(N\), whose isotropy representation on
\[
T_pM=T_pN\oplus \nu_pN
\]
is \(\mathrm{Id}\times SO(\nu_pN)\). In particular, the isotropy algebra contains an ideal isomorphic to \(\mathfrak{so}_k\) [2509.23301]. The connected components of singular \(K\)-orbits are totally geodesic, and the connected components of all \(K\)-orbits are intrinsic symmetric spaces [2509.23301].

The simply connected complete inhomogeneous intrinsic classification then states that such a manifold is one of three types [2509.23301]:

| Type | Model | Symmetric ingredient |
|---|---|---|
| Multiply warped | \(\mathbb R\times_f N\) | \(N\) simply-connected symmetric |
| Product with Euclidean factor | \(\mathbb R^k\times N\) | \(N\) simply-connected symmetric |
| Product with spherical factor | \(S^k\times N\) | \(N\) simply-connected symmetric |

In the first case, each component of the warping map scales independently each irreducible factor of \(N\) [2509.23301]. This shows that even intrinsically, inhomogeneous almost symmetric spaces are assembled from symmetric pieces arranged in a cohomogeneity-one manner.

## 5. Curvature-adapted submanifolds as symmetric-space analogues

The phrase “almost symmetric submanifold” is also used informally for submanifolds of symmetric spaces whose principal curvature directions are dictated by the ambient curvature. Murphy’s study of curvature-adapted submanifolds makes this precise [1102.4756]. A submanifold \(M\subset \bar M\) is curvature-adapted if, for every point \(p\in M\) and every unit normal vector \(\xi\),
\[
R(\xi,X)\xi\in T_pM \qquad \text{for all } X\in T_pM,
\]
and
\[
A_\xi\circ K_\xi=K_\xi\circ A_\xi.
\]
For hypersurfaces the first condition is automatic, so curvature-adaptedness reduces to commutation of the normal Jacobi operator and shape operator [1102.4756].

Because \(A_\xi\) and \(K_\xi\) are self-adjoint, they are simultaneously diagonalizable. In compact type one can choose a common orthonormal eigenbasis \(E\) with
\[
A_\xi e_i=\lambda_i e_i,\qquad K_\xi e_i=\kappa_i^2 e_i.
\]
This alignment of the extrinsic and ambient spectral decompositions is the fundamental “almost symmetric” feature in the symmetric-space setting [1102.4756].

The Riccati equation for parallel hypersurfaces then simplifies drastically. Along a normal geodesic \(C_\xi(t)\), if \(A_\xi(t)\) is the shape operator of the parallel hypersurface \(M_t\), then
\[
A_\xi'(t)=A_\xi(t)^2+K_\xi(t),
\]
and curvature-adaptedness scalarizes this into
\[
\lambda_i'(t)=\lambda_i(t)^2+\kappa_i^2
\]
in compact type, with explicit solution
\[
\lambda_i(t)=\kappa_i\cot(\theta_i-\kappa_i t),
\]
where \(\kappa_i\cot(\theta_i)=\lambda_i(0)\) [1102.4756]. Thus focal geometry is encoded directly by the common eigendirections and their scalar Riccati evolution.

Murphy’s Theorem 1.3 states that for a curvature-adapted hypersurface of a compact symmetric space,
\[
M \text{ is isoparametric }
\iff
\begin{cases}
\text{\(M\) has constant principal curvatures, and}\\
\text{the eigenvalues of }K_\xi\text{ with respect to the common eigenbasis are constant on }M.
\end{cases}
\]
In rank one, the Jacobi eigenvalues are automatically constant, recovering the familiar equivalence between isoparametricity and constant principal curvatures for complete curvature-adapted hypersurfaces [1102.4756].

The paper then develops classification results in concrete symmetric spaces. In the Cayley projective plane,
\[
M\subset \mathbb OP^2 \text{ complete curvature-adapted hypersurface}
\]
satisfies
\[
M \text{ has constant principal curvatures }
\iff
M \text{ is a principal orbit of a cohomogeneity one action}
\]
(Theorem 1.4) [1102.4756]. Thus constant-principal-curvature curvature-adapted hypersurfaces in \(\mathbb OP^2\) are exactly homogeneous tubes around totally geodesic singular orbits.

The complex two-plane Grassmannian
\[
G_2(\mathbb C^{m+2})=SU(m+2)/S(U(m)\times U(2))
\]
provides a contrasting higher-rank case. With its simultaneous Kähler structure \(J\) and quaternionic-Kähler structure \(\mathcal J\), Murphy proves strong partial nonexistence results for generic-angle curvature-adapted hypersurfaces. In particular, Theorem 1.5 excludes curvature-adapted hypersurfaces satisfying
\[
\cos(\alpha(p))\notin \left\{0,\frac35,\frac45,1\right\}
\]
under a natural constancy assumption along normal geodesics [1102.4756]. Similar exclusions hold in the noncompact dual [1102.4756]. This shows that higher-rank almost-symmetry phenomena are highly constrained and often collapse back to known homogeneous models.

Koike pushes this perspective further for higher codimension [1310.0649]. In a symmetric space \(G/K\) of compact or noncompact type, he considers complete curvature-adapted submanifolds with maximal flat section and trivial normal holonomy. Writing the curvature eigendistributions as \(D_\alpha^R\) and the shape eigendistributions as \(D_\lambda^A\), he proves that for every parallel normal field \(\widetilde v\), the eigenvalues \(\alpha(\widetilde v)^2\) of the normal Jacobi operator are constant on \(M\) (Theorem A) [1310.0649]. Under the additional inclusion assumption
\[
D_\alpha^R\subset D_\lambda^A,\qquad \dim D_\alpha^R\ge 2,
\]
Theorem B yields global constancy of all principal curvatures \(\lambda(\widetilde v)\), and hence isoparametricity in compact type, or in noncompact type under real analyticity [1310.0649].

The strongest conclusions identify such submanifolds with genuinely symmetric homogeneous models. In compact type and rank \(>1\), Theorem C states that \(M\) is congruent to a principal orbit of the isotropy action of \(G/K\) [1310.0649]. In noncompact type and rank \(>1\), Theorem D identifies \(M\) as a principal orbit of a Hermann action under an additional boundary condition [1310.0649]. Thus sufficiently rigid ambient-curvature alignment forces full symmetry.

## 6. Related rigidity benchmarks and neighboring theories

Several nearby theories clarify the boundary between exact symmetry, almost symmetry, and weaker curvature constraints.

In Euclidean geometry, extrinsically symmetric submanifolds provide the exact reference class. The paper “Extrinsically Symmetric Spaces, Submanifolds of Clifford Type and a Theorem of Harish-Chandra” proves that a connected submanifold \(X\subset E\) is a compact extrinsically symmetric space iff it is intrinsically a compact symmetric space and every maximal torus of \(X\) is a Clifford torus in \(E\) [2502.18967]. This criterion detects exact ambient symmetry via the geometry of maximal flats, and thereby furnishes a sharp boundary point for almost symmetric Euclidean phenomena.

The geometry of totally geodesic submanifolds of symmetric spaces serves as another benchmark. Berndt and Olmos define the index
\[
i(M)=\min\{\operatorname{codim}(\Sigma): \Sigma\subset M \text{ connected totally geodesic}\},
\]
and prove
\[
\operatorname{rk}(M)\le i(M)
\]
for irreducible symmetric spaces [1405.0598]. Their classification of spaces with equality \(\operatorname{rk}(M)=i(M)\) and of maximal totally geodesic submanifolds identifies the most rigid large symmetric pieces available in an ambient symmetric space [1405.0598]. For almost symmetric theories this gives a natural codimension benchmark: genuinely symmetric submanifolds are already rare in low codimension.

In the same vein, Chen–Nagano theory and later stability analysis show that not every exactly symmetric submanifold is variationally rigid. The paper “Totally geodesic submanifolds of symmetric spaces, III” develops a Casimir-operator method for deciding stability of compact totally geodesic submanifolds, especially the basic \(M_+\) and \(M_-\) submanifolds [1307.7325]. This is relevant because almost symmetric submanifolds should be understood not only through symmetry conditions but also through deformation modes around exact symmetric models.

Another neighboring rigidity notion is the CPC condition: the principal curvature spectrum is independent of the chosen unit normal direction. In irreducible noncompact symmetric spaces of rank at least two, Berndt and Sanmartín-López classify many homogeneous CPC submanifolds, proving they are always austere and minimal and include totally geodesic submanifolds, homogeneous austere hypersurfaces, and singular orbits of cohomogeneity one actions [1805.10088]. Although CPC does not coincide with almost symmetry, it captures a strong normal-isotropy condition reminiscent of symmetric behavior.

Finally, the 2026 paper “Attached Submanifolds Beyond Symmetric Spaces” extends Tamaru’s attached-submanifold construction from noncompact symmetric spaces to solvmanifolds of strong Iwasawa type [2601.13461]. These submanifolds preserve several symmetry-like features—minimality, Ricci restriction, and a root-orthogonality total-geodesy criterion—without requiring a symmetric ambient space. Their central algebraic criterion, the Jacobi Star Condition, characterizes when the intrinsic Ricci tensor of the submanifold equals the restriction of the ambient Ricci tensor [2601.13461]. This offers another example of how a residue of ambient symmetry can be isolated and used to define an “almost symmetric” class beyond the classical setting.

## 7. Scope, interpretations, and open directions

The term “almost symmetric submanifold” is therefore used in two distinct but compatible ways in current research. The first is the precise Euclidean notion of Gorodski and Olmos: ambient involutions fix affine normal spaces pointwise and have \(1\)-dimensional fixed tangent spaces [2509.23301], [2601.07564]. The second is an interpretive symmetric-space notion: submanifolds need not be homogeneous or totally geodesic, but their extrinsic geometry is so tightly synchronized with ambient curvature or root data that they behave like deformations or relatives of symmetric orbits [1102.4756], [1310.0649], [2601.13461].

A common misconception is that almost symmetry should mean “slightly nonhomogeneous” or “approximately invariant under many isometries.” The Euclidean classification shows that the condition is much more rigid: inhomogeneous examples are still cohomogeneity one and globally determined by a properly embedded curve sweeping out parallel symmetric orbits [2601.07564]. Similarly, in symmetric-space settings, curvature-adaptedness combined with flat normal geometry often forces full isoparametricity or actual identification with principal orbits of isotropy or Hermann actions [1310.0649].

Another misconception is that almost symmetry is merely intrinsic. In the Euclidean definition it is decisively extrinsic, depending on affine normal spaces and ambient involutions [2509.23301]. By contrast, the intrinsic cohomogeneity-one theorem concerns almost symmetric spaces rather than submanifolds, and its classification must be kept separate [2509.23301].

Several open directions are explicit in the literature. Gorodski and Olmos suggest studying higher co-index of extrinsic symmetry beyond the co-index-one case [2509.23301]. Murphy’s symmetric-space analysis points toward completing the classification in \(\mathbb OH^2\), removing technical hypotheses in Grassmannian nonexistence results, and extending curvature-adapted/equifocal theory to broader higher-codimension settings [1102.4756]. Koike’s work indicates that further understanding of normal holonomy and flat-section assumptions could clarify how far one can weaken homogeneity before principal-orbit behavior becomes unavoidable [1310.0649]. The attached-submanifold program suggests that “almost symmetric” geometry may persist in solvable ambient spaces whenever the appropriate root-theoretic algebra survives [2601.13461].

Taken together, these developments show that almost symmetric submanifolds are not a diffuse metaphor but a family of rigorously structured geometries. Whether defined via ambient involutions in Euclidean space or via curvature alignment in symmetric spaces, they occupy a narrow corridor between arbitrary submanifold geometry and full symmetry, where cohomogeneity, holonomy, focal structure, and root data become the dominant organizing principles.

Source: https://www.emergentmind.com/topics/almost-symmetric-submanifolds