Related papers: Differential graded manifolds of finite positive a…

We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…

Behrend, Liao, and Xu showed that differential graded (DG) manifolds of positive amplitude forms a category of fibrant objects. In particular, this ensures that notion of derived intersection -- more generally, homotopy fibre product -- is…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

We provide descriptions of the derived categories of degree $d$ hypersurface fibrations which generalize a result of Kuznetsov for quadric fibrations and give a relative version of a well-known theorem of Orlov. Using a local generator and…

For a finite group $D$, we study categorical factorisation homology on oriented surfaces equipped with principal $D$-bundles, which `integrates' a (linear) balanced braided category $\mathcal{A}$ with $D$-action over those surfaces. For…

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and…

We construct a noncommutative geometry with generalised `tangent bundle' from Fell bundle $C^*$-categories ($E$) beginning by replacing pair groupoid objects (points) with objects in $E$. This provides a categorification of a certain class…

In this paper, we relate Lie algebroids to Costello's version of derived geometry. For instance, we show that each Lie algebroid $L$-and the natural generalization to dg Lie algebroids-provides an (essentially unique) $L_\infty$ space. More…

We define formal exponential maps for any graded manifold as maps from the formal tangent bundle (that we also define) into the graded manifold. We show that each such map uniquely determines and is determined by its associated Grothendieck…

A braided tensor category $FM_{\kappa}$ of `factorizable D-modules' over configuration spaces is introduced, analogous to the category $FS_q$ of factorizable sheaves from q-alg/9604001. This category is equivalent to the category of finite…

In classical field theory, the composite fibred manifolds Y -> Z -> X provides the adequate mathematical formulation of gauge models with broken symmetries, e.g., the gauge gravitation theory. This work is devoted to connections on…

Let M be a simply-connected closed manifold and consider the (ordered) configuration space of $k$ points in M, F(M,k). In this paper we construct a commutative differential graded algebra which is a potential candidate for a model of the…

Generalizing deformation quantizations with separation of variables of a K\"ahler manifold $M$, we adopt Fedosov's gluing argument to construct a category $\mathsf{DQ}$, enriched over sheaves of $\mathbb{C}[[\hbar]]$-modules on $M$, as a…

We prove a filtered version of the Homotopy Transfer Theorem which gives an A-infinity algebra structure on any page of the spectral sequence associated to a filtered dg-algebra. We then develop various applications to the study of the…

We show that almost nonnegatively curved m-dimensional manifolds are, up to finite cover, nilpotent spaces in the sense of homotopy theory and have C(m)-nilpotent fundamental groups. We also show that up to a finite cover almost…

In the context of commutative differential graded algebras over $\mathbb Q$, we show that an iteration of "odd spherical fibration" creates a "total space" commutative differential graded algebra with only odd degree cohomology. Then we…

Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…

We show that the functor which assigns to an A-infinity morphism between isotopy classes of A-infinity algebras whose linear part is a chain homotopy equivalence its underlying chain map is a discrete Grothendieck bifibration. We then…

Given a vector bundle $A\to M$ we study the geometry of the graded manifolds $T^*[k]A[1]$, including their canonical symplectic structures, compatible Q-structures and Lagrangian Q-submanifolds. We relate these graded objects to classical…

We study deformation theory of elliptic fibre bundles over curves in positive characteristics. As applications, we give examples of non-liftable elliptic surfaces in charactertic two and three, which answers a question of Katsura and Ueno.…