On a result about genus two pencils - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T15:08:42Z http://mathoverflow.net/feeds/question/80650 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/80650/on-a-result-about-genus-two-pencils On a result about genus two pencils Michael Zhang 2011-11-11T01:16:06Z 2011-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#80671 Answer by Francesco Polizzi for On a result about genus two pencils Francesco Polizzi 2011-11-11T10:23:43Z 2011-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#80686 Answer by rita for On a result about genus two pencils rita 2011-11-11T14:53:14Z 2011-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>