3
$\begingroup$

I'm trying to prove the following (well-known) theorem in symplectic geometry.

Theorem . For $(M, \omega)$ a symplectic manifold with Riemannian metric $g, \exists$ a canonical almost complex structure $J$ compatible with $ω$. (source)

Could someone give me a sketch and I can fill in the details. Thank you.

  • 1
    What does canonical mean? And where is the source? – 2017-01-05
  • 0
    @JohnMa Just added source – 2017-01-05
  • 2
    @Ashley: You will find all this done in Proposition 1 at page 2 in [lecture 7](https://ocw.mit.edu/courses/mathematics/18-966-geometry-of-manifolds-spring-2007/lecture-notes/lect07.pdf) of the MIT OCW lecture notes on the geometry of manifolds by Denis Auroux. – 2017-01-05
  • 0
    Thanks, hadn't seen those before! – 2017-01-05

1 Answers 1

8

This is well-explained in a number of standard references such as da Silva or McDuff-Salamon's Introduction to Symplectic Topology. I'll tour the exposition in da Silva (ch. 12).

We start with some basic symplectic linear algebra. Let $V$ be a vector space with nondegenerate symplectic form $\Omega$ and Riemannian form $G$.

  1. There is a unique linear map $A: V \to V$ such that $\Omega(u,v) = G(Au,v)$ for all $u, v \in V$. (Use nondegeneracy.)

  2. Let $A^*$ be the adjoint of $A$. The map $AA^*$ is symmetric and positive-definite. (Use the Riemannian property.)

Hence $AA^*$ diagonalizes with positive eigenvalues by the spectral theorem, and thus has a square root (defined eigenspace-by-eigenspace).

  1. Let $S^2 = AA^*$, and write $J = S^{-1}A$. This is the so-called polar decomposition. Then $J$ commutes with $S$ and $A$. Furthermore, $J$ is orthogonal ($JJ^* = I$), skew-adjoint ($J^* = -J$), and thus gives a complex structure on $V$. Also, this complex structure is compatible with $\Omega$ and $G$, in the sense that $\Omega(Ju,Jv) = G(u,v)$ and $\Omega(u,Ju) > 0$. (It's all linear algebra here; check da Silva if you get stuck.)

You can think about the above as being a pointwise version of the result you want. Recall that an almost complex structure on a manifold is a smoothly varying family of complex structures on the tangent spaces, so all you have to do is check that $J$ depends smoothly on $G$ and $\Omega$ (this is not complicated - if you are working hard something is going wrong).

All this is "canonical" in a certain sense because we've made no choices along the way. $A$ is unique and depends only on the maps $G$ and $\Omega$, and $J$ depends only on $A$. We've made no reference to bases anywhere.

  • 1
    The Riemannian form $G$ is in general NOT compatible with $J$ an $\Omega$. – 2018-11-28