Related papers: Presentations of representations
We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely…
We give presentations, in terms of the generators and relations, for the reflection equation algebras of type $GL_n$ and $SL_n$, i.e., the covariantized algebras of the dual Hopf algebras of the small quantum groups of $\mathfrak{gl}_n$ and…
We show for g > 6 that the second homology group of the Torelli group of a surface of genus g and 1 boundary component is generated as an Sp(2g,Z)-module by the image under the stabilization map of the second homology group of the Torelli…
We obtain a presentation of Schur algebras (and q-Schur algebras) by generators and relations which is compatible with the usual presentation of the enveloping algebra (quantized enveloping algebra) corresponding to the Lie algebra gl(n) of…
Generalizing classical extension theory, we solve a Schreier-type extension problem for polygroups by groups. As a consequence, we obtain a method for computing a presentation for a group from its action on a set. The usefulness of this…
An idea to present a classical Lie group of positive dimension by generators and relations sounds dubious, but happens to be fruitful. The isometry groups of classical geometries admit elegant and useful presentations by generators and…
A practical approach is proposed to construct short presentations for Euclidean crystallographic groups in terms of generators and relations. For our purposes a short presentation is the one with a small number of short relators for a given…
We introduce L-presentations: group presentations given by a generating set, a set of relations and a set of substitution rules on the generating set producing more relations. We first study in full generality the structure of finitely…
We give a presentation of the plane Cremona group over an algebraically closed field with respect to the generators given by the Theorem of Noether and Castelnuovo. This presentation is particularly simple and can be used for explicit…
A method to construct in explicit form the generators of the simple roots of an arbitrary finite-dimensional representation of a quantum or standard semisimple algebra is found. The method is based on general results from the global theory…
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…
We study the topological components of the surface group representations into $\mathrm{SL}(2,\mathbb{R})$ and $\mathrm{PSL}(2,\mathbb{R})$. Utilizing the signature formula established in [14], we determine the number of connected components…
In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all "separating twists", all "bounding pair maps", and all "commutators of simply…
The purpose of this paper is to provide an octonionic description of the Lie group $SL(2,{\mathbb O})$. The main result states that it can be obtained as a free group generated by invertible and determinant preserving transformations from…
In the previous article we introduced the new concept of mixed representations of quivers and described the generators of their algebras of invariants. In this article we describe the defining relations of these algebras. Some applications…
Kuz'min (1996) characterized groups having Wirtinger presentations in relation to their second group homology. In this paper, we further refine the relation between these groups and their second group homology.
Letting $G=F/R$ be a finitely-presented group, Hopf's formula expresses the second integral homology of $G$ in terms of $F$ and $R$. Expanding on previous work, we explain how to find generators of $H_2(G;\mathbb{F}_p)$. The context of the…
A real representation $\pi$ of a finite group may be regarded as a homomorphism to an orthogonal group $\Or(V)$. For symmetric groups $S_n$, alternating groups $A_n$, and products $S_n \times S_{n'}$ of symmetric groups, we give criteria…
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…
The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic…