## Algebraic surfaces with $p_g=q=1, K^2=4$ and nonhyperelliptic Albanese fibrations of genus 4

29 Nov 2017  ·  Ling Songbo ·

In this paper we study minimal algebraic surfaces with $p_g=q=1,K^2=4$ and nonhyperelliptic Albanese fibrations of genus 4. We construct for the first time a family of such surfaces as complete intersections of type $(2,3)$ in a $\mathbb{P}^3$-bundle over an elliptic curve... For the surfaces we construct here, the direct image of the canonical sheaf under the Albanese map is decomposable (which is a topological invariant property). Moreover we prove that, all minimal surfaces with $p_g=q=1,K^2=4$ and nonhyperelliptic Albanese fibrations of genus 4 such that the direct image of the canonical sheaf under the Albanese map is decomposable are contained in our family. As a consequence, we show that these surfaces constitute a 4-dimensional irreducible subset $\mathcal{M}$ of $\mathcal{M}_{1,1}^{4,4}$, the Gieseker moduli space of minimal surfaces with $p_g=q=1, K^2=g=4$. Moreover, the closure of $\mathcal{M}$ is an irreducible component of $\mathcal{M}_{1,1}^{4,4}$. read more

PDF Abstract

# Code Add Remove Mark official

No code implementations yet. Submit your code now

# Categories

Algebraic Geometry