All Questions
Tagged with lie-groups topological-groups
79 questions
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 ...
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 ...
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 ...
0
votes
1
answer
83
views
Is the union of 1-dimensional pro-tori in a finite dimensional pro-torus dense?
Is the union of 1-dimensional compact connected abelian subgroups in a finite dimensional compact connected abelian group dense?
6
votes
0
answers
244
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 ...
2
votes
1
answer
282
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 ...
8
votes
2
answers
362
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 $...
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 ...
1
vote
1
answer
111
views
Is every compact quasisimple group a Lie group?
Let $ G $ be a compact topological group which is quasisimple in the sense that
$$
[G,G]=G
$$
and
$$
G/Z(G)
$$
is simple as an abstract group. Must $ G $ be a Lie group?
This is a follow-up question ...
7
votes
1
answer
205
views
Non-recurrent points of $F(a,b)=(b,ba)$ in a compact metric group $G$
Consider a compact metric group $G$ [A compact topological group $G$ where the topology is generated by an invariant metric]. I am particularly interested in the case where $G$ is the $n$-dimensional ...
6
votes
1
answer
235
views
Hausdorff distance in compact Lie groups
Let $G$ be a compact Lie group with a compatible biinvariant metric $d$. The hyperspace $K(G)$ of nonempty compact subsets of $G$ is a compact metric space with the Hausdorff metric, and it is easy to ...
2
votes
1
answer
101
views
Compact Lie groups as quotients of torsion-free compact metrizable groups
The question:
(1) Is every compact Lie group $G$ isomorphic (as a topological group) to some quotient $H/N$ where $H$ is a torsion-free compact metrizable group?
Or equivalently:
(2) Is every compact ...
4
votes
0
answers
132
views
Coordinates on quotient manifold $\mathrm{SO}(3)/\Gamma$
$\DeclareMathOperator\SO{SO}$Say I have coordinates for $\SO(3,\mathbb{R})$, e.g., a parametrization by Euler angles. Is there a reasonable way to explicitly prescribe coordinates on the quotient ...
6
votes
0
answers
341
views
When exponential map is 1-1 from vector fields to diffeomorphisms
Let $M$ be a connected and complete Riemannian manifold of positive dimension, $k$ be a positive integer, and let $\mathfrak{X}^k_c$ be the set of class $C^k$-vector fields on $M$ of compact support. ...
5
votes
1
answer
356
views
Density of matrix coefficients of unitary representations of a locally compact group
Let $G$ be a locally compact group, $C_0(G)$ the $C^*$-algebra of continuous functions on $G$ that vanish at infinity, $C_b(G)$ the $C^*$-algebra of bounded continuous functions on $G$. We know that $...
5
votes
0
answers
184
views
Subgroups of $\mathrm{O}_3$ that are the symmetry groups of compact subsets of $\mathbb{R}^3$
Is there a classification theorem for the subgroups of $\mathrm{O}_3$ that are the symmetry groups of compact subsets of $\mathbb{R}^3$?
Apparently, there is an almost complete classification in ...
2
votes
1
answer
182
views
Gelfand-Naimark and Peter-Weyl for the unitary group
Consider the compact Lie groups $U(l)$ (the unitary group) and $U(1) \times SU(l)$ for some natural number $l$. Both the groups have the same Lie algebra $\frak{gl}_l$. Which means that they both have ...
3
votes
1
answer
454
views
Principal bundles from a fibration of homogeneous spaces
Let $G$ be a compact (Lie) group, and $H \subseteq H'$ two compact (Lie) subgroups. It is clear that we have an obvious surjective map of homogeneous spaces
$$
G/H \twoheadrightarrow G/H'.
$$
Will it ...
6
votes
1
answer
287
views
Are nearby crossed homomorphisms from compact Lie groups crossed-conjugate?
Charles Rezk had highlighted in MO:q/123624 that "Nearby homomorphisms from compact Lie groups are conjugate", and in consequence -- further highlighted in Remark 2.2.1 of his Global ...
6
votes
2
answers
379
views
About Lie group $G$ has this escape property?
Every Lie group $G$ has the following escape property: For every $x \ne e$ in a sufficiently small neighborhood $U$ of the identity $e$ in $G$, there is a integer $n$ such that $x^n$ is not in $U$.
...
4
votes
1
answer
304
views
Finite covolume of uniform lattice in quotient group
Let $G$ be a locally compact group, let $N \leq G$ be a (proper) closed normal subgroup and let $\Gamma \leq G$ be a uniform lattice, i.e., a discrete subgroup such that $G/\Gamma$ Is compact.
Suppose ...
5
votes
0
answers
300
views
Matrix groups with two generators
Given two matrices $A,B\in{\rm{SL}}_2(\Bbb{R})$, is there any criterion guaranteeing that the subgroup they generate is discrete? What if one puts restrictions on $A,B$ e.g. they are both elliptic? ...
9
votes
0
answers
367
views
Is every space a classifying space?
Despite a pretty thorough look (I think) I can’t find the answer to the following question: Is every (reasonable?) path connected space weakly equivalent to the classifying space of some topological ...
7
votes
1
answer
342
views
Does a compact Lie group have finitely many conjugacy classes of maximal Abelian Lie subgroups?
Let $G$ be a compact Lie group. An Abelian Lie subgroup $A \leq G$ is a maximal Abelian Lie subgroup if, for any Abelian Lie subgroup $A'$ such that $A \leq A' \leq G$, then $A' = A$.
Of course any ...
1
vote
0
answers
43
views
Continuous surjection from $X(D_n)$ onto $\operatorname{Homeo}_0(D_n)$
Let $n>1$ and let $\mathfrak{X}(D_n)$ denote the set of continuous vector fields on the closed disc $D_n\subseteq \mathbb{R}^n$. Let $\operatorname{Homeo}_0(D_n)$ be the set of homeomorphism of ...
5
votes
0
answers
129
views
Is there an orbit map without path lifting property?
I am looking for an example of a topological group $G$ acting by homeomorphisms on a metrizable space $X$ such that the orbit map $X\to X/G$ doesn't have the path lifting property, that is, there is a ...
3
votes
0
answers
58
views
Criteria for density of subgroup of diffeomorphism group
Let $C^{\infty,\star}(\mathbb{R}^d)$ denote the non-commutative topological group of smooth diffeomorphisms from $\mathbb{R}^d$ to itself with $\circ$ as multiplication and let $\emptyset\subset X\...
0
votes
0
answers
267
views
Definition of reducible lattice
I am reading Raghunathan's book on discrete subgroups of Lie groups.
In particular I am stuck on Corollary 5.19 which gives several equivalent conditions for a lattice in a semisimple Lie group to be ...
2
votes
0
answers
86
views
Homomorphisms from circle to $GL(k,\mathbb{R})$ [duplicate]
Example 3 at the website tricki proves that every measurable homomorphism of groups from the circle to the non-zero complex numbers is continuous. Is there any analogous (true) statement for ...
1
vote
0
answers
164
views
Continuous vs $L^2$ homomorphisms from circle to non-zero complex numbers
Let $T:S^1\to C^\ast$ be a group theoretic homomorphism from the circle to the non-zero complex numbers.
Presumably it is true that if $T$ is $L^2$, then it is continuous. Is there a simple proof, or ...
7
votes
1
answer
490
views
Classification of fibrations $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$
Does there exist a complete classification of all fiber bundles $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$, that is, fibrations of $\smash{\Bbb S^d}$ with each fiber homeomorphic to $\smash{\...
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, ...
2
votes
1
answer
216
views
How to prove that Chevalley groups over $\mathbb R$ have no compact factors
I am trying to see why the Chevalley groups (not limited to the adjoint group) over $\mathbb R$ are without compact factors in order to use the Borel density theorem.
I've been told in another thread ...
1
vote
0
answers
140
views
Describing compact Lie groups in purely topological terms
Compact Lie groups are a very special type of compact group, namely those which admit a differentiable structure. Is it possible to describe compact Lie groups in purely topological terms, that is, ...
3
votes
1
answer
122
views
A converse of Cartan's automatic continuity theorem
Let $G$ be a compact real Lie group. We say that $G$ has property $(*)$ if every abstract automorphism of $G$ is continuous. A theorem of Cartan says that if $G$ has perfect Lie algebra, it has ...
3
votes
0
answers
335
views
Milnor's conjecture on Lie group (co)homology and forgetful functor of extensions
Let $G$ and $H$ be compact Lie groups, Consider $Ext_{Lie}(G,H)$ the set of isomorphism of extensions of Lie groups:
$$
1\rightarrow G\rightarrow M\rightarrow H\rightarrow 1
$$
There exists a ...
4
votes
1
answer
344
views
Extensions of compact Lie groups
Let $G$, $H$ be two compact Lie groups (possibly disconnected). Two short exact sequences of compact Lie groups
$$
0\rightarrow G\rightarrow M_1 \rightarrow H\rightarrow 0,
$$
$$
0\rightarrow G\...
3
votes
0
answers
64
views
Metrically homogeneous spaces as inverse limits
Let $(X,d)$ be a locally compact, separable, connected and $\sigma$-compact metric space such that the group of isometries $G$ acts transitively on $X$. The question is the following:
Is $X$ ...
4
votes
1
answer
384
views
Invariant integration on principal bundles
Let $G$ be a sufficiently nice topological or Lie group (e.g. compact), and let $H$ be a closed subgroup. This data determines a principal $H$ bundle $G \rightarrow G/H$ defined by the projection $g \...
6
votes
1
answer
1k
views
Classification of compact connected abelian groups
It is known that torsion-free compact abelian groups are exactly the product of the maximal solenoid group $\Sigma_{(2,3,\cdots)}$ (which is the Pontryagin dual of the additive group $\mathbb{Q}$ of ...
2
votes
0
answers
91
views
Fixed point set with non-empty interior
Let $G$ be an infinite compact separable Hausdorff metric group, and $H\subset G$ a closed subgroup, such that the left $G$-action on $G/H$ is effective (i.e., $H$ doesn't contain a non-trivial closed ...
3
votes
1
answer
201
views
Is each closed subgroups of $\mathbb R^\omega$ isomorphic to a Tychonoff product of locally compact Abelian groups?
It is known that any closed linear subspace of $\mathbb R^\omega$ is topologically isomorphic to $\mathbb R^n$ for some $n\in\omega$.
Problem 1. Is each closed subgroup of $\mathbb Z^\omega$ (or ...
1
vote
0
answers
121
views
A section over an orbit space
Let $G$ be a compact second countable Hausdorff group, and let $X=G/H$ be a homogeneous space with $H\subset G$ a closed subgroup. Let further $K\subset G$ be another closed subgroup.
Questions:
...
2
votes
0
answers
80
views
Are the roots of an infinitely divisible probability infinitely divisible themselves?
Let $\mu$ be an infinitely divisible probability on a topological group $G$. If $\nu ^{* n} = \mu$ for some $n$, is $\nu$ an infinitely divisible probability too?
A sufficient criterion would be to ...
5
votes
0
answers
119
views
Characterizing Herz-Schur multipliers using coefficient functions of uniformly bounded representations
Let $G$ be a group and let $c > 1$ be a constant. We denote by $B_c(G)$ the space of all coefficients of the representations of $G$ which are uniformly bounded by $c$; more precisely, a function $f:...
8
votes
0
answers
819
views
Second homotopy group of a topological group
It is well-known that any Lie group $G$ has $\pi_2(G)=0$: see this question. Is the same true for any compact (Hausdorff) topological group? Or even for locally compact ones? Maybe there is a way of ...
8
votes
2
answers
1k
views
$p$-adic exponentials for $p$-adic Lie groups
Let $G$ be a $p$-adic Lie group, $\text{Lie}(G)$ its Lie algebra.
Is there any reasonable notion of exponential map $\text{exp} : \text{Lie}(G)\to G$?
7
votes
1
answer
270
views
Is $\Gamma(p) := \text{Ker}(SL_2(\mathbb{Z}_p)\rightarrow SL_2(\mathbb{F}_p)$ a "standard" subgroup?
Let $\Gamma(p) := \text{ker}(SL_2(\mathbb{Z}_p)\rightarrow SL_2(\mathbb{Z}_p/p))$.
Viewing $SL_2(\mathbb{Z}_p)$ as an analytic group, is there a formal group law $F$ in three variables, defined over $...
2
votes
1
answer
263
views
Profinite extension of a Lie group
Let $H,G,K$ be three topological groups, we say that $G$ is an extension of $K$ by $H$ if the following short sequence
$$0\rightarrow H\rightarrow G\rightarrow K\rightarrow 0$$
is exact. (If $H$ is a ...
1
vote
0
answers
128
views
The group of polynomial homeomorphism of the plane
Let $G$ be the set of all homeomorphisms $f$ of $\mathbb{R}^2$ such that
both $f$ and $f^{-1}$ are polynomial maps.
We equip $G$ with the compact open topology and the obvious group ...