MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider a symplectic manifold $(M,\omega)$ and the space of almost complex structures. These are $J:TM\to TM$ with $J^2=-\text{id}$. A given $J$ is $\omega$-tame when $\omega(v,Jv)>0$, and $J$ is $\omega$-compatible when it is $\omega$-tame and $\omega(J\cdot,J\cdot)=\omega(\cdot,\cdot)$. The set of either such $J$ forms a contractible subspace. Note that in either scenario we can form a Riemannian metric $g_J$ by twisting $\omega$ in some way with $J$.

In practice, I sometimes see $J$ being tame, and more often I see $J$ being compatible, but in either case I am unsure of the restrictions that each imposes. Is there any context in which it is necessary/helpful to use one condition over the other? This need not be related to pseudo-holomorphic curves in Floer theory. Do certain results fail when I relax "compatible" to "tame"?

A fundamental difference I see (quoted from McDuff-Salamon's big textbook) is that compatible $J$ minimize the energy of a J-holomorphic curve in its homology class, but not necessarily for tame $J$.

share|cite|improve this question
In your first sentence, the word "contractible" should not be there. The spaces of tame or compatible a.c.s. are contractible, but not spaces of general a.c.s. – BS. Sep 9 '12 at 9:49
up vote 8 down vote accepted

If you assume that $M$ is compact and of dimension $4$ then Donaldson has conjectured that if $J$ is $\omega$-tame then $J$ is $\omega'$-compatible for some symplectic form $\omega'$, see Question 2 here. By classical results of Gromov and Taubes this is known to hold if $M=\mathbb{CP}^2$. It is also not hard to verify this when $J$ is integrable (so $(M,J)$ is a compact complex surface), using the classification of surfaces. It is also known to hold when $(M,J)$ is homogeneous.

In this same paper Donaldson proposed a way to attack this question by suitably extending the Calabi-Yau theorem to the symplectic case. Such an extension is still conjectural, but see this survey for some work that has been done in this direction.

On the other hand Taubes has developed a different way of attacking Donaldson's question, and has succeeded in the case when $b^+(M)=1$ and $J$ is suitably generic.

In higher dimensions ($6$ or more) the analogous statement is false.

share|cite|improve this answer

I think YangMills's answer is fantastic. I will go in a slightly different direction, and address the "usefulness" of each definition part of the question.

A very useful feature of tame acs is that tameness is an open condition. This means that it is more straightforward to talk about generic perturbations, e.g. so that somewhere injective curves are transverse. The whole discussion can be carried through with compatible, but it becomes more involved (most recently, I've seen this discussed in some detail in Massot-Niederkruger-Wendl on filling questions for higher dimensional contact manifolds.) The compatible case works, if I am not mistaken, because the space of compatible $J$ is a Banach manifold.

A useful feature of a compatible almost complex structure $J$ is that for a $J$-holomorphic curve, $u^* \omega = |du|^2_J d \operatorname{vol}$. If you have a tamed almost complex structure, you obtain an inequality that is good enough for compactness, but the proofs become a little more involved.

To the best of my knowledge, there is nothing that anyone has proved for $J$-holomorphic curves for compatible $J$ that is believed to be false for tame $J$. Many results, however, are only proved for compatible $J$ because it makes life easier. I personally would love to see an example of a result that wasn't overly technical for which the difference mattered.

share|cite|improve this answer

To add to Sam's answer, compatible almost complex structures are often needed in applications of Gromov-Witten theory to Hofer geometry. Even more fundamentally they are necessary in the construction of spectral invariants, since we must have a well defined filtration on the Floer chain complexes, and if we are working with only tamed almost complex structures I guess we cannot get such a well defined filtration, although I must admit I have not thought about this very deeply.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.