Related papers: A 'Darboux theorem' for derived schemes with shift…

Given a degenerate Calabi-Yau variety $X$ equipped with local deformation data, we construct an almost differential graded Batalin-Vilkovisky (dgBV) algebra $PV^{*,*}(X)$, producing a singular version of the extended Kodaira-Spencer…

In the present paper, we establish an equivalence between several models of derived geometry. That is, we show that the categories of higher derived stacks they produce are Quillen equivalent. As a result, we tie together a model of derived…

We construct left and right Calabi-Yau structures on derived respectively singularity categories of symmetric orders $\Lambda$ over commutative Gorenstein rings $R$. For this, we first construct Calabi-Yau structures over $R$ by lifting…

We prove that any perturbation of the symplectic part of the derivative of a Poisson diffeomorphism can be realized as the derivative of a $C^1$-close Poisson diffeomorphism. We also show that a similar property holds for the Poincar\'e map…

We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a…

Darboux developed an ingenious algebraic mechanism to construct infinite chains of ''integrable'' second-order differential equations as well as their solutions. After a surprisingly long time, Darboux's results were rediscovered and…

Let $X$ be an Abelian group of the form $X=\mathbb{R}^m\times K\times D$, where $m\geq 0$, $K$ is a compact totally disconnected group of the special form, $D$ is a discrete group. Let $\xi_i, i=1,2,...,n,n\geq 2,$ be independent random…

This paper studies how the theory of derived algebras (in the sense of Bhatt-Mathew and Raksit) interacts with formal derived geometry, specifically the formal derived stacks which show up in the theory of prismatization. As an application…

We introduce non-smooth symplectic forms on manifolds and describe corresponding Poisson structures on the algebra of Colombeau generalized functions. This is achieved by establishing an extension of the classical map of smooth functions to…

An important subclass of D-branes on a Calabi-Yau manifold, X, are in 1-1 correspondence with objects in D(X), the derived category of coherent sheaves on X. We study the action of the monodromies in Kaehler moduli space on these D-branes.…

We study perturbed Dirac operators of the form $ D_s= D + s\A :\Gamma(E^0)\rightarrow \Gamma(E^1)$ over a compact Riemannian manifold $(X, g)$ with symbol $c$ and special bundle maps $\A : E^0\rightarrow E^1$ for $s>>0$. Under a simple…

Given a compact oriented manifold of dimension $n$ with a conically smooth stratification, we show that the moduli of $\mathcal{D}(k)$-valued constructible sheaves and the moduli of perverse sheaves are $(2-n)$-shifted Lagrangian. The…

This paper is an attempt to better understand Tamarkin's approach of classical non-displaceability theorems of symplectic geometry, based on the microlocal theory of sheaves, a theory whose main features we recall here. If the main theorems…

Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a…

We prove a version of the tamely ramified geometric Langlands correspondence in positive characteristic for $GL_n(k)$. Let $k$ be an algebraically closed field of characteristic $p> n$. Let $X$ be a smooth projective curve over $k$ with…

We prove an analogue of Lowrey--Sch\"urg's algebraic Spivak's theorem when working over a base ring $A$ that is either a field or a nice enough discrete valuation ring, and after inverting the residual characteristic exponent $e$ in the…

Following the types-as-sets paradigm, we present a mechanized embedding of dependent function types with a hierarchy of universes into schematic first-order logic with equality, with axiom schemas of Tarski-Grothendieck set theory. We carry…

We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by…

This is the second paper in a series on intrinsic Donaldson-Thomas theory, a framework for studying the enumerative geometry of general algebraic stacks. In this paper, we present the construction of Donaldson-Thomas invariants for general…

We introduce a notion of coisotropics on 1-shifted symplectic Lie groupoids (i.e. quasi-symplectic groupoids) using twisted Dirac structures and show that it satisfies properties analogous to the corresponding derived-algebraic notion in…