On a result about genus two pencils - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T15:08:42Zhttp://mathoverflow.net/feeds/question/80650http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/80650/on-a-result-about-genus-two-pencilsOn a result about genus two pencilsMichael Zhang2011-11-11T01:16:06Z2011-11-11T15:46:04Z
<p>I am reading the paper "Canonical models of surfaces of general type" by E. Bombieri. In the last section of this paper, there is a statement saying that surfaces with $K^2=1$ and $p_g=0$ do not have pencils of genus $2$, and there is no proof. Is there a proof of this statement?</p>
http://mathoverflow.net/questions/80650/on-a-result-about-genus-two-pencils/80671#80671Answer by Francesco Polizzi for On a result about genus two pencilsFrancesco Polizzi2011-11-11T10:23:43Z2011-11-11T15:46:04Z<p>I do not know whether this result is true.</p>
<p>In fact G. Xiao in his book <a href="http://www.amazon.co.uk/Surfaces-Fibrees-Courbes-Lecture-Mathematics/dp/3540156623" rel="nofollow">Surfaces fibrees en courbes de genre deux, page 66</a> claims that a surface of general type with $p_g=q=0$, $K^2=1$ and a pencil of curves of genus $2$ has been constructed by Oort and Peters in their paper <a href="http://www.sciencedirect.com/science/article/pii/1385725881900615" rel="nofollow">A Campedelli surface with torsiongroup $\mathbb{Z}/2$</a>. You should check their construction, since unfortunately I have not time to do it now. </p>
<p>Notice that Oort and Peter call "Campedelli surface" what is nowadays called "Numerical Godeaux surface" (i.e., a surface of general type with $p_g=q=0$, $K^2=1$); in fact, the name "Campedelli surface" is currently used for surfaces with $p_g=q=0$, $K^2=2$.</p>
<p>At any rate, the following is surely true: </p>
<blockquote>
<p>if $S$ is a minimal surface of general type with $p_g=q=0$ and $K^2=1$, then the <em>bicanonical pencil</em> $|2K_S|$ cannot be composed with a pencil of curves of genus $2$.</p>
</blockquote>
<p>See the paper by Catanese and Pignatelli <a href="http://www.sciencedirect.com/science/article/pii/S0012959306000437" rel="nofollow">Fibrations of low genus I</a>, Section 5. The proof given there is not based on Bombieri's paper, but it uses a structure theorem for genus $2$ fibrations which involves vector bundles techniques. </p>
http://mathoverflow.net/questions/80650/on-a-result-about-genus-two-pencils/80686#80686Answer by rita for On a result about genus two pencilsrita2011-11-11T14:53:14Z2011-11-11T14:53:14Z<p>In fact it seems that the statement is not correct.</p>
<p>The paper [Calabri, Ciliberto, Mendes Lopes,
Numerical Godeaux surfaces with an involution.
Trans. Amer. Math. Soc. 359 (2007), no. 4] contains the classification of numerical Godeaux surfaces (i.e., minimal surfaces of general type with $K^2=1$ and $p_g=0$) that have an automorphism of order 2. The examples described in section 6 have a pencil of curves of genus 2 (cf. Remark 6.3). </p>