No Arabic abstract
We consider a family of surfaces of general type $S$ with $K_S$ ample, having $K^2_S = 24, p_g (S) = 6, q(S)=0$. We prove that for these surfaces the canonical system is base point free and yields an embedding $Phi_1 : S rightarrow mathbb{P}^5$. This result answers a question posed by G. and M. Kapustka. We discuss some related open problems, concerning also the case $p_g(S) = 5$, where one requires the canonical map to be birational onto its image.
We give new contributions to the existence problem of canonical surfaces of high degree. We construct several families (indeed, connected components of the moduli space) of surfaces $S$ of general type with $p_g=5,6$ whose canonical map has image $Sigma$ of very high degree, $d=48$ for $p_g=5$, $d=56$ for $p_g=6$. And a connected component of the moduli space consisting of surfaces $S$ with $K^2_S = 40, p_g=4, q=0$ whose canonical map has always degree $geq 2$, and, for the general surface, of degree $2$ onto a canonical surface $Y$ with $K^2_Y = 12, p_g=4, q=0$. The surfaces we consider are SIP s, i.e. surfaces $S$ isogenous to a product of curves $(C_1 times C_2 )/ G$; in our examples the group $G$ is elementary abelian, $G = (mathbb{Z}/m)^k$. We also establish some basic results concerning the canonical maps of any surface isogenous to a product, basing on elementary representation theory.
A theta surface in affine 3-space is the zero set of a Riemann theta function in genus 3. This includes surfaces arising from special plane quartics that are singular or reducible. Lie and Poincare showed that theta surfaces are precisely the surfaces of double translation, i.e. obtained as the Minkowski sum of two space curves in two different ways. These curves are parametrized by abelian integrals, so they are usually not algebraic. This paper offers a new view on this classical topic through the lens of computation. We present practical tools for passing between quartic curves and their theta surfaces, and we develop the numerical algebraic geometry of degenerations of theta functions.
In this paper, we classified the surfaces whose canonical maps are abelian covers over $mathbb{P}^2$. Moveover, we construct a new Campedelli surface with fundamental group $mathbb{Z}_2^{oplus 3}$ and give defining equations for Persssons surface and Tans surfaces with odd canonical degrees explicitly.
The Quillen connection on ${mathcal L} rightarrow {mathcal M}_g$, where ${mathcal L}^*$ is the Hodge line bundle over the moduli stack of smooth complex projective curves curves ${mathcal M}_g$, $g geq 5$, is uniquely determined by the condition that its curvature is the Weil--Petersson form on ${mathcal M}_g$. The bundle of holomorphic connections on ${mathcal L}$ has a unique holomorphic isomorphism with the bundle on ${mathcal M}_g$ given by the moduli stack of projective structures. This isomorphism takes the $C^infty$ section of the first bundle given by the Quillen connection on ${mathcal L}$ to the $C^infty$ section of the second bundle given by the uniformization theorem. Therefore, any one of these two sections determines the other uniquely.
We prove the unirationality of the Ueno-type manifold $X_{4,6}$. $X_{4,6}$ is the minimal resolution of the quotient of the Cartesian product $E(6)^4$, where $E(6)$ is the equianharmonic elliptic curve, by the diagonal action of a cyclic group of order 6 (having a fixed point on each copy of $E(6)$). We collect also other results, and discuss several related open questions.