Related papers: Computing Cohomology Rings in Cubical Agda

Magnitude homology was introduced by Hepworth and Willerton in the case of graphs, and was later extended by Leinster and Shulman to metric spaces and enriched categories. Here we introduce the dual theory, magnitude cohomology, which we…

In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into…

Given an acyclic twisting cochain $\pi:C\to A$, from a curved dg coalgebra $C$ to a dg algebra $A$, we show that the associated twisted hom complex $\mathrm{Hom}^\pi_k(C,A)$ has cohomology equal to the Hochschild cohomology of $A$, as a…

Torus manifolds are topological generalization of smooth projective toric manifolds. We compute the rational cohomology ring of a class of smooth locally standard torus manifolds whose orbit space is a connected sum of simple polytopes.

Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of…

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov…

This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision,…

Bihom-associative algebras have been recently introduced in the study of group hom-categories. In this paper, we introduce a Hochschild type cohomology for bihom-associative algebras with suitable coefficients. The underlying cochain…

Let $G$ be the fundamental group of a sapphire that admits the Sol geometry and is not a torus bundle. We determine a finite free resolution of $\mathbb{Z}$ over $\mathbb{Z}G$ and calculate a partial diagonal approximation for this…

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 compute the cohomology rings of smooth real toric varieties and of real toric spaces, which are quotients of real moment-angle complexes by freely acting subgroups of the ambient 2-torus. The differential graded algebra we present is in…

We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…

Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In…

In this paper we compute homotopical bordism rings $MU^G_*$ for abelian compact Lie groups G, giving explicit generators and relations. The key constructions are operations on equivariant bordism which should play an important role in…

The main objective of this paper is to provide a theory for computing the Hochschild cohomology of algebras arising from a linear category with finitely many objects and zero compositions. For this purpose, we consider such a category using…

We study the interaction between various analytification functors, and a class of morphisms of rings, called homotopy epimorphisms. An analytification functor assigns to a simplicial commutative algebra over a ring $R$, along with a choice…

We examine the integral cohomology rings of certain families of $2n$-dimensional orbifolds $X$ that are equipped with a well-behaved action of the $n$-dimensional real torus. These orbifolds arise from two distinct but closely related…

We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…

A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…

The real singular cohomology ring of a homogeneous space $G/K$, interpreted as the real Borel equivariant cohomology $H^*_K(G)$, was historically the first computation of equivariant cohomology of any nontrivial connected group action.…