Showing 1–50 of 70 results for author: Voisin, C

Universally defined cycles I

Authors: Claire Voisin

Abstract: We introduce and study the notion of universally defined cycles of smooth varieties of dimension $d$, and prove that they are given by polynomials in the Chern classes. A similar result is proved for universally defined cycles on products of smooth varieties. We also state a conjectural explicit form for universally defined cycles on powers of smooth varieties, and provide some steps towards estab… ▽ More We introduce and study the notion of universally defined cycles of smooth varieties of dimension $d$, and prove that they are given by polynomials in the Chern classes. A similar result is proved for universally defined cycles on products of smooth varieties. We also state a conjectural explicit form for universally defined cycles on powers of smooth varieties, and provide some steps towards establishing it. △ Less

Submitted 13 December, 2024; v1 submitted 13 August, 2024; originally announced August 2024.

Comments: Final version, to appear in Indagationes, special volume dedicated to the memory of Jacob Murre

On the smoothability problem with rational coefficients

Authors: Olivier Benoist, Claire Voisin

Abstract: We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the Hartshorne conjecture on complete intersections in projective space. We also solve unconditionally a symplectic variant of this problem. We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the Hartshorne conjecture on complete intersections in projective space. We also solve unconditionally a symplectic variant of this problem. △ Less

Submitted 20 October, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 13 pages, final version

MSC Class: 14C25; 14J60

Flat pushforwards of Chern classes and the smoothability of cycles below the middle dimension

Authors: János Kollár, Claire Voisin

Abstract: We prove in this paper the smoothability of cycles modulo rational equivalence in the Whitney range, that is, when the dimension is strictly smaller than the codimension. We introduce and study the class of cycles obtained as ``flat pushforwards of Chern classes" (or equivalently, flat pushforwards of products of divisors) and prove that they are smoothable in the Whitney range. Our main result is… ▽ More We prove in this paper the smoothability of cycles modulo rational equivalence in the Whitney range, that is, when the dimension is strictly smaller than the codimension. We introduce and study the class of cycles obtained as ``flat pushforwards of Chern classes" (or equivalently, flat pushforwards of products of divisors) and prove that they are smoothable in the Whitney range. Our main result is that all cycles (of any dimension) on a smooth projective variety are flat pushforwards of Chern classes. In the case of abelian varieties, one can even restrict to smooth pushforwards of Chern classes. △ Less

Submitted 18 May, 2024; v1 submitted 8 November, 2023; originally announced November 2023.

Comments: Final version to appear in the Annals of Math. Title changed again

On Chern classes of Lagrangian fibered hyper-Kähler manifolds

Authors: Claire Voisin

Abstract: We study the rank stratification for the differential of a Lagrangian fibration over a smooth basis. We also introduce and study the notion of Lagrangian morphism of vector bundles. As a consequence, we prove some of the vanishing, in the Chow groups of a Lagrangian fibered hyper-Kähler variety $X$, of certain polynomials in the Chern classes of $X$ and the Lagrangian divisor, predicted by the Bea… ▽ More We study the rank stratification for the differential of a Lagrangian fibration over a smooth basis. We also introduce and study the notion of Lagrangian morphism of vector bundles. As a consequence, we prove some of the vanishing, in the Chow groups of a Lagrangian fibered hyper-Kähler variety $X$, of certain polynomials in the Chern classes of $X$ and the Lagrangian divisor, predicted by the Beauville-Voisin conjecture. Under some natural assumptions on the dimensions of the rank strata, we also establish nonnegativity and positivity results for Chern classes. △ Less

Submitted 21 March, 2024; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: Final version, to appear in PAMQ, memorial volume for Jean-Pierre Demailly

Symmetric tensors on the intersection of two quadrics and Lagrangian fibration

Authors: A. Beauville, A. Etesse, A. Höring, J. Liu, C. Voisin

Abstract: Let X be a n-dimensional (smooth) intersection of two quadrics, and let T*X be its cotangent bundle. We show that the algebra of symmetric tensors on X is a polynomial algebra in n variables. The corresponding map F: T*X -- > C^n is a Lagrangian fibration, which admits an explicit geometric description; its general fiber is a Zariski open subset of an abelian variety, quotient of a hyperelliptic J… ▽ More Let X be a n-dimensional (smooth) intersection of two quadrics, and let T*X be its cotangent bundle. We show that the algebra of symmetric tensors on X is a polynomial algebra in n variables. The corresponding map F: T*X -- > C^n is a Lagrangian fibration, which admits an explicit geometric description; its general fiber is a Zariski open subset of an abelian variety, quotient of a hyperelliptic Jacobian by a 2-torsion subgroup. For n = 3 F is the Hitchin fibration of the moduli space of rank 2 bundles with fixed determinant on a curve of genus 2. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Cycle classes on abelian varieties and the geometry of the Abel-Jacobi map

Authors: Claire Voisin

Abstract: We discuss two properties of an abelian variety, namely, being a direct summand in a product of Jacobians and the weaker property of being "split". We relate the first property to the integral Hodge conjecture for curve classes on abelian varieties. We also relate both properties to the existence problem for universal zero-cycles on Brauer-Severi varieties over abelian varieties. A similar relatio… ▽ More We discuss two properties of an abelian variety, namely, being a direct summand in a product of Jacobians and the weaker property of being "split". We relate the first property to the integral Hodge conjecture for curve classes on abelian varieties. We also relate both properties to the existence problem for universal zero-cycles on Brauer-Severi varieties over abelian varieties. A similar relation is established for the existence problem of a universal codimension 2 cycle on a cubic threefold. △ Less

Submitted 6 July, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: Minor revision

Geometric representability of 1-cycles on rationally connected threefolds

Authors: Claire Voisin

Abstract: We prove that for any rationally connected threefold $X$, there exists a smooth projective surface $S$ and a family of $1$-cycles on $X$ parameterized by $S$, inducing an Abel-Jacobi isomorphism ${\rm Alb}(S)\cong J^3(X)$. This statement was previously known for some classes of smooth Fano threefolds. We prove that for any rationally connected threefold $X$, there exists a smooth projective surface $S$ and a family of $1$-cycles on $X$ parameterized by $S$, inducing an Abel-Jacobi isomorphism ${\rm Alb}(S)\cong J^3(X)$. This statement was previously known for some classes of smooth Fano threefolds. △ Less

Submitted 13 April, 2023; v1 submitted 26 August, 2022; originally announced August 2022.

Comments: Final version, to appear in the Collino memorial volume "Perspectives on four decades: Algebraic Geometry 1980-2020"

Computing Riemann-Roch polynomials and classifying hyper-Kähler fourfolds

