Related papers: Homologies of inverse limits of groups

We carefully present an elementary proof of the well known theorem that each homotopy group (or, in degree zero, pointed set) of the inverse limit of a tower of fibrations maps naturally onto the inverse limit of the homotopy groups (or, in…

For an infinite field $F$, we study the kernel of the map $H_{n}(\mathrm{GL}_{n-1}(F),\mathbb{Z}\Big[\frac{1}{(m-2)!}\Big]) \to H_{n}(\mathrm{GL}_{n}(F),\mathbb{Z}\Big[\frac{1}{(m-2)!}\Big])$ and the cokernel of…

Let f: S'--> S be a finite and faithfully flat morphism of locally noetherian schemes of constant rank n > 1 and let G be a smooth, commutative and quasi-projective S-group scheme with connected fibers. Under certain restrictions on f and…

This paper is a continuation of [BaSh], where we studied the behaviour of the abelianization functor under inverse limits. Our main result in [BaSh] was that if $\mathcal{T}$ is a countable directed poset and $G:\mathcal{T}\to\mathcal{G}…

Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H^1(R, S) --> H^1(R, G) is…

The category of topological spaces endowed with two marked points is equipped with two families $\mathbf F_n$ and $\mathbf H_n$ of functors to the category of abelian groups, indexed by a nonnegative integer $n$: namely, the functor…

We develop a unified framework based on topological crossed modules for various lifting obstructions for $\Gamma$-kernels. It allows us to identify actions, cocycle actions and $\Gamma$-kernels up to their natural equivalence relations with…

The abelianization is a functor from groups to abelian groups, which is left adjoint to the inclusion functor. Being a left adjoint, the abelianization functor commutes with all small colimits. In this paper we investigate the relation…

Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the…

Let $L/F$ be a finite Galois extension of number fields with an arbitrary Galois group $G$. We give an explicit description of the kernel of the natural map on motivic tame kernels $H^2_{\mathcal{M}}(o_L, {\bf Z}(i))_{G} {\rightarrow}…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

A map between connected $2$-manifolds has a geometric kernel if it sends a non-contractible simple loop to a null-homotopic loop. While every non-$\pi_1$-injective map between compact surfaces admits a geometric kernel, this generally fails…

Let G be a linear algebraic group defined over a field k. We prove that, under mild assumptions on k and G, there exists a finite k-subgroup S of G such that the natural map H^1(K, S) -> H^1(K, G) is surjective for every field extension…

Let M be a closed surface other than the sphere or projective plane. Goldberg defined a natural homomorphism from the n-stranded pure braid group of M to the n-fold product of the fundamental group of M and showed that the kernel of the…

Recall that a homomorphism of $R$-modules $\pi: G\to H$ is called a {\it cellular cover} over $H$ if $\pi$ induces an isomorphism $\pi_*: \Hom_R(G,G)\cong \Hom_R(G,H),$ where $\pi_*(\varphi)= \pi \varphi$ for each $\varphi \in \Hom_R(G,G)$…

Farrell and Hsiang noticed that the geometric surgery groups defined By Wall, Chapter 9, do not have the naturality Wall claims for them. They were able to fix the problem by augmenting Wall's definitions to keep track of a line bundle. The…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Let G be a semisimple Lie group with associated symmetric space D, and let Gamma subset G be a cocompact arithmetic group. Let L be a lattice inside a Z Gamma-module arising from a rational finite-dimensional complex representation of G.…

Let $S$ be a compact Riemann surface and $G$ a group of conformal automorphisms of $S$ with $S_0 = S/G$. $S$ is a finite regular branched cover of $S_0$. If $U$ denotes the unit disc, let $\Gamma$ and $\Gamma_0$ be the Fuchsian groups with…

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…