Let us consider a map from a $\Sigma\_g \longrightarrow N$, where $N$ is a symplectic manifold. 


Then we define the moduli space as 


$M= \{ f | f \mbox{ is a pseudoholomorphic map } \Sigma\_g \to N, f\_\* ([\Sigma]) = [A]\}$, where $A \in N$. 


We assume the dimension of $N$ is $2n$. We can cauculate the dimension of the moduli space $M$ is $n(2-2g)+2c\_1(A)$


**Questions:**


1. Is the moduli space non-empty for any Riemman surface and any $N$ and any $[A] \in H\_2(N)$ ?
2. Is there any simple way to judge whether the moduli space is not empty? What about this problem when N is a four dimension manifold?


The case I want to know most is when $N$ is a four-dimensional symplectic manifold with infinite fundamental group. 



Problem:Gromov-Witten;Moduli space
I am trying to assemble the answers to the question(s) that were hashed out in the comments (and also in a separate discussion with Jonny Evans). This answer is community wiki since it is the outcome of collaborative discussion. Please feel free to edit this.


Rephrasing of question: does there exist a non-constant holomorphic curve in any symplectic manifold? (presumably, for generic choice of compatible J) Can we say more in dimension 4? Are there conditions we can put on the symplectic manifold so that there exist curves?


* A generic K3 surface (which is a symplectic 4-manifold) does not have any curves, so the answer to the question in complete generality is "no". We therefore reinterpret the question to be about finding a large class of 4-manifolds for which we can say something.
* If we drop the non-constant condition, there are the trivial (constant) holomorphic curves. This is why we require non-constant holomorphic curves.
* If we allow ourselves to find a $J$-holomorphic curve for a very special (not generic!) almost complex structure $J$, it suffices to find an embedded symplectic surface and then construct $J$ to make this surface $J$-holomorphic. In dimension 4, we can find a symplectic surface by finding a Donaldson divisor.
* If there exists a $J$-holomorphic sphere in $N$, then there exist $J$-holomorphic maps from domains of all genus, by composing with a branched cover.
* There are two obvious infinite families of examples for which we can find non-constant holomorphic curves. The first are products of symplectic manifolds with surfaces. The second family of examples is obtained by blowing up a symplectic 4-manifold.
* Another family of examples come from 4-manifolds $(N, \omega)$ for which the Gromov-Taubes invariant is non-vanishing. For instance, if $c\_1(TN) \ne 0$.


