MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have the following question. Any input would be appreciated. If you have a counterexample, I would be very interested to know.

Question. Let $(X, \omega, J)$ be a Kahler manifold of complex dimension $2$ of general type, with $\omega$ a symplectic form and $J$ an integrable complex structure compatible with $\omega$. Let $L$ be an ample line bundle on $X$. Assume the divisor $D$ corresponding to $L$ is connected, symplectic curve with a positive self-intersection. Is there is a surjection $\pi_{1}(D) \rightarrow \pi_{1}(X)$?

Remark: Note that here I don't assume that the divisor $D$ is holomorphic. In this case the answer to my question is yes by Nori's result. I am asking if Nori's result holds for symplectic submanifold.

share|cite|improve this question
Could you please define what you mean by a pesudo-holomorphic curve in your case? In order to do this, you need to define an almost complex structure on your Kahler surface, but have not explained this. Note also, that any Kahler manifold with an ample bundle is projective thanks to Kodaira embedding theorem. – Dmitri Jul 29 '12 at 11:31
@kla: "Dear Jason: In my question above, I assume that the manifold X is a complex surface of general type." In that case, what is your distinction between "pseudo-holomorphic" and "holomorphic"? A pseudo-holomorphic curve in a <complex> manifold is holomorphic. Once again, I think you should tell us what reference you are using, since you seem to be confused about basic definitions. – Jason Starr Jul 29 '12 at 15:49
I think the question is badly phrased. Maybe the OP asks if a connected symplectic surface $D$ in $X$ whch is Poincaré dual to $c_1(L)$ with ample $L$ and $c_1(L)^2>0$ still verifies Nori's theorem. Am I right ? – BS. Jul 29 '12 at 17:21
You should edit your question, then. – BS. Jul 30 '12 at 9:30
... In particular, remove integrability assumption and Kahler assumption. I am also unsure what "general type" would mean in the setting suggested by BS. – Misha Jul 30 '12 at 11:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.