Welcome to MathOverflow

Question

16

3

What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$?

Apperently all orientable 4-manfiolds that admit a smooth $S^1$ action belong to this class. Is that all?

POSSIBLE MOTIVATION. Claire Voisin gave a construction of the Hilbert scheme of points for every almost complex 4-fold by an analogy with the Hilbert scheme of points of a complex surface. The first calculation of the Euler charactericstics of Hilbert scheme of points of complex surfaces was done via localisation techniques, for $CP^2$. Now, if we have a "holomorphic" vector field on an almost complex manifold, this could potentially help to reduce the calculation of the Euler charachteristics of its Hilbert scheme to the study of fixed points of the manifold. So the question is how flexible this notion is... But in its nature this question seems to be more a question (maybe not a hard one) on dynamical systems.

edited Dec 22 2009 at 0:41

asked Dec 22 2009 at 0:14

Dmitri
16.6k●1●36●77

This sounds really cool. Is this recent work of Voisin? – Kevin Lin Dec 22 2009 at 9:09

1

Thanks :) Maybe this sound cooler than it should be. He is the reference, it was published in 2002 people.math.jussieu.fr/~voisin/Articlesweb/… – Dmitri Dec 22 2009 at 10:45

2

It's an intriguing question, but it seems to me a surprisingly delicate way to calculate the Euler characteristic of the Hilbert scheme, which one expects to be a universal function of the Betti numbers of the 4-manifold, as in the integrable case. Perhaps one can prove this using the Cech spectral sequence coming from the open cover of Hilb arising from a good cover of the 4-manifold? [BTW, I know you're quoting Voisin, but the following rule is worth insisting on: a 4-fold is an algebraic or analytic variety of dimension 4. A 4-manifold has real dimension 4.] – Tim Perutz Dec 22 2009 at 11:55

1

Tim, thanks for the comment! In fact the approach I propose is exactly to give a justification of your words:)) How do we calculate the Euler charecteristics of a manifold - count the number of zeros of a vector field. I want to say, that for a Hilbert scheme this should be a result of the same caclulation. I think it would be cool to have a "simple" calculation of the Euler charateristics. By the way this speculation can also be applied to DT invariants -- when you count 0-dim subschemes on 3 dimensional CY manifolds. This calculation was done in 2005 and was one of MNOP conjectures. – Dmitri Dec 22 2009 at 12:27

When you say the vector field preserves the almost-complex structure, are you referring to the flow associated to the vector field? And do you want the vector field to be everywhere nonzero? Nonzero at all but finitely many points? – Ryan Budney Jan 16 2010 at 22:51

show 1 more comment

Almost complex 4-manifolds with a “holomorphic” vector field

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.