Related papers: Augmentations are sheaves for Legendrian graphs

Sivek proves a "van Kampen" decomposition theorem for the combinatorial Legendrian contact algebra (also known as the Chekanov-Eliashberg algebra) of knots in standard contact $\R^3$ . We prove an analogous result for the holomorphic curve…

We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition,…

Consider a pair $(X,L)$, of a Weinstein manifold $X$ with an exact Lagrangian submanifold $L$, with ideal contact boundary $(Y,\Lambda)$, where $Y$ is a contact manifold and $\Lambda\subset Y$ is a Legendrian submanifold. We introduce the…

We introduce a new method for ``twisting'' relative equivalences of derived categories of sheaves on two spaces over the same base. The first aspect of this is that the derived categories of sheaves on the spaces are twisted. They become…

We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In…

For $1$-dimensional Legendrian submanifolds of $1$-jet spaces, we extend the functorality of the Legendrian contact homology DG-algebra (DGA) from embedded exact Lagrangian cobordisms, as in \cite{EHK}, to a class of immersed exact…

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 compare two associative algebras which encode the "quantum topology" of Legendrian curves in contact threefolds of product type $S\times\mathbb R$. The first is the skein algebra of graded Legendrian links and the second is the Hall…

We consider Legendrian links and tangles in $J^1S^1$ and $J^1[0,1]$ equipped with Morse complex families over a field $\mathbb{F}$ and classify them up to Legendrian cobordism. When the coefficient field is $\mathbb{F}_2$ this provides a…

Given a Legendrian knot in $(\mathbb{R}^3, \ker(dz-ydx))$ one can assign a combinatorial invariants called ruling polynomials. These invariants have been shown to recover not only a (normalized) count of augmentations but are also closely…

We extend the sutured framework to the case of Legendrians with boundary. Using ideas from Lagrangian Floer theory, we define the cylindrical and the wrapped sutured Legendrian homologies of a pair of sutured Legendrians. They fit together…

A generalised Legendrian rack is a rack equipped with a Legendrian structure, which is a pair of maps encoding the information of Legendrian Reidemeister moves together with up and down cusps in the front diagram of an oriented Legendrian…

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…

We prove that the singular support of an element in the derived category of sheaves is $\gamma$-coisotropic, a notion defined in [Vit22]. We prove that this implies that it is involutive in the sense of Kashiwara-Schapira, but being…

Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is…

Higher-order relations are widespread in nature, with numerous phenomena involving complex interactions that extend beyond simple pairwise connections. As a result, advancements in higher-order processing can accelerate the growth of…

Given a front projection of a Legendrian knot $K$ in $\mathbb{R}^{3}$ which has been cut into several pieces along vertical lines, we assign a differential graded algebra to each piece and prove a van Kampen theorem describing the…

We describe the relationship between the notions of $M$-regular sheaf and $GV$-sheaf in the case of abelian varieties. The former is a natural strengthening of the latter, and we provide an algebraic criterion characterizing it among the…

The notion of an upward plane graph in graph theory and that of a progressive plane graph (or plane string diagram) in category theory are essentially the same thing. In this paper, we combine the ideas in graph theory and category theory…

Let X be a non-empty finite set and alpha a symmetric bilinear form on a real finite dimensional vector space E. We say that a set GG={U_i | i in X} of linear lines in E is an isometric sheaf, if there exist generators u_i of the lines U_i,…