Authors: Olivier Debarre, Daniel Huybrechts, Emanuele Macrì, Claire Voisin

Abstract: We prove that a hyper-Kähler fourfold satisfying a mild topological assumption is of K3$^{[2]}$ deformation type. This proves in particular a conjecture of O'Grady stating that hyper-Kähler fourfolds of K3$^{[2]}$ numerical type are of K3$^{[2]}$ deformation type. Our topological assumption concerns the existence of two integral degree-2 cohomology classes satisfying certain numerical intersection… ▽ More We prove that a hyper-Kähler fourfold satisfying a mild topological assumption is of K3$^{[2]}$ deformation type. This proves in particular a conjecture of O'Grady stating that hyper-Kähler fourfolds of K3$^{[2]}$ numerical type are of K3$^{[2]}$ deformation type. Our topological assumption concerns the existence of two integral degree-2 cohomology classes satisfying certain numerical intersection conditions. There are two main ingredients in the proof. We first prove a topological version of the statement, by showing that our topological assumption forces the Betti numbers, the Fujiki constant, and the Huybrechts-Riemann-Roch polynomial of the hyper-Kähler fourfold to be the same as those of K3$^{[2]}$ hyper-Kähler fourfolds. The key part of the article is then to prove the hyper-Kähler SYZ conjecture for hyper-Kähler fourfolds for divisor classes satisfying the numerical condition mentioned above. △ Less

Submitted 1 November, 2023; v1 submitted 20 January, 2022; originally announced January 2022.

Comments: 34 pages. v3: Minor corrections, references updated

MSC Class: 14C20; 14J35; 14J42; 14J60

Journal ref: J. Amer. Math. Soc. 37 (2024), 151-185

On fibrations and measures of irrationality of hyper-Kähler manifolds

Authors: Claire Voisin

Abstract: We prove some results on the fibers and images of rational maps from a hyper-Kähler manifold. We study in particular the minimal genus of fibers of a fibration into curves. The last section of this paper is devoted to the study of the rational map defined by a linear system on a hyper-Kähler fourfold satisfying numerical conditions similar to those considered by O'Grady in his study of fourfolds n… ▽ More We prove some results on the fibers and images of rational maps from a hyper-Kähler manifold. We study in particular the minimal genus of fibers of a fibration into curves. The last section of this paper is devoted to the study of the rational map defined by a linear system on a hyper-Kähler fourfold satisfying numerical conditions similar to those considered by O'Grady in his study of fourfolds numerically equivalent to $K3^{[2]}$. We extend his results to this more general context. △ Less

Submitted 22 August, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: Final version

Journal ref: Revista de la Unión Matemática Argentina Vol. 64, No. 1, 2022, (special volume MCA) Pages 165-197

Hilbert schemes of K3 surfaces, generalized Kummer, and cobordism classes of hyper-Kähler manifolds

Authors: Georg Oberdieck, Jieao Song, Claire Voisin

Abstract: We prove that the complex cobordism class of any hyper-Kähler manifold of dimension $2n$ is a unique combination with rational coefficients of classes of products of punctual Hilbert schemes of $K3$ surfaces. We also prove a similar result using the generalized Kummer varieties instead of punctual Hilbert schemes. As a key step, we establish a closed formula for the top Chern character of their ta… ▽ More We prove that the complex cobordism class of any hyper-Kähler manifold of dimension $2n$ is a unique combination with rational coefficients of classes of products of punctual Hilbert schemes of $K3$ surfaces. We also prove a similar result using the generalized Kummer varieties instead of punctual Hilbert schemes. As a key step, we establish a closed formula for the top Chern character of their tangent bundles. △ Less

Submitted 5 October, 2021; originally announced October 2021.

Comments: 17 pages, comments welcome

Footnotes to papers of O'Grady and Markman

Authors: Claire Voisin

Abstract: In this paper, we first generalize to any hyper-Kähler manifold with nonzero third Betti number results proved by O'Grady for hyper-Kähler manifolds of generalized Kummer type. In the second part, we restrict to hyper-Kähler manifolds of generalized Kummer type and prove, using results of Markman, that their Kuga-Satake correspondence is algebraic. In this paper, we first generalize to any hyper-Kähler manifold with nonzero third Betti number results proved by O'Grady for hyper-Kähler manifolds of generalized Kummer type. In the second part, we restrict to hyper-Kähler manifolds of generalized Kummer type and prove, using results of Markman, that their Kuga-Satake correspondence is algebraic. △ Less

Submitted 1 July, 2021; v1 submitted 13 June, 2021; originally announced June 2021.

Comments: Minor modifications

Journal ref: Mathematische Zeitschrift volume 300 (2022), (volume in honour of Olivier Debarre), 3405-3416

Compact Kähler manifolds with no projective specialization

Authors: Claire Voisin

Abstract: We show the existence of a compact Kähler manifold which does not fit in a proper flat family over an irreducible base with one projective (possibly singular) fiber. We also give a topological version of this statement. This strengthens our earlier counterexamples to the Kodaira algebraic approximation problem. We show the existence of a compact Kähler manifold which does not fit in a proper flat family over an irreducible base with one projective (possibly singular) fiber. We also give a topological version of this statement. This strengthens our earlier counterexamples to the Kodaira algebraic approximation problem. △ Less

Submitted 30 May, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: Minor corrections. Final version to appear in BUMI

Journal ref: Boll. Unione Mat. Ital. 15 (2022), no. 1-2 (volume in honour of F. Catanese), 353-364

On the coniveau of rationally connected threefolds

Authors: Claire Voisin

Abstract: We prove that the integral cohomology modulo torsion of a rationally connected threefold comes from the integral cohomology of a smooth curve via the cylinder homomorphism associated to a family of $1$-cycles. Equivalently, it is of strong coniveau 1 in the sense of Benoist-Ottem. We prove that the integral cohomology modulo torsion of a rationally connected threefold comes from the integral cohomology of a smooth curve via the cylinder homomorphism associated to a family of $1$-cycles. Equivalently, it is of strong coniveau 1 in the sense of Benoist-Ottem. △ Less

Submitted 25 June, 2021; v1 submitted 11 October, 2020; originally announced October 2020.

Comments: Final version to appear in Geometry and Topology

Journal ref: Geom. Topol. 26 (2022) 2731-2772

On the Lefschetz standard conjecture for Lagrangian covered hyper-Kähler varieties

Authors: Claire Voisin

