Related papers: Prismatic cohomology and de Rham-Witt forms

For each commutative, graded algebra with finite dimension in each degree, we construct a graded cohomology theory for graphs whose graded Euler characteristic is the chromatic polynomial of the graph. This extends our previous work which…

We consider cohomology of diagrams of algebras by Beck's approach, using comonads. We then apply this theory to computing the cohomology of $\Psi$-rings. Our main result is that there is a spectral sequence connecting the cohomology of the…

We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…

We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…

Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of…

We continue to study the logarithmic prismatic cohomology defined by the first author, and complete the proof of the de Rham comparison and \'etale comparison generalizing those of Bhatt and Scholze. We prove these comparisons for a derived…

We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a…

Over a complete Noetherian local domain of mixed characteristic with perfect residue field, we construct a perfectoid ring which is similar to an explicit representation of a perfect closure in positive characteristic. Then we demonstrate…

If M is a riemannian manifold, then the inclusion of the complex of coclosed harmonic forms into the de Rham complex induces a linear isomorphism in cohomology. If M has at most countably many connected components, this linear isomorphism…

Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…

We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural…

Let $k$ be a perfect ring of characteristic $p>0$, and let $R$ be an animated $k$-algebra. This note aims to show that the Nygaard filtered prismatization $R^{\mathrm{Nyg}}$ of $R$ is naturally isomorphic, as a stack over…

We introduce bounded cohomology for (pairs of) groupoids and develop homological algebra to deal with it. We generalise results of Ivanov, Frigerio and Pagliantini to this setting and show that (under topological conditions) the bounded…

A polynomial automorphism of $\mathbb{A}^n$ over a field of characteristic zero is called co-tame if, together with the affine subgroup, it generates the entire tame subgroup. We prove some new classes of automorphisms, including…

The purpose of this paper is to study generalizations of Gamma-homology in the context of operads. Good homology theories are associated to operads under appropriate cofibrancy hypotheses, but this requirement is not satisfied by usual…

Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties…

Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…

In this paper, we introduce the concepts of representation and dual representation for averaging Leibniz algebras. We also develop a cohomology theory for these algebras. Additionally, we explore the infinitesimal and formal deformation…

Consider a complete orientable manifold with countably many components of bounded dimension. Suppose that its rational homology is infinitely generated in some degree. Then there is no choice of weight function for which the natural map…

In [1] we introduced the notion of 'structured space', i.e. a space which locally resembles various algebraic structures. In [2] and [3] we studied some cohomology theories related to these space. In this paper we continue in this…