Related papers: The Universal de Rham/Spencer Double Complex on a …
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its…
We recently introduced a notion of tilings of geometric realizations of finite relative simplicial complexes and related those tilings to the discrete Morse theory of R. Forman, especially when they have the property of being shellable, a…
We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincar\'e duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and…
On any Calabi-Yau manifold X one can define a certain sheaf of chiral N=2 superconformal field theories, known as the chiral de Rham complex of X. It depends only on the complex structure of X, and its local structure is described by a…
Let X be a smooth complex algebraic variety with the Zariski topology, and let Y be the underlying complex manifold with the complex topology. Grothendieck's algebraic de Rham theorem asserts that the singular cohomology of Y with complex…
Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S.…
We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…
Let M be a compact Riemannian manifold equipped with a parallel differential form \omega. We prove a version of Kaehler identities in this setting. This is used to show that the de Rham algebra of M is weakly equivalent to its subquotient…
The theory of intersection spaces assigns cell complexes to certain stratified topological pseudomanifolds depending on a perversity function in the sense of intersection homology. The main property of the intersection spaces is Poincar\'e…
In this work, following the Discrete de Rham (DDR) paradigm, we develop an arbitrary-order discrete divdiv complex on general polyhedral meshes. The construction rests 1) on discrete spaces that are spanned by vectors of polynomials whose…
We introduce and study the notion of atomic sheaves and complexes on higher-dimensional hyper-K\"ahler manifolds and show that they share many of the intriguing properties of simple sheaves on K3 surfaces. For example, we prove formality of…
We discuss the properties of complex manifolds having rational homology of $S^1 \times S^{2n-1}$ including those constructed by Hopf, Kodaira and Brieskorn-van de Ven. We extend certain previously known vanishing properties of cohomology of…
Given a domain $\Omega \subset \mathbb{R}^n$, the de Rham complex of differential forms arises naturally in the study of problems in electromagnetism and fluid mechanics defined on $\Omega$, and its discretization helps build stable…
Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…
For a scheme X, we construct a sheaf C of complexes on X such that for every quasi-compact open subset U of X, C(U) is quasi-isomorphic to the Hochschild complex of the scheme U. Since C is moreover acyclic for taking sections on…
We examine the geometry of loop spaces in derived algebraic geometry and extend in several directions the well known connection between rotation of loops and the de Rham differential. Our main result, a categorification of the geometric…
For a Nash submersion $\phi\colon X\to Y$, we study the complex $\mathcal{SDR}(\phi)$ of Schwartz sections of the relative de Rham complex of $\phi$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and…
Given a complex manifold S, we introduce for each complex manifold X a t-structure on the bounded derived category of C-constructible complexes of O_S-modules on X x S. We prove that the de Rham complex of a holonomic D_{XxS/S}-module which…
We study the cohomology (cocycles) of Lie superalgebras for the generalised complex of forms: superforms, pseudoforms and integral forms. We argue that these cocycles might be interpreted in the light of a new brane scan as generators of…
We prove a criterion for determining whether the normalization of a complex analytic space on which the constant sheaf is perverse is a rational homology manifold, using a perverse sheaf known as the multiple-point complex. This perverse…