All Questions
18 questions
7
votes
1
answer
310
views
Homotopy between posets
This is entirely a new area for me and I apologise in advance if the questions are silly.
In Quillen's paper "Homotopy properties of the posets of non-trivial $p$-subgroup of a group" (see ...
- 139
0
votes
0
answers
378
views
Isomorphism of invariants and coinvariants over a field
Let $G$ be a finite group with normal subgroup $N$ acting on a vector space $V$ over a field $k$ in which the order of $N$ is invertible. Denote $H:=G/N$. The composite map $V^N \to V \to V_N$ and $\...
- 617
6
votes
1
answer
316
views
Groups with unusual cohomological dimension of direct product
$\DeclareMathOperator\cd{cd}$Are there any known examples of non-free groups with a property that $\cd(G)+1 = \cd(G \times G)$, or, less restrictive, $G, H$ with $\cd \neq 1, \infty$ such that $\cd(H)+...
- 4,600
8
votes
1
answer
414
views
Augmentation ideal of a free group
If $F$ is a free group then it has cohomological dimension one, which implies that the augmentation ideal $IF=\operatorname{ker}(\epsilon:\mathbb{Z}G\to \mathbb{Z})$ of its group ring is a projective $...
- 35.9k
4
votes
0
answers
164
views
non-abelian tensor products of several groups
R. Brown and J-L. Loday had defined the tensor product of two arbitrary groups acting on each other. Let $G,H$ be groups with actions on each other on the right. each group act on itself by ...
- 479
7
votes
3
answers
586
views
Dimension of classifying space of a group
If $N$ is a normal subgroup of a group $G$ such that $G/N= \mathbb{Z}$. Suppose that the classifying space of $G$ is a finite CW-complex of dimension $n$. Does it follow that the classifying space of $...
- 451
12
votes
1
answer
625
views
Any group is a quotient of an acyclic group?
As far as I know, for any group $G$ there exists an acyclic group $H$ such that $G$ is a subgroup of $H$.
I am wondering about the dual situation. Is any group $A$ a quotient of an acyclic group $B$ ...
- 530
4
votes
0
answers
96
views
When are extensions of algebraically good groups algebraically good?
Let $G$ be a discrete group. The pro-algebraic completion of $G$ is a pro-algebraic group $G^{\mathrm{alg}}$ together with a morphism $s:G\to G^{\mathrm{alg}}$ which is initial among all morphisms ...
- 1,635
4
votes
1
answer
1k
views
First homology group of the general linear group
The abelianization of the general linear group $GL(n,\mathbb{R})$, defined by $$GL(n,\mathbb{R})^{ab} := GL(n,\mathbb{R})/[GL(n,\mathbb{R}), GL(n,\mathbb{R})],$$ is isomorphic to $\mathbb{R}^{\times}$....
- 323
4
votes
0
answers
136
views
Second homology of finitely presented group with free abelianisation
It is known that for a presented group $G=F/N$ we have
$$H_2(G;\mathbb{Z}) \cong \frac{[F,F]\cap N}{[F,N]}.$$
In general, the right side seems to be difficult to calculate. I am in the special ...
- 1,623
3
votes
0
answers
208
views
Cell structure on $B\mathbb{G}$ and the bar resolution of $\mathbb{G}$
Consider $\mathbb{G}$, which can be viewed as a group, as well as a 2-group.
(For example, given a short exact sequence
$$
1 \to BG_2 \to \mathbb{G} \to G_1 \to 1
$$
and the fiber sequence:
$$
B^2G_2 ...
- 10.5k
9
votes
0
answers
439
views
(Torsion in) homology of free nilpotent groups
It is known that for free $k$-step nilpotent group on $r$ generators $N(r, k)$ its integral homology is torsion-free in degrees $\leq 3$ (obvious for 1 and 2, Igusa&Orr computations for 3). ...
- 4,600
7
votes
1
answer
197
views
Homology of a limit of semidirect products
Suppose I have two families of groups $A_k$ and $B_k$ indexed by the natural numbers and suppose $B_k$ acts on $A_k$. Suppose there are groups homomorphisms $A_{k+1} \rtimes B_{k+1} \to A_k \rtimes ...
- 111
0
votes
1
answer
143
views
Trivialize a cup-product 2-cocycle of $G$ in a larger group $J$
I like to ask a simple question: how to trivialize a cup-product 2-cocycle of $G$ into a 2-coboundary of $J$ in a larger group $J$.
Let us take a nontrivial 2-cocycle $\omega_3^G(g_a, g_b) \in H^2(G,\...
- 755
2
votes
1
answer
264
views
Trivialize a cup-product 3-cocycle of $G$ in a larger group $J$
Inspired by this question, let us take a nontrivial 3-cocycle $\omega_3^G(g_a, g_b, g_c) \in H^3(G,\mathbb{R}/\mathbb{Z})$ in the cohomology group of $G$ with $U(1)=\mathbb{R}/\mathbb{Z}$ coefficient. ...
- 755
3
votes
0
answers
100
views
project limit on $n$- simplical complex which is principal homogeneous with respect to an action
The setting:
Let G be compact locally $\Bbb{Q}_p$ analytic group. We fix a countable basis of open normal subgroups $G\supset G_1\supset ...G_r\supset...$
We suppose that we are given a system of ...
- 685
33
votes
3
answers
6k
views
(co)homology of symmetric groups
Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
- 1,589
10
votes
1
answer
855
views
finite complex with non-finitely generated homology with local coefficients
I am looking for an explicit example, if one exists, of a (pointed) finite connected CW-complex $X$ such that some homology group with local coefficients $H_n(X,{\mathbb Z}[\pi_1 X])$ is not a ...
- 6,210