Abstract: We investigate the Lefschetz standard conjecture for degree $2$ cohomology of hyper-Kähler manifolds admitting a covering by Lagrangian subvarieties. In the case of a Lagrangian fibration, we show that the Lefschetz standard conjecture is implied by the SYZ conjecture characterizing classes of divisors associated with Lagrangian fibration. In dimension $4$, we consider the more general case of a L… ▽ More We investigate the Lefschetz standard conjecture for degree $2$ cohomology of hyper-Kähler manifolds admitting a covering by Lagrangian subvarieties. In the case of a Lagrangian fibration, we show that the Lefschetz standard conjecture is implied by the SYZ conjecture characterizing classes of divisors associated with Lagrangian fibration. In dimension $4$, we consider the more general case of a Lagrangian covered fourfold $X$, and prove the Lefschetz standard conjecture in degree $2$, assuming $ρ(X)=1$ and $X$ is general in moduli. Finally we discuss various links between Lefschetz cycles and the study of the rational equivalence of points and Bloch-Beilinson type filtrations, giving a general interpretation of a recent intriguing result of Marian and Zhao. △ Less

Submitted 12 February, 2022; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: Final version

Journal ref: Advances in Mathematics 396 (2022)

Schiffer variations and the generic Torelli theorem for hypersurfaces

Authors: Claire Voisin

Abstract: We show how to recover a general hypersurface in $\mathbb{P}^n$ of sufficiently large degree $d$ dividing $n+1$, from its finite order variation of Hodge structure. We also analyze the two other series of cases not covered by Donagi's generic Torelli theorem. Combined with Donagi's theorem, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions. We show how to recover a general hypersurface in $\mathbb{P}^n$ of sufficiently large degree $d$ dividing $n+1$, from its finite order variation of Hodge structure. We also analyze the two other series of cases not covered by Donagi's generic Torelli theorem. Combined with Donagi's theorem, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions. △ Less

Submitted 30 May, 2021; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: Final version, to appear in Compositio Math

Journal ref: Compositio Mathematica ,Vol. 158, Issue 1, pp. 89 - 122 (2022)

Birational geometry of the intermediate Jacobian fibration of a cubic fourfold

Authors: Giulia Saccà, with an appendix by Claire Voisin

Abstract: We show that the intermediate Jacobian fibration associated to any smooth cubic fourfold $X$ admits a hyper-Kähler compactification $J(X)$ with a regular Lagrangian fibration $J \to \mathbb P^5$. This builds upon arXiv:1602.05534, where the result is proved for general $X$, as well as on the degeneration techniques on arXiv:1704.02731 and techniques from the minimal model program. We then study so… ▽ More We show that the intermediate Jacobian fibration associated to any smooth cubic fourfold $X$ admits a hyper-Kähler compactification $J(X)$ with a regular Lagrangian fibration $J \to \mathbb P^5$. This builds upon arXiv:1602.05534, where the result is proved for general $X$, as well as on the degeneration techniques on arXiv:1704.02731 and techniques from the minimal model program. We then study some aspects of the birational geometry of $J(X)$: for very general $X$ we compute the movable and nef cones of $J(X)$, showing that $J(X)$ is not birational to the twisted version of the intermediate Jacobian fibration arXiv:1611.06679, nor to an OG$10$-type moduli space of objects in the Kuznetsov component of $X$; for any smooth $X$ we show, using normal functions, that the Mordell-Weil group $MW(π)$ of the abelian fibration $π: J \to \mathbb P^5$ is isomorphic to the integral degree $4$ primitive algebraic cohomology of $X$, i.e., $MW(π) = H^{2,2}(X, \mathbb Z)_0$. △ Less

Submitted 14 December, 2021; v1 submitted 4 February, 2020; originally announced February 2020.

Comments: 34 pages; minor expository improvements following the suggestion of the referee; accepted by Geom. Topology

MSC Class: 14J42; 14D06; 14H40

Journal ref: Geom. Topol. 27 (2023) 1479-1538

Variation of Stable Birational Types of Hypersurfaces

Authors: Evgeny Shinder, with an appendix by Claire Voisin

Abstract: We introduce and study the question how can stable birational types vary in a smooth proper family. Our starting point is the specialization for stable birational types of Nicaise and the author and our emphasis is on stable birational types of hypersurfaces. Building up on the work of Totaro and Schreieder on stable irrationality of hypersurfaces of high degree, we show that smooth Fano hypersurf… ▽ More We introduce and study the question how can stable birational types vary in a smooth proper family. Our starting point is the specialization for stable birational types of Nicaise and the author and our emphasis is on stable birational types of hypersurfaces. Building up on the work of Totaro and Schreieder on stable irrationality of hypersurfaces of high degree, we show that smooth Fano hypersurfaces of large degree over a field of characteristic zero are in general not stably birational to each other. In the appendix Claire Voisin proves a similar result in a different setting using the Chow decomposition of diagonal and unramified cohomology. △ Less

Submitted 8 October, 2019; v1 submitted 5 March, 2019; originally announced March 2019.

Comments: Slightly improved exposition; added reference to work of Schreieder on generalization to char. p

Hilbert squares of K3 surfaces and Debarre-Voisin varieties

Authors: Olivier Debarre, Frédéric Han, Kieran O'Grady, Claire Voisin

Abstract: The Debarre-Voisin hyperkähler fourfolds are built from alternating $3$-forms on a $10$-dimensional complex vector space, which we call trivectors. They are analogous to the Beauville-Donagi fourfolds associated with cubic fourfolds. In this article, we study several trivectors whose associated Debarre-Voisin variety is degenerate, in the sense that it is either reducible or has excessive dimensio… ▽ More The Debarre-Voisin hyperkähler fourfolds are built from alternating $3$-forms on a $10$-dimensional complex vector space, which we call trivectors. They are analogous to the Beauville-Donagi fourfolds associated with cubic fourfolds. In this article, we study several trivectors whose associated Debarre-Voisin variety is degenerate, in the sense that it is either reducible or has excessive dimension. We show that the Debarre-Voisin varieties specialize, along general $1$-parameter degenerations to these trivectors, to varieties isomorphic or birationally isomorphic to the Hilbert square of a K3 surface. △ Less

Submitted 15 February, 2020; v1 submitted 13 January, 2019; originally announced January 2019.

Comments: 47 pages. Introduction rewritten and various corrections made throughout the article

MSC Class: 14J32; 14J35; 14M15; 14J70; 14J28

Triangle varieties and surface decomposition of hyper-Kähler manifolds

Authors: Claire Voisin

