Questions tagged [topological-groups]
A topological group is a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).
756 questions
2
votes
0
answers
25
views
Given a metric space $X$, is there a natural way to view the quasi-isometry group $QI(X)$ as a topological group?
Given a metric space $(X,d)$, we define $QI(X)$ as the set of quasi-isometries $f : X \to X$, modulo the equivalence relation
$$
f \sim g \ \ \ \ \text{ if and only if } \ \ \ \sup_{x \in X} \ d(f(x)...
- 629
13
votes
1
answer
852
views
Mistake on article about Bohr compactification?
$\DeclareMathOperator\b{b}\newcommand\B{{\operatorname B}}$I wish to get help understanding the content of two theorems of [Iva] that seem mutually contradictory. First some context. Let $\b(\mathbb{R}...
- 11.4k
6
votes
0
answers
76
views
About path-connected components of the Bohr compactification of $\mathbb{R}^d$
Let ${\rm b}(\mathbb{R}^d)$ denote the Bohr compactification of $\mathbb{R}^d$, with $d\in\mathbb{N}$. This is the Pontryagin dual of the group $\mathbb{R}^d_d$, corresponding to $\mathbb{R}^d$ with ...
- 193
6
votes
0
answers
105
views
Dependence on Urysohn's Lemma in Cartan's Construction of Haar Measure
This question was posted by someone else on stackexchange three months ago, but no one has answered as of yet:
Cartan's 1940 paper, Sur la mesure de Haar, claims to provide a proof of the existence ...
- 85
7
votes
1
answer
347
views
$\mathbb{Z}$-homomorphism and $\mathbb{Z}_p$-homomorphism
$\newcommand{\cts}{\mathrm{cts}}$Thanks for your reading. Let $A,B$ be two $\mathbb{Z}_p$-modules, where $\mathbb{Z}_p$ is the $p$-adic integer ring. I have two questions.
Is $\mathrm{Hom}_{\mathbb{Z}...
- 319
0
votes
1
answer
64
views
Transitive map on a profinite group
Let $f$ be a continuous endomorphism of a compact Hausdorff totally disconnected topological group $G$ and let $H$ be a closed normal subgroup of G such that $f(H)\subseteq H$ and with $\mu(H)=0$ ...
- 63.9k
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
2
votes
0
answers
406
views
Complete topological groups in which all subgroups are closed
My previous question has been answered by YCor; so I am asking a new one with a reasonable additional assumption. See the previous question for the background and motivation.
General question: does ...
- 361
4
votes
0
answers
97
views
Characterization of Vilenkin group
It is shown in [1, Section 1] by C.W. Onneweer that every infinite compact, metrizable, zero-dimensional commutative group is a Vilenkin group. My question is does this implication also hold if we ...
- 63.9k
6
votes
1
answer
859
views
How many Fourier coefficients vanish?
Let $G$ be a compact abelian connected metric group with Haar measure $\mu$ and let $f\colon G\to S^1$(=unit circle in $\mathbb{C}$) be a continuous function (not necessarily a group homomorphism) ...
- 148k
1
vote
0
answers
81
views
"More stable" definitions of principal $G$-bundle
Let $G$ be a topological group. For any pointed topological space $X$, define $[X,G]$ to be the group whose underlying topological space is the space of pointed continuous maps from $X$ to $G$, with ...
- 863
0
votes
0
answers
98
views
An application of the Gleason-Montgomery-Zippin Theorem
In the book How groups grow by Avinoam Mann, the author cites the following theorem attributed to Gleason-Montgomery-Zippin.
Theorem 6.4 (Gleason–Montgomery–Zippin: solution of Hilbert’s Fifth ...
- 1
30
votes
2
answers
2k
views
Is every connected subgroup of a Euclidean space closed?
The question listed above (in the context of the complex numbers, but it is a reasonable question to ask in any dimension) was asked by a student in my complex analysis class, and I did not have an ...
- 41.8k
3
votes
0
answers
117
views
Topologically symmetric models of $\mathsf{ZFA}$
The standard construction of permutation models (i.e. models of $\mathsf{ZFA}$ involves choosing some collection of atoms $A$, a group $G$ of permutations on these atoms, and then a normal filter $\...
- 131
5
votes
1
answer
156
views
Is the category of locally compact Abelian groups regular?
Is the category $ \mathsf{LCAb} $ of locally compact Abelian groups regular?
I want to form the category of relations internal to $ \mathsf{LCAb} $, but I suspect there may be technical difficulties.
...
- 12.9k
1
vote
1
answer
338
views
distance between unitary and anti-unitary matrices
This question is related to the previous post, "A question about unitary and anti-unitary matrices". Following the suggestion of Lspice, I am posting it as a separate question, as it might ...
CommunityBot
- 1
51
votes
5
answers
9k
views
Fundamental group as topological group
Background
Let $(X,x)$ be a pointed topological space. Then the fundamental group $\pi_1(X,x)$ becomes a topological space: Endow the set of maps $S^1 \to X$ with the compact-open topology, endow the ...
- 35.5k
2
votes
1
answer
49
views
Is any submetrizable linear topology linearly submetrizable?
Let $E$ be a vector space. A topology $\tau$ on $E$ is called (linearly) submetrizable if there is a (linear) metrizable topology $\pi$ on $E$ which is weaker than $\tau$, i.e. $\pi\subset\tau$.
Is ...
- 16.4k
3
votes
0
answers
90
views
Topological groups satisfying the Borel transgression theorem
I am using the Borel transgression theorem as given in Mimura and Toda's "Topology of Lie groups I and II", page 378, Theorem 2.7. I know that it applies when the fiber has the homotopy type ...
- 63.9k
2
votes
0
answers
85
views
Coherent states on compact abelian state spaces and complexification
First, to establish notation, let $T^*(M)$ denote the cotangent bundle of a manifold $M$. Let $\widehat{(-)}:= \hom_{\sf LCAbGrp}(-,\mathbb{T}):{\sf LCAbGrp}^{\sf op}\simeq {\sf LCAbGrp}$ denote the ...
- 169
4
votes
1
answer
309
views
On self-duality of non-Archimedean local fields
The question to follow has already been asked by the OP at https://math.stackexchange.com/questions/3454735/on-self-duality-of-non-archimedean-local-fields. Due to a lack of feedback, the OP felt ...
CommunityBot
- 1
1
vote
1
answer
209
views
A question about automorphism group of abelian group
Does anyone know any references that describe automorphism group $\operatorname{Aut}(\mathbb R^n\times \mathbb T^m)$? I searched for a long time but couldn't find it.
- 118k
1
vote
0
answers
154
views
measure of Haar
Let $(G,K)$ be a Gelfand pair.
Why, for a function $f$ $K$-binvariant with respect to a compact subgroup $K$ of a group $G$, do we have the following equality:
$$ f(xy) = \int_K f(xky) \, dk$$
A ...
- 12.9k
6
votes
1
answer
245
views
Fundamental group of the homeomorphism group of a compact manifold
Let $X$ be a compact connected manifold and $\mathcal H(X)$ be the group of all homeomorphisms of $X$, equipped with the compact-open topology. Is the fundamental group of $\mathcal H(X)$ countable? ...
- 5,596
0
votes
0
answers
27
views
How to endow a cross normed tensor product $C^*$ - algebra with a structure of $G$ - $C^*$ - algebra?
Let $G_1$ and $G_2$ two topological groups which are locally compact, Hausdorff, and second countable.
Let $A_1$ ( resp. $A_2$ ) a $G_1$ - $C^*$ - algebra ( resp. $G_2$ - $C^*$ - algebra ).
Let $A_1 \...
- 595
0
votes
2
answers
157
views
Is there an integer sequence $(k_n)$ where each term is non-zero such that $\lim z^{k_n}=1$ for every point z on the unit circle?
Is there an integer sequence $(k_n)$ where each term is non-zero such that $\lim z^{k_n}=1$ for every point $z$ on the unit circle of the complex plane? I don't think it exists，but I don't know how to ...
- 63.9k
2
votes
0
answers
193
views
A $\mathbb{Z}_2$-equivariant map from $n$-torus to $2$-sphere that is null-homotopic is $\mathbb{Z}_2$-homotopic to a non-surjective map?
I have been thinking on the problem below for a while and I am not sure if it is correct or not. I am trying to see if there exists a counter-example for the problem below.
Problem: Let $f: (S^1)^n \...
- 21
8
votes
1
answer
485
views
A question about cohomology of the classifying spaces of compact groups
Let $G$ be a compact group (maybe non-Lie group). Let $B_{G}$ denote the
classifying space of $G$. If $G$ contains a circle group $\mathbb{S}^{1}$,
then I think that $H^{\ast }( B_{G};\mathbb{Q}
)$ is ...
- 9,263
2
votes
1
answer
268
views
Prodiscreteness of rational points of algebraic groups
Let $F$ be a field of characteristic 0 complete for a discrete non-archimedean valuation.
Let $G$ be a commutative smooth algebraic group over $F$.
Let us put on $G(F)$ the topology induced by the ...
- 148k
2
votes
0
answers
187
views
How can the maximal ideal space of the Fourier Stieltjes algebra be non-separable?
I have been asking a fair few (probably elementary) questions about abstract harmonic analysis lately. By means of explanation, I am just feeling around the subject at the moment and trying to build ...
- 1,074
3
votes
1
answer
197
views
Is the exponential map of a locally compact group a local homeomorphism?
We consider a locally compact abelian group $G$. We equip the real vector space $A(G)$ of continuous group homomorphisms $\mathbb{R}\to G$ with the topology of uniform convergence on compact subsets ...
- 63.9k
-2
votes
1
answer
118
views
Mismatch between equivalent definitions of the Bohr compactification of the reals
I feel I'm overlooking something very silly.
The Bohr compactification of $\mathbb R$ has two equivalent definitions.
The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
- 148k
3
votes
0
answers
103
views
How wild is the maximal ideal space of the Fourier-Stieltjes algebra of the real line?
The Fourier-Stieltjes algebra of $\mathbb R$ is the set of all sufficiently nice measures on $\mathbb R$. The vector product is convolution of measures. By identifying each measure with its Fourier ...
- 63.9k
8
votes
1
answer
588
views
Is there an explicit construction of the Bohr Compactification of the Integers?
Is it possible to explicitly describe the Bohr compactification of $\mathbb Z$? This is equivalent to describing all the group homomorphisms $\mathbb R/\mathbb Z \to \mathbb R/\mathbb Z$ including ...
- 53.3k
11
votes
1
answer
2k
views
6-functor formalism for topological stacks
I am trying to understand the 6-functor formalism of sheaves on topological stacks. As explained in this answer, there is a 6-functor formalism of sheaves for locally compact Hausdorff spaces, which ...
- 21.3k
5
votes
1
answer
229
views
Does any locally compact topological group which is not Hausdorff have a Haar measure?
In 'Linear Analysis and Representation Theory' by Steven Gaal at the end of Chapter IV, page 227, the author claims that any locally compact topological group $G$ which is not Hausdorff has a Haar ...
- 47.3k
3
votes
0
answers
151
views
Reference for homotopy and homology theory of topological groups
I am looking for references which deal with the homotopy theory and homology theory of general topological groups, not necessarily compact, or anything. I am eyeing towards certain infinite-...
- 869
3
votes
0
answers
90
views
Mattuck's Theorem for abelian varieties for a non-locally compact field
Let $A$ be an abelian variety of dimension $d$ defined over a complete ultrametric field $K$ of dimension $0$. Let us put on $A(K)$ the topology induced by the one of $K$ (for example, following ...
- 63.9k
3
votes
1
answer
529
views
Zeros of a function defined on $\mathbb{S}^2 \times \mathbb{S}^2$
Let $u$ be a smooth function on the sphere, and for each $y \in \mathbb{S}^2$, let $R_y$ be the $180^\circ$ rotation about the vector $y$. For each pair $(x, y) \in \mathbb{S}^2 \times \mathbb{S}^2$, ...
- 3,599
4
votes
1
answer
209
views
Product map on topological group measurable?
Let $G$ be a topological group and $\mathcal{B}$ its Baire $\sigma$-algebra (i.e. the smallest $\sigma$-algebra for which all continuous functions $G\rightarrow\mathbb{R}$ are measurable). Consider ...
- 41.1k
3
votes
0
answers
135
views
What is the universal/fine uniformity on a topological group?
Cross posted from https://math.stackexchange.com/questions/4889335
I'm aware that every topological group is uniformizable: given a neighborhood $U\in\mathcal N(e)$ of the identity, the set $D_U=\{\...
- 3,011
6
votes
2
answers
295
views
Embeds in a topological W-group, or a W-space that embeds in a topological group?
In Theorem 3.11 of Tkachuk - A compact space $K$ is Corson compact if and only if $C_p(K)$ has a dense lc-scattered subspace it's shown that if a compact Hausdorff space embeds in a topological W-...
- 12.9k
3
votes
1
answer
521
views
Topology of multiplication groups of local fields
In Neukirch’s book “Algebraic Number Theory”, Proposition II.5.7, the following is insisted: for a mixed characteristic local field $K$ with a residue field $\mathbb{F}_q$, $q = p^f$, then one has an ...
- 50.6k
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
9
votes
1
answer
324
views
$\operatorname{Spaces}/BG$ $\sim$ $\operatorname{Spaces}^G$ $\sim$ $??(\Omega G)$
This is a crosspost (with minor alterations).
For a topological group $G$, assigning to a $G$-space $X$ the (canonical) map $EG\times_GX\to BG$ establishes an equivalence between the homotopy category ...
- 37.8k
12
votes
1
answer
391
views
Does every topological group embed as a closed subgroup in an amenable group?
It is a standard result that closed subgroups of locally compact amenable groups are themselves amenable, so for example $F_2$, the free group on two generators, cannot be embedded as a closed ...
- 3,011
5
votes
0
answers
192
views
When is the classifying space of a group/H-space rationally equivalent to a product of Eilenberg-MacLane spaces?
The MO-question asks why the classifying space of a group is not necessarily rationally a product of Eilenberg–MacLane spaces.
I am looking for classes of examples of connected topological groups/...
- 1,174
1
vote
1
answer
101
views
Image of a complete topological group under open and surjective map is complete?
A uniform space $X$ is complete if every Cauchy filter in $X$ is convergent. Here we do not require $X$ to be Hausdorff.
Question.
Let $G$ be a complete topological group and let $H$ be a topological ...
CommunityBot
- 1
8
votes
2
answers
562
views
Is there a purely topological definition of $\text{Spin}(p,q)$?
I'm cross-posting this question from Math.SE, as it didn't get much attention there (even after a bounty).
A common way to define the group $\text{Spin}(p,q)$ is via Clifford algebras. However, $\text{...
- 55.9k