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).
709
questions
1
vote
0
answers
250
views
Using the von Neumann crossed product to introduce a measure on the orbit space?
Suppose we're given an action (possibly: ergodic) of a group G (say, $\mathbb{R}$) on a measure space $(X, \mu)$ (possibly: a standard probability space).
Question: is there a natural way of using the ...
5
votes
0
answers
152
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{...
- 151
3
votes
0
answers
166
views
Topologies on diffeomorphisms groups
Suppose that $M$ is a finite-dimensional $C^{\infty}$-manifold, and let $\mathrm{Diff}\left(M\right)$ be the group of $C^{\infty}$-diffeomorphisms from $M$ to itself. When $M$ is compact, the usual ...
- 397
18
votes
0
answers
344
views
Can Rep(G) tell us whether G is discrete?
Given a locally compact group $G$, let $$\mathrm{Rep}(G)$$ be its category of unitary representations.
The objects of that category are strongly continuous unitary representations of $G$ on Hilbert ...
- 42.2k
11
votes
0
answers
224
views
Continuous representations of topological groups on Banach spaces
Let $G$ be a topological group and let $\rho:G\rightarrow\text{GL}(V)$ be
a linear representation of $G$ on a Banach space $V$. The representation
is called strongly continuous if the map $g\mapsto\...
- 61
7
votes
0
answers
131
views
An abelian category with a full embedding from topological abelian groups
I know this is a very vague question, but I can't think of a better question to ask.
Consider the category $\mathscr{C}$ of pro-sets created by diagrams containing only injections. The objects $A: \...
- 351
6
votes
0
answers
170
views
Is $L^2(I,\mathbb Z)$ homeomorphic to the Hilbert space?
I am somehow puzzled by the subset $G:=L^2(I,\mathbb Z)$ of $H:=L^2(I,\mathbb R)$ of all integer valued functions on $I=[0,1]$ (in fact I mentioned as an example in this old MO question).
Some simple ...
- 55.5k
4
votes
0
answers
110
views
Uniqueness of left-invariant Borel probability measure on compact groups
On a compact topological group, consider two left-invariant probability measures $\mu$ and $\nu$ defined on the Borel sigma-algebra. Is it true that they coincide?
It is classical that the Haar ...
2
votes
1
answer
205
views
Examples of non-discrete, cocompact subgroups
I am looking for non-trivial examples of the following:
$G$ is a locally compact group
$H\subset G$ a closed subgroup
Both are unimodular and non-discrete
The quotient space $G/H$ is compact, but $G$ ...
- 1,900
-1
votes
1
answer
288
views
Is this submonoid of the isometry group on $\Bbb Q_2$ closed to inverses? [closed]
Let $\textrm{aff}(ax+b)$ be the affine group on $\Bbb Z_2^\times$
i.e. the set of linear polynomials over 2-adic numbers with $a\in\Bbb Z_2^\times, b\in\Bbb Z_2$
Now let $X$ be the restriction of its ...
2
votes
0
answers
384
views
Generalized conjugacy classes in (topological) groups
Let $G$ be a topological group. We define an equivalence relation on $G$ as follows:
For $a,b\in G$ we set $a\sim b$ if the following two maps are topologically conjugate:
$$x\mapsto ax,\qquad x\...
- 280
1
vote
0
answers
48
views
Minimal F-semi-norms
There are conflicting terminologies in the literature on this subject, so let me define an F-semi-norms on a real vector space $E$ to be a subadditive function $\rho:E\to[0,+\infty)$ such that $\rho\...
- 5,275
3
votes
0
answers
101
views
(Non)complete abelian groups in the “transfinite p-adic topology”
For an abelian group $A,$ a prime $p$ and an ordinal $\alpha,$ we recursively define $p^\alpha A$ as a subgroup of $A$ such that $p^0A=A,$
$$p^{\alpha+1}A=p(p^\alpha A) \hspace{5mm} \text{and} \...
- 1,312
15
votes
2
answers
1k
views
Does $\Bbb Z[X]$ determine $X$?
For a Hausdorff space $X$, consider the free abelian group $\mathbb{Z}[X]$ generated by $X$. Equip it with the finest topology which makes the map $X\to\mathbb{Z}[X]$, $x\mapsto [x]$ continuous and ...
- 1,900
4
votes
0
answers
89
views
Are U(H) and PU(H) locally uniform topological groups with the norm topology? Towards an instance of infinite-dimensional Hilbert's Fifth Problem
In looking at the work of Enflo generalising Hilbert's Fifth Problem from the Euclidean to the Banach case, there are the following conditions:
the multiplication in the topological group is locally ...
- 33.2k
0
votes
0
answers
105
views
The set of measurable functions together with convergence in measure is a completely metrizable abelian topological group
Below we use Bochner measurability and Bochner integral. Let
$(X, \mathcal A, \mu)$ be a complete $\sigma$-finite measure space,
$(E, | \cdot |)$ a Banach space,
$S (X)$ the space of $\mu$-simple ...
- 595
1
vote
0
answers
112
views
Idempotent conjecture and non-abelian solenoid
Is there a discrete non-abelian group whose dual in a reasonable sense is isomorphic to the solenoid constructed via a sequence of quaternions $S^3$ instead of a sequence of circles? The motivation ...
- 280
0
votes
0
answers
94
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 ...
- 280
2
votes
1
answer
197
views
Parametrization of topological algebraic objects
There are several results of the following form: if an algebraic objects is endowed with a topology (or rather uniformity) which is somehow compatible with the algebraic structure, this uniformity is ...
- 5,275
6
votes
0
answers
212
views
What can lattices tell us about lattices?
A general group-theoretic lattice is usually defined as something like
A discrete subgroup $\Gamma$ of a locally compact group $G$ is a lattice if the quotient $G/\Gamma$ carries a $G$-invariant ...
- 1,729
5
votes
0
answers
260
views
$T_1$ paratopological group having a dense commutative subgroup is commutative
I'm learning about topological groups from Arhangelskii and Tkachenko "Topological groups and related structures" and this is one of the exercises there.
A paratopological group is a group ...
- 635
2
votes
1
answer
228
views
Non-continuous group homomorphism from p-adic field to C*
Let $F$ be a p-adic field. A character on $F^\times$ is defined as a continuous group homomorphism $F^\times\longrightarrow\mathbb{C}^\times$. But is there any way to construct a non-continuous group ...
- 813
6
votes
1
answer
229
views
Topologies that turn the real numbers into a compact Hausdorff topological group
If I'm not mistaken, the question I put on the title used to be on this site, but I'm not being able to find it at all. I'm therefore reposting it so that someone can either give me the old link or ...
- 162
1
vote
1
answer
103
views
Continuity of central character [closed]
Let $G$ be a $p$-adic reductive group and $Z\subseteq G$ the center. Let $\pi$ be an irreducible admissible representation of $G$. By Schur's lemma, it is easy to show that there is a group ...
- 813
5
votes
1
answer
155
views
Is norm-continuous representation factored through a Lie quotient group?
I asked this 11 days ago at MSE, but there was no answer, I hope people here could help.
Let $G$ be a locally compact group, and $X$ a Hilbert space. A unitary representation $\varphi:G\to B(X)$ is ...
- 7,276
5
votes
0
answers
135
views
Is fundamental group of a finite volume, negatively curved, cusped manifold a non-uniform lattice?
$\DeclareMathOperator\Mob{Mob}$Some background: (1) A Riemannian manifold $M$ is pinched negatively curved if there is a constant $\tau<\kappa<0$ such that all the sectional curvatures are ...
- 51
1
vote
0
answers
39
views
Discreteness of $D^{-1}D$ given that $D$ is uniformly discrete
Let $G$ be a topological group with unit element $e$.
We say that $D\subseteq G$ is discrete if for all $x\in D$ there is a unit-neighborhood $U\subseteq G$ such that $x^{-1}D\cap U=\{e\}$. We say ...
- 111
8
votes
2
answers
553
views
Homotopic but not equivariantly homotopic maps
Let $G$ be a topological (or simplicial) group, let $X$ and $Y$ be $G$-spaces, and let $f,f':X\to Y$ be $G$-maps which are homotopic as maps of spaces. In general, $f$ and $f'$ may (of course) fail to ...
- 1,617
5
votes
1
answer
214
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 ...
- 125
10
votes
1
answer
5k
views
Are there extremally disconnected groups?
A Hausdorff space is called extremally disconnected or extreme, if for every open set $U$ the closure $\overline U$ is open, too. The question, whether there are extremally disconnected topological ...
- 1,900
2
votes
1
answer
222
views
Does every locally compact group G contain a maximal open subgroup P which is a pro-Lie group?
EDIT 1: All topological groups in this question are assumed to be second countable. In particular, this forces every group to be metrizable and every Lie group to have at most countably many ...
- 559
3
votes
1
answer
164
views
Open conjugacy classes in a second countable profinite group
Let $G$ be a second countable profinite group, $g\in G$ and $g^G:=\{hgh^{-1}~|~h\in G\}$ the conjugacy class of $g$ in $G$. Theorem 3.2 in Wesolek's Conjugacy class conditions in locally compact ...
- 499
1
vote
0
answers
111
views
Density of irreducible matrix coefficients of a locally compact group
Let $G$ be a locally compact group and $I$ the set of matrix coefficient of irreducible unitary matrix coefficients of $G$. By Gelfand-Raikov's theorem and Stone-Weirestrass's theorem, for a compact $...
- 11
5
votes
1
answer
393
views
Groups with no (proper) closed subgroups?
$\mathbf{Z}$ with the profinite topology has the property that every subgroup is closed (Topological groups in which all subgroups are closed). What topological groups have the property that no (...
- 51
2
votes
1
answer
187
views
Haar measures of compact subgroups
Let $G$ be a locally compact group, $K$ a compact subgroup in $G$, and $\mu_K$ the normalized Haar measure on $K$:
$$
\mu_K(K)=1.
$$
Let us denote by $\widetilde{\mu_K}$ the measure on $G$ defined as ...
- 7,276
0
votes
0
answers
63
views
Examples of amenable, Hausdorff, locally compact, second countable groups which are not discrete, not compact, and not abelian
I'm working on a problem that involves an amenable group acting on some set by bijections. Initially, I assumed the group was discrete and the set was countable, however I realized that the arguments ...
- 119
8
votes
2
answers
315
views
Is every contractible homogeneous space of a connected Lie group homeomorphic to a Euclidean space?
Problem. Let $G$ be a connected Lie group and $H$ is a closed subgroup of $G$ such that the homogeneous space $G/H$ is contractible. Is $G/H$ homeomorphic to a Euclidean space $\mathbb R^n$ for some $...
- 40.2k
1
vote
0
answers
47
views
Neighborhoods of idempotents in topological inverse semigroups
In a topological group, for any neighborhood $U$ of the origin, there is another such neighborhood with the property that $V.V\subseteq U.$ I conjecture a similar property for topological inverse ...
- 1,007
1
vote
1
answer
158
views
Another question about 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 ...
- 327
6
votes
0
answers
64
views
Countable companions for Polish locally compact groups and their orbit equivalence relations
In "Countable sections for locally compact group actions" (Ergod. Th. & Dynam. Sys., 1992), Kechris proved that if $G$ is a Polish locally compact group acting in a Borel way on a ...
- 2,971
0
votes
0
answers
100
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
$\...
- 2,209
5
votes
1
answer
258
views
What's the relation between pseudo-compact and admissible rings?
We recall two definitions. Let $A$ be a linearly topologized ring which is complete and Hausdorff.
We say that $A$ is pseudo-compact if, for every open ideal $I\subset A$, the ring $A/I$ is artinian. ...
- 1,054
3
votes
1
answer
165
views
Defining the classifying space of a group acting on a set
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Gal{Gal}$Recall that $n$-simplices of the classifying space (simplicial set) $BG$ of a group are orbits of the diagonal action by shifts
on $n+1$-...
- 493
0
votes
0
answers
67
views
G separable group, $\aleph_0 \leq \tau$. What is $l(X)$ and $\omega l(X) (\leq \tau)$? where $X \subseteq G$. And what is $\chi (G)$ (cardinal)?
Happy Chinese new year!
I was reading (and translating) a Russian article "On the topological groups close to being Lindelöf".
Where it is assumed G is a separable group and $\tau \geq \...
- 11
4
votes
1
answer
197
views
On inverse limits of $\pi$-adically complete algebras
Consider the following situation, let $\mathcal{R}$ be a discrete valuation ring with uniformizer $\pi$ (say the valuation ring of a finite extension $K$ of $\mathbb{Q}_{p}$. Let $\{ A_{n}\}_{n\in\...
1
vote
0
answers
233
views
Theory of group representation for compact groups
I write here because some experts could help on that. It is very well known (at least for me) many reference books on linear representations of finite groups (for instance, the very classical and ...
- 1,483
16
votes
1
answer
454
views
Where can I learn more about the topology on $\mathbb{R}$ induced by the map $\mathbb{R} \to \prod_{a>0} (\mathbb{R}/a\mathbb{Z})$?
Consider the (continuous, injective, abelian group homomorphism) map $\Phi \colon \mathbb{R} \to \prod_{a>0} (\mathbb{R}/a\mathbb{Z})$ (where the target is given the product topology) taking $x\in \...
- 28.7k
3
votes
0
answers
96
views
Kazhdan's property $T$ implies not virtually indicable
I've read in many places that every compactly generated group $G$ satisfying Kazdhan's property (T) is not virtually indicable (there is no subgroup $H\leq G$ of finite index which surjects onto $\...
- 447
4
votes
2
answers
270
views
Is the left-regular representation of a locally compact group a homeomorphism onto its image?
Consider the left-regular representation $\lambda : G \to B(L^2(G))$, $\lambda_g f(h) = f(g^{-1}h)$, for a locally compact group.
It is well-known that this is a unitary faithful and strongly-...
- 729
10
votes
0
answers
185
views
"Homotopy homomorphisms" of homeomorphisms of Euclidean space
For a topological group $G$, an older term for a map $BG \to BG$ is a "homotopy homomorphism". If $G$ is connected, taking based loops shows that a homotopy class of such a map is the same ...
- 7,843