scientific article; zbMATH DE number 1786880

From MaRDI portal
Publication:4548101





Let \(\Omega\) be an irreducible bounded symmetric domain of rank \(r\geq 2\), \(\Gamma\) a torsion-free discrete group of biholomorphic automorphisms of \(\Omega\), and \(X=\Omega/\Gamma\) the quotient space. The author obtains, for several cases of domains \(\Omega\) and complex manifolds \(C\subset X\), criteria for \(C\) to be totally geodesic in \(X\). The details are too technical to reproduce here in full, but let us mention at least the following. Theorem 1: If \(\Omega\) is ``of characteristic codimension 1 (these turn out to be precisely the unit balls of \(n\times n\) matrices for any \(n>1\), of skew-symmetric \(n\times n\) matrices for \(n\) even and \(\geq 4\), of symmetric \(n\times n\) matrices for \(n\geq 2\), the Lie balls \(IV_n\) for \(n\geq 3\), and the exceptional symmetric domain of dimension 27), and \(C\subset X\) a compact smooth holomorphic curve such that \(\forall x\in C\), the tangent space \(T_x C\) is spanned by a generic vector, then \(C\) is totally geodesic. (We refer to the paper for the definition of a generic tangent vector.) Theorem 2: Under the same hypotheses on \(\Omega\) and \(C\), if the Gaussian curvature \(K(x)\) at any \(x\in C\) satisfies \(-1-\frac 1{r-1}<K(x)\leq -1\), then \(C\) is totally geodesic. Theorem 3: Under the same hypothesis on \(\Omega\), let \(Z\) be a complex manifold carrying a continuous complex Finsler metric of seminegative curvature. Then any nonconstant holomorphic map \(f:X\to Z\) is necessarily an immersion at a generic point. Theorem 4: Let \(\Omega=IV_n\), \(n\geq 3\), and \(S\subset X\) a compact complex submanifold of any dimension \(d\), \(1\leq d<n\), such that at any \(x\in S\) the restriction of the canonical quadric structure on \(IV_n\) is nondegenerate. Then \(S\) is totally geodesic in \(X\). Theorem 5: Under the same hypotheses on \(\Omega\) and \(S\), if the scalar curvature \(K(x)\) at any \(x\in S\) satisfies \(-d^2-1<K(x)\leq -d^2\), then \(S\) is totally geodesic.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4548101)