Related papers: Derived Differentiable Manifolds

We study when a smooth variety $X$, embedded diagonally in its Cartesian square, is the zero scheme of a section of a vector bundle of rank $\dim(X)$ on $X\times X$. We call this the diagonal property (D). It was known that it holds for all…

We give detailed exposition of modern differential geometry from global coordinate independent point of view as well as local coordinate description suited for actual computations. In introduction, we consider Euclidean spaces and different…

For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over de Rham DG-algebras. Positselski proved that for a smooth…

Motivated by the representation theory of symplectic reflection algebras, deformed preprojective algebras, and graded Hecke algebras, we consider filtered algebras $U$ whose associated graded is Koszul. The Koszul dual of $U$, as defined by…

For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived…

Deep generative models learn a mapping from a low dimensional latent space to a high-dimensional data space. Under certain regularity conditions, these models parameterize nonlinear manifolds in the data space. In this paper, we investigate…

The present document is the draft of a book which presents an introduction to infinite-dimensional differential geometry beyond Banach manifolds. As is well known the usual calculus breaks down in this setting. Hence, we replace it by the…

We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan…

One way to geometrically encode the singularities of a stratified pseudomanifold is to endow its interior with an iterated fibred cusp metric. For such a metric, we develop and study a pseudodifferential calculus generalizing the…

We construct the differential geometry of smooth manifolds equipped with an algebraic curvature map acting as an area measure. Area metric geometry provides a spacetime structure suitable for the discussion of gauge theories and strings,…

Using standard analysis only, we present an extension ${^\bullet\R}$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Differential…

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

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…

We introduce and study the notion of \emph{equivariant homotopic distance} $D_G(f,g)$ between $G$-maps $f,g \colon X \to Y$. We show that the equivariant Lusternik-Schnirelmann category and the equivariant topological complexity are…

We construct positive-genus analogues of Welschinger's invariants for many real symplectic manifolds, including the odd-dimensional projective spaces and the renowned quintic threefold. In some cases, our invariants provide lower bounds for…

We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

Let Bun_G be the moduli space of G-bundles on a smooth complex projective curve. Motivated by a study of boundary conditions in mirror symmetry, D. Gaiotto associated to any symplectic representation of G a Lagrangian subvariety of the…

The theory of derivators enhances and simplifies the theory of triangulated categories. In this article a notion of fibered (multi-)derivator is developed, which similarly enhances fibrations of (monoidal) triangulated categories. We…