All Questions
Tagged with gr.group-theory gn.general-topology
124 questions
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 $\...
- 7,193
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^* \...
- 105k
0
votes
1
answer
98
views
Is every subgroup closed in this complete, nondiscrete topological group?
Another question on Mathoverflow (here: Complete topological groups in which all subgroups are closed) asks if there exists a complete, nondiscrete topological group $G$ such that all subgroups of $G$...
- 11.4k
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
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 ...
CommunityBot
- 1
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 ...
- 12.9k
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
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
0
votes
0
answers
51
views
Approximating open subset of profinite group by union of cosets of ideal
I am trying to understand the proof of Theorem 1.3 in this paper by poonen. Poonen refers to Lemma 20 in a different paper. He claims that the open subset $U_P \subseteq \hat{\mathcal{O}}_P$ can be ...
- 1
14
votes
2
answers
502
views
Near permutation $n\mapsto n+1$ not conjugate to its inverse on the Stone-Čech remainder?
Let $\beta\omega$ be the Stone-Čech compactification of the discrete infinite countable space $\omega$, and $\beta^*\omega=\beta\omega\smallsetminus \omega$ is the Stone-Čech remainder.
The map $j:n\...
- 18.5k
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}.$$...
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
0
votes
0
answers
70
views
A cellular automaton with an image that is not closed
Let $G$ be a non-locally finite periodic group and let $V$ be an infinite-dimensional vector space over a field $\mathbb{F}$. Does there exist a nontrivial topology on $V^G$ and a linear cellular ...
- 883
8
votes
1
answer
181
views
Stone-topological/profinite equivalence for quandles
A quandle $(Q,\triangleleft,\triangleleft^{-1})$ is a set $Q$ with two binary operations $\triangleleft,\triangleleft^{-1}:Q\times Q\to Q$ such that the following hold for all $x,y,z\in Q$:
(Q1) ...
- 38.6k
0
votes
0
answers
96
views
Idempotent conjecture and (weak) connectivity of (a reasonable) dual group
What is an example of a torsion free discrete abelian group $G$ whose dual space $\hat{G}$ is not a path connected space?
The Motivation: The motivation comes from the idempotent conjecture of ...
- 356
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 ...
- 63.9k
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 ...
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 ...
- 4,713
0
votes
0
answers
123
views
Classification of closures of additive subgroups of $\mathbb{R}^n$
If $G$ is an additive subgroup of the real numbers $\mathbb{R}$ and $\overline{G}$ is the topological closure of $G$ then either
$\overline{G} = a \cdot \mathbb{Z}$ for some $a \in \mathbb{R}$, or
$\...
- 63.9k
9
votes
1
answer
410
views
On a result by Rubin on elementary equivalence of homeomorphism groups and homeomorphisms of the underlying spaces
In the known paper On the reconstruction of topological spaces from their group of homeomorphisms by Matatyahu Rubin several deep reconstruction theorems of the form "if $X$ and $Y$ are ...
- 56
18
votes
1
answer
3k
views
Proper discontinuity and existence of a fundamental domain
I am currently teaching a topics course where I talk about some discrete groups acting properly. A student asked a very basic question that stumped me: what is the precise relationship between proper ...
- 31.2k
16
votes
1
answer
502
views
Group actions and "transfinite dynamics"
$\DeclareMathOperator\Sym{Sym}$I have a question about what I shall name here "transfinite dynamics" because it involves iterating a topological dynamical system $G \curvearrowright X$ ...
- 4,265
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
7
votes
0
answers
138
views
The smallest cardinality of a cover of a group by algebraic sets
$\DeclareMathOperator\cov{cov}$A subset $A$ of a semigroup $X$ is called algebraic if $$A=\{x\in X: a_0xa_1x...xa_n=b\}$$ for some $b\in X$ and $a_0,a_1,...,a_n \in X^1=X\cup \{1\}$. The smallest ...
- 41.8k
3
votes
2
answers
300
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 ...
- 63.9k
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
32
votes
1
answer
2k
views
A group allowing exactly 7 group topologies
Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{\text{trivial}}, \mathcal T_{\text{discrete}}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with
$$...
- 21.2k
18
votes
7
answers
2k
views
Superfluous definitions
It is well known that the axioms of a ring R with unity 1 imply that the underlying group must be commutative.
For if a and b are elements of R, and writing + for the group operation then applying ...
- 4,713
6
votes
1
answer
535
views
Finite *covering* groups that act freely on some sphere
A remarkable result (reviewed here) -- going back, at least, to P. A. Smith, developed by Cartan & Eilenberg and Milnor, and culminating in the theorem of Madsen, Thomas & Wall -- ...
- 148k
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
1
vote
1
answer
235
views
Group structure on the strip
Let $X$ is a strip between two different parallel lines $a$ and $b$ on a plane ($a,b\subset X$) and $h(x)=\min\limits_{l\in \{a,b\}}\{d(x,l)\}$.
Let $(X,*)$ be a topological group with the following ...
- 41.8k
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
18
votes
0
answers
1k
views
What is the strongest nerve lemma?
The most basic nerve lemma can be found as Corollary 4G.3 in Hatcher's Algebraic Topology:
If $\mathcal U$ is an open cover of a paracompact space $X$ such that every nonempty intersection of ...
- 81
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
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 "...
- 9,722
-8
votes
1
answer
351
views
Are there overwhelmingly more finite monoids than finite spaces? [closed]
A function $f:\mathbb{Z}_{\geq 1}\to\mathbb{Z}_{\geq 1}$ overwhelms $g:\mathbb{Z}_{\geq 1}\to\mathbb{Z}_{\geq 1}$ if for any $k\in \mathbb{Z}_{\geq 1}$ the inequality $f(n)\leq g(n+k)$ holds only for ...
- 38.6k
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
0
votes
0
answers
152
views
Left-side cosets of an open subgroup
Let $G$ be a topological group and $H$ its closed subgroup. $K$ and $L$ are open subgroups of $G$ and $H$ respectively. Let $g_{1}, g_{2}\in G$. We assume $L\cap g_{1}K\neq \emptyset$ and $L\cap g_{2}...
- 63.9k
8
votes
1
answer
509
views
About locally compact groups without compact subgroups
Is every Hausdorff, locally compact group that does not contain any non-trivial compact group, finitely dimensional?
- 63.9k
9
votes
2
answers
902
views
Are locally compact, Hausdorff, locally path-connected topological groups locally Euclidean?
Is every locally compact, Hausdorff, locally path-connected topological group $G$ locally Euclidean? (That would imply of course also being a Lie group.) Is it true when countable basis is assumed? I ...
- 12.3k
9
votes
2
answers
505
views
A natural $\mathbb Q\times \mathbb P$ subset of $\mathbb R$?
I would like a simple description of a dense subset of $\mathbb R$ which is homeomorphic to $\mathbb Q\times \mathbb P$. Preferably the description will be of an algebraic nature, and perhaps the set ...
- 4,862
15
votes
1
answer
512
views
fundamental groups of complements to countable subsets of the plane
This question is a follow-up of this MSE post and a comment by Henno Brandsma:
Question 1. Let $S$ be the set of isomorphism classes of fundamental groups $\pi_1(E^2 - C)$, where $C$ ranges over all ...
- 7,193
11
votes
2
answers
578
views
Homeomorphisms vs Borel automorphisms
Let $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ be the groups of homeomorphic and Borel automorphisms of a space $M$, respectively.
Question: Are $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ ...
- 63.9k
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 ...
- 52.6k
11
votes
1
answer
992
views
Why are homeomorphism groups important?
For a compact metric space $X$ let $\mathcal H(X)$ denote the set of homeomorphisms in the compact-open topology (also generated by sup metric). It is known that $\mathcal H(X)$ is a Polish ...
- 7,583
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
-2
votes
1
answer
131
views
$G$- space is locally compact [closed]
Suppose $X$ is a topological space ,$G$ Is a locally compact group.If the quotient space $G\backslash X$ is compact,can we deduce that $X$ is locally compact?
- 31.5k
27
votes
3
answers
3k
views
A question about subsets of plane
Is there a subset $X$ of plane with two points $x, y$ such that each one of $X \setminus \{x\}$, $X \setminus \{y\}$ is isometric to $X$? I tried hard to construct a counterexample but failed.
Sorry ...
- 63.9k
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, ...
- 63.9k
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