Showing 1–16 of 16 results for author: Saccà, G

Irreducible symplectic varieties via relative Prym varieties

Authors: Emma Brakkee, Chiara Camere, Annalisa Grossi, Laura Pertusi, Giulia Saccà, Sasha Viktorova

Abstract: Generalizing work of Markushevich--Tikhomirov and Arbarello--Saccà--Ferretti, we use relative Prym varieties to construct Lagrangian fibered symplectic varieties in infinitely many dimensions. We then give criteria for when the construction yields primitive symplectic varieties, respectively, irreducible symplectic varieties. The starting point of the construction is a K3 surface endowed with an a… ▽ More Generalizing work of Markushevich--Tikhomirov and Arbarello--Saccà--Ferretti, we use relative Prym varieties to construct Lagrangian fibered symplectic varieties in infinitely many dimensions. We then give criteria for when the construction yields primitive symplectic varieties, respectively, irreducible symplectic varieties. The starting point of the construction is a K3 surface endowed with an anti-symplectic involution and an effective linear system on the quotient surface. We give sufficient conditions on the linear system to ensure that the relative Prym varieties satisfy the criteria above. As a consequence, we produce infinite series of irreducible symplectic varieties. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 41 pages, 2 figures, comments welcome!

The geometry of antisymplectic involutions, II

Authors: Laure Flapan, Emanuele Macrì, Kieran G. O'Grady, Giulia Saccà

Abstract: We continue our study of fixed loci of antisymplectic involutions on projective hyper-Kähler manifolds of $\mathrm{K3}^{[n]}$-type induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice. We prove that if the divisibility of the ample class is 2, then one connected component of the fixed locus is a Fano manifold of index 3, thus generalizing to higher dimensions the case of… ▽ More We continue our study of fixed loci of antisymplectic involutions on projective hyper-Kähler manifolds of $\mathrm{K3}^{[n]}$-type induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice. We prove that if the divisibility of the ample class is 2, then one connected component of the fixed locus is a Fano manifold of index 3, thus generalizing to higher dimensions the case of the LLSvS 8-fold associated to a cubic fourfold. We also show that, in the case of the LLSvS 8-fold associated to a cubic fourfold, the second component of the fixed locus is of general type, thus answering a question by Manfred Lehn. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Comments: 35 pages

Report number: Roma01.math.AG MSC Class: 14C20; 14D06; 14D20; 14F08; 14J42; 14J45; 14J60

Singularities of Bridgeland moduli spaces for K3 categories: an update

Authors: Enrico Arbarello, Giulia Saccà

Abstract: This survey is a continuation of the study undertaken in \cite{AS18}. We examine the local structure of Bridgeland moduli spaces $M_σ(v,\D)$, where the relevant triangulated category $\D$ is either the bounded derived category $\D=\D^b(X)$ of a K3 surface $X$, or the Kuznetsov component $\D=\Ku(Y)\subset \D ^b(Y)$ of a smooth cubic fourfold $Y\subset \PP^5$. For these moduli spaces, building on \c… ▽ More This survey is a continuation of the study undertaken in \cite{AS18}. We examine the local structure of Bridgeland moduli spaces $M_σ(v,\D)$, where the relevant triangulated category $\D$ is either the bounded derived category $\D=\D^b(X)$ of a K3 surface $X$, or the Kuznetsov component $\D=\Ku(Y)\subset \D ^b(Y)$ of a smooth cubic fourfold $Y\subset \PP^5$. For these moduli spaces, building on \cite{Bmm19}, \cite{Bmm21} we give a direct proof of formality and, using their local isomorphism with quiver varieties, we establish their normality and their irreducibility, as long as $σ$ does not lie on a totally semistable wall. We then connect the variation of GIT quotients for quiver varieties with the changing of stability conditions on moduli spaces. △ Less

Submitted 15 July, 2023; originally announced July 2023.

MSC Class: 14D20; 14B05; 18E30; 14J28; !6G20; 18E30

Moduli spaces on Kuznetsov components are Irreducible Symplectic Varieties

Authors: Giulia Saccà

