All Questions
Tagged with at.algebraic-topology gr.group-theory
288 questions
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
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
1
answer
359
views
Induced Map on Sp(2g,Z) is surjective
Let Mg be the Mapping Class Group for $S_g$, the genus-g orientable surface, and consider the action of Mg on $H_1(S_g,\mathbb Z)$ sending f in Mg to m in $Sp^2(2g,\mathbb Z)$ through the induced map ...
- 105
2
votes
0
answers
119
views
Crossed homomorphism as morphism in the ambient category
Suppose we are given a crossed-homomorphism $\phi:G\to A$ (and an action $\alpha$ of $G$ on $A$)
$\phi(ab)=\phi(a)+\alpha(a)(\phi(b))$. Now, unless the action is trivial, this is not a homomorphism ...
- 199
2
votes
0
answers
164
views
Triviality of map $(\Sigma \theta)^*$
We know that there is a cofibration sequence
$$S^{4n+1}\xrightarrow{\theta}\Sigma^{4m-1} Q_{n-m} \rightarrow \Sigma^{4m-1} Q_{n-m+1} \rightarrow S^{4n+2}\xrightarrow{\Sigma\theta}\Sigma^{4m} Q_{n-m}.$$...
2
votes
0
answers
84
views
Euler class of extension of free nilpotent groups
Fix some $n \geq 2$. For $k \geq 1$, let $N_k$ be the free $k$-step nilpotent group on $n$ generators, i.e., the quotient of the free group $F_n$ by the $(k+1)^{\text{st}}$ term $\gamma_{k+1}(F_n)$ ...
- 21
2
votes
0
answers
107
views
Homology functors and weak cofibers
I'm looking at a remark in the paper
Kainen, Paul C., "Weak Adjoint Functors", Mathematische Zeitschrift 122 (1971).
It is supposed to prove that generalized homology functors fail to ...
- 81
2
votes
0
answers
65
views
Representing elements of $H_2$ of a group using the bar (or standard) chain complex [duplicate]
Let $G$ be a discrete group, and let $a_1,b_1,\ldots,a_g,b_g \in G$ be elements such that
$$[a_1,b_1] \cdots [a_g,b_g] = 1$$
in $G$. These correspond to a map of a genus-$g$ surface group $\pi_1(\...
- 21
2
votes
0
answers
106
views
Minimal symmetry of a fibre bundle
Let $F \to E \to B$ be a topological fibre bundle with fibre $F$ and base $B$. It can be characterized by a map $B \to BAut(F)$. If it can also be characterized as a map $B \to BG$ (or say $G$ is a ...
- 5,230
2
votes
0
answers
167
views
Any abelian group embeds into a Chow group
Let $G$ be an abelian group. Must there exist a perfect field $k$, a smooth projective geometrically connected $k$-scheme $X$ and an integer $i\geq 0$ such that $G$ embeds into the integral Chow group ...
user164740
2
votes
0
answers
311
views
The subtlety with (an algebraic phrasing of) the Whitehead conjecture?
The Whitehead conjecture states that if $X$ is a $2$-dimensional aspherical simplicial complex and $Y \subset X$ is a connected sub-complex then $Y$ is aspherical. This can be re-phrased in terms of ...
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
2
votes
0
answers
128
views
Divisible fundamental group [duplicate]
I apologize if this question seems trivial or elementary. Is there any concrete topological space with divisible fundamental group? For example, is there any such a space the fundamental group in ...
- 2,233
1
vote
3
answers
553
views
Homomorphisms of the free group $F_n$ to $GL_k(\mathbb{R})$ [closed]
Is there something known about the set of all homomorphisms from the free group on $n$ generators $F_n$ to the real general linear group $GL_k(\mathbb{R})$ modulo conjugation, i.e.
$$
Hom(F_n, GL_k(\...
- 471
1
vote
1
answer
249
views
Name for extension of the symplectic group
Let $S_g$ denote an ortientable surface of genus $g$. Let $\operatorname{Diff}(S_g)$ denote the group of diffeomorphism (that need not fix the orientation). Is there a name for the image of $\...
- 965
1
vote
1
answer
177
views
Intersections of subgroups of surface groups [closed]
Let $\mathcal{S}_g$ denote the fundamental group of an oriented surface of genus $g\ge 2$.
Does $\mathcal{S}_g$ contain subgroups $A$ and $B$ of finite index such that $A\cap B = \lbrace e\rbrace$?
- 35.9k
1
vote
1
answer
156
views
Sufficient Conditions for Free Indecomposability
An interesting fact was relayed to me in another question of mine that
If $M$ is any closed manifold with universal cover homeomorphic to $R^n$ for $n>1$ then $\pi_1(M)$ is freely ...
- 726
1
vote
1
answer
279
views
Ways to prove that $n$-component Brunnian link is nontrivial
The attached image shows a way to construct an $n$-component Brunnian link for any $n\geq 3$. That is, this link is not trivial, but deleting any of its components makes the new link trivial. The ...
- 214
1
vote
2
answers
334
views
Examples of finite polyhedra with finitely generated simple fundamental group
For $n\geq 2$, $P\mathbb{R}^n$ is a simple example of finite polyhedron with finitely generated simple fundamental group. I was wondering if someone could give me an example of a finite polyhedron ...
- 1,182
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
1
vote
0
answers
60
views
Restricted wreath product as fundamental group of a space with coinciding Reidemeister and Nielsen numbers
I am studying a group $\mathbb{Z}_n \wr \mathbb{Z}^k$, where $\wr$ denotes the restricted wreath product:
$$
\mathbb{Z}_n \wr \mathbb{Z}^k = \bigoplus_{x\in\mathbb{Z}^k}(\mathbb{Z_n})_x\rtimes\mathbb{...
- 137
1
vote
0
answers
113
views
Question on models for $EG$ for a $G$-CW complex
I am having trouble finding information on a definition in P. Hanham's PhD thesis paper. recall that given a discrete group $G$ a $G$-CW-complex $X$ is a CW-complex equipped with a topological $G$ ...
- 233
1
vote
0
answers
132
views
Nilpotency of topological groups
A group $G$ is said to be nilpotent if $G$ has a central series of finite length, that is, a series of normal subgroups
$$
\{1\} = G_0 \triangleleft G_1 \triangleleft \cdots \triangleleft G_n = G
$$
...
- 901
1
vote
0
answers
57
views
$\omega$-nilpotent cover of a recurrent surface
Theorem. Any $\omega$-nilpotent cover of a recurrent Riemannian manifold is Liouville.
$\omega$-nilpotent ($\Gamma=\bigcup_{i=1}^{\infty}Z_{i}$, $Z_{i}$ normal in $\Gamma$, where $Z_{n+1}$ maps to ...
- 401
1
vote
0
answers
137
views
Acyclicity of covering space
Suppose we have some 2-dimensional non-aspherical finite CW-complex $K$ with $\pi_1(K)=G$. Is there any sufficient condition on $H\leq G$ (and maybe on the group $G$ itself) which allows to conclude ...
- 1,129
1
vote
0
answers
275
views
Explicitly showing that a free group is LERF [closed]
Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup.
Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...
- 11.3k
1
vote
1
answer
151
views
A formula for isotropy group $\pi_1(G_a)$
Let $G$ be a compact Lie group and $T$ be its maximal tours, and $a\in \mathfrak{g}^*$. and $G_a$ be the isotropy group of $G$ then $T\subset G_a$ and we know that $\pi_1(T)=\mathbb{Z}^n$. My ...
user21574
1
vote
0
answers
112
views
When are graphs of cohomologically complete groups cohomologically complete?
A group $G$ is cohomologically $p$- complete if the canonical map from $G$ to it's pro$-p$ completion $\hat G^p$ induces an isomorphism on cohomology $H^\ast_{cont}(\hat G^p, \mathbb{Z}_p) \rightarrow ...
- 11
1
vote
0
answers
238
views
Twisted homology of free products
Let $G_1$ and $G_2$ be groups and let $M$ be a vector space equipped with actions of $G_1$ and $G_2$. The free product $G_1 \ast G_2$ thus acts on $M$. How can one compute the twisted group homology ...
- 11
1
vote
1
answer
526
views
Discrete subgroups of isometry group of proper metric space
Let $X$ be a proper metric space and consider its isometry group $\mathrm{ISO}(X)$ endowed with the compact-open topology. Let $G$ be a subgroup of $\mathrm{ISO}(X)$.
Consider the following ...
- 13
0
votes
1
answer
676
views
Second homotopy group of the wedge sum of $S^2$ with the presentation complex of a finitely generated group
I am reading a paper which makes the following claim:
let $G$ be a finitely presented group, and let $X$ be the presentation complex of $G$.
Let $X' = X \vee S^2$ be the wedge sum of $X$ with the ...
- 353
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
0
votes
0
answers
220
views
The largest value of $k$ for $\mathbb{Z}^k$ to be embedded in $GL(n,\mathbb{Z})$
This is just a question originated from This conversation (commented by Moishe Kohan). I tried to prove those two assertions but I don't know where to start:
If H is a free abelian subgroup of $SL(n, ...
0
votes
0
answers
194
views
Equivariant cohomology with discrete group action
As far as I know, the equivariant cohomology can be regarded as the generalisation of de Rham cohomology with group action on manifolds. From the literature, the group action is Lie group type. I am ...
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
0
votes
0
answers
163
views
Presentation complex of a finite perfect group and its features
Let $G$ be a finite perfect group and consider $X_G$, its presentation complex. I have the following questions:
Is there any special property of $X_G$ due to the group's perfectness?
What can we say ...
- 1,177
-1
votes
1
answer
421
views
How does the discrete group act on simplicial set level by level
Suppose that we know a discrete group acts on the geometric realization of a simplicial set. Is there some way to understand how the corresponding action works on the simplicial set?
For example, if ...
- 681
-2
votes
1
answer
516
views
no classification of nilpotent lie groups
there is no classification of (simply connected) nilpotent lie groups, but I am tempted to try to generalize the construction of the Heisenberg group. For an upper triangular matrix:
$$ \left(
\...
- 22.8k