Equivariant embeddings of Hermitian symmetric spaces

We prove that equivariant, holomorphic embeddings of Hermitian symmetric spaces are totally geodesic (when the image is not of exceptional type).

💡 Research Summary

The paper investigates holomorphic embeddings between Hermitian symmetric spaces that are equivariant with respect to the actions of the underlying Lie groups. The main theorem states that any such equivariant holomorphic embedding is automatically totally geodesic, provided that the target space is not of exceptional type (i.e., not associated with the exceptional Lie groups (E_6), (E_7), or (E_8)). The authors begin by recalling the standard description of a Hermitian symmetric space as a quotient (G/K) where (G) is a non‑compact simple Lie group and (K) its maximal compact subgroup. The Lie algebra (\mathfrak g) admits a Cartan decomposition (\mathfrak g=\mathfrak k\oplus\mathfrak p) together with an invariant complex structure (J) on (\mathfrak p). An equivariant holomorphic embedding consists of a group homomorphism (\Phi: G\to G’) and a smooth map (f: G/K\to G’/K’) satisfying (f(g\cdot x)=\Phi(g)\cdot f(x)) and preserving the complex structures.

The proof proceeds in three principal steps. First, the authors show that equivariance forces (\Phi) to be a Lie‑algebra homomorphism (\varphi:\mathfrak g\to\mathfrak g’) that maps (\mathfrak k) into (\mathfrak k’) and (\mathfrak p) into (\mathfrak p’). Second, the holomorphic condition translates into the commutation relation (\varphi\circ J = J’\circ\varphi). This ensures that the induced map on tangent spaces respects the invariant complex structures. Third, the curvature tensor of a Hermitian symmetric space is given by the algebraic formula (R(X,Y)Z = -