Abstract: We introduce and study the notion of "surface decomposable" variety, and discuss the possibility that any projective hyper-Kähler manifold is surface decomposable, which would produce new evidence for Beauville's weak splitting conjecture. We show that surface decomposability relates to the Beauville-Fujiki relation, a constraint on the cohomology ring of the variety, and that general varieties wi… ▽ More We introduce and study the notion of "surface decomposable" variety, and discuss the possibility that any projective hyper-Kähler manifold is surface decomposable, which would produce new evidence for Beauville's weak splitting conjecture. We show that surface decomposability relates to the Beauville-Fujiki relation, a constraint on the cohomology ring of the variety, and that general varieties with $h^{2,0}\not=0$ are not surface decomposable. We also formalize the notion of triangle variety that is useful to produce surface decomposition. We show the existence of these geometric structures on most explicitly constructed classes of projective hyper-Kähler manifolds of Picard number $1$. △ Less

Submitted 28 October, 2018; originally announced October 2018.

Chow rings and gonality of general abelian varieties

Authors: Claire Voisin

Abstract: We study the (covering) gonality of abelian varieties and their orbits of zero-cycles for rational equivalence. We show that any orbit for rational equivalence of zero-cycles of degree $k$ has dimension at most $k-1$. Building on the work of Pirola, we show that very general abelian varieties of dimension $g$ have covering gonality $k\geq f(g)$ where $f(g)$ grows like ${\rm log}\,g$. This answers… ▽ More We study the (covering) gonality of abelian varieties and their orbits of zero-cycles for rational equivalence. We show that any orbit for rational equivalence of zero-cycles of degree $k$ has dimension at most $k-1$. Building on the work of Pirola, we show that very general abelian varieties of dimension $g$ have covering gonality $k\geq f(g)$ where $f(g)$ grows like ${\rm log}\,g$. This answers a question asked by Bastianelli, De Poi, Ein, Lazarsfeld and B. Ullery. We also obtain results on the Chow ring of very general abelian varieties, eg. if $g\geq 2k-1$, for any divisor $D\in {\rm Pic}^0(A)$, $D^k$ is not a torsion cycle. △ Less

Submitted 20 February, 2018; originally announced February 2018.

Journal ref: Annales Henri Lebesgue 1 (2018) 313-332

Segre classes of tautological bundles on Hilbert schemes of surfaces

Authors: Claire Voisin

Abstract: We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande on top Segre classes of the tautological bundles on Hilbert schemes of $K3$ surfaces equipped with a line bundle. We then turn to the blow-up of $K3$ surface at one point and establish vanishing results for the corresponding top Segre classes in a certain range. This determines,… ▽ More We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande on top Segre classes of the tautological bundles on Hilbert schemes of $K3$ surfaces equipped with a line bundle. We then turn to the blow-up of $K3$ surface at one point and establish vanishing results for the corresponding top Segre classes in a certain range. This determines, at least theoretically, all top Segre classes of tautological bundles for any pair $(Σ,H),\,H\in {\rm Pic}\,Σ$. △ Less

Submitted 20 November, 2017; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: Shortly after this paper was written, I was informed by Marian-Oprea-Pandharipande and Szenes-Vergne independently that they were able to check that the Lehn function satisfies the vanishing properties stated in Corollary 6, thus completing the proof of Lehn's conjecture. Final version, to appear in Algebraic Geometry

Journal ref: Algebraic Geometry 6 (2) (2019) 186-195

Remarks on degenerations of hyper-Kähler manifolds

Authors: János Kollár, Radu Laza, Giulia Saccà, Claire Voisin

Abstract: Using the Minimal Model Program, any degeneration of K-trivial varieties can be arranged to be in a Kulikov type form, i.e. with trivial relative canonical divisor and mild singularities. In the hyper-Kähler setting, we can then deduce a finiteness statement for monodromy acting on $H^2$, once one knows that one component of the central fiber is not uniruled. Independently of this, using deep resu… ▽ More Using the Minimal Model Program, any degeneration of K-trivial varieties can be arranged to be in a Kulikov type form, i.e. with trivial relative canonical divisor and mild singularities. In the hyper-Kähler setting, we can then deduce a finiteness statement for monodromy acting on $H^2$, once one knows that one component of the central fiber is not uniruled. Independently of this, using deep results from the geometry of hyper-Kähler manifolds, we prove that a finite monodromy projective degeneration of hyper-Kähler manifolds has a smooth filling (after base change and birational modifications). As a consequence of these two results, we prove a generalization of Huybrechts' theorem about birational versus deformation equivalence, allowing singular central fibers. As an application, we give simple proofs for the deformation type of certain geometric constructions of hyper-Kähler manifolds (e.g. Debarre--Voisin or Laza--Saccà--Voisin). In a slightly different direction, we establish some basic properties (dimension and rational homology type) for the dual complex of a Kulikov type degeneration of hyper-Kähler manifolds. △ Less

Submitted 23 October, 2018; v1 submitted 10 April, 2017; originally announced April 2017.

Comments: 26 pages; final version; to appear in Ann. Inst. Fourier

Journal ref: Ann. Inst. Fourier 68 (2018), no. 7, 2837-2882

Syzygies of Prym and paracanonical curves of genus 8

Authors: Elisabetta Colombo, Gavril Farkas, Alessandro Verra, Claire Voisin

Abstract: By analogy with Green's Conjecture on syzygies of canonical curves, the Prym-Green conjecture predicts that the resolution of a general level p paracanonical curve of genus g is natural. The Prym-Green Conjecture is known to hold in odd genus for almost all levels. Probabilistic arguments strongly suggested that the conjecture might fail for level 2 and genus 8 or 16. In this paper, we present thr… ▽ More By analogy with Green's Conjecture on syzygies of canonical curves, the Prym-Green conjecture predicts that the resolution of a general level p paracanonical curve of genus g is natural. The Prym-Green Conjecture is known to hold in odd genus for almost all levels. Probabilistic arguments strongly suggested that the conjecture might fail for level 2 and genus 8 or 16. In this paper, we present three geometric proofs of the surprising failure of the Prym-Green Conjecture in genus 8, hoping that the methods introduced here will shed light on all the exceptions to the Prym-Green Conjecture for genera with high divisibility by 2. △ Less

Submitted 24 July, 2017; v1 submitted 3 December, 2016; originally announced December 2016.

Comments: 23 pages; to appear in EPIGA Vol 1, paper no. 7

Journal ref: Épijournal de Géométrie Algébrique, Volume 1 (September 1, 2017) epiga:2602

Hyper-Kaehler compactification of the intermediate Jacobian fibration of a cubic fourfold : the twisted case

Authors: Claire Voisin

