Search arXivSearch

arXiv subjects

Vivek Shende

Publications and source records attributed to Vivek Shende.

At least 19 recordsLinked to original sources

Counting bare curves

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.

math.SG

A universal characterization of the curved homotopy Lie and associative operads

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.

math.AT

Sheaf quantization in Weinstein symplectic manifolds

Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant under Weinstein homotopy.

math.SG

Mirror symmetry for the Painlevé character varieties

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.

math.SG

A topological classification of generating functions

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.

math.SG

Skeins on Branes

We study 1-parameter families of holomorphic curves with Lagrangian boundary in Calabi-Yau 3-folds. We show that the expected codimension one phenomena can be organized to match the HOMFLYPT skein relations from quantum topology. It follows that counting holomorphic curves by the class of their boundaries in the skein module of the Lagrangian gives a deformation invariant result. This is a mathematically rigorous incarnation of Witten's assertion that boundaries of open topological strings create line defects in Chern-Simons theory. Using this theory, we rigorously establish the following prediction of Ooguri and Vafa: the coefficients of the HOMFLYPT polynomial of a link in the three-sphere count the holomorphic curves in the resolved conifold, with boundary on (a push-off of) the link conormal.

math.SG

Topological algebra of symplectic geometry of symmetric powers

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.

math.SG

On Fukaya categories and prequantization bundles

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.

math.SG

Perverse Microsheaves

On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure.

math.SG

Operadic twisting as an adjunction

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.

math.AT

Skein-valued mirror curves for toric CY3 strips

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.

math.SG

Microsheaf composition of Lagrangian correspondences

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.

math.SG

Skein traces from curve counting

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.

math.SG

Aganagic's invariant is Khovanov homology

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.

math.SG

The microlocal Riemann-Hilbert correspondence for complex contact manifolds

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.

math.SG

Adjoints, wrapping, and morphisms at infinity

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone between right and left adjoints of the localization functor. In particular, this recovers the following result of Ganatra--Gao--Venkatesh: morphisms in categorical formal punctured neighborhoods of wrapped Fukaya categories are computed by Rabinowitz wrapping.

math.SG

On the Hochschild cohomology of Tamarkin categories

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.

math.SG

Microsheaves from Hitchin fibers via Floer theory

Fix a non-stacky component of the moduli of stable Higgs bundles, on which the Hitchin fibration is proper. We show that any smooth Hitchin fiber determines a microsheaf on the global nilpotent cone, that distinct fibers give rise to orthogonal microsheaves, and that the endomorphisms of the microsheaf is isomorphic to the cohomology of the Hitchin fiber. These results are consequences of recent advances in Floer theory. Natural constructions on our microsheaves provide plausible candidates for Hecke eigensheaves for the geometric Langlands correspondence.

math.SG