Abstract: This article studies moduli spaces of Bridgeland semistable objects in the Kuznetsov component of a cubic fourfold that don't admit a symplectic resolution, i.e., moduli spaces of objects with non-primitve Mukai vector v=mv_0 that is not of OG10-type and where v_0^2 >0. For a generic stability condition, it is shown that these moduli spaces are projective irreducible symplectic varieties with fact… ▽ More This article studies moduli spaces of Bridgeland semistable objects in the Kuznetsov component of a cubic fourfold that don't admit a symplectic resolution, i.e., moduli spaces of objects with non-primitve Mukai vector v=mv_0 that is not of OG10-type and where v_0^2 >0. For a generic stability condition, it is shown that these moduli spaces are projective irreducible symplectic varieties with factorial terminal singularities and that their deformation class is uniquely determined by the integers m and v_0^2. On the one hand, this generalizes the results of arXiv:1703.10839, arXiv:1912.06935, arXiv:2007.14108, which deal with moduli spaces of objects in the Kuznetsov component of a cubic fourfold which are smooth or of OG10-type; on the other hand, this extends to the Kuznetsov component of a cubic fourfold the results of arXiv:1802.01182, arXiv:2012.10649, on Gieseker moduli spaces of sheaves on K3 surfaces with non-primitive Mukai vector. △ Less

Submitted 30 January, 2024; v1 submitted 5 April, 2023; originally announced April 2023.

Comments: 28 pages, comments welcome! Minor corrections as suggested by the referee

MSC Class: 14D22; 14J42; 13D09

Relative and absolute Lefschetz standard conjectures for some Lagrangian fibrations

Authors: Giuseppe Ancona, Mattia Cavicchi, Robert Laterveer, Giulia Saccà

Abstract: We show that the hyper-Kähler varieties of OG10-type constructed by Laza-Saccà-Voisin (LSV) verify the Lefschetz standard conjecture. This is an application of a more general result, stating that certain Lagrangian fibrations verify this conjecture. The main technical assumption of this general result is that the Lagrangian fibration satisfies the hypotheses of Ngô's support theorem. Verifying tha… ▽ More We show that the hyper-Kähler varieties of OG10-type constructed by Laza-Saccà-Voisin (LSV) verify the Lefschetz standard conjecture. This is an application of a more general result, stating that certain Lagrangian fibrations verify this conjecture. The main technical assumption of this general result is that the Lagrangian fibration satisfies the hypotheses of Ngô's support theorem. Verifying that the LSV tenfolds do satisfy those hypotheses is of independent interest. Another point of independent interest of the paper is the definition and the study of the Lefschetz standard conjecture in the relative setting, and its relation to the classical absolute case. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 27 pages, comments welcome

MSC Class: 14C25; 14J42

The geometry of antisymplectic involutions, I

Authors: Laure Flapan, Emanuele Macrì, Kieran G. O'Grady, Giulia Saccà

Abstract: We study fixed loci of antisymplectic involutions on projective hyperkähler manifolds of $\mathrm{K3}^{[n]}$-type. When the involution is induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice, we show that the number of connected components of the fixed locus is equal to the divisibility of the class, which is either 1 or 2. We study fixed loci of antisymplectic involutions on projective hyperkähler manifolds of $\mathrm{K3}^{[n]}$-type. When the involution is induced by an ample class of square 2 in the Beauville-Bogomolov-Fujiki lattice, we show that the number of connected components of the fixed locus is equal to the divisibility of the class, which is either 1 or 2. △ Less

Submitted 5 September, 2023; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 46 pages. v2: Minor corrections, references updated

Report number: Roma01.math.AG MSC Class: 14C20; 14D06; 14D20; 14F08; 14J42; 14J60

Journal ref: Math. Z. 300 (2022), 3457-3495 (special issue in honor of Olivier Debarre)

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

The Hodge numbers of O'Grady 10 via Ngô strings

Authors: Mark Andrea A. de Cataldo, Antonio Rapagnetta, Giulia Saccà

Abstract: We determine the Hodge numbers of the hyper-Kähler manifold known as O'Grady 10 by studying some related modular Lagrangian fibrations by means of a refinement of the Ngô Support Theorem. We determine the Hodge numbers of the hyper-Kähler manifold known as O'Grady 10 by studying some related modular Lagrangian fibrations by means of a refinement of the Ngô Support Theorem. △ Less

