Related papers: Computing Cohomology Rings in Cubical Agda

We define a noncommutative analogue of invariant de Rham cohomology. More precisely, for a triple $(A,\mathcal{H},M)$ consisting of a Hopf algebra $\mathcal{H}$, an $\mathcal{H}$-comodule algebra $A$, an $\mathcal{H}$-module $M$, and a…

We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module…

In this paper we determine the rational homotopy type of the classifying space of a generic Kac-Moody group by computing its rational cohomology ring. As an application we determine the rational homology Hopf algebra of the generic…

Huayi Chen introduces the notion of an approximable graded algebra, which he uses to prove a Fujita-type theorem in the arithmetic setting, and asked if any such algebra is the graded ring of a big line bundle on a projective variety. This…

In his work on defining the pointed set B(G) for all local and global fields, Kottwitz introduced certain Galois gerbes and considered their 'algebraic' cohomology with values in algebraic groups. However, the gerbes so constructed are only…

We compute the cohomology ring $H^*(U,\mathbb{Z}/n\mathbb{Z})$ for $U=X\setminus S$ where $X$ is the spectrum of the ring of integers of a number field $K$ and $S$ is a finite set of finite primes. As a consequence, we obtain an efficient…

In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type

Staic defined symmetric cohomology of groups and studied that the secondary symmetric cohomology group is corresponding to group extensions and the injectivity of the canonical map from symmetric cohomology to classical cohomology. In this…

An abelian arrangement is a finite set of codimension one abelian subvarieties (possibly translated) in a complex abelian variety. In this paper, we study the cohomology of the complement of an abelian arrangement. For unimodular abelian…

A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…

In this paper homotopical methods for the description of subgroups determined by ideals in group rings are introduced. It is shown that in certain cases the subgroups determined by symmetric product of ideals in group rings can be described…

Electromagnetic modeling provides an interesting context to present a link between physical phenomena and homology and cohomology theories. Over the past twenty-five years, a considerable effort has been invested by the computational…

A real toric space is a topological space which admits a well-behaved $\mathbb{Z}_2^k$-action. Real moment-angle complexes and real toric varieties are typical examples of real toric spaces. A real toric space is determined by a pair of a…

We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant…

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…

We study the cohomology and hence $K$-theory of the aperiodic tilings formed by the so called 'cut and project' method, i.e., patterns in $d$ dimensional Euclidean space which arise as sections of higher dimensional, periodic structures.…

We describe a Hopf ring structure on the direct sum of the cohomology groups $\bigoplus_{n \geq 0} H^* \left( W_{B_n}; \mathbb{F}_2 \right)$ of the Coxeter groups of type $B_n$, and an almost-Hopf ring structure on the direct sum of the…

A homology and cohomology theory for topological quandles are introduced. The relation between these (co)homology groups and quandle (co)homology groups are studied. The 1 - topological quandle cocycles are used to compute state sum…