A topological consequence of Riemann-Roch in the almost complex case

I believe that the displayed equation is valid for almost complex manifolds. This is closely related to a computation I talked about here.

Let $r_1$, $r_2$, ..., $r_n$ be the chern roots of the tangent bundle. Then $\sum (-1)^p \mathrm{ch}(\Omega^p) = \prod (1-e^{-r_i})$. Let $\mathrm{Td}$ denote the total Todd class, so $\mathrm{Td} := \sum T_i/i! = \prod \frac{r_i}{(1-e^{-r_i})}$. The quantity you are interested in is $$\int \mathrm{Td} \prod (1-e^{-r_i}) = \int \prod r_i.$$ In other words, the top chern class of the holomorphic tangent bundle.

So the question is "On an almost complex manifold, is it still true that the top chern class of the holomorphic tangent bundle is $\chi(M)$?" I believe the answer is yes. Take a generic smooth section $\sigma$ of the tangent bundle and integrate it to get a flow. I believe that the fixed points of that flow will precisely be, with multiplicity, the intersections of $\sigma$ with the zero section. So we are done by the Lefschetz fixed point theorem.

The reason I keep saying "I think" and "I believe" is that I don't spend much time working with nonintegrable complex structures, so I can easily believe that I missed some subtlety.


In general, are there topological consequences of the existence of the Dolbeault resolution that would be difficult to prove (or, more ambitiously, would fail) for arbitrary pseudo-complex manifolds?

Since an almost complex manifold has a tangent bundle like that of a complex manifold, the place to measure the difference is not, I think, in things involving characteristic classes of bundles and indices of elliptic operators. David's answer illustrates this, and I'll say something more philosophical.

The topological restrictions imposed by integrability are stark in real dimension 4. Almost complex structures on 4-manifolds $X$ are cheap: all you need for existence is a candidate $c$ for the first Chern class, which should satisfy $w_2=c \mod 2$ and $c^2[X]=2\chi+3\sigma$ (where $\sigma$ is the signature, and the second equation rewrites $p_1=c_1^2-2c_2$). Integrable complex structures are hard to come by. So as to avoid recourse to Kaehler methods, let's say that $b_1$ should be odd. Complex surfaces of this kind are still not completely classified, but they have been hunted down to a few specific topological "locations", one of them being $\pi_1=\mathbb{Z}$ and $H^2$ negative-definite (Class VII surfaces).

To get that far, one uses nearly all the complex geometry one can think of. The story starts with Dolbeault and the degeneration of the Hodge to de Rham spectral sequence (which uses Serre duality), but it invokes many further arguments (see Barth et al., Compact complex surfaces). It's expected that Class VII surfaces contain non-separating 3-spheres; to prove this when $b_2=1$, A. Teleman carefully analysed compactified moduli spaces of stable rank 2 bundles.

Your question was inspired by Dmitri's quotation of Gromov, who asserted in the quoted passage from Spaces and Questions that "complex manifolds have not stood up to their fame!" In the case of non-Kaehler surfaces, he might be right; a great deal of work turns up only a handful of quirky specimens which it is hard to fall in love with.


I may be repeating what has been said, but I think the point is this. The index theory always works in the "almost" case because one can set up a 2-step elliptic complex with operator D + D^* where D is d-bar. Moreover I believe that, in real dimension 6 or more, there are no known obstructions to the existence of an integrable complex structure beyond those for an almost complex structure. The case of 4 real dimensions is special because we have Kodaira's classification of complex surfaces. (PS: I don't think it was really necessary to have so many math formulae above!)