Submitted 10 October, 2021; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: Revised and final version to appear in Jour. Math. Pur. et Appl

The Euler number of hyper-Kähler manifolds of OG10 type

Authors: Klaus Hulek, Radu Laza, Giulia Saccà

Abstract: Using the Laza-Saccà-Voisin construction, we give a simple proof for the fact that the Euler characteristic of a hyper-Kähler manifold of OG10 type is 176,904, a result previously established by Mozgovoy. Using the Laza-Saccà-Voisin construction, we give a simple proof for the fact that the Euler characteristic of a hyper-Kähler manifold of OG10 type is 176,904, a result previously established by Mozgovoy. △ Less

Submitted 5 November, 2019; v1 submitted 2 February, 2019; originally announced February 2019.

Comments: 10 pages; To appear in the Proceedings of the ICM 2018 Satellite conference "Moduli Spaces in Algebraic Geometry and Applications", Campinas

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

The Hodge diamond of O'Grady's 6-dimensional example

Authors: Giovanni Mongardi, Antonio Rapagnetta, Giulia Saccà

Abstract: We realize O'Grady's six dimensional example of irreducible holomorphic symplectic manifold as a quotient of an IHS manifold of K3$^{[3]}$-type by a birational involution, thereby computing its Hodge numbers. We realize O'Grady's six dimensional example of irreducible holomorphic symplectic manifold as a quotient of an IHS manifold of K3$^{[3]}$-type by a birational involution, thereby computing its Hodge numbers. △ Less

Submitted 22 March, 2016; originally announced March 2016.

MSC Class: Primary 14J40; Secondary 14E07; 14F05

Journal ref: Compositio Math. 154 (2018) 984-1013

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

Explicit Brill-Noether-Petri general curves

Authors: Enrico Arbarello, Andrea Bruno, Gavril Farkas, Giulia Saccà

Abstract: Let $p_1,\dots, p_9$ be the points in $\mathbb A^2(\mathbb Q)\subset \mathbb P^2(\mathbb Q)$ with coordinates $$(-2,3),(-1,-4),(2,5),(4,9),(52,375), (5234, 37866),(8, -23), (43, 282), \Bigl(\frac{1}{4}, -\frac{33}{8} \Bigr)$$ respectively. We prove that, for any genus $g$, a plane curve of degree $3g$ having a $g$-tuple point at $p_1,\dots, p_8$, and a $(g-1)$-tuple point at $p_9$, and no other… ▽ More Let $p_1,\dots, p_9$ be the points in $\mathbb A^2(\mathbb Q)\subset \mathbb P^2(\mathbb Q)$ with coordinates $$(-2,3),(-1,-4),(2,5),(4,9),(52,375), (5234, 37866),(8, -23), (43, 282), \Bigl(\frac{1}{4}, -\frac{33}{8} \Bigr)$$ respectively. We prove that, for any genus $g$, a plane curve of degree $3g$ having a $g$-tuple point at $p_1,\dots, p_8$, and a $(g-1)$-tuple point at $p_9$, and no other singularities, exists and is a Brill-Noether general curve of genus $g$, while a general curve in that $g$-dimensional linear system is a Brill-Noether-Petri general curve of genus $g$. △ Less

Submitted 14 March, 2016; v1 submitted 23 November, 2015; originally announced November 2015.

Comments: New section added containing an explicit example of a 9-tuple of points in P^2(Q) that are of 3g-general for every g. Added a second proof of the fact that a du Val curve is BN general. Improved exposition

MSC Class: 14H51; 14J28

Singularities of moduli spaces of sheaves on K3 surfaces and Nakajima quiver varieties

Authors: Enrico Arbarello, Giulia Saccà

