Canonical maps of general hypersurfaces in abelian varieties

DOI10.3934/ERA.2021087MaRDI QIDQ2055233zbMATH OpenOpenAlexFDO

Authors Fabrizio Catanese, Luca Cesarano

Publication date 3 December 2021

Published in Electronic Research Archive (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.08303

zbMATH Keywords

abelian varietiesautomorphisms of a coveringcanonical mapsGauss mapsgeneric coveringshypersurfacesmonodromy groupstheta divisors

Mathematics Subject Classification ID

Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) Rational and birational maps (14E05) Embeddings in algebraic geometry (14E25) Jacobians, Prym varieties (14H40) Algebraic theory of abelian varieties (14K05) Theta functions and abelian varieties (14K25)

Abstract: The main theorem of this paper is that, for a general pair $(A,X)$ of an (ample) Hypersurface $X$ in an Abelian Variety $A$, the canonical map $Ph{i}_X$ of $X$ is birational onto its image if the polarization given by $X$ is not principal (i.e., its Pfaffian $d$ is not equal to $1$). We also show that, setting $g=dim(A)$, and letting $d$ be the Pfaffian of the polarization given by $X$, then if $X$ is smooth and ${\displaystyle }$Phi_X : X ightarrow mathbb{P}^{N:=g+d-2}${\displaystyle }$ is an embedding, then necessarily we have the inequality $dgeqg+1$, equivalent to $N:=g+d-2geq2dim(X)+1.$ We also formulate the following interesting conjecture, motivated by work of the second author: if $dgeqg+1,$ then, for a general pair $(A,X)$, $Ph{i}_X$ is an embedding.

Review text

This paper is devoted to canonical maps of general hypersurfaces in abelian varieties. The main result obtained is that, for a general pair \((A,X)\) of an (ample) hypersurface \(X\) in an abelian variety \(A\), the canonical map \(\Phi_X\) of \(X\) is birational onto its image if the polarization given by \(X\) is not principal (i.e., its Pfaffian \(d\) is not equal to \(1\)). This work was motivated by a theorem obtained by the first author in a joint work with \textit{F.-O. Schreyer} [in: Algebraic geometry. A volume in memory of Paolo Francia. Berlin: de Gruyter. 79--116 (2002; Zbl 1053.14048)] on canonical surfaces: if you have a polarization of type \((1, 1, 2)\) then the image \(\Sigma\) of the canonical map \(\Phi_X\) is in general a surface of degree \(12\) in \(\mathbb{P}^3\), birational to \(X\), while for the special case where \(X\) is the pull-back of the theta divisor of a curve of genus \(3\), then the canonical map has degree \(2\), and \(\Sigma\) has degree \(6\). The authors also show that, setting \(g=\dim(A)\), and letting \(d\) be the Pfaffian of the polarization given by \(X\), then if \(X\) is smooth and \(\Phi_X:X\longrightarrow\mathbb{P}^{N:=g+d-2}\) is an embedding, then necessarily they have the inequality \(d\geq g+1\), equivalent to \(N:=g+d-2\geq2\dim(X)+1\). Hence the authors formulate the following interesting conjecture, motivated by work of the second author: if \(d\geq g+1\), then, for a general pair \((A,X)\), \(\Phi_X\) is an embedding. This paper is organized as follows: Section 1 is an introduction to the subject and a description of the results. Section 2 is devoted to the proof of the main result. Section 3 deals with embedding obstruction. In section 4, the authors conclude this paper with some remarks on the conjecture.

Recommendations

• Canonical images of surfaces.
• scientific article; zbMATH DE number 1884261
• On canonical hypersurfaces of \(\mathbb{P}^4\)
• On the Canonical Map of Smooth Surfaces in ℙ⁴
• On surfaces of general type with maximal Albanese dimension

Cites work

• A new family of surfaces with p _g =q =2 and K ² =6 whose Albanese map has degree 4
• Curves on generic Kummer varieties
• scientific article; zbMATH DE number 3871528 (Why is no real title available?)
• scientific article; zbMATH DE number 3819927 (Why is no real title available?)
• scientific article; zbMATH DE number 4042073 (Why is no real title available?)
• scientific article; zbMATH DE number 3603415 (Why is no real title available?)
• scientific article; zbMATH DE number 1860636 (Why is no real title available?)
• Komplexe Räume
• Le lieu des variétés abéliennes dont le diviseur thêta est singulier a deux composantes
• On severi's proof of the double point formula^∗
• On the embedding of Abelian varieties in projective spaces
• Polarisations of type \((1,2,\dots ,2)\) on abelian varieties
• Quadrics of rank four in the ideal of a canonical curve
• Some remarks on ample line bundles on abelian varieties
• The degree of the Gauss map of the theta divisor
• The double point formula with isolated singularities and canonical embeddings
• Very ample linear systems on abelian varieties

Cited in

(3)

• The double point formula with isolated singularities and canonical embeddings
• The Canonical Map and Horikawa Surfaces in Positive Characteristic
• General birationality and hyperelliptic theta divisors

This page was built for publication: Canonical maps of general hypersurfaces in abelian varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055233)