Related papers: Augmentations are Sheaves

Using the Riemann Hypothesis over finite fields and bounds for the size of spherical codes, we give explicit upper bounds, of polynomial size with respect to the size of the field, for the number of geometric isomorphism classes of…

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…

Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…

Given a Legendrian knot $\Lambda \subset \mathbb{R}^3$ and a vertical line dividing the front projection of $\Lambda$ into two halves, we construct a differential graded algebra associated to each half-knot. We then show that one may obtain…

We give a conjectural formula for sheaves supported on (irreducible) conormal varieties inside the cotangent bundle of the Grassmannian, such that their equivariant $K$-class is given by the partition function of an integrable loop model,…

For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given…

An associative algebra is nothing but an odd quadratic codifferential on the tensor coalgebra of a vector space, and an A-infinity algebra is simply an arbitrary odd codifferential. Hochschild cohomology classifies the deformations of an…

We show that any equivalence of bounded derived categories of coherent sheaves on a smooth projective complex variety supported in a closed algebraic subset preserves the dimension of the support in two cases: (i) the restriction of the…

Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…

In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…

We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based…

Given a Lagrangian cobordism $L$ of Legendrian submanifolds from $\Lambda_-$ to $\Lambda_+$, we construct a functor $\Phi_L^*: Sh^c_{\Lambda_+}(M) \rightarrow Sh^c_{\Lambda_-}(M) \otimes_{C_{-*}(\Omega_*\Lambda_-)} C_{-*}(\Omega_*L)$…

For a Legendrian link $\Lambda \subset J^1M$ with $M = \mathbb{R}$ or $S^1$, immersed exact Lagrangian fillings $L \subset \mbox{Symp}(J^1M) \cong T^*(\mathbb{R}_{>0} \times M)$ of $\Lambda$ can be lifted to conical Legendrian fillings…

Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories…

Looking at the finite \'etale congruence covers $X(p)$ of a complex algebraic variety $X$ equipped with a variation of integral polarized Hodge structures whose period map is quasi-finite, we show that both the minimal gonality among all…

Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem of of distributive bounded lattices expanded by modalities (functions distributing over joins) as the continuous sections of sheaves. Our…

We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…

To develop a constructive description of $\mathrm{Ext}$ in categories of coherent sheaves over certain schemes, we establish a binatural isomorphism between the $\mathrm{Ext}$-groups in Serre quotient categories $\mathcal{A}/\mathcal{C}$…

We give a generalization of the theorem of Bondal and Orlov about the derived categories of coherent sheaves on intersections of quadrics revealing its relation to projective duality. As an application we describe the derived categories of…

This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…