Related papers: $\mathrm{H}^4(\mathrm{Co}_0;\mathbf{Z}) = \mathbf{…

We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories…

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 prove that H^{d-1}(SL_n Z; Q) = 0, where d = n-choose-2 is the cohomological dimension of SL_n Z, and similarly for GL_n Z. We also prove analogous vanishing theorems for cohomology with coefficients in a rational representation of the…

We describe computational results about undirected graphs having $10$ vertices and automorphism group isomorphic to $\mathbb{Z}/4\mathbb{Z}$.

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…

In a previous paper [3] we computed cohomology groups H^5 (Gamma_0 (N), \C), where Gamma_0 (N) is a certain congruence subgroup of SL (4, \Z), for a range of levels N. In this note we update this earlier work by extending the range of…

An A-infinity algebra is given by a codifferential on the tensor coalgebra of a (graded) vector space. An associative algebra is a special case of an A-infinity algebra, determined by a quadratic codifferential. The notions of Hochschild…

In this note we prove that the fouth bounded cohomology of non-abelian free groups with trivial real coefficients is non-zero. In order to prove this, we establish a splitting argument whose simplest form is as follows: Let $M$ denote an…

Hexagon relations are algebraic realizations of four-dimensional Pachner moves, and there are hexagon relations admitting nontrivial cohomologies and leading thus to piecewise linear (PL) 4-manifold invariants. We show that some - but not…

We show that the topological Pontryagin classes are algebraically independent in the rationalised cohomology of BTop(d) for all $d \geq 4$.

We prove that the automorphism group of a compact hyperk\"ahler manifold of dimension 4 acts faithfully on the cohomology ring.

We define a 1-cocycle in the space of long knots that is a natural generalization of the Kontsevich integral seen as a 0-cocycle. It involves a 2-form that generalizes the Knizhnik--Zamolodchikov connection. We show that the well-known…

The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the…

For J an integral domain and F its field of fractions, we construct a map from the 3-skeleton of the classifying space for {\Gamma} = SL_2(J[t,1/t]) to a Euclidean building on which {\Gamma} acts. We then find an infinite family of…

We show that if $G$ is a cograph, that is $P_4$-free, then for any graph $H$, $\gamma(G\square H)\geq \gamma(G)\gamma(H)$. By the characterization of cographs as a finite sequence of unions and joins of $K_1$, this result easily follows…

We construct some analog of cubical Bloch's higher Chow groups. Instead of considering cycles in $X\times\mathbb A^n$ we consider varieties $Y$ over $X$ together with a distinguished element in the $n$-th exterior power of the…

We compute the graded rank of the cohomology of the hyperplane complement associated with a quaternionic reflection group, and observe that it factors into irreducible factors with positive integer coefficients. For an irreducible group,…

We calculate the deformed and non-deformed cohomological Hall algebra (CoHA) of the preprojective algebra for the case of cyclic quivers by studying the Kontsevich-Soibelman CoHA and using tools from cohomological Donaldson-Thomas theory.…

The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a…

In this short note, we show that the cohomology of an algebra entwined with a coalgebra as defined by T. Brzezi\'nski (J. Algebra 235 (2001), no. 1, 176--202; arXiv:math.RA/9909108) computes the Hochschild cohomology of the subalgebra of…