Related papers: Derived Differentiable Manifolds

We introduce a theoretical framework for differentiable surface evolution that allows discrete topology changes through the use of topological derivatives for variational optimization of image functionals. While prior methods for inverse…

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

We develop a family of infinite-dimensional (non-parametric) manifolds of probability measures. The latter are defined on underlying Banach spaces, and have densities of class $C_b^k$ with respect to appropriate reference measures. The case…

We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy…

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 study the shifted analogue of the "Lie--Poisson" construction for $L_\infty$ algebroids and we prove that any $L_\infty$ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures…

This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in…

Let X ->Y be a Zariski locally trivial fibration of smooth complex projective varieties, with fiber F. We give a structure theorem for the derived category of X provided both F and Z have a full strongly exceptional collection of line…

The inhomogeneous Groshev type theory for dual Diophantine approximation on manifolds is developed. In particular, the notion of nice manifolds is introduced and the divergence part of the theory is established for all such manifolds. Our…

It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…

We consider a map $F$ of class $C^r$ with a fixed point of parabolic type whose differential is not diagonalizable and we study the existence and regularity of the invariant manifolds associated with the fixed point using the…

We provide a semiorthogonal decomposition for the derived category of fibrations of quintic del Pezzo surfaces with rational Gorenstein singularities. There are three components, two of which are equivalent to the derived categories of the…

The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…

This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…

We develop further the approach to derived differential geometry introduced in Costello's work on the Witten genus. In particular, we introduce several new examples of L-infinity spaces, discuss vector bundles and shifted symplectic…

We develop a general framework for the construction of various derived brackets. We show that suitably deforming the differential of a graded Leibniz algebra extends the derived bracket construction and leads to the notion of strong…

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

We study the behavior of cohomological support loci of the canonical bundle under derived equivalence of smooth projective varieties. This is achieved by investigating the derived invariance of a generalized version of Hochschild homology.…

Any leafwise connection on a fibre bundle over a foliated manifold is proved to come from a connection on this fibre bundle.

We first prove semi-orthogonal decompositions of derived factorization categories arising from sums of potentials of gauged Landau-Ginzburg models, where the sums are not necessarily Thom--Sebastiani type. We then apply the result to the…