Related papers: Complexes of differential forms and singularities:…

Let $\widehat{\mathcal{G}}^{(\lambda)}$ be a formal group scheme which deforms $\widehat{\mathbb{G}}_a$ to $\widehat{\mathbb{G}}_m$. And let $\psi^{(l)}:\widehat{\mathcal{G}}^{(\lambda)}\rightarrow\widehat{\mathcal{G}}^{(\lambda^{p^l})}$ be…

We construct some version of the trace morphism between the Du Bois complexes, with applications towards the behavior of the local cohomological dimension and some Hodge theoretic aspects of singularities under finite morphisms.

We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant…

The Dolbeault resolution of the sheaf of holomorphic vector fields $Lie$ on a complex manifold $M$ relates $Lie$ to a sheaf of differential graded Lie algebras, known as the Fr\"olicher-Nijenhuis algebra $g$. We establish - following B. L.…

We study the higher secant varieties of a smooth projective variety embedded in projective space. We prove that when the variety is a surface and the embedding line bundle is sufficiently positive, these varieties are normal with Du Bois…

In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…

We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…

We study sheaves of differential forms and their cohomology in the h-topology. This allows to extend standard results from the case of smooth varieties to the general case. As a first application we explain the case of singularities arising…

We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the…

We study the additivity of various geometric invariants involved in Reimann-Roch type formulas and defined via the trace map. To do so in a general context we prove that given any Grothendieck category A, the derived category D(A) has a…

We prove a formula for the structure sheaf of a quiver variety in the Grothendieck ring of its embedding variety. This formula generalizes and gives new expressions for Grothendieck polynomials. We furthermore conjecture that the…

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…

We realize a graded variant $K_0(Var_k^{dim})$ of the Grothendieck ring of varieties as a quadratic extension of the subring $K_0(Var_k^{sp})$ spanned by classes of smooth and proper varieties. As such, there exists a natural involution…

We prove that the triviality of the Galois action on the suitably twisted odd-dimensional \'etale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field…

We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…

We consider a filtration on the cohomology of the structure sheaf indexed by (not necessarily reduced) divisors ``at infinity''. We show that the filtered pieces have transfers morphisms, fpqc descent, and are so called cube invariant. In…

In the present paper we investigate the question about the injectivity of the map F(R) --> F(K) induced by the canonical inclusion of a local regular ring of geometric type R to its field of fractions K for a homotopy invariant functor F…

We prove invariance results for the cohomology groups of ideal sheaves of simple normal crossing divisors under (a restricted class of) birational morphisms of pairs in arbitrary characteristic, assuming a conjecture regarding the existence…

In this note, using Cluckers-Loeser's theory of motivic integration, we prove the integral identity conjecture with framework a localized Grothendieck ring of varieties over an arbitrary base field of characteristic zero.

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…