Related papers: Grauert's direct image theorem via superconnection…

A classical result in differential geometry due to Lichnerowicz [8] is concerned with the decomposition of the square of Dirac operators defined by Clifford connections on a Clifford module ${\cal E}$\ over a Riemannian manifold $M$.…

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,…

Using techniques from the homotopy theory of derived categories and noncommutative algebraic geometry, we establish a general theory of derived microlocalization for quantum symplectic resolutions. In particular, our results yield a new…

We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…

In this article we are interested in the differential geometric properties of certain higher direct images of exterior powers of the sheaf of relative differentials twisted with a line bundle. We obtain explicit curvature formulas,…

Finding appropriate notions of discrete holomorphic maps and, more generally, conformal immersions of discrete Riemann surfaces into 3-space is an important problem of discrete differential geometry and computer visualization. We propose an…

We show that the higher direct images of smooth commutative group schemes from the Kummer log flat site to the classical flat site are torsion. For (1) smooth affine commutative schemes with geometrically connected fibers, (2) finite flat…

Given some vector fields on a smooth manifold satisfying H\"ormander's condition, we define a bi-graded pseudo-differential calculus which contains the classical pseudo-differential calculus and a pseudo-differential calculus adapted to the…

In the previous paper [GLM2018], we showed that the theory of harmonic maps between Riemannian manifolds may be discretized by introducing triangulations with vertex and edge weights on the domain manifold. In the present paper, we study…

We study obstructions to a direct limit preserving right exact functor $F$ between categories of quasi-coherent sheaves on schemes being isomorphic to tensoring with a bimodule. When the domain scheme is affine, or if $F$ is exact, all…

Let $\mathscr{G}$ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb{C}$, excluding the absolutely special case of $A_{2\ell}^{(2)}$. Using the methods and results of Zhu, we prove a…

We prove that the bounded derived category of coherent sheaves on a smooth projective complex variety reconstructs the isomorphism classes of fibrations onto smooth projective curves of genus $g\geq 2$. Moreover, in dimension at most four,…

The Image-Computing Spectral Sequence computes the homology of the image of a finite map from the alternating homology of the multiple point spaces of the map. A related spectral sequence was obtained by Gabrielov, Vorobjob and Zell which…

Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain…

We reexamine from first principles the classical Goldberg-Sachs theorem from General Relativity. We cast it into the form valid for complex metrics, as well as real metrics of any signature. We obtain the sharpest conditions on the…

We develop numerical homotopy algorithms for solving systems of polynomial equations arising from the classical Schubert calculus. These homotopies are optimal in that generically no paths diverge. For problems defined by hypersurface…

We propose an intersection-theoretic method to reduce questions in genus zero logarithmic Gromov-Witten theory to questions in the Gromov-Witten theory of smooth pairs, in the presence of positivity. The method is applied to the enumerative…

This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic…