Related papers: Sheaves via augmentations of Legendrian surfaces

We consider a combinatorial reconfiguration problem on a subclass of quadrangulations of surfaces called square-tiled surfaces. Our elementary move is a shear in a cylinder that corresponds to a well-chosen sequence of diagonal flips that…

We study satellites of Legendrian knots in R^3 and their relation to the Chekanov-Eliashberg differential graded algebra of the knot. In particular, we generalize the well-known correspondence between rulings of a Legendrian knot in R^3 and…

Legendrian contact homology (LCH) and its associated differential graded algebra are powerful non-classical invariants of Legendrian knots. Linearization makes the LCH computationally tractable at the expense of discarding nonlinear (and…

We construct a stable homotopy type invariant for any Legendrian submanifold in a jet bundle equipped with a linear-at-infinity generating family. We show that this spectrum lifts the generating family homology groups. When the generating…

In this note we show that $+1$-contact surgery on distinct Legendrian knots frequently produces contactomorphic manifolds. We also give examples where this happens for $-1$-contact surgery. As an amusing corollary we find overtwisted…

The Chekanov-Eliashberg dg-algebra is an algebraic invariant of Legendrian submanifolds of contact manifolds, whose definition recently has been extended to singular Legendrians. We describe a way of constructing simpler models of this…

We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of…

Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a…

There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…

Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…

Any ruled surface in Euclidean 3-space is described as a curve of unit dual vectors in the algebra of dual quaternions (=the even Clifford algebra of type (0,3,1)). Combining this classical framework and Singularity Theory, we characterize…

Suppose $K$ is a knot in a 3-manifold $Y$, and that $Y$ admits a pair of distinct contact structures. Assume that $K$ has Legendrian representatives in each of these contact structures, such that the corresponding Thurston-Bennequin…

We prove Arnol'd's three cusps conjecture about the front of Legendrian curves in the projectivized cotangent bundle of the $2$-sphere. We use the microlocal theory of sheaves of Kashiwara and Schapira and study the derived category of…

Recently proposed 3D object reconstruction methods represent a mesh with an atlas - a set of planar patches approximating the surface. However, their application in a real-world scenario is limited since the surfaces of reconstructed…

We first construct a real family of $SL(2,\mathbb{R})$-invariant symbol composition product $\{\sharp_\theta\}_{\theta\in,\mathbb{R}}$ on the analogue of the Schwartz space $S(\mathbb{D})$ on the hyperbolic plane…

We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X.…

A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…

We prove a Seifert-van Kampen theorem for Legendrian submanifolds and exact Lagrangian cobordisms, and use it to calculate the change in the DGA caused by critical Legendrian ambient surgery.

The property of a surface being developable can be expressed in different equivalent ways, by vanishing Gauss curvature, or by the existence of isometric mappings to planar domains. Computational contributions to this topic range from…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…