Related papers: Sheaves via augmentations of Legendrian surfaces
We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…
This is the second in a sequence of papers in which we construct Chekanov-Eliashberg algebras for Legendrians in circle-fibered contact manifolds and study the associated augmentation varieties. In this part, we first define the…
Defining cellular sheaves beyond graph structures, such as on simplicial complexes containing higher-dimensional simplices, is an essential and intriguing topic in topological data analysis (TDA) and the development of sheaf neural…
We show that if a Legendrian knot in standard contact ${\bb R}^3$ possesses a generating family then there exists an augmentation of the Chekanov-Eliashberg DGA so that the associated linearized contact homology (LCH) is isomorphic to…
In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a…
Let $L \subset Y$ be a Legendrian submanifold of a contact manifold, $S\subset L$ a framed embedded sphere bounding an isotropic disc $D_S \subset Y \setminus L$, and use $L_S$ to denote the manifold obtained from $L$ by a surgery on $S$.…
A surface $\Sigma \subset S^5 \subset \mathbb{C}^3$ is called \emph{special Legendrian} if the cone $0 \times \Sigma \subset \mathbb{C}^3$ is special Lagrangian. The purpose of this paper is to propose a general method toward constructing…
Let $\Lambda$ be a link of Legendrian spheres in the boundary of a subcritical $2n$-dimensional Weinstein manifold $X$. We show that, under some geometrical assumptions, the computation of the Legendrian contact homology of $\Lambda$ can be…
To any trivalent plane graph embedded in the sphere, Casals and Murphy associate a differential graded algebra (dg-algebra), in which the underlying graded algebra is free associative over a commutative ring. Our first result is the…
This work applies the ideas of persistent homology to the problem of distinguishing Legendrian knots. We develop a persistent version of Legendrian contact homology by filtering the Chekanov-Eliashberg DGA using the action (height)…
To a smooth variety $X$ with simple normal crossings divisor $D$, we associate a sheaf of vertex algebras on $X$, denoted $\Omega^{ch}_{X}(\operatorname{log}D)$, whose conformal weight $0$ subspace is the algebra…
In this short note, we provide a criterion for DGA-homotopy of augmentations of Chekanov-Eliashberg algebra of disconnected Legendrian submanifolds. We apply the criterion to obtain the extension of geography results of Bourgeois and Galant…
We study the dualizability of sheaves on manifolds with isotropic singular supports $\operatorname{Sh}_\Lambda(M)$ and microsheaves with isotropic supports $\operatorname{\mu sh}_\Lambda(\Lambda)$ and obtain a classification result of…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection…
We construct new special Lagrangian submanifolds in complex Euclidean space using a pair of minimal Legendrian submanifolds in odd-dimensional spheres and certain Lagrangian surface belonging to a family that can be considered as a…
We investigate families of Legendrian submanifolds of 1-jet spaces by developing and applying a theory of families of generating family homologies. This theory allows us to detect an infinite family of loops of Legendrian n-spheres embedded…
We introduce a Legendrian invariant built out of the Turaev torsion of generating families. This invariant is defined for a certain class of Legendrian submanifolds of 1-jet spaces, which we call of Euler type. We use our invariant to study…
For an exact Lagrangian cobordism $L$ between Legendrians in $J^1(M)$ from $\Lambda_-$ to $\Lambda_+$ whose Legendrian lift is $\widetilde{L}$, we prove that sheaves in $Sh_{\widetilde{L}}(M \times \mathbb{R} \times \mathbb{R}_{>0})$ are…
We prove that a general hyperplane section of a smooth Legendrian subvariety in a projective space admits Legendrian embedding into another projective space. This gives numerous new examples of smooth Legendrian subvarieties, some of which…