Related papers: Computing Cohomology Rings in Cubical Agda
We define cup coproducts for Hopf cyclic cohomology of Hopf algebras and for its dual theory. We show that for universal enveloping algebras and group algebras our coproduct recovers the standard coproducts on Lie algebra homology and group…
In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic…
Tate cohomology has been generalised by several authors using different constructions that have applications in group theory, ring theory and homotopical algebra. Therefore, there is a need for a uniform account that explains why their…
We interpret the complexes defining rack cohomology in terms of a certain differential graded bialgebra. This yields elementary algebraic proofs of old and new structural results for this cohomology theory. For instance, we exhibit two…
Real numbers in constructive mathematics have always seemed to require compromises of one form or another. Classical proofs of Cauchy completeness require countable choice, Bishop's setoid construction introduces persistent bookkeeping…
For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and…
We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by…
In this paper we study the Hochschild cohomology ring of convolution algebras associated to orbifolds, as well as their deformation quantizations. In the first case the ring structure is given in terms of a wedge product on twisted…
Structural pattern recognition describes and classifies data based on the relationships of features and parts. Topological invariants, like the Euler number, characterize the structure of objects of any dimension. Cohomology can provide…
We study the multiplicative structure of orbifold Hochschild cohomology in an attempt to generalize the results of Kontsevich and Calaque-Van den Bergh relating the Hochschild and polyvector field cohomology rings of a smooth variety. We…
We develop a theory of abstract arithmetic Chow rings where the role of the fibers at infinity is played by a complex of abelian groups that computes a suitable cohomology theory. This theory allows the construction of many variants of the…
We define the Hochschild (co)homology of a ringed space relative to a locally free Lie algebroid. Our definitions mimic those of Swan and Caldararu for an algebraic variety. We show that our (co)homology groups can be computed using…
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting…
In this paper, we study cohomology rings and cohomological pairings over Abelian symplectic quotients of special Hamiltonian tori manifolds. The Hamiltonian group actions appear in quantum information theory where the tori are maximal tori…
The main goal of this article is to study the cohomology rings and their applications of moment-angle complexes associated to Gorenstein* complexes, especially, the applications in combinatorial commutative algebra and combinatorics. First,…
For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$.…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…
As a part of our program for Geometric Arithmetic, we develop an arithmetic cohomology theory for number fields using theory of locally compact groups.
We compute the \'etale $\mathbb{G}_m$-cohomology of some $p$-adic rigid analytic Stein spaces. The computation is done by considering the filtration induced by the subgroup of principal units $U=1+ \mathfrak{m} \mathcal{O}^+$ of…
Let $X(P,\lambda)$ be a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $\lambda$. Assuming that $X(P,\lambda)$ is locally smooth over a vertex of $P$, we determine the integral cohomology ring…