Abstract: The starting point of this note is our recent paper with Laza and Saccà on the construction of deformations of O'Grady's $10$-dimensional manifolds as compactifications of intermediate Jacobian fibrations associated to cubic fourfolds. The note provides a complement to that paper consisting in the analogous construction in the twisted case, leading to isogenous but presumably not isomorphic or bir… ▽ More The starting point of this note is our recent paper with Laza and Saccà on the construction of deformations of O'Grady's $10$-dimensional manifolds as compactifications of intermediate Jacobian fibrations associated to cubic fourfolds. The note provides a complement to that paper consisting in the analogous construction in the twisted case, leading to isogenous but presumably not isomorphic or birational hyper-Kähler manifolds. △ Less

Submitted 26 November, 2016; v1 submitted 21 November, 2016; originally announced November 2016.

Torsion points of sections of Lagrangian torus fibrations and the Chow ring of hyper-Kähler manifolds

Authors: Claire Voisin

Abstract: Let $φ:X\rightarrow B$ be a Lagrangian fibration on a projective irreducible hyper-Kähler manifold of dimension $\leq8$. Let $M\in {\rm Pic}\,X$ be a line bundle whose restriction to the general fiber $X_b$ of $φ$ is topologically trivial. We prove that if the fibration has maximal variation or is isotrivial, the set of points $b$ such that the restriction $M_{\mid X_b}$ is torsion is dense in… ▽ More Let $φ:X\rightarrow B$ be a Lagrangian fibration on a projective irreducible hyper-Kähler manifold of dimension $\leq8$. Let $M\in {\rm Pic}\,X$ be a line bundle whose restriction to the general fiber $X_b$ of $φ$ is topologically trivial. We prove that if the fibration has maximal variation or is isotrivial, the set of points $b$ such that the restriction $M_{\mid X_b}$ is torsion is dense in $B$. We give an application to the Chow ring of $X$. We prove a similar result for elliptic fibrations which gives a toy model for the argument. △ Less

Submitted 7 January, 2018; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: This is a major revision of the previous paper, with a slightly changed title. The present version describes and exploits an important new general statement due to André-Corvaja-Zannier, which leads to much improved results compared to the older version

A hyper-Kähler compactification of the Intermediate Jacobian fibration associated to a cubic fourfold

Authors: Radu Laza, Giulia Saccà, Claire Voisin

Abstract: For a general cubic fourfold, it was observed by Donagi and Markman that the relative intermediate Jacobian fibration associated to the family of its hyperplane sections carries a natural holomorphic symplectic form making the fibration Lagrangian. In this paper, we obtain a smooth projective compactification of the intermediate Jacobian fibration giving a ten-dimensional compact hyper-Kähler mani… ▽ More For a general cubic fourfold, it was observed by Donagi and Markman that the relative intermediate Jacobian fibration associated to the family of its hyperplane sections carries a natural holomorphic symplectic form making the fibration Lagrangian. In this paper, we obtain a smooth projective compactification of the intermediate Jacobian fibration giving a ten-dimensional compact hyper-Kähler manifold, which we then show to be deformation equivalent to the exceptional example of O'Grady. This proves a conjecture by Markushevich. △ Less

Submitted 31 January, 2017; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: final version, to appear in Acta Math

MSC Class: 14J40; 14J35; 14J60; 53C26

Journal ref: Acta Math. 218 (2017), no. 1, 55-135

(Stable) rationality is not deformation invariant

Authors: Claire Voisin

Abstract: We prove the existence of a family $\mathcal{X}\rightarrow B$ of smooth projective fourfolds, such that the very general fiber $\mathcal{X}_t$ is not stably rational (a fortiori not rational), but some special fibers $\mathcal{X}_t$ are rational (a fortiori stably rational). We prove the existence of a family $\mathcal{X}\rightarrow B$ of smooth projective fourfolds, such that the very general fiber $\mathcal{X}_t$ is not stably rational (a fortiori not rational), but some special fibers $\mathcal{X}_t$ are rational (a fortiori stably rational). △ Less

Submitted 22 December, 2015; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: The paper is withdrawn by the author, who has been informed by A. Beauville that his paper arXiv:1411.3122, on which the present paper heavily depends, has a serious gap

On a conjecture of Matsushita

Authors: Bert van Geemen, Claire Voisin

Abstract: We prove a weak version of a conjecture of Matsushita saying that for a Lagrangian fibration on a hyper-Kaehler manifold $X$, the moduli map for the fibers is either generically of maximal rank or constant. Assuming the base is smooth and $b_2(X)-ρ(X)\geq5$, we prove the conjecture for a very general deformation of $X$ with constant Néron-Severi group. We prove a weak version of a conjecture of Matsushita saying that for a Lagrangian fibration on a hyper-Kaehler manifold $X$, the moduli map for the fibers is either generically of maximal rank or constant. Assuming the base is smooth and $b_2(X)-ρ(X)\geq5$, we prove the conjecture for a very general deformation of $X$ with constant Néron-Severi group. △ Less

Submitted 25 March, 2015; originally announced March 2015.

Journal ref: Int Math Res Notices (2016) Vol. 2016, 3111-312

Remarks and questions on coisotropic subvarieties and 0-cycles of hyper-Kähler varieties

Authors: Claire Voisin

Abstract: This paper proposes a conjectural picture for the structure of the Chow ring of a (projective) hyper-Kähler variety, and the construction of a Beauville decomposition, with emphasis on the Chow group of $0$-cycles, which is endowed with a natural filtration of Brill-Noether type. Some of the conjectures are proved in the case of Hilbert schemes of K3 surfaces and Fano varieties of lines of cubic f… ▽ More This paper proposes a conjectural picture for the structure of the Chow ring of a (projective) hyper-Kähler variety, and the construction of a Beauville decomposition, with emphasis on the Chow group of $0$-cycles, which is endowed with a natural filtration of Brill-Noether type. Some of the conjectures are proved in the case of Hilbert schemes of K3 surfaces and Fano varieties of lines of cubic fourfolds. △ Less

Submitted 13 January, 2015; originally announced January 2015.

On the universal $CH_0$ group of cubic hypersurfaces

Authors: Claire Voisin

Abstract: We study the existence of a Chow-theoretic decomposition of the diagonal of a smooth cubic hypersurface, or equivalently, the universal triviality of its ${\rm CH}_0$-group. We prove that for odd dimensional cubic hypersurfaces or for cubic fourfolds, this is equivalent to the existence of a cohomological decomposition of the diagonal, and we translate geometrically this last condition. For cubic… ▽ More We study the existence of a Chow-theoretic decomposition of the diagonal of a smooth cubic hypersurface, or equivalently, the universal triviality of its ${\rm CH}_0$-group. We prove that for odd dimensional cubic hypersurfaces or for cubic fourfolds, this is equivalent to the existence of a cohomological decomposition of the diagonal, and we translate geometrically this last condition. For cubic threefolds $X$, this turns out to be equivalent to the algebraicity of the minimal class $θ^4/4!$ of the intermediate Jacobian $J(X)$. In dimension $4$, we show that a special cubic fourfold with discriminant not divisible by $4$ has universally trivial ${\rm CH}_0$ group. △ Less

