arXiv subjects
Publications and source records attributed to Ed Segal.
We reinvestigate the problem of describing the Fourier-Mukai kernel for the derived equivalence associated to a stratified Mukai flop. For the case of Grassmannians of planes we give a very simple geometric construction of the kernel, using the framework of matrix factorizations.
The Kuznetsov component of the derived category of a cubic fourfold is a `non-commutative K3 surface'. Its symmetric square is hence a `non-commutative hyperkaehler fourfold'. We prove that this category is equivalent to the derived category of an actual hyperkaehler fourfold: the Fano of lines in the cubic. This verifies a conjecture of Galkin. One of the key steps in our proof is a new derived equivalence for a specific 12-dimensional flop.
These notes are a brief summary of the main results from the book `Discriminants, Resultants and Multidimensional Determinants' by Gelfand-Kapranov-Zelevinsky. We sketch the key ideas involved in the proofs, using as little technical background as possible.
We present an explicit GIT construction which produces both the minimal resolution of the type $D_4$ surface singularity, and also the orbifold resolution. Our construction is based on a Tannakian approach which is in principle applicable to arbitrary quotient singularities.
Given a Hamiltonian torus action on a symplectic manifold, Teleman and Fukaya have proposed that the Fukaya category of each symplectic quotient should be equivalent to an equivariant Fukaya category of the original manifold. We lay out new conjectures that extend this story - in certain situations - to singular values of the moment map. These include a proposal for how, in some cases, we can recover the non-equivariant Fukaya category of the original manifold starting from data on the quotient. To justify our conjectures we pass through the mirror and work out numerous examples, using well-established heuristics in toric mirror symmetry. We also discuss the algebraic and categorical structures that underlie our story.
In this short note we observe that the Serre functor on the residual category of a complete intersection can be easily described in the framework of hybrid models. Using this description we recover some recent results of Kuznetsov and Perry.
The Fukaya category of a punctured surface can be reconstructed from a pair-of-pants decomposition using a formal construction that attaches a category to a trivalent graph. We extend this formal construction to include a choice of line field on the surface, this requires a certain decoration on the graph. On the mirror side we show that this leads to a kind of twisted derived category which has not been widely studied. Mirror symmetry predicts that our category should be an invariant of decorated graphs and we prove that this is indeed the case, using only B-model methods. We also give B-model proofs that a few different mirror constructions are equivalent.
The derived categories of toric varieties admit semi-orthogonal decompositions coming from wall-crossing in GIT. We prove that these decompositions satisfy a Jordan-Holder property: the subcategories that appear, and their multiplicities, are independent of the choices made. For Calabi-Yau toric varieties wall-crossing instead gives derived equivalences and autoequivalences, and mirror symmetry relates these to monodromy around the GKZ discriminant locus. We formulate a conjecture equating intersection multiplicities in the discriminant with the multiplicities appearing in certain semi-orthogonal decompositions. We then prove this conjecture in some cases.
We prove a version of the classical 'generic smoothness' theorem with smooth varieties replaced by non-commutative resolutions of singular varieties. This in particular implies a non-commutative version of the Bertini theorem.
Kuznetsov has conjectured that Pfaffian varieties should admit non-commutative crepant resolutions which satisfy his Homological Projective Duality. We prove half the cases of this conjecture, by interpreting and proving a duality of non-abelian gauged linear sigma models proposed by Hori.
In this short note we observe that, for purely formal reasons, any autoequivalence can be constructed as a twist around a spherical functor. As an example, we show how the P-twists constructed by Huybrechts and Thomas can be formulated as spherical twists.
We describe a new example of a flop in 5-dimensions, due to Roland Abuaf, with the nice feature that the contracting loci on either side are not isomorphic. We prove that the two sides are derived equivalent.
The derived category of coherent sheaves on a general quintic threefold is a central object in mirror symmetry. We show that it can be embedded into the derived category of a certain Fano elevenfold. Our proof also generates related examples in different dimensions.
We prove the following results for toric Deligne-Mumford stacks, under minimal compactness hypotheses: the Localization Theorem in equivariant K-theory; the equivariant Hirzebruch-Riemann-Roch theorem; the Fourier--Mukai transformation associated to a crepant toric wall-crossing gives an equivariant derived equivalence.
We give a new proof of the 'Pfaffian-Grassmannian' derived equivalence between certain pairs of non-birational Calabi-Yau threefolds. Our proof follows the physical constructions of Hori and Tong, and we factor the equivalence into three steps by passing through some intermediate categories of (global) matrix factorizations. The first step is global Knoerrer periodicity, the second comes from a birational map between Landau-Ginzburg B-models, and for the third we develop some new techniques.
We consider a set of toric Calabi-Yau varieties which arise as deformations of the small resolutions of type A surface singularities. By careful analysis of the heuristics of B-brane transport in the associated GLSMs, we predict the existence of a mixed braid group action on the derived category of each variety, and then prove that this action does indeed exist. This generalizes the braid group action found by Seidel and Thomas for the undeformed resolutions. We also show that the actions for different deformations are related, in a way that is predicted by the physical heuristics.
We introduce a new class of autoequivalences that act on the derived categories of certain vector bundles over Grassmannians. These autoequivalences arise from Grassmannian flops: they generalize Seidel-Thomas spherical twists, which can be seen as arising from standard flops. We first give a simple algebraic construction, which is well-suited to explicit computations. We then give a geometric construction using spherical functors which we prove is equivalent.
We study the category of perfect cdg-modules over a curved algebra, and in particular the category of B-branes in an affine Landau-Ginzburg model. We construct an explicit chain map from the Hochschild complex of the category to the closed state space of the model, and prove that this is a quasi-isomorphism from the Borel-Moore Hochschild complex. Using the lowest-order term of our map we derive Kapustin and Li's formula for the correlator of an open-string state over a disc.