Related papers: A pro-\'etale-to-de Rham comparison theorem for cu…

We show how the Z_p(r)-cohomologies of a smooth projective algebraic variety can be obtained via its de Rham-Witt complex.

We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie…

It is well known that the Eisenbud-Goto regularity conjecture is true for arithmetically Cohen-Macaulay varieties, projective curves, smooth surfaces, smooth threefolds in $\mathbb{P}^5$, and toric varieties of codimension two. After J.…

This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…

We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize using $n$-stacks the notion of shape underlying this…

Toric varieties are a special class of rational varieties defined by equations of the form {\it monomial = monomial}. For a good brief survey of the history and role of toric varieties see [10]. Any toric variety $X$ contains a cover by…

We present a deRham model for Chen-Ruan cohomology ring of abelian orbifolds. We introduce the notion of \emph{twist factors} so that formally the stringy cohomology ring can be defined without going through pseudo-holomorphic orbifold…

Over a smooth projective toric variety we study toric sheaves, that is, reflexive sheaves equivariant with respect to the acting torus, from a polyhedral point of view. One application is the explicit construction of the torus invariant…

Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a…

Let $\mathbf{B}_{\mathrm{dR}}^{+, \dagger} \subset \mathbf{B}_{\mathrm{dR}}^{+}$ be the ``convergent" de Rham period ring which is the (un-completed) stalk at the de Rham point of the Fargues--Fontaine curve. We develop a Tate--Sen…

We prove that the singular cohomology with finite coefficients of a finite-dimensional Stein space $S$ is isomorphic to the \'etale cohomology of the Stein algebra $\mathcal{O}(S)$. We deduce that any class in $H^k(S,\mathbb{Z})$ comes from…

Let X be a smooth projective curve over a field k of characteristic zero. The differential fundamental group of X is defined as the Tannakian dual to the category of vector bundles with (integrable) connections on X. This work investigates…

We give a simple geometric characterization of the locus where the inscribed Banach--Colmez Tangent Spaces of moduli of mixed characteristic local shtukas with one leg and fixed determinant are connected. We conjecture that the structure…

The theorem of Barth-Lefschetz is a statement about the cohomology of a submanifold X of some projective space, in a range depending on the codimension of the embedding. Here this is generalized to the case of a submanifold X of a smooth…

In this article, we prove the Hodge conjecture for a desingularization of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed odd degree determinant over a very general irreducible nodal curve of genus at least 2. We…

We establish a positive characteristic analogue of intersection cohomology theory for variations of Hodge structure. It includes: a) the de Rham-Higgs comparison theorem for the intersection de Rham complex; b) the $E_1$-degeneration…

Given an affine toric variety $X$ embedded in a smooth variety, we prove a general result about the mixed Hodge module structure on the local cohomology sheaves of $X$. As a consequence, we prove that the singular cohomology of a proper…

If $X$ is a smooth projective variety over ${\mathbb R}$, the Hodge ${\mathcal D}$-conjecture of Beilinson asserts the surjectivity of the regulator map to Deligne cohomology with real coefficients. It is known to be false in general but is…

We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are…