SearcharxivSearch

arXiv subjects

Laura Pertusi

Publications and source records attributed to Laura Pertusi.

At least 19 recordsLinked to original sources

$0$-cycles and sheaves on abelian surfaces

We introduce a filtration on the Chow ring of an abelian surface $A$, inspired by O'Grady's filtration on K3 surfaces. We give a geometric description of the filtration, and we prove that it is deeply linked with the rational orbit of points in the generalized Kummer variety of $A$. We propose a conjecture on the second Chern class of sheaves on this abelian surface, and we provide some evidence for the conjecture and prove some of its applications.

math.AG

Higher dimensional moduli spaces on Kuznetsov components of Fano threefolds

We study moduli spaces of stable objects in the Kuznetsov components of Fano threefolds. We prove a general non-emptiness criterion for moduli spaces, which applies to the cases of prime Fano threefolds of index $1$, degree $10 \leq d \leq 18$, and index $2$, degree $d \leq 4$. In the second part, we focus on cubic threefolds. We show the irreducibility of the moduli spaces, and that the general fibers of the Abel--Jacobi maps from the moduli spaces to the intermediate Jacobian are Fano varieties. When the dimension is sufficiently large, we further show that the general fibers of the Abel--Jacobi maps are stably birational equivalent to each other. As an application of our methods, we prove Conjecture A.1 in [FGLZ24] concerning the existence of Lagrangian subvarieties in moduli spaces of stable objects in the Kuznetsov components of very general cubic fourfolds.

math.AG

Irreducible symplectic varieties via relative Prym varieties

