arXiv subjects
Publications and source records attributed to Vivek Shende.
We establish a homological mirror theorem for the 4-manifolds arising as moduli of (irregular) rank two local systems on the projective line. Specifically, we prove that the Fukaya category of a moduli of such local systems with generic microlocal monodromy at punctures is equivalent to the category of coherent sheaves on the minimal resolution of the corresponding moduli of local systems with trivial microlocal monodromy.
From a generating function for a Legendrian in a $1$-jet bundle, we may extract the following topological information: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former. Here we show that in fact (1), (2), (3) completely classify generating functions up to the classical equivalence relations of stabilization and fiberwise diffeomorphism.
To a noncompact orientable surface with no closed boundary, we associate the sum of Fukaya categories of (Liouville sectors associated to) its symmetric powers. We construct sectorial covers with the combinatorics of the bar resolution to show this association extends to an open 2d topological field theory -- without naming a Lagrangian, let alone a holomorphic disk. In particular, we recover results of Rouquier and Manion on extending Heegaard-Floer theory down to an interval.
For a smooth semi-projective toric Calabi-Yau 3-fold containing no compact surface, we show the count of all-genus holomorphic curves with boundary on a single Aganagic-Vafa brane is annihilated by a skein-valued quantization of the mirror curve, and that this determines the count. We give explicit expressions for the equation and its solution.
In exact symplectic manifolds whose Liouville flow is gradientlike for a proper Morse function, one can associate conic microsheaves to eventually conic exact Lagrangians. Here we study how this 'microsheaf quantization' interacts with composition of Lagrangian correspondences. In particular: these operations commute when the composition is embedded. As an illustration, we show that Lie groups of exact symplectomorphisms act on microsheaf categories. The key technical advance is a version 'in families' of the gappedness criterion for commuting nearby cycles past tensor or Hom.
Given a 3-manifold $M$, and a branched cover arising from the projection of a Lagrangian 3-manifold $L$ in the cotangent bundle of $M$ to the zero-section, we define a map from the skein of $M$ to the skein of $L$, via the skein-valued counting of holomorphic curves. When $M$ and $L$ are products of surfaces and intervals, we show that wall crossings in the space of the branched covers obey a skein-valued lift of the Kontsevich-Soibelman wall-crossing formula. Holomorphic curves in cotangent bundles correspond to Morse flow graphs; in the case of branched double covers, this allows us to give an explicit formula for the the skein trace. After specializing to the case where $M$ is a surface times an interval, and additionally specializing the HOMFLYPT skein to the $\mathfrak{gl}(2)$ skein on $M$ and the $\mathfrak{gl}(1)$ skein on $L$, we recover an existing prescription of Neitzke and Yan.
For operads with a map from the curved homotopy Lie operad, we introduce a corresponding curved variant `cTw' of Willwacher's operadic twisting comonad `Tw'. We show that cTw-coalgebra structures on such an operad are in bijection with certain splittings (not respecting the differential) of the projection to its quotient by the curvature operation. We derive a similar classification of Tw-coalgebras. For the class of operads whose Koszul dual admits a unital extension, we give explicit formulas for the cTw-coalgebra structures on their curved homotopy resolutions, recovering the convolution Lie algebra's ``gauge group action'' of Dotsenko, Shadrin, and Vallette.
On the Coulomb branch of a quiver gauge theory, there is a family of functions parameterized by choices of points in the punctured plane. Aganagic has predicted that Khovanov homology can be recovered from the braid group action on Fukaya-Seidel categories arising from monodromy in said space of potentials. These categories have since been rigorously studied, and shown to contain a certain (combinatorially defined) category on which Webster had previously constructed a (combinatorially defined) braid group action from which the Khovanov homology can be recovered. Here we show, by a direct calculation, that the aforementioned containment intertwines said combinatorially defined braid group action with the braid group action arising naturally from monodromy. This provides a mathematical verification that Aganagic's proposal gives a symplectic construction of Khovanov homology -- with both gradings, and over the integers.
We study the category of nonsymmetric dg operads valued in strict graded-mixed complexes, equipped with a distinguished arity zero weight one element which generates the weight grading, and whose differential has weight one. We show that the initial object is the curved A-infinity operad, that the forgetful functor to the category of operads under it admits a right adjoint, and that the unit of the adjunction encodes the operation of twisting a curved A-infinity algebra by a Maurer-Cartan element. The corresponding notions for symmetric operads characterize the curved L-infinity operad and the corresponding twisting procedure.
We count holomorphic curves in complex 3-space with boundaries on three special Lagrangian solid tori. The count is valued in the HOMFLYPT skein module of the union of the tori. Using 1-parameter families of curves at infinity, we derive three skein valued operator equations which must annihilate the count, and which dequantize to a mirror of the geometry. We show algebraically that the resulting equations determine the count uniquely, and that the result agrees with the topological vertex from topological string theory.
The central fiber of a Gross-Siebert type toric degeneration is known to satisfy homological mirror symmetry: its category of coherent sheaves is equivalent to the wrapped Fukaya category of a certain exact symplectic manifold. Here we show that, in the Calabi-Yau case, the images of line bundles are represented by Lagrangian spheres.
Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a canonical notion of perverse microsheaves on the same class of spaces. Here we provide a Riemann-Hilbert correspondence.
We show: the Floer homology over the Novikov ring of (nonexact!) rational Lagrangians in an (nonexact!) integral symplectic manifold can be computed in terms of exact Lagrangians in an exact filling of the prequantization bundle. As a consequence, we give a Fukaya-sheaf correspondence for rational (nonexact!) Lagrangians in Weinstein manifolds, as conjectured by Ike and the first-named author. We also show that bounding cochains for immersed rational Lagrangians transform naturally under Legendrian isotopy, as conjectured by Akaho and Joyce. As an illustration, we show that quantum cohomology of the complex projective line -- which requires the counting of one holomorphic sphere -- can be recovered from purely sheaf-theoretic calculations.
Homology theories categorifying quantum group link invariants are known to be governed by the representation theory of quiver Hecke algebras, also called KLRW algebras. Here we show that certain cylindrical KLRW algebras, relevant in particular for cylindrical generalizations of link homology theories, can be realized by Lagrangian Floer homology in multiplicative Coulomb branches. This confirms a homological mirror symmetry prediction of the first author.
We construct a class of perturbations of the Cauchy-Riemann equations for maps from curves to a Calabi-Yau threefold. Our perturbations vanish on components of zero symplectic area. For generic 1-parameter families of perturbations, the locus of solution curves without zero-area components is compact, transversely cut out, and satisfies certain natural coherence properties. For curves without boundary, this yields a reduced Gromov-Witten theory in the sense of Zinger. That is, we produce a well defined invariant given by counting only maps without components of zero symplectic area, and we show that this invariant is related to the usual Gromov-Witten invariant by the expected change of variables. For curves with boundary on Maslov zero Lagrangians, our construction provides an `adequate perturbation scheme' with the needed properties to set up the skein-valued curve counting, as axiomatized in our previous work. The main technical content is the construction, over the Hofer-Wysocki-Zehnder Gromov-Witten configuration spaces, of perturbations to which the `ghost bubble censorship' argument can be applied. Certain local aspects of this problem were resolved in our previous work. The key remaining difficulty is to ensure inductive compatibilities, despite the non-existence of marked-point-forgetting maps for the configuration spaces.
We give a `Fukaya category commutes with reduction' theorem for the Hamiltonian torus action on a multiplicative hypertoric variety.
To any open subset of a cotangent bundle, Tamarkin has associated a certain quotient of a category of sheaves. Here we show that the Hochschild cohomology of this category agrees with filtered symplectic cohomology.
Under certain hypotheses, we show that Legendrian surfaces related by disk surgery will have q-deformed augmentation spaces that are related by q-deformed cluster transformation. The proof is geometric, via considerations of moduli of holomorphic curves. In fact, our results naturally give a more general HOMFLYPT "skein-valued cluster transformation", of which the q-cluster transformation is the U(1) specialization. We apply our methods to the Legendrians associated to cubic planar graphs, where mutation of graphs lifts to Legendrian disk surgery. We show that their skein-valued mirrors transform by skein-valued cluster transformation, and give a formula for the skein-valued curve counts on their fillings.