Holomorphic Retractions of Bounded Symmetric Domains onto Totally Geodesic Complex Submanifolds

Abstract

Given a bounded symmetric domain Ω the author considers the geometry of its totally geodesic complex submanifolds S ⊂ Ω. In terms of the Harish-Chandra realization Ω ⋐ ℂ ⁿ and taking S to pass through the origin 0 ∈ Ω, so that S = E ⋂ Ω for some complex vector subspace of ℂ ⁿ, the author shows that the orthogonal projection ρ: Ω → E maps Ω onto S, and deduces that S ⊂ Ω is a holomorphic isometry with respect to the Carathéodory metric. His first theorem gives a new derivation of a result of Yeung’s deduced from the classification theory by Satake and Ihara in the special case of totally geodesic complex submanifolds of rank 1 and of complex dimension ≥ 2 in the Siegel upper half plane ${{\cal H}_g}$, a result which was crucial for proving the nonexistence of totally geodesic complex suborbifolds of dimension ≥ 2 on the open Torelli locus of the Siegel modular variety ${{\cal A}_g}$ by the same author. The proof relies on the characterization of totally geodesic submanifolds of Riemannian symmetric spaces in terms of Lie triple systems and a variant of the Hermann Convexity Theorem giving a new characterization of the Harish-Chandra realization in terms of bisectional curvatures.

Keywords

Bounded symmetric domain / Harish-Chandra embedding / Holomorphic retraction / Totally geodesy

References

[1] Helgason S. Differential Geometry, Lie Groups, and Symmetric Spaces, 1978, New York-London: Academic Press Vol. 80

[2] Ihara S. Holomorphic imbeddings of symmetric domains. J. Math. Soc. Japan, 1967, 19: 261-302

[3] Lempert L. La métrique de Kobayashi et la représentation des domaines sur la boule. Bull. Soc. Math. France, 1981, 109: 427-474

[4] Mok N. Metric Rigidity Theorems on Hermitian Locally Symmetric Manifolds, 1989, Teaneck, NJ: World Scientific Publishing Co., Inc.

[5] Mok N, Ng S C. Germs of measure-preserving holomorphic maps from bounded symmetric domains to their Cartesian products. J. Reine Angew. Math., 2012, 669: 47-73

[6] Nakagawa H, Takagi R. On locally symmetric Kaehler submanifolds in a complex projective space. J. Math. Soc. Japan, 1976, 28: 638-667

[7] Ros A. A characterization of seven compact Kaehler submanifolds by holomorphic pinching. Annals of Math., 1985, 121: 377-382

[8] Royden R, Wong P-M, Krantz S G. The Caratheodory and Kobayashi/Royden metrics by way of dual extremal problems. Complex Var. Elliptic Equ., 2013, 58: 1283-1298

[9] Salinas N. The Carathódory and Kobayashi infinitesimal metrics and completely bounded homomorphisms. J. Operator Theory, 1991, 26: 433-443

[10] Satake I. Holomorphic imbeddings of symmetric domains into a Siegel space. Amer. J. Math., 1965, 87: 425-461

[11] Wolf J A. Fine structure of Hermitian symmetric spaces, Symmetric Spaces (Short Courses, Washington Univ., St. Louis, Mo., 1969–1970), 1972, New York: Dekker 271-357

[12] Yeung, S.-K., Open Torelli locus and complex ball quotients, Math. Res. Let., arXiv:2108.08172.

[13] Zhong J Q. The Degree of Strong Nondegeneracy of the Bisectional Curvature of Exceptional Bounded Symmetric Domains, Several Complex Variables (Hangzhou, 1981), 1984, Boston, MA: Birkhäuser Boston 127-139