No label defined (Q4548101)

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.

0 references