The totally geodesic coisotropic submanifolds in Kähler manifolds (Q1597482)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The totally geodesic coisotropic submanifolds in Kähler manifolds |
scientific article; zbMATH DE number 1747825
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The totally geodesic coisotropic submanifolds in Kähler manifolds |
scientific article; zbMATH DE number 1747825 |
Statements
The totally geodesic coisotropic submanifolds in Kähler manifolds (English)
0 references
30 May 2002
0 references
A real submanifold \(\Sigma\) in a symplectic manifold \((M^{2n}, \omega)\) is said to be a coisotropic submanifold if \(T_p\Sigma^\omega \subset T_p\Sigma\) for all \(p\in\Sigma\), where \(T_p\Sigma^\omega= \{X\in T_pM\mid \omega (X,Y)=0\), \(\forall Y\subset T_p\Sigma\}\) is the symplectic complement of \(T_p \Sigma\). Let \((M^{2n}, g,J)\) be a complete connected Kähler manifold of nonnegative holomorphic curvature. Assume that \(W\) and \(V\) are closed, totally geodesic immersed coisotropic submanifolds in \(M\) and assume that either \(W\) or \(V\) is compact. It is shown that if the holomorphic curvature of \(M\) is positive on either \(W\) or \(V\), then \(W\) and \(V\) must intersect. Assume that here \(V\) is compact and that the holomorphic curvature \(H(X)=\langle R(X,JX)X,JX \rangle\) of \(M\) satisfies \(\liminf_{t\to \infty}\int^t_0 H(\gamma'(t)) dt>0\), where \(\gamma(t): [0,\infty)\to M\) is any normalized geodesic issuing orthogonally from \(V\). It is shown that then \(M\) must be compact. Moreover, assume that the holomorphic curvature of \(M\) is positive on \(V\). Then the induced homomorphism of the fundamental groups \(\pi_1(V) \to\pi_1(M)\) is surjective. As an application, a fixed-point theorem is given. If \((M^{2n},g,J)\) has positive holomorphic curvature and \(f\) is a symplectomorphism of \(M\), whose graph is a totally geodesic submanifold of \((M\times M,g\times g)\), then \(f\) has a fixed point.
0 references
Kähler manifold
0 references
coisotropic submanifold
0 references
holomorphic curvature
0 references
fixed-point theorem
0 references
fundamental groups
0 references