Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Consider a symplectic manifold $(M,\omega)$ and the space of almost complex structures (a.c.s. for short). These are $J:TM\to TM$ with $J^2=-\text{id}$. An a.c.s. $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 other times (more often) see it being compatible, but I am unsure of the restrictions that each impose. 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 is with the Levi-Civita connection $\nabla$ associated to the metric $g_J$. Here a compatible or tame $J$ is not necessarily parallel ($\nabla J\ne 0$) under $\nabla$. It is preserved under the modified connection $\tilde{\nabla}_XY=\nabla_XY-\frac{1}{2}J(\nabla_XJ)Y-\frac{1}{4}(\nabla_{JY}J+J\nabla_YJ)X$, and its torsion is a multiple of the Nijunheis tensor. Now when $J$ is compatible then this connection preserves the metric, but not when $J$ is simply tame. I don't really know if this affects its use.
Even more different (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|improve this question
1  
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
add comment

2 Answers

up vote 7 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|improve this answer
add comment

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|improve this answer
add comment

Your Answer

 
discard

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.