Related papers: De Rham Theorem for L^\infty forms and homology on…

Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…

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…

We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…

We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…

In this note, we show that if $f\colon M\rightarrow X$ is a germ of a projective Lagrangian fibration from a holomorphic symplectic manifold $M$ onto a normal analytic variety $X$ with isolated quotient singularities, then $X$ is smooth. In…

We show that when a simplicial Lie group acts on a simplicial manifold $\{X_*\}$, we can construct a bisimplicial manifold and the de Rham complex on it. This complex is quasi-isomorphic to the equivariant simplicial de Rham complex on…

Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We…

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…

For a simply connected (non-nilpotent) solvable Lie group $G$ with a lattice $\Gamma$ the de Rham and Dolbeault cohomologies of the solvmanifold $G/\Gamma$ are not in general isomorphic to the cohomologies of the Lie algebra $\mathfrak g$…

Let $X$ be a compact K\"ahler manifold. Given a big cohomology class $\{\theta\}$, there is a natural equivalence relation on the space of $\theta$-psh functions giving rise to $\mathcal S(X,\theta)$, the space of singularity types of…

We construct a version of differential $K$-theory based on smooth Banach manifold models for the homotopy types $B \mathrm U\times Z$ and $\mathrm U$ that appear in the topological $K$-theory spectrum. These manifolds carry natural…

We characterize quasihomogeneity of isolated singularities by the injectivity of the map induced by the first differential of the logarithmic differential complex in the top local cohomology supported in the singular point.

We show that the de Rham cohomology of any separated and smooth rigid variety over a field of Laurent series of characteristic zero carries a natural formal meromorphic connection, which we call the Gauss-Manin connection. We compare it…

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…

We give a description of the cohomology groups of the structure sheaf on smooth compactifications $\overline{X}(w)$ of Deligne--Lusztig varieties $X(w)$ for ${\rm GL}_n$, for all elements $w$ in the Weyl group. As a consequence, we obtain…

We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring N_*(X) of a topological space X. This homology theory Eh_* has coefficients Z/2 in every nonnegative…

Let $X$ be a smooth projective $R$-scheme, where $R$ is a smooth $\Z$-algebra. As constructed by Hesselholt, we have the absolute big de Rham-Witt complex $\W\Omega^*_X$ of $X$ at our disposal. There is also a relative version…

We show that, given a projective regular function f on a smooth quasi-projective variety over C, the corresponding cohomology groups of the algebraic de Rham complex with twisted differential d-df and of the complex of algebraic forms with…

In this paper, we define `simplicial GKM orbifold complexes' and study some of their topological properties. We introduce the concept of filtration of regular graphs and `simplicial graph complexes', which have close relations with…

We consider a smooth groupoid of the form \Sigma\rtimes\Gamma where \Sigma is a Riemann surface and \Gamma a discrete pseudogroup acting on \Sigma by local conformal diffeomorphisms. After defining a K-cycle on the crossed product…