The Fano normal function (Q715172): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1109.1456 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The moduli space of cubic threefolds as a ball quotient / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3347989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the singularities of the theta divisors on Jacobians / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3312351 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The moduli space of cubic threefolds via degenerations of the intermediate Jacobian / rank
 
Normal rank
Property / cites work
 
Property / cites work: C is not algebraically equivalent to \(C^-\) in its Jacobian / rank
 
Normal rank
Property / cites work
 
Property / cites work: The intermediate Jacobian of the cubic threefold / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3953900 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Griffiths infinitesimal invariant for a curve in its Jacobian / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal Cohomology Classes and Jacobians / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4876829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3328651 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The rank-one limit of the Fourier-Mukai transform / rank
 
Normal rank
Property / cites work
 
Property / cites work: Griffiths' infinitesimal invariant and the Abel-Jacobi map / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4320861 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the periods of certain rational integrals. I, II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3697133 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mapping Class Groups and Moduli Spaces of Curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical and Homological Equivalence of Algebraic Cycles on Hodge Manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic cycles and Hodge theoretic connectivity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variations of the Albanese morphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5617697 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Théorème de Torelli pour les cubiques de \({\mathbb{P}}^ 5\). (Torelli theorem for the cubics of \({\mathbb{P}}^ 5)\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3826672 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5433076 / rank
 
Normal rank

Latest revision as of 19:40, 5 July 2024

scientific article
Language Label Description Also known as
English
The Fano normal function
scientific article

    Statements

    The Fano normal function (English)
    0 references
    0 references
    0 references
    0 references
    2 November 2012
    0 references
    The paper under review deals with the geometry of smooth cubic threefolds, especially the study of \textit{Fano cycles} and their variations. Let us briefly recall its definition. For a smooth cubic threefold \(V\), denote by \(F\) its Fano surface of lines contained in \(V\). Then \(F\) is embedded, via the Albanese map, into the 5-dimensional abelian variety \(A:=\mathrm{Alb}(F)\), which is also identified with the intermediate Jacobian \(JV\) of \(V\). The image defines a 2-dimensional algebraic cycle \(F\in \mathrm{CH}_2(A)\). (Strictly speaking one has to fix a base point in \(F\), but let us ignore this here.) Composing with the involution \(-\mathrm{id}_{A}\), one has similarly \(F^-\in \mathrm{CH}_2(A)\). The \textit{Fano cycle} is by definition the cycle \(F-F^-\in \mathrm{CH}_2(A)\). The first main result of the paper is that for a generic cubic threefold \(V\), there is no \(f: W\to JV\) from a 4-dimensional variety \(W\) who has a homologically trivial cycle \(Z\in \mathrm{CH}_2(W)\) such that \(f_*(Z)\) is Abel-Jacobi equivalent to \(F-F^-\) in \(JV\). The second main result is a new proof of the result in [\textit{G. van der Geer} and \textit{A. Kouvidakis}, Doc. Math., J. DMV 15, 747--763 (2010; Zbl 1202.14009)] saying that for a generic cubic threefold \(V\), its Fano cycle \(F-F^-\in \mathrm{CH}^3(A)\) is not algebraically equivalent to zero. Their approach uses the theory of variation of Hodge structures. As the cohomology class of the Fano cycle is trivial, one can consider its Abel-Jacobi invariant \(\nu\in J^5(A)\). Corresponding to the Lefschetz decomposition of \(H^5(A)\) into primitive parts, we have \(J^5(A)=J(P^5(A)(2))\times J(P^3(A)(1))\times J(H^1(A))\), hence the decomposition \(\nu=\nu^1+\nu^3+\nu^5\), where \(J\) is the functor that associates an effective weight \(-1\) (pure) Hodge structure its Jacobian, \(P^3\) and \(P^5\) are primitive cohomology groups of \(V\) of degree 3 and 5 respectively and \(\nu^i\) is the component of \(\nu\) in \(J(P^i(A))\). As is remarked by the authors (Proposition 5.4), \(v^3=0\) and \(\nu^5\) is independent of the choice of the base point of \(F\). They make a detailed computation of the corresponding infinitesimal invariants \(\delta\nu\). Consider a family \(\mathcal V\to B\) parametrised by an open subset of the moduli space of smooth cubic threefolds, all the above objects vary in families \(\mathcal F\to B\), \(\mathcal A\to B\), \(\mathcal J^5\to B\), \(\mathcal P^5\to B\) etc. The Abel-Jacobi invariants of Fano cycles on fibres then give rise to a normal function of \(\mathcal J^5\to B\) or rather of \(\mathcal P^5\to B\). They prove actually a stronger result: this normal function is not a torsion section. Finally, the computation of the infinitesimal invariants shows also that the value of normal function associated to the Fano cycles determines the curve \(D(V)\subset F(V)\) parametrising the double lines in \(V\), which in turn determines the cubic threefold itself. One deduces therefore a Torelli type theorem.
    0 references
    0 references
    cubic threefold
    0 references
    Fano cycle
    0 references
    intermediate Jacobian
    0 references
    normal function
    0 references
    variation of Hodge structures
    0 references
    infinitesimal invariant
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references