arXiv subjects
Publications and source records attributed to Soheyla Feyzbakhsh.
Let $C$ be a smooth projective curve of genus $g>0$. We describe an open locus of Bridgeland stability conditions on the bounded derived category of coherent systems on $C$, and show that stability manifold detects the Brill--Noether theory of the curve.
We investigate a subspace of Bridgeland stability conditions on $\PP^n$ satisfying the so-called Li condition. These are the stability conditions whose restriction to a smooth projective subvariety $X \subset \PP^n$ is again a stability condition. We then show that, when $X$ is a threefold, the restricted stability conditions coincide with those obtained via the double-tilt construction introduced by Bayer-Macrì-Toda. As an application, we prove the weak BMT conjecture.
Fix a polarised Calabi-Yau threefold $(X,H)$. We reduce a version of the Bayer-Macrì-Toda conjecture for $(X,H)$, which ensures the existence of Bridgeland stability conditions on $X$, to verifying a Brill-Noether-type inequality for curves on $X$. We then prove this inequality for a broad class of Calabi-Yau threefolds, including complete intersection Calabi-Yau threefolds in weighted projective spaces.
We develop a novel approach to the Brill-Noether theory of curves endowed with a degree k cover of the projective line via Bridgeland stability conditions on elliptic K3 surfaces. We first develop the Brill-Noether theory on elliptic K3 surfaces via the notion of Bridgeland stability type for objects in their derived category. As a main application, we show that curves on elliptic K3 surfaces serve as the first known examples of smooth k-gonal curves which are general from the viewpoint of Hurwitz-Brill-Noether theory. In particular, we provide new proofs of the main non-existence and existence results in Hurwitz-Brill-Noether theory. Finally, using degree-k Halphen surfaces, we construct explicit examples of curves defined over number fields which are general from the perspective of Hurwitz-Brill-Noether theory.
Let $X$ be a very general Gushel-Mukai (GM) variety of dimension $n\geq 4$, and let $Y$ be a smooth hyperplane section. There are natural pull-back and push-forward functors between the semi-orthogonal components (known as the Kuznetsov components) of the derived categories of $X$ and $Y$. In this paper, we prove that the Bridgeland stability of objects is preserved by both pull-back and push-forward functors. We then explore various applications of this result, such as constructing an $8$-dimensional smooth family of Lagrangian subvarieties for each moduli space of stable objects in the Kuznetsov component of a general GM fourfold and proving the projectivity of the moduli spaces of semistable objects of any class in the Kuznetsov component of a general GM threefold, as conjectured by Perry, Pertusi, and Zhao.
In this paper, we conduct the first systematic investigation of twisted cubics on Gushel-Mukai (GM) fourfolds. We then study the double EPW cube, a 6-dimensional hyperkähler manifold associated with a general GM fourfold $X$, through the Bridgeland moduli space, and show that it is the maximal rationally connected (MRC) quotient of the Hilbert scheme of twisted cubics on $X$. We also prove that a general double EPW cube admits a covering by Lagrangian subvarieties constructed from the Hilbert schemes of twisted cubics on GM threefolds, which provides a new example for a conjecture of O'Grady.
By exploiting new mathematical relations between Pandharipande-Thomas (PT) invariants, closely related to Gopakumar-Vafa (GV) invariants, and rank 0 Donaldson-Thomas (DT) invariants counting D4-D2-D0 BPS bound states, we rigorously compute the first few terms in the generating series of Abelian D4-D2-D0 indices for compact one-parameter Calabi-Yau threefolds of hypergeometric type. In all cases where GV invariants can be computed to sufficiently high genus, we find striking confirmation that the generating series is modular, and predict infinite series of Abelian D4-D2-D0 indices. Conversely, we use these results to provide new constraints for the direct integration method, which allows to compute GV invariants (and therefore the topological string partition function) to higher genus than hitherto possible. The triangle of relations between GV/PT/DT invariants is powered by a new explicit formula relating PT and rank 0 DT invariants, which is proven in an Appendix by the second named author. As a corollary, we obtain rigorous Castelnuovo-type bounds for PT and GV invariants for CY threefolds with Picard rank one.
In previous work, we used new mathematical relations between Gopakumar-Vafa (GV) invariants and rank 0 Donaldson-Thomas (DT) invariants to determine the first few terms in the generating series of Abelian D4-D2-D0 indices for a class of compact one-parameter Calabi-Yau threefolds. This allowed us to obtain striking checks of S-duality, namely the prediction that these series should be vector-valued weakly holomorphic modular forms under $SL(2,\mathbb{Z})$. In this work, we extend this analysis to the case of D4-D2-D0 indices with two units of D4-brane charge, where S-duality instead predicts that the corresponding generating series should be mock modular with a specific shadow. For the degree 10 hypersurface in weighted projective space $\mathbb{P}_{5,2,1,1,1}$, and the degree 8 hypersurface in $\\mathbb{P}_{4,1,1,1,1}$, where GV invariants can be computed to sufficiently high genus, we find that the first few terms indeed match a unique mock modular form with the required properties, which we determine explicitly. Turning the argument around, we obtain new boundary conditions on the holomorphic ambiguity of the topological string amplitude, which in principle allow to determine it completely up to genus 95 and 112, respectively, i.e. almost twice the maximal genus obtainable using gap and ordinary Castelnuovo vanishing conditions.
Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. We express Joyce's generalised DT invariants counting Gieseker semistable sheaves of any rank $r\ge1$ on $X$ in terms of those counting sheaves of rank 0 and pure dimension 2. The basic technique is to reduce the ranks of sheaves by replacing them by the cokernels of their Mochizuki/Joyce-Song pairs and then use wall crossing to handle their stability.
Let $Y_d$ be a del Pezzo threefold of Picard rank one and degree $d\geq 2$. In this paper, we apply two different viewpoints to study $Y_d$ via a particular admissible subcategory of its bounded derived category, called the Kuznetsov component: (i) Brill-Noether reconstruction. We show that $Y_d$ can be uniquely recovered as a Brill-Noether locus of Bridgeland stable objects in its Kuznetsov component. (ii) Exact equivalences. We prove that, up to composing with an explicit auto-equivalence, any Fourier-Mukai type equivalence of Kuznetsov components of two del Pezzo threefolds of degree $2\leq d\leq 4$ can be lifted to an equivalence of their bounded derived categories. As a result, we obtain a complete description of the group of Fourier-Mukai type auto-equivalences of the Kuznetsov component of $Y_d$. We also describe the group of Fourier-Mukai type auto-equivalences of Kuznetsov components of index one prime Fano threefolds $X_{2g-2}$ of genus $g=6$ and $8$. As an application, first we identify the group of automorphisms of $X_{14}$ and its associated $Y_3$. Then we give a new disproof of Kuznetsov's Fano threefold conjecture by assuming Gushel-Mukai threefolds are general. In an appendix, we classify instanton sheaves on quartic double solids, generalizing a result of Druel.
We work on a projective threefold $X$ which satisfies the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as $\mathbb P^3$ or the quintic threefold. We prove certain moduli spaces of 2-dimensional torsion sheaves on $X$ are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in $X$. When $X$ is Calabi-Yau this gives a simple wall crossing formula expressing curve counts (and so ultimately Gromov-Witten invariants) in terms of counts of D4-D2-D0 branes. These latter invariants are predicted to have modular properties which we discuss from the point of view of S-duality and Noether-Lefschetz theory.
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ì and Stellari.
Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. We express Joyce's generalised DT invariants counting Gieseker semistable sheaves of any rank $r$ on $X$ in terms of those counting sheaves of rank 1. By the MNOP conjecture they are therefore determined by the Gromov-Witten invariants of $X$.
Consider the moduli space $M_C(r; K_C)$ of stable rank r vector bundles on a curve $C$ with canonical determinant, and let $h$ be the maximum number of linearly independent global sections of these bundles. If $C$ embeds in a K3 surface $X$ as a generator of $Pic(X)$ and the genus $g$ of $C$ is sufficiently high, we show the Brill-Noether locus $BN_C \subset M_C(r; K_C)$ of bundles with $h$ global sections is a smooth projective Hyperkähler manifold of dimension $2g -2r \lfloor \frac{g}{r}\rfloor$, isomorphic to a moduli space of stable vector bundles on $X$.
We show that the moduli space $\overline{M}_X(v)$ of Gieseker stable sheaves on a smooth cubic threefold $X$ with Chern character $v = (3,-H,-H^2/2,H^3/6)$ is smooth and of dimension four. Moreover, the Abel-Jacobi map to the intermediate Jacobian of $X$ maps it birationally onto the theta divisor $Θ$, contracting only a copy of $X \subset \overline{M}_X(v)$ to the singular point $0 \in Θ$. We use this result to give a new proof of a categorical version of the Torelli theorem for cubic threefolds, which says that $X$ can be recovered from its Kuznetsov component $\operatorname{Ku}(X) \subset \mathrm{D}^{\mathrm{b}}(X)$. Similarly, this leads to a new proof of the description of the singularity of the theta divisor, and thus of the classical Torelli theorem for cubic threefolds, i.e., that $X$ can be recovered from its intermediate Jacobian.
Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. By two different wall-crossing arguments we prove two different explicit formulae relating rank 0 Donaldson-Thomas invariants (counting torsion sheaves on $X$ supported on ample divisors) in terms of rank 1 Donaldson-Thomas invariants (counting ideal sheaves of curves) and Pandharipande-Thomas invariants. In particular, we prove a slight modification of Toda's formulation of OSV conjecture for $X$. When $X$ is of Picard rank one, we also give an explicit formula for rank two DT invariants in terms of rank zero and rank one DT invariants.
We prove an effective restriction theorem for stable vector bundles $E$ on a smooth projective variety: $E|_D$ is (semi)stable for all irreducible divisors $D \in |kH|$ for all $k$ greater than an explicit constant. As an application, we show that Mercat's conjecture in any rank greater than $2$ fails for curves lying on K3 surfaces. Our technique is to use wall-crossing with respect to (weak) Bridgeland stability conditions which we also use to reprove Camere's result on slope stability of the tangent bundle of $\mathbb{P}^n$ restricted to a K3 surface.
Consider a smooth projective 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda (such as $\mathbb P^3$, the quintic threefold or an abelian threefold). Let $L$ be a line bundle supported on a very positive surface in $X$. If $c_1(L)$ is a primitive cohomology class then we show it has very negative square.