Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
3,059 questions
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 ...
- 863
4
votes
0
answers
205
views
Invariant metrics on homogeneous spaces
Let $M$ be a compact homogeneous space given by $K/N$, where $ K=G \times \mathbb{T}^n / H $, $G$ is a simply connected compact Lie group, $\mathbb{T}^n$ the $n$-torus and $H$ is a central finite ...
- 179
6
votes
1
answer
466
views
Hyperbolic manifolds with infinite cyclic fundamental group
It is a well known fact that there is a correspondence between complete hyperbolic $n$-manifolds up to isometry and discrete subgroups of isometries of the hyperbolic space $\mathbb{H}^n$ that act ...
- 2,533
-1
votes
1
answer
230
views
Orthonormal frame on $\mathbb{S}^3$ orthogonal to foliations [duplicate]
Does there exist a smooth orthonormal frame $X_1,X_2,X_3$ on $\mathbb{S}^3$ such that the distribution spanned by $X_i$ and $X_j$ is integrable for all $1\leq i,j\leq 3$?
- 89
5
votes
2
answers
1k
views
Malcev's paper "On a class of homogeneous spaces" in English
I am struggling to find the English translation of Malcev's paper "On a class of homogenous spaces" providing foundational material for nil-manifolds. To be precise this paper: Malcev, A. I. On a ...
- 51
7
votes
3
answers
1k
views
Countability of conjugacy classes of closed subgroups
The answer to the question at Does almost every pair of elements in a compact Lie group generates the connected component? says there must be countably many conjugacy classes of closed subgroups of ...
- 4,991
5
votes
0
answers
135
views
Specify the embedding of Lie groups (via the representation map) precisely as the embedding of two differentiable manifolds
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
5
votes
1
answer
166
views
Ideal of the boundary of $G/U \subset \overline{G/U}$
Let $G$ be a semi simple algebraic group, $B \subset G$ is a Borel subgroup and $U \subset B$ is the unipotent radical of $B$. We can consider the variety $G/U$. Let us also denote $\overline{G/U}:=\...
- 143
7
votes
2
answers
412
views
Homomorphisms from higher rank lattices with infinite center to $\mathbb{Z}$
Suppose that $\Gamma$ is an irreducible lattice in a semi-simple real Lie group $G$ of higher rank (with infinite center!), is every homomorphism $\Gamma \to \mathbb{Z}$ trivial?
The case where $G$ ...
- 1,101
6
votes
1
answer
395
views
Explicit fundamental domain for the action of $\operatorname{O}(n,1)(\mathbb{Z})$ on $\operatorname{O}(n,1)(\mathbb{R})$
Minkowski computed explicit fundamental domains for the action of $\operatorname{SL}_n(\mathbb{Z})$ on $\operatorname{SL}_n(\mathbb{R})/\operatorname{SO}_n(\mathbb{R})$ for each $n \leq 6$. In the ...
15
votes
1
answer
612
views
Is the subgroup $\mathrm{Diff}(M,S)$ of $\mathrm{Diff}(M)$ a Lie subgroup?
Denote by $\mathrm{Diff}(M)$ the Lie group of smooth diffeomorphisms on a compact smooth manifold. Its Lie algebra can be viewed as the Lie algebra $\mathfrak X(M)$ of vector fields on $M$. Now, given ...
- 2,789
1
vote
1
answer
168
views
Classification of the group action
Let $G$ be a closed subgroup of $O(n)$ such that $\mathbb R^n/G$ is isometric to $\mathbb R^{n-2} \times \mathbb R_+$. Can we have a classification of $G$ up to conjugation?
- 1,441
2
votes
1
answer
333
views
Multiplicity of an irrep of SO(n-1) in SO(n)
I am trying to prove the following fact.
Let $V$ be a unitary irreducible representation of $SO(n)$. How to prove that, if we reduce $V$ as unitary irreducible representation with respect to SO(n-1) ...
- 1,269
7
votes
1
answer
364
views
Peter–Weyl theory for vector fields
Let $G$ be a compact Lie group. The classical Peter-Weyl theorem shows that $L^2(G)$ splits into an orthogonal direct sum of irreducible finite-dimensional unitary representations of $G$. This is a ...
- 5,824
8
votes
0
answers
168
views
Do compact universal covers have concentration of measure phenomenon?
$\DeclareMathOperator\vol{vol}\DeclareMathOperator\diam{diam}$I have a sequence of compact Riemannian manifolds $M_n$ with $\diam (M_n) \to 0$ and finite fundamental groups $\pi_1 (M_n)$ so that their ...
- 686
9
votes
1
answer
559
views
What is the Lipschitz constant of the differential of the matrix exponential $\mathfrak{so}(3)\to \mathrm{SO}(3)$
I'm interested in numerical methods on $\mathrm{SO}(3)$ manifold, and working on a particular problem using the exponential coordinates:
$$
R(u) := \exp(u_\times)
$$
with $u\in \mathbb{R}^3$ and where ...
- 111
7
votes
0
answers
438
views
Group-like elements of universal enveloping algebra
Suppose $\mathfrak{g}$ is a finite-dimensional Lie algebra over $\mathbb C$. Take $A=U(\mathfrak g[[t]])$, a universal enveloping algebra of $\mathfrak g[[t]]$ over $\mathbb C[[t]]$.
Then we may ...
- 481
0
votes
0
answers
76
views
Examples of uniform lattices - reference
Being interested in uniform lattices (that is, discrete co-compact subgroups) of connected Lie groups, I am searching for a literature with abundance of examples.
23
votes
6
answers
5k
views
Is a quotient of a reductive group reductive?
Is a quotient of a reductive group reductive?
Edit [Pete L. Clark]: As Minhyong Kim points out below, a more precise statement of the question is:
Is the quotient of a reductive linear group by a ...
- 10.5k
7
votes
1
answer
371
views
Gelfand pair, weakly symmetric pair, and spherical pair
I am a bit confused with the relations among Gelfand pairs, weakly symmetric pairs, and spherical pairs defined in the book "Harmonic analysis on commutative spaces" written by professor ...
- 951
4
votes
0
answers
180
views
Zariski density for certain subsemigroups
$\DeclareMathOperator\GL{GL}$Suppose that we have a Zariski-dense subgroup $\Gamma$ of $\GL(d,\mathbb{R})$. Let $\delta$ be the abscissa of convergence of the series
$$
\sum_{x \in \Gamma} e^{-s \log\|...
- 89
8
votes
2
answers
2k
views
Ideals generated by regular sequences
In Vasconcelos' paper (Ideals generated by R-sequences), he proved
If $R$ is a local ring, $I$ an ideal of finite projective dimension, and $I/I^2$ is a free $R/I$ module, then $I$ can be ...
- 719
16
votes
1
answer
496
views
What is the value of $[S^3/G] \in \pi_3(Sphere)$ for a finite subgroup $G \subset SU(2)$?
Let $G\subset \mathrm{SU}(2)$ be a finite group. (These are famously classified through the McKay correspondence.) The Lie group framing of $\mathrm{SU}(2) = S^3$ descends to the quotient manifold $S^...
- 54.6k
3
votes
1
answer
242
views
Notions of integrability for affine Lie algebras and positive energy representations
Let $\mathfrak{g}$ be a simple (complex) Lie algebra. Given an invariant bilinear form $\kappa : \mathfrak{g} \otimes \mathfrak{g} \to \mathbb{C}$, we can form the central extension $\hat{\mathfrak{g}}...
- 3,019
1
vote
1
answer
150
views
Description of $A^\bullet(G/H)$ [closed]
Let $G$ be a compact Lie group and let $H$ be a closed subgroup of $G$, with Lie algebras $\mathfrak{g}$ and $\mathfrak{h}$.
We denote $G\times_H \mathfrak{g} / \mathfrak{h}$: the set of orbits $(G \...
- 139
1
vote
0
answers
138
views
Automorphism group of indefinite orthogonal Lie group $G=O(p,q)$ vs that of a double covering group $\tilde{G}$
Previously I mentioned in Automorphism group of a Lie group $G$ vs that of a double covering group $\tilde{G}$: same or not? that the automorphism group of a Lie group 𝐺 may be the same as that of ...
- 10.5k
4
votes
3
answers
681
views
Real points of reductive groups and connected components
Let $\mathbf G$ be a connected reductive group over $\mathbb R$, and let $G = \mathbf G(\mathbb R)$. Then $G$ is not necessarily connected as a Lie group, e.g. $\mathbf G = \operatorname{GL}_n$. ...
- 6,180
10
votes
1
answer
262
views
What is the hidden symmetry behind four generic planes in $\mathbb{R}^4$?
Consider the action of $\operatorname{GL}(\mathbb{R}^4)$ on the Grassmannian of 2-dimensional subspaces of $\mathbb{R}^4$. In experiments, I observe that four randomly drawn points in this space are ...
- 7,633
1
vote
0
answers
107
views
Only Zariski-closed subsets of compact Lie groups with nonempty interior have nonzero measure
In this question, the following fact was used by the respondent
A Zariski-closed subset of a compact Lie group $G$ with nonzero Haar
measure contains a coset of $G^0$, the connected component of
$G$ ...
- 2,118
19
votes
5
answers
4k
views
Matrix representation for $F_4$
Has anyone ever bothered to write down the 26-dimensional fundamental representation of $F_4$? I wouldn't mind looking at it. Is it in $\mathfrak{so}(26)$?
I'm familiar with the construction of the ...
- 2,123
3
votes
0
answers
202
views
The group of fixed points of an involution of a Weyl group
Let $R$ be a reduced root system in a vector space $V$ over $\mathbb Q$.
Let $W=W(R)$ denote its Weyl group.
Let $S\subset R$ be a basis of $R$ (a system of simple roots).
Let $D=D(R,S)$ denote the ...
- 14.2k
17
votes
2
answers
2k
views
Mathematical/Physical uses of $SO(8)$ and Spin(8) triality
Triality is a relationship among three vector spaces. It describes those special features of the Dynkin diagram D4 and the associated Lie group Spin(8), the double cover of 8-dimensional rotation ...
- 10.5k
10
votes
3
answers
755
views
Invariants of exterior powers
Let $\mathfrak{g}$ be the Lie algebra of $GL(n,\mathbb{R})$. Let $\theta(X) = - X^T$ be the Cartan involution on $\mathfrak{g}$; it induces decomposition as $\mathfrak{g} = \mathfrak{k} \oplus \...
- 601
6
votes
1
answer
216
views
Fixed space of maximal torus and Weyl group
Let $G$ be a compact connected Lie group and $T\subset G$ a maximal torus. Let $V$ be a representation of $G$ and $U=\{v\in V: tv=v\textrm{ for all }t\in T\}$. For any $g\in N(T)$ we have for all $t\...
- 3,031
0
votes
0
answers
88
views
Automorphism group of a Lie group $G$ vs that of a double covering group $\tilde{G}$: same or not? [duplicate]
Previously there are some counterexamples given in Automorphism group of a Lie group $G$ vs that of a covering group $\tilde G$: same or not? such that the automorphism group of a Lie group 𝐺 is not ...
- 10.5k
3
votes
2
answers
291
views
How many non-isomorphic extensions with kernel $S^1$ and quotient cyclic of order $p$?
I want to determine how many non-isomorphic extensions (as group they are non-isomorphic) are possible of the form $1 \to \mathbb{S}^1 \to G \to (\mathbb{Z}_p)^k \to 1$, where $G$ is a compact lie ...
- 123
3
votes
2
answers
1k
views
Local coordinates on (infinite dimensional) Lie groups, factorization of Riemann zeta functions
Given a (finite dimensional) Lie group $G$ (real $k=\mathbb{R}$ or complex $k=\mathbb{C}$) and its Lie algebra $\mathfrak{g}$, one can prove (a basis $B=(b_i)_{1\leq i\leq n}$ of $\mathfrak{g}$ being ...
- 3,738
6
votes
0
answers
196
views
Logarithm on formal power series continuous?
Denote $V:=\mathbb{R}^d$ and consider the Cartesian product $V^\infty:=\prod_{k=0}^\infty V^{\otimes k}$ together with its canonical projections $\pi_k : V^\infty\rightarrow V^{\otimes k}, (v_0, v_1, \...
- 463
2
votes
0
answers
78
views
Examples of curvature-adapted subgroups of semi-Riemannian groups
Let $G$ be a semi-Riemannian group, i.e., a Lie group equipped with a bi-invariant semi-Riemannian metric. I am looking for examples of Lie subgroups that are curvature adapted to $G$.
First, allow me ...
- 985
4
votes
0
answers
97
views
Why is the $A$-series root system best written in a vector space of one dimension higher?
In the classification of root systems, we have four families $A_n,B_n,C_n$, and $D_n$, and six exceptionals $E_6,E_7,E_8, F_4$, and $G_2$. For every non-exceptional case except $A_n$, the root system ...
- 123
4
votes
0
answers
366
views
Derivative of a representation
I'm learning about Maass--Shimura operators, and there's a term that I'm not sure how to generalize nicely.
Let $\mathfrak{h}$ be the upper half-plane with parameter $z= x + iy$, and write $s = \frac{...
- 949
1
vote
0
answers
135
views
Hausdorff dimension of a compact Lie group [closed]
Let $G$ be a compact Lie group (for simplicity assume $G=SO(3)$). Equip $G$ with a left-invariant Riemannian metric and let $m$ be left-invariant Haar measure on $G$.
Now that $G$ is a metric space ...
- 323
3
votes
0
answers
79
views
Can the Lie group $\text{Aff}(1)$ be extended?
Translations over $\mathbb{R}^1$ (ie. $(x\rightarrow x+b)$) form the Lie group $\mathbb{R}^{+}$.
If we add the scaling operations over $\mathbb{R}^1$ , we can form the Lie group $\text{Aff}(1)$, ...
- 151
2
votes
0
answers
118
views
Can we find a holomorphic representative in an equivalence class?
$\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\PSU{PSU}$Let $U\subseteq \mathbb C^2$ be a given open set, $A$ be the set composed by maps (not necessarily continuous) $f:U\to \PSL(2,\mathbb C)$. ...
- 307
4
votes
1
answer
441
views
Smallest subgroup of unitary group, containing diagonal matrices and a fixed unitary matrix is the whole group
Suppose that $U_n(\mathbb{C})$ is the group of unitary matrices of dimension $n$ over complex numbers. Fix a unitary matrix $A \in U_n(\mathbb{C})$ and consider the smallest closed subgroup $K \...
- 85
2
votes
1
answer
228
views
Automorphisms of $G/Z(G)$ with $G$ simply connected
Let $G$ be a simply connected (if necessary, compact Lie) group with finite center $Z$ and $p:G/\to G/Z$ be the canonical projection. Is there any way to know if every element in $\operatorname{Out}(G/...
- 169
4
votes
0
answers
289
views
Formal integration (?) in Chabauty’s method
In Mccallum, Poonen’s paper “The method of Chabauty and Coleman”,
the authors define, for the Jacobian $J$ of a geometrically connected smooth proper curve over the rational field and for $\omega \in ...
- 1,364
13
votes
3
answers
5k
views
Lie subgroups of SU(3)
Apart from images of representations of subgroups of SU(2), what are the Lie subgroups of SU(3)? Where should I look for a reference?
- 131
1
vote
1
answer
186
views
A question regarding the action of a Lie subgroup
Suppose $H$ is a closed subgroup of a Lie group $G$. Then in Lee's book Introduction to Smooth Manifolds (Ch. 9) he showed that the action $H\times G\to G$ $(h,g)\mapsto gh$ is a smooth, free, proper ...
- 1,879
4
votes
0
answers
184
views
Are there mathematical/physical applications of these Weyl equivariant maps?
Let $G$ be a compact Lie group and $T$ a choice of maximal torus. Denote the corresponding Lie algebras by $\mathfrak{g}$ and $\mathfrak{t}$. Elements of $\mathfrak{t} \otimes \mathbb{R}^3$ are called ...
- 5,215