Related papers: Logarithmic Prismatic Cohomology I
We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…
The rational homology of unordered configuration spaces of points on any surface was studied by Drummond-Cole and Knudsen. We compute the rational cohomology of configuration spaces on a closed orientable surface, keeping track of the mixed…
We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…
We provide a new description of logarithmic topological Andr\'e-Quillen homology in terms of the indecomposables of an augmented ring spectrum. The new description allows us to interpret logarithmic TAQ as an abstract cotangent complex, and…
Topological data analysis has emerged as a powerful tool for analyzing large-scale data. An abstract simplicial complex, in principle, can be built from data points, and by using tools from homology, topological features could be…
We produce a criterion for open sets in projective $n$-space over a separably closed field to have \'etale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which \'etale cohomological dimension is…
We investigate $p$-adic cohomologies of log rigid analytic varieties over a $p$-adic field. For a log rigid analytic variety $X$ defined over a discretely valued field, we compute the Kummer pro-\'etale cohomology of…
In this paper, we study etale cohomologies of quadrics over R. An element in the etale cohomology is called algebraic, if it is in the image of the cycle map from the Chow ring. In this paper, we compute the etale cohomology of norm…
The study of the homology of diagram algebras has emerged as an interesting and important field. In many cases, the homology of a diagram algebra can be identified with the homology of a group. In this paper we have two main aims. Firstly,…
We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is…
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the…
In this paper we study sheaves of logarithmic arithmetic differential operators on a particular semistable model of the projective line. The main result here is that the first cohomology group of these sheaves is non-torsion. We also…
Let $\alpha=(A_g,\alpha_g)_{g\in G}$ be a group-type partial action of a connected groupoid $G$ on a ring $A=\bigoplus_{z\in G_0}A_z$ and $B=A\star_{\alpha}G$ the corresponding partial skew groupoid ring. In the first part of this paper we…
We give a method for computing factorization homology of $\oper{E}_n$-algebra using as an input an algebraic version of higher Hochschild homology due to Pirashvili. We then show how to compute higher Hochschild homology and cohomology when…
The aim of this paper is to lay the foundations for the cohomological study of Bruhat-Tits group schemes over a semi-local Dedekind ring. In particular, we obtain a simplified proof of the Grothendieck-Serre conjecture in this case and also…
We compute the quantum cohomology rings of the partial flag manifolds F_{n_1\cdots n_k}=U(n)/(U(n_1)\times \cdots \times U(n_k)). The inductive computation uses the idea of Givental and Kim. Also we define a notion of the vertical quantum…
The notion of pre-Leibniz algebras was recently introduced in the study of Rota-Baxter operators on Leibniz algebras. In this paper, we first construct a graded Lie algebra whose Maurer-Cartan elements are pre-Leibniz algebras. Using this…
In 1989, Faltings proved the comparison theorem between \'etale cohomology and crystalline cohomology by studying Fontaine-Faltings modules and crystalline representations. In his paper, he mentioned these modules and representations can be…
For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…