Submitted 19 September, 2015; v1 submitted 27 July, 2014; originally announced July 2014.

Comments: Final version to appear in JEMS

Journal ref: JEMS Volume 19, Issue 6 (2017) pp. 1619-1653

Some new results on modified diagonals

Authors: Claire Voisin

Abstract: O'Grady studied recently $m$-th modified diagonals for a smooth projective variety, generalizing the Gross-Schoen modified small diagonal. These cycles $Γ^m(X,a)$ depend on a choice of reference point $a\in X$ (or more generally a degree $1$ zero-cycle). We prove that for any $X,a$, the cycle $Γ^m(X,a)$ vanishes for large $m$. We also prove the following conjecture of O'Grady: if $X$ is a double c… ▽ More O'Grady studied recently $m$-th modified diagonals for a smooth projective variety, generalizing the Gross-Schoen modified small diagonal. These cycles $Γ^m(X,a)$ depend on a choice of reference point $a\in X$ (or more generally a degree $1$ zero-cycle). We prove that for any $X,a$, the cycle $Γ^m(X,a)$ vanishes for large $m$. We also prove the following conjecture of O'Grady: if $X$ is a double cover of $Y$ and $Γ^m(Y,a)$ vanishes (where $a$ belongs to the branch locus), then $Γ^{2m-1}(X,a)$ vanishes, and we provide a generalization to higher degree finite covers. We finally prove the vanishing $Γ^{n+1}(X,o_X)=0$ when $X=S^{[m]}$, $S$ a $K3$ surface, and $n=2m$, which was conjectured by O'Grady and proved by him for $m=2,3$. △ Less

Submitted 29 December, 2014; v1 submitted 27 May, 2014; originally announced May 2014.

Comments: Final version, to appear in Geometry and Topology

Journal ref: Geom. Topol. 19 (2015) 3307-3343

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections, II

Authors: Claire Voisin

Abstract: We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurfac… ▽ More We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$. △ Less

Submitted 16 March, 2014; originally announced March 2014.

Journal ref: J. Math. Sci. Univ. Tokyo 22 (2015), 491-517

Unirational threefolds with no universal codimension 2 cycle

Authors: Claire Voisin

Abstract: We prove that the general quartic double solid with $k\leq 7$ nodes does not admit a Chow theoretic decomposition of the diagonal, or equivalently has a nontrivial universal ${\rm CH}_0$ group. The same holds if we replace in this statement "Chow theoretic" by "cohomological". In particular, it is not stably rational. We also prove that the general quartic double solid with seven nodes does not ad… ▽ More We prove that the general quartic double solid with $k\leq 7$ nodes does not admit a Chow theoretic decomposition of the diagonal, or equivalently has a nontrivial universal ${\rm CH}_0$ group. The same holds if we replace in this statement "Chow theoretic" by "cohomological". In particular, it is not stably rational. We also prove that the general quartic double solid with seven nodes does not admit a universal codimension 2 cycle parameterized by its intermediate Jacobian, and even does not admit a parametrization with rationally connected fibres of its Jacobian by a family of 1-cycles. This implies that its third unramified cohomology group is not universally trivial. △ Less

Submitted 30 September, 2014; v1 submitted 7 December, 2013; originally announced December 2013.

Comments: Final version to appear in Invent. Math

Journal ref: Invent. Math. 201 (2015), 207-237

Variety of power sums and divisors in the moduli space of cubic fourfolds

Authors: Kristian Ranestad, Claire Voisin

Abstract: We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of cubic fourfolds and that this divisor is not a Noether-Lefschetz divisor. We use this result to prove that there is no nontrivial Hodge correspondence between a ver… ▽ More We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of cubic fourfolds and that this divisor is not a Noether-Lefschetz divisor. We use this result to prove that there is no nontrivial Hodge correspondence between a very general cubic and its VSP. △ Less

Submitted 11 February, 2017; v1 submitted 7 September, 2013; originally announced September 2013.

Comments: 42 pages, expanded and revised version to appear in Documenta Mathematica

MSC Class: 14J70 (Primary); 14M15; 14N99 (Secondary)

Infinitesimal invariants for cycles modulo algebraic equivalence and 1-cycles on Jacobians

Authors: Claire Voisin

Abstract: We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its… ▽ More We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian. △ Less

Submitted 15 April, 2013; originally announced April 2013.

Journal ref: Algebraic Geometry 2 (2014), 140-165

Curves and cycles on K3 surfaces

Authors: Daniel Huybrechts, Claire Voisin

Abstract: The notion of constant cycle curves on K3 surfaces is introduced. These are curves that do not contribute to the Chow group of the ambient K3 surface. Rational curves are the most prominent examples. We show that constant cycle curves behave in some respects like rational curves. E.g. using Hodge theory one finds that in each linear system there are at most finitely many such curves of bounded o… ▽ More The notion of constant cycle curves on K3 surfaces is introduced. These are curves that do not contribute to the Chow group of the ambient K3 surface. Rational curves are the most prominent examples. We show that constant cycle curves behave in some respects like rational curves. E.g. using Hodge theory one finds that in each linear system there are at most finitely many such curves of bounded order. Over finite fields, any curve is expected to be a constant cycle curve, whereas over number fields this does not hold. The relation to the Bloch--Beilinson conjectures for K3 surfaces over global fields is discussed. △ Less

Submitted 18 December, 2013; v1 submitted 19 March, 2013; originally announced March 2013.

Comments: 44 pages, minor revision, reference added; with an appendix by Claire Voisin

Journal ref: Algebraic Geometry 1 (2014), 69-106

Pseudo-effective classes and pushforwards

Authors: O. Debarre, Z. Jiang, C. Voisin

Abstract: Given a morphism between complex projective varieties, we make several conjectures on the relations between the set of pseudo-effective (co)homology classes which are annihilated by pushforward and the set of classes of varieties contracted by the morphism. We prove these conjectures for classes of curves or divisors. We also prove that one of these conjectures implies Grothendieck's generalized H… ▽ More Given a morphism between complex projective varieties, we make several conjectures on the relations between the set of pseudo-effective (co)homology classes which are annihilated by pushforward and the set of classes of varieties contracted by the morphism. We prove these conjectures for classes of curves or divisors. We also prove that one of these conjectures implies Grothendieck's generalized Hodge conjecture for varieties with Hodge coniveau at least 1. △ Less

