We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Geometry

Title: On the Infinitesimal Torelli theorem for regular surfaces with very ample canonical divisor

Authors: Igor Reider
Abstract: Let $X$ be a smooth compact complex surface subject to the following conditions:
(i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample,
(ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$,
(iii) $X$ contains no rational normal curves of degree $\leq (p_g-1)$,
(iv) the multiplication map $m_2: Sym^2(H^0(\mathcal{O}_X(K_X))) \longrightarrow H^0 (\mathcal{O}_X (2K_X))$ is surjective.
It is shown that the Infinitesimal Torelli holds for such $X$.
Our proof is based on the study of the cup-product
$$ H^1 (\Theta_X) \longrightarrow (\mathcal{O}_X(K_X))^{\ast} \otimes H^1 (\Omega_X) $$ where $\Theta_X$ (resp. $\Omega_X$) is the holomorphic tangent (resp. cotangent) bundle of $X$. Conceptually, the approach consists of lifting the data of the cohomological cup-product above to the category of complexes of coherent sheaves of $X$. This establishes connections between the geometry of the canonical map and the above cup-product by exhibiting geometrically meaningful objects in the category of (short) exact complexes of coherent sheaves on $X$.
Comments: 55 pages, the paper supercedes earlier incorrect version(s) with a similar title (arXiv:1402.0192)
Subjects: Algebraic Geometry (math.AG)
MSC classes: 14J29, 14J60
Cite as: arXiv:1803.01357 [math.AG]
  (or arXiv:1803.01357v1 [math.AG] for this version)

Submission history

From: Igor Reider [view email]
[v1] Sun, 4 Mar 2018 14:03:10 GMT (70kb)

Link back to: arXiv, form interface, contact.