Related papers: Third homology of general linear groups

If M is a manifold with an action of a group G, then the homology group H_1(M,Q) is naturally a Q[G]-module, where Q[G] denotes the rational group ring. We prove that for every finite group G, and for every Q[G]-module V, there exists a…

We prove that there is an algorithm which determines whether or not a given 2-polyhedron can be embedded into some integral homology 3-sphere. This is a corollary of the following main result. Let $M$ be a compact connected orientable…

Suppose that R is an ordered ring, G_n(R) is a subsemigroup of $GL_n(R)$, consisting of all matrices with nonnegative elements. A.V. Mikhalev and M.A. Shatalova described all automorphisms of G_n(R), where R is a linearly ordered skewfield…

The quantum $H_3$ integrable system is a 3D system with rational potential related to the non-crystallographic root system $H_3$. It is shown that the gauge-rotated $H_3$ Hamiltonian as well as one of the integrals, when written in terms of…

We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…

In this article, we establish results concerning the cohomology of Zariski dense subgroups of solvable linear algebraic groups. We show that for an irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$, there exists…

Recently is has been proved that if $\sigma\in GL_n(R)$ where $R$ is an commutative ring and $n\geq 3$, then each of the elementary transvections $t_{kl}(\sigma_{ij})~(i\neq j,k\neq l)$ is a product of eight $E_n(R)$-conjugates of $\sigma$…

Let G be a noncyclic group of order 4, and let K be the ring Z of rational integers, the localization of Z at the prime 2 and the ring of 2-adic integers, respectively. We describe, up to conjugacy, all of the indecomposable subgroups in…

The note provides a description of the homology of $GL_3$ over function rings of affine elliptic curves over arbitrary fields, following the earlier work of Takahashi and Knudson in the case $GL_2$. Some prospects for applications to…

Let $p: S\to S_g$ be a finite covering of an orientable closed surface of genus $g$. We prove that, for $g\geq 3$, the rational homology group $H_1(S;{\mathbb Q})$ is generated by cycles supported on simple closed curves $\gamma\subset S$…

Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $k$-automorphisms defined as $h(x_g)=x_{hg}$ for any $g,h\in G$. We denote the fixed field $k(x_g : g\in G)^G$ by $k(G)$. Noether's…

The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and…

We are intereseted in quandles and their enveloping groups. Various results are proven. We show that a quandle $Q$ and its image in the enveloping group $G(Q)$ have isomorphic enveloping groups. The image quandle is injective. For $Q$ a…

We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These…

For an arrangement with complement X and fundamental group G, we relate the truncated cohomology ring, H^{<=2}(X), to the second nilpotent quotient, G/G_3. We define invariants of G/G_3 by counting normal subgroups of a fixed prime index p,…

Let $p\geq5$ be a prime number. Let $L$ be a finite unramified extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_L$ and residue field $\mathbb{F}_q$. Given two Serre weights for $\mathrm{GL}_3(\mathbb{F}_q)$, we prove that in…

We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ;…

Let $R$ be a (not necessarily commutative) ring whose additive group is finitely generated and let $U_n(R) \subset GL_n(R)$ be the group of upper-triangular unipotent matrices over $R$. We study how the homology groups of $U_n(R)$ vary with…

We describe a few properties of the non semi-simple associative algebra H = M_3 + (M_{2|1}(Lambda2))_0, where Lambda2 is the Grassmann algebra with two generators. We show that H is not only a finite dimensional algebra but also a (non…

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…