Generalizing work of Markushevich--Tikhomirov and Arbarello--Sacc\`a--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.

math.AG

Some remarks about deformation theory and formality conjecture

Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel--Mukai threefolds and quartic double solids.

math.AG

Moduli spaces of stable objects in Enriques categories

We study moduli spaces of stable objects in Enriques categories by exploiting their relation to moduli spaces of stable objects in associated K3 categories. In particular, we settle the nonemptiness problem for moduli spaces of stable objects in the Kuznetsov components of several interesting classes of Fano varieties, and deduce the nonemptiness of fixed loci of certain antisymplectic involutions on modular hyperk\"{a}hler varieties.

math.AG

Kernels of categorical resolutions of nodal singularities

In this paper we study derived categories of nodal singularities. We show that for all nodal singularities there is a categorical resolution whose kernel is generated by a $2$ or $3$-spherical object, depending on the dimension. We apply this result to the case of nodal cubic fourfolds, where we describe the kernel generator of the categorical resolution as an object in the bounded derived category of the associated degree six K3 surface. This paper originated from one of the problem sessions at the Interactive Workshop and Hausdorff School "Hyperk\"ahler Geometry", Bonn, September 6-10, 2021.

math.AG

Derived categories of hearts on Kuznetsov components

We prove a general criterion which guarantees that an admissible subcategory $\mathcal{K}$ of the derived category of an abelian category is equivalent to the bounded derived category of the heart of a bounded t-structure. As a consequence, we show that $\mathcal{K}$ has a strongly unique dg enhancement, applying the recent results of Canonaco, Neeman and Stellari. We apply this criterion to the Kuznetsov component $\mathop{\mathcal{K}u}(X)$ when $X$ is a cubic fourfold, a Gushel--Mukai variety or a quartic double solid. In particular, we obtain that these Kuznetsov components have strongly unique dg enhancement and that exact equivalences of the form $\mathop{\mathcal{K}u}(X) \xrightarrow{\sim} \mathop{\mathcal{K}u}(X')$ are of Fourier--Mukai type when $X$, $X'$ belong to these classes of varieties, as predicted by a conjecture of Kuznetsov.

math.AG

Categorical Torelli theorems: results and open problems

We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible subcategories of the bounded derived category of coherent sheaves of such a variety. The focus is on Enriques surfaces, prime Fano threefolds and cubic fourfolds.

math.AG

Stability conditions on Kuznetsov components of Gushel-Mukai threefolds and Serre functor

We show that the stability conditions on the Kuznetsov component of a Gushel-Mukai threefold, constructed by Bayer, Lahoz, Macr\`i and Stellari, are preserved by the Serre functor, up to the action of the universal cover of $\text{GL}^+_2(\mathbb{R})$. As application, we construct stability conditions on the Kuznetsov component of special Gushel-Mukai fourfolds.

math.AG

Serre-invariant stability conditions and Ulrich bundles on cubic threefolds

We prove a general criterion which ensures that a fractional Calabi--Yau category of dimension $\leq 2$ admits a unique Serre-invariant stability condition, up to the action of the universal cover of $\text{GL}^+_2(\mathbb{R})$. We apply this result to the Kuznetsov component $\text{Ku}(X)$ of a cubic threefold $X$. In particular, we show that all the known stability conditions on $\text{Ku}(X)$ are invariant with respect to the action of the Serre functor and thus lie in the same orbit with respect to the action of the universal cover of $\text{GL}^+_2(\mathbb{R})$. As an application, we show that the moduli space of Ulrich bundles of rank $\geq 2$ on $X$ is irreducible, answering a question asked by Lahoz, Macr\`i and Stellari.

math.AG

Some remarks on Fano threefolds of index two and stability conditions

We prove that ideal sheaves of lines in a Fano threefold $X$ of Picard rank one and index two are stable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari, giving a modular description to the Hilbert scheme of lines in $X$. When $X$ is a cubic threefold, we show that the Serre functor of $\mathsf{Ku}(X)$ preserves these stability conditions. As an application, we obtain the smoothness of non-empty moduli spaces of stable objects in $\mathsf{Ku}(X)$. When $X$ is a quartic double solid, we describe a connected component of the stability manifold parametrizing stability conditions on $\mathsf{Ku}(X)$.

math.AG

Twisted cubics on cubic fourfolds and stability conditions

We give an interpretation of the Fano variety of lines on a cubic fourfold and of the hyperkahler eightfold, constructed by Lehn, Lehn, Sorger and van Straten from twisted cubic curves in a cubic fourfold non containing a plane, as moduli spaces of Bridgeland stable objects in the Kuznetsov component. As a consequence, we reprove the categorical version of Torelli Theorem for cubic fourfolds, we obtain the identification of the period point of LLSvS eightfold with that of the Fano variety, and we discuss derived Torelli Theorem for cubic fourfolds.

math.AG

Elliptic quintics on cubic fourfolds, O'Grady 10, and Lagrangian fibrations

For a smooth cubic fourfold Y, we study the moduli space M of semistable objects of Mukai vector $2λ_1+2λ_2$ in the Kuznetsov component of Y. We show that with a certain choice of stability conditions, M admits a symplectic resolution $\tilde M$, which is a smooth projective hyperkähler manifold, deformation equivalent to the 10-dimensional examples constructed by O'Grady. As applications, we show that a birational model of $\tilde M$ provides a hyperkähler compactification of the twisted family of intermediate Jacobians associated to Y. This generalizes the previous result of Voisin arXiv:1611.06679 in the very general case. We also prove that $\tilde M$ is the MRC quotient of the main component of the Hilbert scheme of elliptic quintic curves in Y, confirming a conjecture of Castravet.

math.AG

Marked and labelled Gushel-Mukai fourfolds

We prove that the moduli stacks of marked and labelled Hodge-special Gushel-Mukai fourfolds are isomorphic. As an application, we construct rational maps from the stack of Hodge-special Gushel-Mukai fourfolds of discriminant $d$ to the moduli space of (twisted) degree-$d$ polarized K3 surfaces. We use these results to prove a counting formula for the number of 4-dimensional fibers of Fourier-Mukai partners of very general Hodge-special Gushel-Mukai fourfolds with associated K3 surface, and a lower bound for this number in the case of a twisted associated K3 surface.

math.AG

Stability conditions and moduli spaces for Kuznetsov components of Gushel-Mukai varieties

We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel-Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even-dimensional case. As applications, we construct a new infinite series of unirational locally complete families of polarized hyperk\"{a}hler varieties of K3 type, and characterize Hodge-theoretically when the Kuznetsov component of an even-dimensional Gushel-Mukai variety is equivalent to the derived category of a K3 surface.

math.AG

Fourier-Mukai partners for very general special cubic fourfolds

We exhibit explicit examples of very general special cubic fourfolds with discriminant $d$ admitting an associated (twisted) K3 surface, which have non-isomorphic Fourier-Mukai partners. In particular, in the untwisted setting, we show that the number of Fourier-Mukai partners for a very general special cubic fourfold with discriminant $d$ and having an associated K3 surface, is equal to the number $m$ of Fourier-Mukai partners of its associated K3 surface, if $d \equiv 2 (\text{mod}\,6)$; else, if $d \equiv 0 (\text{mod}\,6)$, the cubic fourfold has $\lceil m/2 \rceil$ Fourier-Mukai partners.

math.AG

On the double EPW sextic associated to a Gushel-Mukai fourfold

In analogy to the case of cubic fourfolds, we discuss the conditions under which the double cover $\tilde{Y}_A$ of the EPW sextic hypersurface associated to a Gushel-Mukai fourfold is birationally equivalent to a moduli space of (twisted) stable sheaves on a K3 surface. In particular, we prove that $\tilde{Y}_A$ is birational to the Hilbert scheme of two points on a K3 surface if and only if the Gushel-Mukai fourfold is Hodge-special with discriminant $d$ such that the negative Pell equation $\mathcal{P}_{d/2}(-1)$ is solvable in $\mathbb{Z}$.

math.AG