We consider two cases of birational transformations of Q-Gorenstein threefolds: the case of a terminal flop and the case of a Francia flip.
In the first case we show that, if one replaces the threefolds by their canonical covering stacks, the the flop coincides with the moduli stack of perverse point sheaves. This adds to a result of Kawamata showing the derived equivalence. Our construction has the drawback that the moduli space is defined using a presentation of the stack.
In the second case we show that, if one takes a Francia flip $X \to Y$ and replaces $X$ by its canonical covering stack, then the flip coincides with a version of Bridgelan'd moduli space of pewrverse point sheaves involving a new perversity. This adds to another result of Kawamata. Again there is a drawback - the proof of the result relies on the existence of the flip, in contrast with the results of Bridgeland and of Chen where the relevant flop appears as an outcome of the construction.
Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers.…
We consider non-commutative deformations of sheaves on algebraic varieties. We develop some tools to determine parameter algebras of versal non-commutative deformations for partial simple collections and the structure sheaves of smooth rational curves. We apply them to universal flopping contractions of length 2 and higher. We confirm Donovan-Wemyss conjecture in the case of deformations of Laufer's flops.
Smooth threefold flops with irreducible centres are classified by the length invariant, which takes values 1, 2, 3, 4, 5 or 6. This classification by Katz and Morrison identifies 6 possible partial resolutions of Kleinian singularities that can occur as generic hyperplane sections, and the simultaneous resolutions associated to such a partial resolution produce the universal flop of length $l$. In this paper we translate these ideas into noncommutative algebra. We introduce the universal flopping algebra of length $l$ from which the universal flop of length $l$ can be recovered by a moduli con…
Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror partners to such schobers, determined by diagrams of Fukaya categories with stops, for examples in dimensions 2 and 3. Interpreting these schobers as supported on loci in mirror moduli spaces, we prove homological mirror symmetry equivalences between them. Our construction uses the coherent-constructible correspondence and a recent result of Ganatra-Pardon-Shende t…
We prove the motivic version of the DT/PT-correspondence in \cite{PT} and the motivic flop formula of the curve counting invariants in the derived category of smooth Calabi-Yau threefold DM stacks. The main method we use is Bridgeland's Hall algebra identities and the motivic integration map of Bridgeland and Joyce from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold DM stack $Y$ to the motivic quantum torus, which is a Poisson algebra homomorphism.
This note studies perverse sheaves of categories, or schobers, on Riemann surfaces, following ideas of Kapranov and Schechtman. For certain wall crossings in geometric invariant theory, I construct a schober on the complex plane, singular at each imaginary integer. I use this to obtain schobers for standard flops: in the 3-fold case, I relate these to a further schober on a partial compactification of a stringy Kaehler moduli space, and suggest an application to mirror symmetry.
Monodromy of Calabi-Yau threefold flops via grade restriction rule and their quantum Kahler moduli
Korea Institute for Advanced Study（韩国高等研究院）；Center for Mathematics and Interdisciplinary Sciences, Fudan University（复旦大学数学交叉科学中心）；Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉科学研究院）
Let $f: W \rightarrow T$ be an elliptic threefold that is a Weierstrass model, which is locally defined by $y^2 = x^3 + fx + g$ over $T$, with a singular fiber such that $(f,g,4f^3 + 27g^2)$ vanishes of order $(4,6,12)$ over an isolated point over $T$. Such a fiber can be explicitly resolved to fibers with smaller vanishing order and the resulting model, $Y$, contains a rational elliptic surface, $S$, where some sections of $S$ are flopping curves on $Y$. As a consequence of this arithmetic and geometric connection, we are able to describe some constraints between flops of $Y$ and the properti…
The conifold is a basic example of a noncompact Calabi-Yau threefold that admits a simple flop, and in M-theory, gives rise to a 5d hypermultiplet at low energies, realized by an M2-brane wrapped on the vanishing sphere. We develop a novel gauge-theoretic method to construct new classes of examples that generalize the simple flop to so-called length l=1,...,6. The method allows us to naturally read off the Gopakumar-Vafa invariants. Although they share similar properties to the beloved conifold, these threefolds are expected to admit M2-bound states of higher degree. We demonstrate this throug…
We show that the only summands of theta divisors on Jacobians of curves and on intermediate Jacobians of cubic threefolds are the obvious powers of the curve and the Fano surface of lines on the threefold. The proof uses the decomposition theorem for perverse sheaves, a bit of representation theory and a computation of characteristic cycles for Brill-Noether sheaves.
