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

Question. Are there smooth complex surfaces of general type with an irregularity $q = 1$ and Euler characteristic $3$.

If the answer is yes, what is known about the geometry of such surfaces? Are there some explicit constructions?

share|cite|improve this question
Topological Euler characteristic or holomorphic Euler characteristic? – Jason Starr Jul 19 '12 at 14:28
Thanks for the remarks. I meant topological Euler characteristic. – user25225 Jul 19 '12 at 14:34
up vote 5 down vote accepted

If you mean holomorphic Euler characteristic equal to $3$, i.e. $p_g=3$, then the answer is yes.

For some explicit constructions, look at the paper by Takahashi

Certain algebraic surfaces of general type with irregularity one and their canonical mappings, Tohoku Math. J. (2) Volume 50, Number 2 (1998), 261-290.

For any value of $p_g \geq 2$, the author shows the existence of minimal surfaces of general type with $K^2=3p_g$ and $q=1$ and studies their canonical mappings.

These surfaces are the minimal resolution of a relative quartic hypersurface (having at most rational double points as singularities) in a $\mathbf{P}^2$-bundle over an elliptic curve.

If you mean instead topological Euler characteristic, Noether formula gives $$K^2=12 \chi(\mathcal{O}) -3.$$

On the other hand, by Bogomolov-Miyaoka-Yau inequality one has $K^2 \leq 9 \chi(\mathcal{O})$, so the only possibility is $\chi(\mathcal{O})=1$, i.e. $p_g=q=1$, $K^2=9$.

As far as I know, the existence of such a surface was announced by Cartwright and Steger. They used a ball-quotient construction (based also on computer calculations), similar to the one used by Prasad and Yeung in order to classify the fake projective planes. I do not think that a more explicit geometric construction is currently known.

share|cite|improve this answer
Thank you Francesco for your remark and the reference. I will definitely look up Takahashi paper, but I meant topological Euler characteristic in my question above. – user25225 Jul 19 '12 at 14:39
In this case it seems to me that the only possibility is $p_g=q=1$. I edited the answer with some information about this case – Francesco Polizzi Jul 19 '12 at 14:54

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.