A question on classification of almost complex structures on $4$-manifolds - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T12:07:26Z http://mathoverflow.net/feeds/question/59820 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59820/a-question-on-classification-of-almost-complex-structures-on-4-manifolds A question on classification of almost complex structures on $4$-manifolds Dmitri 2011-03-28T11:50:40Z 2011-08-20T23:55:13Z <p>I have a (basic?) question in topology.</p> <p><strong>Question 1.</strong> Is it possible to characterise compact $4$-manifolds $M^4$, such that almost complex structures on $M^4$ are uniquely defined up to homotopy by their first Chern classes? Or is there at least a large class of $4$-manifolds where this is true? Maybe there is a reference?</p> <p><strong>Recall</strong> the theorem of Wu. Denote by $\tau$ the signature of $M^4$ and by $e$ the Euler characteristics. Then for any element $c\in H^2(M^4,\mathbb Z)$ with $c^2=3\tau+2e$ and such that $c\; {\rm mod} \;\mathbb Z_2= w_2\in H^2(M^4,\mathbb Z_2)$ there is an almost complex structure $J$ on $M^4$, such that $c_1(M,J)=c$ (in particular, as Paul says $e+\tau=0\; {\rm mod} \;4$). However this $J$ might be non-unique, up to homotopy among almost complex structures with $c_1=c$, as the following example shows.</p> <p><strong>Example.</strong> Let $M^4=S^1\times S^3$, then the tangent bundle is trivial, so almost complex structures on $M^4$ can be identified up to homotopy with homotopy classes of maps $M^4\to S^2$ (see page 11 in The geometry of Four-manifolds Donaldson Kronheimer). Maps $S^3\to S^2$ can have different Hopf invariants, but $c_1=0$ since $S^1\times S^3$ has no second cohomology...</p> <p><strong>Added Question 2.</strong> Is there at least one manifold that satisfies condition of <strong>Question 1</strong>? </p> <p>In McDuff-Salamon (footnote on page 120) it is written, that if $M^4$ is <em>spin</em> then there are precisely two homotopy classes of $J$ with given $c_1$ (this is said to be related to $\pi_4(S^2)=\mathbb Z_2$). But since $S^1\times S^3$ is spin this statement from McDuff-Salamon seem to contradict to my conclusion (that for $S^1\times S^3$ homotopy classes are can have different Hopf invariants). So, where is the mistake?...:)</p> http://mathoverflow.net/questions/59820/a-question-on-classification-of-almost-complex-structures-on-4-manifolds/73302#73302 Answer by Peter Teichner for A question on classification of almost complex structures on $4$-manifolds Peter Teichner 2011-08-20T23:55:13Z 2011-08-20T23:55:13Z <p>This can be answered by obstruction theory for the fibration $$F=SO(4)/U(2) \to BU(2) \to BSO(4)$$ where the fibre is actually a 2-sphere: $F=S^2$. Start with the tangent bundle of an oriented 4-manifold $M$ and ask for existence respectively uniqueness of a lift of its Gauss-map $M\to BSO(4)$, that is, existence respectively uniqueness for an almost complex structure on $M$.</p> <p>The obstructions for existence lie in $H^{i+1}(M;\pi_i(F))$ and the obstructions for uniqueness lie in $H^{i}(M;\pi_i(F))$. Assume for simplicity that $M$ is simply connected and closed and let $X$ be its 2- (and hence) 3-skeleton. The same obstruction theory tells you that the tangent bundle of $X$ has a complex structure and that it's uniquely determined by the first Chern-class. If such a structure extends to $M$, there is a single uniqueness obstruction in $$H^{4}(M,X;\pi_4(F)) = \pi_4(S^2) = Z/2$$ By naturality, this obstruction is realized by a second almost complex structure on $M$ (with the same first Chern-class) if and only if the quotient map $M \to M/X=S^4$ induces a nontrivial map on cohomotopy: $$\pi_4(S^2) = [S^4,S^2] \to [M,S^2]$$ It is well known that this map is nontrivial if and only if $M$ is spin, see for example the cohomotopy preprint with Kirby and Melvin on my homepage. </p> <p>This explains the footnote in McDuff-Salamon (where they probably assume that $M$ is simply connected, otherwise there is another uniqueness obstruction in $H^3(M)$ that you found for $M = S^1 \times S^3$). It also answers your question for simply connected almost complex manifolds $M$ as follows: </p> <p>The first Chern-class characterizes almost complex structures on $M$ if and only if $M$ is not spin. Good examples are those Hirzebruch surfaces which are nontrivial $S^2$-bundles over $S^2$. </p>