All Questions
22 questions
62
votes
9
answers
9k
views
Fundamental groups of noncompact surfaces
I got fantastic answers to my previous question (about modern references for the fact that surfaces can be triangulated), so I thought I'd ask a related question. A basic fact about surface topology ...
- 44.8k
29
votes
2
answers
1k
views
Quillen + construction for finite groups
Is there an example of two non isomorphic finite groups $G$ and $H$ such that $BG^{+}$ is homotopy equivalent to $BH^{+}$ ?
- 1,629
17
votes
1
answer
998
views
Where should I search for computations of group cohomology rings of not-too-complicated finite groups?
A computation I'm trying to make uses as input the cohomology rings of not-too-complicated finite groups in low
degrees, and I'd like to determine where to search for preexisting computations.
...
- 6,881
17
votes
1
answer
575
views
Group cochains invariant under the action of the symmetric group
Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups
$$
C^k = \{f: G^k \to A\}
$$
and the coboundary map
$$
\delta : C^k \to C^{k+1}
$$
$$
(\delta f)(g_1, \ldots, ...
- 12.8k
15
votes
0
answers
716
views
Is this "Homology" useful to study?
In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$.
Now we can ...
- 356
13
votes
3
answers
2k
views
Which groups are LERF?
A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...
- 11.3k
9
votes
1
answer
309
views
Comparing cohomology of a total complex with the cohomology of semidirect product
$\DeclareMathOperator{\Tot}{Tot}$I have the following problem. Let $H$ and $G$ be groups such that $H$ acts on $G$, i.e., there exists a group homomorphism $H\to \mathrm{Aut}(G)$ and let $M$ be an ...
- 1,759
8
votes
1
answer
739
views
Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?
The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH:
In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence
...
- 83
8
votes
1
answer
513
views
Equivariant (co)homology of flag manifolds, convolution algebra and nil hecke algebra?
For a complex reductive group $G$ and its Borel subgroup $B$, it seems to be well-known that the equivariant homology group $H^G_*(G/B\times G/B)$ forms a nil-Heck algebra
$$NH=\Bbbk[y_i,\partial_{j}]...
- 719
6
votes
2
answers
749
views
Explicit computation of the Burnside ring
I would like to see explicit computations of the Burnside ring $A(G)$ when $G$ is a small Abelian group, such as $G=\mathbb{Z}/2,\mathbb{Z}/2^n,\mathbb{Z}/p^n$ where $p$ is an odd prime and $n\...
- 3,173
4
votes
1
answer
328
views
Algebraic K-groups and braids
This is (I think) a reference request:
Are there calculations of any algebraic K-groups for the (group ring of) the Artin braid groups?
- 1,180
4
votes
0
answers
320
views
Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$
Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified.
Is there any characterization of $\Gamma$ such that $\Gamma$...
- 1,441
3
votes
2
answers
343
views
Good, detailed references for "mod p lower central series"
I am looking for good, detailed references for "mod $p$ lower central series".
So far I only find papers such as (https://core.ac.uk/download/pdf/81193793.pdf, https://www.sciencedirect.com/science/...
- 1,229
3
votes
1
answer
608
views
Amenability of Thompson's group looking at a 4-manifold having it as the fundamental group
Just for curiosity I have done a quick web-search and I have seen that some people are studying manifolds with amenable fundamental group. On the other hand, any finitely presented group and then, in ...
- 6,034
3
votes
1
answer
248
views
Identifying group extension from cohomology class of $D_8$
I have the following problem. It is well known that $H^\ast(D_8,\mathbb{Z}/2)\cong \mathbb{F}_2[x,y,w]/(xy=0)$ with $|x|=|y|=1$ and $|w|=2$ (see Adem,Milgram "Cohomology of finite groups"). ...
- 1,759
3
votes
1
answer
426
views
Naturality of the transfer in group cohomology
Let $G$ be a (discrete) group and $H\le G$ a subgroup of finite index. Then there is a transfer map
$$tr\colon\thinspace H^\ast(H;M)\to H^\ast(G;M)
$$
in group cohomology, where $M$ is any $G$-module ...
- 35.9k
3
votes
0
answers
393
views
What about a Cayley n-complex for n>2?
Let $G$ be a finitely presented group. The Cayley graph of the finite generating set is a $1$-complex where the $0$-cells are the elements of $G$ and the $1$-cells are given by the generators (...
3
votes
0
answers
113
views
Have locally principal crossed homomorphisms been studied?
Take a (multiplicative finite) group $H$ acting on the left (by automorphisms) on an (additive finite) abelian group $A$, and recall that the abelian (additive) group of crossed homomorphisms from $H$ ...
- 11.3k
3
votes
0
answers
257
views
Braids with an infinite number of strings
Has anyone developed a theory for braids with an infinite number of strings?
- 1,181
2
votes
1
answer
387
views
Generators of the colored braid group (two colors), reference
I consider the group $B_{n,n}$, the braids, colored in two colors, say all odd strings are black and all even strings are white.
It is easy to find a set of generators for $B_{n,n}$:
$$
\begin{cases}
\...
- 5,063
2
votes
0
answers
1k
views
Lifting of group homomorphisms
I asked this question a few days ago on math stackexchange but didn't get any answer so I thought I post it here too (see here):
In my first course on algebraic topology I heard about the following:
...
- 721
1
vote
1
answer
312
views
Topological Invariants for Group
Let $\mathbf{Grp}$ be the category of groups and $\mathbf{Top}$ be the category of topological spaces. To each group $(G, \circ_G)$, we can associate a topological space $(G,\tau_G)$ the basis for ...
user57432