All Questions
Tagged with gn.general-topology gr.group-theory
124 questions
6
votes
1
answer
237
views
Example similar to the Griffiths twin cone but with fundamental group that allows surjection onto $\mathbb Z$
The Griffiths twin cone is an example of a wedge sum of two contractible spaces being non-contractible. Namely, it is the wedge sum $\mathbb G=C\mathbb H\vee_p C\mathbb H$ of two coni over the ...
6
votes
1
answer
338
views
Topological groups defined by completely disconnected subgroups
Can you define a group topology on a group by specifying which subgroups should be discrete with respect to that topology (where a subgroup $S$ of $G$ is discrete if each $s\in S$ has an open ...
- 345
6
votes
0
answers
371
views
Tensor product of dual groups
Let $G,H$ be compact abelian groups, $G^*,H^*$ be their Pontryagin duals, $G^*\otimes H^*$ the tensor product of $G^*,H^*$ and $K=(G^*\otimes H^*)^*$. Does the group $K$ have a special name? What is ...
5
votes
2
answers
454
views
Is each locally compact group topology on the permutation group discrete?
Question. Is each locally compact group topology on the permutation group $S_\omega$ discrete?
Here $S_\omega$ is the group of all bijections of the countable ordinal $\omega$. A group topology on a ...
- 41.8k
5
votes
2
answers
349
views
Codimension-1 subgroups of 3-manifold groups
Let $G$ be a finitely generated group and let $H$ be a subgroup of $G$. $H$ is a codimension-1 subgroup of $G$ if $C_{G}/H$ has more than one end, where $C_{G}$ is the Cayley graph of $G$.
Do all ...
- 85
5
votes
1
answer
287
views
Extreme amenability of topological groups and invariant means
Recently I'm reading the paper Ramsey–Milman phenomenon, Urysohn metric spaces, and extremely amenable groups by Pestov. When it comes to the definition of an extremely amenable topological group, it ...
- 225
5
votes
2
answers
328
views
Set of topologies on a group making it a compact Hausdorff topological group
Maybe stupid, but from the following well known facts about compact Hausdorff (CH) spaces:
CH topologies on a given set are pairwise incomparible (one is not finer or coarser than the other).
There ...
- 1,031
5
votes
1
answer
2k
views
Proof that the Pontryagin dual of a topological group is a topological group
I'm looking for a proof that the Pontryagin dual $G^*$ of a topological group $G$ is a topological group.
It's very easy to prove that $G^*$ is a group, my troubles are in proving that the map $G^* \...
- 285
5
votes
1
answer
251
views
In a topological group, is $G/A\to G/B$ a covering map if $A$ is open in $B$?
Let $G$ be a (Hausdorff) topological group, let $A,B$ be closed subgroups of $G$ such that $A$ is an open subgroup in $B$. Then we have an open continuous map $f:G/A\to G/B$, with typical fiber $B/A$. ...
- 658
5
votes
0
answers
96
views
$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?
Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
- 605
5
votes
0
answers
249
views
Aspherical space whose fundamental group is subgroup of the Euclidean isometry group
Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
- 661
5
votes
0
answers
316
views
Polish groups with no small subgroups
Definitions.
A Polish group is a topological group $G$ that is homeomorphic to a separable complete metric space.
A group $G$ has no small subgroups if there exists a neighborhood $U$ of the identity ...
- 998
5
votes
0
answers
93
views
Separation of topological group elements by invariant neighbourhooods
Let $G$ be a topological group that is Hausdorff, that is, for every pair $(g,h)$ of distinct elements of $G$, there exist disjoint open sets $U_g$ and $U_h$ such that $g \in U_g$ and $h \in U_h$.
...
- 4,728
5
votes
0
answers
135
views
Possible homogeneity of infinite dimensional Sierpinski carpet analogues?
Start with the Hilbert cube $H=I^\omega$, thinking of its coordinates as written in ternary expansion.
Construct subsets $S_n$ by removing points from $H$ if for any $m$,
at least $n$ of the ...
- 17.6k
5
votes
0
answers
501
views
Profinite topologies
We can define two topologies on a group $G$ by considering all normal subgroups of finite index (resp. of index a finite power of $p$ - where $p$ is a prime) as basis of $1\in G$.
My questions: Under ...
- 51
4
votes
2
answers
292
views
$\mathrm{String}/\mathbb{CP}^{\infty}=\mathrm{Spin}$ or a correction to this quotient group relation
We know that there is a fiber sequence:
$$
\dotsb \to B^3 \mathbb Z \to B \mathrm{String} \to B \mathrm{Spin} \to B^4 \mathbb Z \to \dotsb.
$$
Is this fiber sequence induced from a short exact ...
- 447
4
votes
2
answers
2k
views
Irreducible unitary representations of locally compact groups
Let $G$ be a locally compact group and let $\mu$ be a left Haar measure. We know
that $\mu$ is unique up to a scalar in $\mathbf{R}_{>0}$. I don't know so much about unitary representations of ...
- 7,609
4
votes
1
answer
239
views
Are infinite groups "locally topologizable"?
Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point?
The question is inspired by and related to this ...
- 3,932
4
votes
1
answer
276
views
Shifting the group homology of a topological group?
Let $G$ be a topological group. It has a classifying space $BG$, which has homology groups $H_{*}BG$. Changing the topology of $G$ affects the space $BG$ and hence its homology groups.
For example ...
- 1,150
4
votes
1
answer
348
views
Is there a topologizable group admitting only Raikov-complete group topologies?
Definition. A group $G$ is called complete (resp. non-topologizable) if each Hausdorff group topology on $G$ is Raikov-complete (resp. discrete). It is clear that each non-topologizable group is ...
- 41.8k
4
votes
1
answer
328
views
Is the Cantor set countable dense homogeneous in pairs?
I know that the Cantor set is countable dense homogeneous. My question is: if A,B,C,D are countable dense subsets of the Cantor set such that the pairs A and B and C and D are disjoint, there exists a ...
- 173
4
votes
1
answer
233
views
Profinite groups with isomorphic proper, dense subgroups are isomorphic
I am developing a sort of standard representation for profinite quandles. This involves profinite groups a lot, actually. In one part of my construction the filtered diagram used to construct a ...
- 253
4
votes
1
answer
292
views
Can an abelian group have a minimal group topology?
In the abstract of this paper, it is said that a minimal group topology on an abelian group is not Hausdorff.
Suppose $G$ is an abelian group and $\mathcal T$ is a minimal group topology on $G$ and ...
- 1,145
4
votes
2
answers
382
views
Topology on the hom space between profinite groups
$\DeclareMathOperator\Hom{Hom}$Let $G,H$ be profinite groups. Let $\Hom(G,H)$ be the set of continuous group homomorphisms, equipped with the compact-open topology. I'd like to understand the ...
- 7,527
4
votes
0
answers
97
views
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
The assumption that $ N_G(H)/H $ is finite cannot be weakened ...
- 4,081
4
votes
0
answers
425
views
Non-triviality of map $S^{24} \longrightarrow S^{21} \longrightarrow Sp(3)$
Let $\theta$ be the generator of $\pi_{21}(Sp(3))\cong \mathbb{Z}_3$, (localized at 3).
How to show the composition
$$S^{24}\longrightarrow S^{21}\overset{\theta}\longrightarrow Sp(3)$$
is non-trivial ...
4
votes
1
answer
223
views
Existence of disintegrations for improper priors on locally-compact groups
In wide generality, the disintegration theorem says that Radon probability measures admit disintegrations. I'm trying to understand the case when we weaken this to infinite measures, specifically ...
- 8,512
4
votes
0
answers
74
views
Is each TS-topologizable group TG-topologizable?
Definition 1. A topology $\tau$ on a group $X$ is called
$\bullet$ a semigroup topology if the multiplication $X\times X\to X$, $(x,y)\mapsto xy$, is continuous in the topology $\tau$;
$\bullet$ a ...
- 41.8k
4
votes
0
answers
72
views
When is the submonoid preserving a subspace finitely generated?
Let $T$ be a topological space with at least one open set whose closure is not open.
Let $G$ be a finitely generated group acting by homeomorphisms on $T$. Let $S\subset T$ be a subspace.
Under what ...
- 51
4
votes
0
answers
87
views
Almost invariance in compact quotients of locally compact groups
While trying to get an analogue of Weiss's monotiling result for amenable residually finite groups
in the topological setting, I face the following problem.
Let $G$ be a locally compact amenable ...
4
votes
0
answers
90
views
Topological systems of imprimitivity
Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense.
Here is an attempt to define ...
- 4,728
3
votes
1
answer
342
views
Fundamental group of the grid on $\mathbb{R}^\mathbb{N}$
The grid on $\mathbb{R}^2$ is defined by the set of points such that at most one coordinate is not an integer. With this in mind, e endow $\mathbb{R}^\mathbb{N}$ with the product topology, where $\...
- 48.8k
3
votes
1
answer
267
views
In what sense is every element of $H_2(G)$ "represented by a free action on some surface"
(This is a cross-post of this unanswered math.stackexchange question)
In Edmond's 1982 paper Surface Symmetry II, at the bottom of page 145, he writes:
"Corollary - If $G$ is a split nonabelian ...
- 7,527
3
votes
1
answer
401
views
Action on a compact group
If $G$ is an infinite compact group, how many orbits can $G$ have under the group action of its continuous automorphisms ?
- 1,555
3
votes
2
answers
483
views
When does a LCA group not contain a (closed) infinite cyclic subgroup?
If $G$ is an LCA (locally compact abelian) group, is there any 'nice' sufficient (or preferably necessary and sufficient) criteria for when $G$ does not contain a closed (and hence discrete in the ...
- 3,115
3
votes
2
answers
299
views
Upper density of subsets of an amenable group
Let $G$ be an amenable group (so locally compact Hausdorff) and also assume it is second countable if needed. My question is that what are the standard ways (across literature) of defining the upper ...
- 1,006
3
votes
1
answer
405
views
Topological simplicity and dense subgroups
Let $G$ be a (topologically) simple Hausdorff topological group. Let $H$ be a dense subgroup of $G$. Now throw away the topology. What restrictions are known on the structure of $H$ as an abstract ...
- 4,728
3
votes
0
answers
282
views
Commutator length of the fundamental group of some grope
A popular way to describe a grope as the direct limit $L$ of a nested sequence of compact 2-dimensional polyhedra
$L_0 \to L_1 \to L_2 \to \cdots$
obtained as follows. Take $L_0$ as some $S_g$, an ...
- 2,083
3
votes
0
answers
440
views
Motivation for studying group of homeomorphisms of topological spaces [closed]
Currently I am reading a paper titled "On the Group of Homeomorphisms of an Arc" by N.J Fine and G.E. Schweigert, that was published by Annals of Mathematics in 1955. This paper talks about the group ...
- 428
3
votes
0
answers
501
views
Some counter examples in group theory
In this question, which we flag it as a community wiki question, we search for a big list of groups $G$ which can not be isomorphic to a structure mentioned in $i.$ for some $i \in \{1,2,\ldots,...
2
votes
2
answers
151
views
How to prove that $\phi: \;\mathrm Mod(S_g)\to \mathrm Sp(2g, \mathbb{Z})$ is an epimorphism? [duplicate]
How do I prove that homomorphism $\phi : \; \mathrm{Mod}(S_g)\to \mathrm{Sp}(2g, \mathbb{Z})$ (induced by the action of mapping class group of a surface on integer homologies of a surface) is an ...
2
votes
1
answer
217
views
A variation of closed-subgroup theorem
$\DeclareMathOperator\SO{SO}$Recall that the closed-subgroup theorem (Wikipedia link) says that a closed subgroup of a Lie group is a Lie group.
I am pretty sure that this theorem should have a "...
- 14.3k
2
votes
1
answer
153
views
Every quasicharacter of an open subgroup extends to a quasicharacter on the whole group
Let $H$ be an open subgroup of a locally compact Hausdorff abelian group $G$. Assume that $G/H$ is a finitely generated abelian group. Let $\chi: H \rightarrow \mathbb{C}^{\ast}$ be a continuous ...
- 6,170
2
votes
1
answer
177
views
Syndetically separated topological groups
I am looking for examples for a certain kind of topological groups:
Definition: A topological group G is called syndetically separated if for every compact subset $K \subseteq G \setminus \{1\}$ ...
- 1,498
2
votes
1
answer
265
views
Hausdorff Derived Series
There is a short section in the book Locally Compact Groups by Markus Stroppel (Chapter B7) on the notion of a "Hausdorff Solvable Group", which he defines as a topological group with a descending ...
- 33
2
votes
1
answer
76
views
Haar-$\mathcal{I}$ set and Polish groups
Let $\mathcal{I}$ be a semi-ideal of sets with empty interior on a compact metrizable space $K$. Let an $F_σ$-set $A$ in a Polish group $X$ generically Haar-$\mathcal{I}$.
Then is $A$ always ...
- 1,755
2
votes
1
answer
82
views
Structure of extensions arising in Lie approximation of connected groups
My imperfect understanding is that, by the work of various authors (Gleason, Yamabe, Montgomery, Zippin ...), the following result is known:
Let $G$ be a connected, locally compact, Hausdorff group, ...
- 25.8k
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
222
views
Complete reducibility, in linear algebra and in topology
I thought that this is a simple question and asked it at the Mathematics StackExchange, but I now have to elevate it to MathOverflow.
Consider a representation $A(G)$ of a group $G$ in a vector space $...
- 603
2
votes
0
answers
82
views
Uniquely divisible neighborhoods of identity in topological groups
Let $G$ be a (finite dimensional real) Lie group, and let $A\subset G$ be an open neighborhood of identity. If $A=\operatorname{Exp}(\mathcal{A})$ is the injective range of the exponential map from a ...
- 1,959