Submitted 1 March, 2013; v1 submitted 17 January, 2013; originally announced January 2013.

Comments: 16 pages ; one proof corrected

MSC Class: 14C25; 14C30

Bloch's conjecture for Catanese and Barlow surfaces

Authors: Claire Voisin

Abstract: Catanese surfaces are regular surfaces of general type with $p_g=0$. They specialize to double covers of Barlow surfaces. We prove that the $CH_0$ group of a Catanese surface is equal to $\mathbb{Z}$, which implies the same result for the Barlow surfaces. We will also give a conditional application (more precisely, assuming the variational Hodge conjecture) of the same method to the Chow motive of… ▽ More Catanese surfaces are regular surfaces of general type with $p_g=0$. They specialize to double covers of Barlow surfaces. We prove that the $CH_0$ group of a Catanese surface is equal to $\mathbb{Z}$, which implies the same result for the Barlow surfaces. We will also give a conditional application (more precisely, assuming the variational Hodge conjecture) of the same method to the Chow motive of low degree $K3$ surfaces. △ Less

Submitted 13 January, 2013; v1 submitted 15 October, 2012; originally announced October 2012.

Comments: Title changed. The surfaces studied in the paper are Catanese surfaces (or numerical Campedelli surfaces), They are not the Campedelli surfaces

Journal ref: J. Differential Geometry 97 (2014), 149-175

Rational equivalence of 0-cycles on $K3$ surfaces and conjectures of Huybrechts and O'Grady

Authors: Claire Voisin

Abstract: We give a new interpretation of O'Grady's filtration on the $CH_0$ group of a $K3$ surface. In particular, we get a new characterization of the canonical 0-cycles $kc_X$ : this is the only 0-cycle on $X$ whose orbit under rational equivalence is of dimension $k$. Using this, we extend results of Huybrechts and O'Grady concerning Chern classes of simple vector bundles on $K3$ surfaces. We give a new interpretation of O'Grady's filtration on the $CH_0$ group of a $K3$ surface. In particular, we get a new characterization of the canonical 0-cycles $kc_X$ : this is the only 0-cycle on $X$ whose orbit under rational equivalence is of dimension $k$. Using this, we extend results of Huybrechts and O'Grady concerning Chern classes of simple vector bundles on $K3$ surfaces. △ Less

Submitted 10 July, 2013; v1 submitted 4 August, 2012; originally announced August 2012.

Comments: Typos corrected. Final version, to appear in the proceedings of the "Robfest conference"

Symplectic involutions of K3 surfaces act trivially on CH_0

Authors: Claire Voisin

Abstract: Symplectic involutions of a K3 surface are those involutions which leave the holomorphic 2-form invariant. We show, as predicted by Bloch's conjecture, that they act trivially on the CH_0 group of the K3 surface. This was recently proved by Huybrechts and Kemeny for one of the three types of symplectic involutions. Symplectic involutions of a K3 surface are those involutions which leave the holomorphic 2-form invariant. We show, as predicted by Bloch's conjecture, that they act trivially on the CH_0 group of the K3 surface. This was recently proved by Huybrechts and Kemeny for one of the three types of symplectic involutions. △ Less

Submitted 30 April, 2012; originally announced April 2012.

Journal ref: Documenta Math. 17 (2012) 851--860

Approximately rationally or elliptically connected varieties

Authors: Claire Voisin

Abstract: We discuss a possible approach to the study of the vanishing of the Kobayashi pseudometric of a projective variety X, using chains of rational or elliptic curves contained in an arbitrarily small neighborhood of X in projective space for the Euclidean topology. We discuss a possible approach to the study of the vanishing of the Kobayashi pseudometric of a projective variety X, using chains of rational or elliptic curves contained in an arbitrarily small neighborhood of X in projective space for the Euclidean topology. △ Less

Submitted 16 January, 2012; originally announced January 2012.

Comments: To appear in PEMS, volume in honour of V. Shokurov

Remarks on curve classes on rationally connected varieties

Authors: Claire Voisin

Abstract: We study for rationally connected varieties $X$ the group of degree 2 integral homology classes on $X$ modulo those which are algebraic. We show that the Tate conjecture for divisor classes on surfaces defined over finite fields implies that this group is trivial for any rationally connected variety. We study for rationally connected varieties $X$ the group of degree 2 integral homology classes on $X$ modulo those which are algebraic. We show that the Tate conjecture for divisor classes on surfaces defined over finite fields implies that this group is trivial for any rationally connected variety. △ Less

Submitted 16 January, 2012; v1 submitted 5 January, 2012; originally announced January 2012.

Comments: A few typos corrected

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections

Authors: Claire Voisin

Abstract: Let $X$ be a smooth complex projective variety with trivial Chow groups. (By trivial, we mean that the cycle class is injective.) We show (assuming the Lefschetz standard conjecture) that if the vanishing cohomology of a general complete intersection $Y$ of ample hypersurfaces in $X$ has geometric coniveau $\geq c$, then the Chow groups of cycles of dimension $\leq c-1$ of $Y$ are trivial. The gen… ▽ More Let $X$ be a smooth complex projective variety with trivial Chow groups. (By trivial, we mean that the cycle class is injective.) We show (assuming the Lefschetz standard conjecture) that if the vanishing cohomology of a general complete intersection $Y$ of ample hypersurfaces in $X$ has geometric coniveau $\geq c$, then the Chow groups of cycles of dimension $\leq c-1$ of $Y$ are trivial. The generalized Bloch conjecture for $Y$ is this statement with "geometric coniveau" replaced by "Hodge coniveau". △ Less

Submitted 13 July, 2011; originally announced July 2011.

Journal ref: Annales scientifiques de l'ENS 46, fascicule 3 (2013), 449-475

Chow rings and decomposition theorems for families of K3 surfaces and Calabi-Yau hypersurfaces

Authors: Claire Voisin

Abstract: The decomposition theorem for smooth projective morphisms $π:\mathcal{X}\rightarrow B$ says that $Rπ_*\mathbb{Q}$ decomposes as $\oplus R^iπ_*\mathbb{Q}[-i]$. We describe simple examples where it is not possible to have such a decomposition compatible with cup-product, even after restriction to Zariski dense open sets of $B$. We prove however that this is always possible for families of $K3$ surfa… ▽ More The decomposition theorem for smooth projective morphisms $π:\mathcal{X}\rightarrow B$ says that $Rπ_*\mathbb{Q}$ decomposes as $\oplus R^iπ_*\mathbb{Q}[-i]$. We describe simple examples where it is not possible to have such a decomposition compatible with cup-product, even after restriction to Zariski dense open sets of $B$. We prove however that this is always possible for families of $K3$ surfaces (after shrinking the base), and show how this result relates to a result by Beauville and the author on the Chow ring of $K3$ surfaces $S$. We give two proofs of this result, the second one involving a certain decomposition of the small diagonal in $S^3$ also proved by Beauville and the author}. We prove an analogue of such a decomposition of the small diagonal in $X^3$ for Calabi-Yau hypersurfaces $X$ in $\mathbb{P}^n$, which in turn provides strong restrictions on their Chow ring. △ Less

