Related papers: Generators for Group Homology and a Vanishing Conj…

Given a finitely presented group $G$, Hopf's formula expresses the second integral homology of $G$ in terms of generators and relators. We give an algorithm that exploits Hopf's formula to estimate $H_2(G;k)$, with coefficients in a finite…

Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the…

It is a longstanding conjecture that for a finite group $G$, the exponent of the second homology group $H_2(G, \mathbb{Z})$ divides the exponent of $G$. In this paper, we prove this conjecture for $p$-groups of class at most $p$, finite…

In this paper, we compute the second mod $2$ homology of an arbitrary Artin group, without assuming the $K(\pi,1)$ conjecture. The key ingredients are (A) Hopf's formula for the second integral homology of a group and (B) Howlett's result…

A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…

We extend the decomposition conjecture to 2d quantum field theories with a gauged $\text{Rep}(H)$ symmetry category for $H$ a finite-dimensional semisimple Hopf algebra with $\text{Rep}(G)$ trivially-acting and $\text{Vec}(\Gamma)$ the…

We generalize the theory of the second invariant cohomology group $H^2_{\rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that…

The two parameter quantum group G_r,s is generated by five elements, four of which form a Hopf subalgebra isomorphic to GL_q(2), while the fifth generator relates G_r,s to GL_p,q(2). We construct explicitly the dual algebra of G_r,s and…

This is an old paper put here for archeological purposes. We derive a general formula expressing the second homology of a Lie algebra of the form L\otimes A with coefficients in the trivial module through homology of $L$, cyclic homology of…

Given a finite group $G$. The generating pair $(H,a)$ of $G$, that is, $H<G$ and $a\in G$ such that $\langle a,H\rangle=G$. In this paper, we introduce the definition of FF-subgroup to characterize the generating pairs of the symmetric…

We use the Hopf fibration to explicitly compute generators of the second homotopy group of the flag manifolds of a compact Lie group. We show that these $2$-spheres have nice geometrical properties such as being totally geodesic surfaces…

We examine second bounded cohomology and mod p homology in finite index subgroups of 1-relator groups and groups with a presentation of deficiency at least one. We use this to determine exactly which 1-relator groups are boundedly…

We give formulas for the second and third integral homology of an arbitrary finitely generated Coxeter group, solely in terms of the corresponding Coxeter diagram. The first of these calculations refines a theorem of Howlett, while the…

We give a new technique for constructing presentations by generators and relations for representations of groups like $SL_n(\mathbb{Z})$ and $Sp_{2g}(\mathbb{Z})$. Our results play an important role in recent work of the authors calculating…

In this paper, we compute the second integral homology of even Artin groups using Hopf's formula. We then apply our results to the computation of cup products and Pontryagin products on even Artin groups, as well as to the second integral…

Let G be an exceptional Lie group with a maximal torus T. Based on Schubert calculus on the flag manifold G/T we have described the integral cohomology ring H*(G) by explicitely constructed generators in [DZ2], and determined the structure…

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…

For a prime $p$, let $\hat F_p$ be a finitely generated free pro-$p$-group of rank $\geq 2$. We show that the second discrete homology group $H_2(\hat F_p,\mathbb Z/p)$ is an uncountable $\mathbb Z/p$-vector space. This answers a problem of…

We address the following question. For which finitely generated pro-$p$ groups the comparison map $\phi^2:H_{cont}^{2}(P,\F_p) \to H_{disc}{2}(P,\F_p)$ is an isomorphism? We prove that if $P$ is not finitely presented then $\phi^2$ is not…

Let G be an exceptional Lie group with a maximal torus T. Based on common properties in the Schubert presentation of the cohomology ring H*(G/T;F_{p}) DZ1, and concrete expressions of generalized Weyl invariants for G over F_{p}, we obtain…