We describe in terms of the j-invariant all elliptic surfaces pi: X -> C with a section, such that h^{1,1}(X)=rank NS(X) and the Mordell-Weil group of pi is finite.
We use this to give a complete solution to infinitesimal Torelli for elliptic surfaces with a section over P^1.
We give an effective infinitesimal Torelli theorem for cyclic covers of G/P, where G is a simple algebraic group and P is a maximal parabolic subgroup.
Given a compact Kähler manifold, the Infinitesimal Torelli problem asks whether the differential of the period map of a Kuranishi family is injective. Unlike the classical Torelli theorem for curves, there is a negative answer for example for hyperelliptic curves of genus greater than $2$. Nevertheless the Infinitesimal Torelli Theorem holds for many other classes of manifolds. We will prove it for smooth hypersurfaces in simple abelian varieties with sufficiently high self-intersection giving an effective bound on a result by Green in this particular case.
Let $g \geq 2$ and let the Torelli map denote the map sending a genus $g$ curve to its principally polarized Jacobian. We verify the well known fact that the map induced on tangent spaces by the Torelli map is dual to the multiplication map $\mathrm{Sym}^2 H^0(C, ω_C) \rightarrow H^0(C, ω_C^{\otimes 2})$.
We generalize the classical approach of describing the infinitesimal Torelli map in terms of multiplication in a Jacobi ring to the case of quasi-smooth complete intersections in weighted projective space. As an application, we prove the infinitesimal Torelli theorem for hyperelliptic Fano threefolds of Picard rank 1, index 1, degree 4 and study the action of the automorphism group on cohomology. The results of this paper are used to prove Lang-Vojta's conjecture for the moduli of such Fano threefolds in a follow-up paper.
We prove the infinitesimal Torelli theorem for general minimal complex surfaces X's with the first Chern number 3, the geometric genus 1, and the irregularity 0 which have non-trivial 3-torsion divisors. We also show that the coarse moduli space for surfaces with the invariants as above is a 14-dimensional unirational variety.
We solve the infinitesimal Torelli problem for $3$-dimensional quasi-smooth ${\mathbb{Q}}$-Fano hypersurfaces with at worst terminal singularities. We also find infinite chains of double coverings of increasing dimension which alternatively distribute themselves in examples and counterexamples for the infinitesimal Torelli claim and which share the analogue, and in some cases the same, Hodge-diagram properties as the length $3$ Gushel-Mukai chain of prime smooth Fanos of coindex $3$ and degree $10$.
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the irregularity $q=0$ . The main novelty is a realization of the Kodaira-Spencer classes lying in the kernel of the cohomology cup-product controlling the derivative of the period map of weight 2 in the category of the coherent sheaves of a surface.
We prove an equivalence between the infinitesimal Torelli theorem for top forms on a hypersurface contained inside a Grassmannian $\mathbb G$ and the theory of adjoint volume forms presented in L. Rizzi, F. Zucconi, "Generalized adjoint forms on algebraic varieties", Ann. Mat. Pura e Applicata, in press. More precisely, via this theory and a suitable generalization of Macaulay's theorem we show that the differential of the period map vanishes on an infinitesimal deformation if and only if certain explicitly given twisted volume forms go in the generalized Jacobi ideal of $X$ via the cup produc…
We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which preserves the Mukai pairing, an infinitesimal weight-2 decomposition and the orientation of a positive 4-dimensional space. This generalizes the derived version of the Torelli Theorem. Along the way we show the compatibility of the actions on Hochschild homology and singular cohomology of any Fourier--Mukai functor.
Using the notion of generalized divisors introduced by Hartshorne, we adapt the theory of adjoint forms to the case of Gorenstein curves. We show an infinitesimal Torelli-type theorem for vector bundles on Gorenstein curves. We also construct explicit counterexamples to the infinitesimal Torelli claim in the case of a reduced reducible Gorenstein curve.
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 (Θ_X) \longrightarrow (\mathcal{O}_X(K_X))^{\ast} \otimes H^1 (Ω_X) $$ where $Θ_X…
This is a significant revision of the early version of this paper which was posted last December. The speculative section has been removed in light of some recent results of Morita and Kawazumi. Numerous typos have been fixed. The companion paper "The Hodge de Rham Theory of Relative Malcev Completion" has just been posted.
We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties.
We show that the Hilbert scheme which parameterises bitangent lines to a general quartic surface is a counterexample to the infinitesimal Torelli claim and is a smooth regular surface with no rational curves and very ample canonical divisor.
Algebraic surfaces of general type with $q=0$, $p_g=2$ and $K^2=1$ were described by Enriques and then studied in more detail by Horikawa. In this paper we consider a $16$-dimensional family of special Horikawa surfaces which are certain bidouble covers of $\mathbb{P}^2$. The construction is motivated by that of special Kunev surfaces which are counterexamples for infinitesimal Torelli and generic global Torelli problem. The main result of the paper is a generic global Torelli theorem for special Horikawa surfaces. To prove the theorem, we relate the periods of special Horikawa surfaces to the…
Given a generic curve of genus $g\geqslant4$ and a smooth point $L\in W_{g-1}^{1}(C)$, whose linear system is base-point free, we consider the Abel-Jacobi normal function associated to $L^{\otimes 2}\otimes ω_{C}^{-1}$, when $(C,L)$ varies in moduli. We prove that its infinitesimal invariant reconstruct the couple $(C,L)$. When $g=4$, we obtain the generic Torelli theorem proved by Griffiths.
We show that infinitesimal Torelli for $n$-forms holds for abelian covers of algebraic varieties of dimension $n\ge 2$, under some explicit ampleness assumptions on the building data of the cover. Moreover, we prove a variational Torelli result for some families of abelian covers.
The Fano surface $F$ of lines in the cubic threefold $V$ is naturally embedded in the intermediate Jacobian $J(V)$, we call "Fano cycle" the difference $F-F^-$, this is homologous to 0 in $J(V)$. We study the normal function on the moduli space which computes the Abel-Jacobi image of the Fano cycle. By means of the related infinitesimal invariant we can prove that the primitive part of the normal function is not of torsion. As a consequence we get that, for a general $V$, $F-F^-$ in not algebraically equivalent to zero in $J(V)$ (already proved by van der Geer-Kouvidakis) and, moreover, there …
In this paper, we show that the infinitesimal Torelli theorem implies the existence of deformations of automorphisms. In the first part, we use Hodge theory and deformation theory to study the deformations of automorphisms of complex projective manifolds. In the second part, we use crystalline cohomology to explore the p-adic analogues of the first part, which generalizes a result of Berthelot and Ogus. The study of the deformations of automorphisms also provides criterions characterizing when the action of the automorphism group of a variety on its cohomology is faithful.