Submitted 14 December, 2011; v1 submitted 8 February, 2011; originally announced February 2011.

Comments: Final version, to appear in Geometry \& Topology

Journal ref: Geom. Topol. 16 (2012) 433-473

Anticanonical divisors and curve classes on Fano manifolds

Authors: Andreas Höring, Claire Voisin

Abstract: It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the integral Hodge classes of degree 2n-2 are generated over $\mathbb Z$ by classes of curves. We combine techniques from the theory of singularities of pairs on the… ▽ More It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the integral Hodge classes of degree 2n-2 are generated over $\mathbb Z$ by classes of curves. We combine techniques from the theory of singularities of pairs on the one hand and infinitesimal variation of Hodge structures on the other hand to give an affirmative answer to this question for a large class of manifolds including Fano fourfolds. In the last case, one step in the proof is the following result of independent interest: There exist anticanonical divisors with isolated canonical singularities on a smooth Fano fourfold. △ Less

Submitted 4 December, 2017; v1 submitted 15 September, 2010; originally announced September 2010.

Comments: 17 pages, changed metadata

MSC Class: 14C30; 14D07; 14J45; 14J35

Abel-Jacobi map, integral Hodge classes and decomposition of the diagonal

Authors: Claire Voisin

Abstract: Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is ra… ▽ More Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Markoushevich. We then conclude that the Hodge conjecture holds for degree 4 integral Hodge classes on fibrations into cubic threefolds over curves, with restriction on singular fibers. △ Less

Submitted 13 August, 2011; v1 submitted 31 May, 2010; originally announced May 2010.

Comments: To appear in the Journal of Algebraic Geometry

Report number: JAG2011

Cohomologie non ramifiée et conjecture de Hodge entière

Authors: Jean-Louis Colliot-Thélène, Claire Voisin

Abstract: Building upon the Bloch-Kato conjecture in Milnor K-theory, we relate the third unramified cohomology group with Q/Z coefficients with a group which measures the failure of the integral Hodge conjecture in degree 4. As a first consequence, a geometric theorem of the second-named author implies that the third unramified cohomology group with Q/Z coefficients vanishes on all uniruled threefolds. As… ▽ More Building upon the Bloch-Kato conjecture in Milnor K-theory, we relate the third unramified cohomology group with Q/Z coefficients with a group which measures the failure of the integral Hodge conjecture in degree 4. As a first consequence, a geometric theorem of the second-named author implies that the third unramified cohomology group with Q/Z coefficients vanishes on all uniruled threefolds. As a second consequence, a 1989 example by Ojanguren and the first named author implies that the integral Hodge conjecture in degree 4 fails for unirational varieties of dimension at least 6. For certain classes of threefolds fibered over a curve, we establish a relation between the integral Hodge conjecture and the computation of the index of the generic fibre. En nous appuyant sur la conjecture de Bloch-Kato en K-théorie de Milnor, nous établissons un lien général entre le défaut de la conjecture de Hodge entière pour la cohomologie de degré 4 et le troisième groupe de cohomologie non ramifié à coefficients Q/Z. Ceci permet de montrer que sur un solide uniréglé le troisième groupe de cohomologie non ramifié à coefficients Q/Z s'annule, ce que la K-théorie algébrique ne permet d'obtenir que dans certains cas. Ceci permet à l'inverse de déduire d'exemples ayant leur source en K-théorie que la conjecture de Hodge entière pour la cohomologie de degré 4 peut être en défaut pour les variétés rationnellement connexes. Pour certaines familles à un paramètre de surfaces, on établit un lien entre la conjecture de Hodge entière et l'indice de la fibre générique. △ Less

Submitted 11 September, 2011; v1 submitted 16 May, 2010; originally announced May 2010.

Comments: Final version, 48 pages, to appear in Duke Mathematical Journal

MSC Class: 14F20; 14C25; 14C30; 14C35; 19E15

Journal ref: Duke Math. J. 161, no. 5 (2012), 735-801

Abel-Jacobi map, integral Hodge classes and decomposition of the diagonal

Authors: Claire Voisin

Abstract: Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is ra… ▽ More Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Markoushevich. We then conclude that the Hodge conjecture holds for degree 4 integral Hodge classes on fibrations into cubic threefolds over curves, with restriction on singular fibers. △ Less

Submitted 8 May, 2010; originally announced May 2010.

Journal ref: J. Algebraic Geom. 22 (2013), 141-174

Pseudoeffective and nef classes on abelian varieties

Authors: Olivier Debarre, Lawrence Ein, Robert Lazarsfeld, Claire Voisin

Abstract: The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomen… ▽ More The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomena that can occur by working out the picture fairly completely in a couple of simple but non-trivial cases. Specifically, we study cycles of arbitrary codimension on the self-product of an elliptic curve with complex multiplication, as well as two dimensional cycles on the product of a very general abelian surface with itself. Already one finds various non-classical behavior, for instance nef cycles that fail to be pseudoeffective: this answers a question raised in 1964 by Grothendieck in correspondence with Mumford. We also propose a substantial number of open problems for further investigation. △ Less

Submitted 16 March, 2010; originally announced March 2010.

Journal ref: Compositio Math. 147 (2011) 1793-1818

Hyper-Kähler fourfolds and Grassmann geometry

Authors: Olivier Debarre, Claire Voisin

Abstract: We construct a new 20-dimensional family of algebraic hyper-Kaehler fourfolds and prove that they are deformation-equivalent to the second punctual Hilbert scheme of a K3 surface of degree 22. We construct a new 20-dimensional family of algebraic hyper-Kaehler fourfolds and prove that they are deformation-equivalent to the second punctual Hilbert scheme of a K3 surface of degree 22. △ Less

Submitted 21 May, 2009; v1 submitted 25 April, 2009; originally announced April 2009.

Comments: Typos corrected. Connection made with the work of Gritsenko, Hulek, and Sankaran on the Kodaira dimension of moduli spaces of hyper-Kaehler manifolds (arXiv:0802.2078)

MSC Class: 14J35; 14M15; 14J70