Abstract: The aim of this paper is to study the singularities of certain moduli spaces of sheaves on K3 surfaces by means of Nakajima quiver varieties. The singularities in question arise from the choice of a non--generic polarization, with respect to which we consider stability, and admit natural symplectic resolutions corresponding to choices of general polarizations. For sheaves that are pure of dimensio… ▽ More The aim of this paper is to study the singularities of certain moduli spaces of sheaves on K3 surfaces by means of Nakajima quiver varieties. The singularities in question arise from the choice of a non--generic polarization, with respect to which we consider stability, and admit natural symplectic resolutions corresponding to choices of general polarizations. For sheaves that are pure of dimension one, we show that these moduli spaces are, locally around a singular point, isomorphic to a quiver variety and that, via this isomorphism, the natural symplectic resolutions correspond to variations of GIT quotients of the quiver variety. △ Less

Submitted 10 March, 2018; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: 40 pages; final version; As pointed out to us by Z. Zhang, we prove quadraticity and not formality of the Kuranishi family. Quadraticity is all we need for our main theorem. The current version reflects this correction. A few other improvements in exposition and correction of typos

MSC Class: 14J60; 14J28; 16G20

Relative Prym varieties associated to the double cover of an Enriques surface

Authors: Enrico Arbarello, Giulia Saccà, Andrea Ferretti

Abstract: Given an Enriques surface $T$, its universal K3 cover $f: S\to T$, and a genus $g$ linear system $|C|$ on $T$, we construct the relative Prym variety $P_H=\Prym_{v, H}(\D/\CC)$, where $\CC\to |C|$ and $\D\to |f^*C|$ are the universal families, $v$ is the Mukai vector $(0,[D], 2-2g)$ and $H$ is a polarization on $S$. The relative Prym variety is a $(2g-2)$-dimensional possibly singular variety, who… ▽ More Given an Enriques surface $T$, its universal K3 cover $f: S\to T$, and a genus $g$ linear system $|C|$ on $T$, we construct the relative Prym variety $P_H=\Prym_{v, H}(\D/\CC)$, where $\CC\to |C|$ and $\D\to |f^*C|$ are the universal families, $v$ is the Mukai vector $(0,[D], 2-2g)$ and $H$ is a polarization on $S$. The relative Prym variety is a $(2g-2)$-dimensional possibly singular variety, whose smooth locus is endowed with a hyperkähler structure. This variety is constructed as the closure of the fixed locus of a symplectic birational involution defined on the moduli space $M_{v,H}(S)$. There is a natural Lagrangian fibration $η: P_H \to |C|$, that makes the regular locus of $P_H$ into an integrable system whose general fiber is a $(g-1)$-dimensional (principally polarized) Prym variety, which in most cases is not the Jacobian of a curve. We prove that if $|C|$ is a hyperelliptic linear system, then $P_H$ admits a symplectic resolution which is birational to a hyperkähler manifold of K3$^{[g-1]}$-type, while if $|C|$ is not hyperelliptic, then $P_H$ admits no symplectic resolution. We also prove that any resolution of $P_H$ is simply connected and, when $g$ is odd, any resolution of $P_H$ has $h^{2,0}$-Hodge number equal to one. △ Less

Submitted 26 May, 2013; v1 submitted 18 November, 2012; originally announced November 2012.

Comments: 46 pages. Some sections rearranged, one section added, a few minor fixes

Relative compactified Jacobians of linear systems on Enriques surfaces

Authors: Giulia Saccà

Abstract: We study certain moduli spaces of sheaves on Enriques surfaces thereby obtaining, in every odd dimension, new examples of Calabi-Yau manifolds. We describe the geometry (canonical bundle, fundamental group, second Betti number and certain Hodge numbers) of these moduli spaces showing, in partial analogy to the well-known case of sheaves on K3 or Abelian surfaces, how the geometry of the surface re… ▽ More We study certain moduli spaces of sheaves on Enriques surfaces thereby obtaining, in every odd dimension, new examples of Calabi-Yau manifolds. We describe the geometry (canonical bundle, fundamental group, second Betti number and certain Hodge numbers) of these moduli spaces showing, in partial analogy to the well-known case of sheaves on K3 or Abelian surfaces, how the geometry of the surface reflects that of the moduli space itself. △ Less

Submitted 8 May, 2019; v1 submitted 28 October, 2012; originally announced October 2012.

Comments: 48 pages. Final version to appear in TAMS. Many revisions and a correction in the proof of Theorem 3.1

MSC Class: 14D22; 14J28; 14J32