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
8
votes
2
answers
642
views
Is it true $\left\|\log(RS)\right\|≤\left\|\log(R)+\log(S)\right\|$ for all $R,S \in \mathrm{SO}(3)$, where $\|\cdot\|$ is the Frobenius norm?
$\DeclareMathOperator\SO{SO}$I asked this initially in math stack exchange, but thought to ask it here since it is more advanced and related to my research topic. I study optimization on Lie groups ...
- 518
30
votes
2
answers
1k
views
Gaussian elimination is just Gram-Schmidt with a change to the inner product symbol?
I noticed at some point that if you take the Gram-Schmidt algorithm for taking the QR decomposition of a matrix, and you change the meaning of the inner product symbol $\langle \mathbf u, \mathbf v \...
- 4,943
0
votes
0
answers
74
views
A question on projective unitary representation of a Lie group
$\DeclareMathOperator\GL{GL}$Let $\mathcal{H}$ be a Hilbert space and $\GL(\mathcal{H})$ denote the group of invertible linear transformations of $\mathcal{H}$. Assume that $G=\{ f:\mathbb{P}\mathcal{...
- 287
7
votes
2
answers
353
views
Relation between different $E_8$ matrices
There are several rank-8 square matrices known to be related to $E_8$:
Cartan $E_8$ matrix https://en.wikipedia.org/wiki/E8_(mathematics)#Cartan_matrix
$$M_1=\left [\begin{array}{rr}
2 & -1 &...
- 317
6
votes
0
answers
345
views
Why can't a Lie group act transitively on a finite volume hyperbolic manifold?
In the comments on the MathSE question "Is Seifert-Weber space homogeneous for a Lie group?",
it is claimed that if $ M $ is a manifold which admits a finite volume hyperbolic metric (...
- 4,081
2
votes
1
answer
294
views
Are there always flat connections?
Let $G$ be a simply connected Lie group and $\Gamma$ a cocompact discrete and torsion-free subgroup. Is there a (real or complex) smooth vector bundle $E$ over the manifold $G/\Gamma$, which does not ...
user473423
1
vote
1
answer
192
views
Lie group framing and framed bordism
What is the definition of Lie group framing, in simple terms?
Is the Lie group framing of spheres a particular type of Lie group framing? (How special is the Lie group framing of spheres differed ...
- 447
10
votes
2
answers
914
views
Finite subgroups of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$
Question 1:Is there a reference that lists all possible finite subgroups and their orders of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$ for $n=4$ or even higher $n$ over the real numbers?
I can only find ...
- 26.5k
3
votes
1
answer
310
views
Heat kernel of left-invariant metric on 3-sphere
This post concerns the heat equation on $S^3 (\simeq \mathrm{SU}(2))$ endowed with an arbitrary left-invariant metric. We think of $S^3$ as the space of unit quaternions, and its Lie algebra $\...
- 161
3
votes
2
answers
180
views
Algorithm for finding the symmetries of a linear operator
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\GL{GL}$Let $V, W$ be finite dimensional complex vector spaces and $M\in \Hom(V, W)$ a full rank linear map. I want to see if there exists a Lie group ...
- 111
1
vote
0
answers
133
views
A question about fixed point set of the compact group actions
Let $G$ be an infinite compact Lie group acting on a compact space $X$.
Denote $F=F(G,X)=\{x\in X$ : $gx=x$ for all $g\in G\}$.
Show that if $H^*(B_{G_x};\mathbb{Q})=0$ for all $x \notin F$ and $T^1$ ...
- 1,367
0
votes
1
answer
210
views
Centers of universal enveloping algebra of complex Lie algebras
Let $\mathfrak{g}$ and $\mathfrak{g'}$ be complex Lie algebras such that $\mathfrak{g}$ is a subalgebra of $\mathfrak{g'}$. Let $Z(\mathfrak{g})$ and $Z(\mathfrak{g'})$ be the centers of the universal ...
- 833
0
votes
1
answer
136
views
Conjugacy of Cartan subgroups in $\mathrm{GL}(n)$
$\DeclareMathOperator\SL{SL}$I have probably a very basic question on the structure of semisimple Lie groups. Sorry if it is too elementary.
Let either $G=\SL(n,\mathbb{R})$ or $G=\SL(n,\mathbb{C})$. ...
- 21.8k
0
votes
1
answer
183
views
Finite subgroups of $\mathrm{O}_n(\mathbb R)$ from finite subgroups of $\mathrm{SO}_n(\mathbb R)$
Let $G$ be a finite subgroup of $\mathrm{SO}_n(\mathbb R)$. We also assume $G$ to be "maximal" in the sense that for every $g\in\mathrm{SO}_n(\mathbb R)\setminus G$, we have that $\overline{\...
- 245
-3
votes
1
answer
374
views
On Haar measure and Spherical measure [closed]
Let $d$-dimensional complex sphere be
$$\{(c_1,\cdots,c_{d})\sum_{i=1}^{d} |c_i|^2=1.\}$$
We can define the Haar measure on this sphere by regarding the unitary group $U(d)$.
We can regard the $d$-...
- 1,503
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?
- 1,367
2
votes
0
answers
94
views
Techniques for computing integrals on $G/K$
Edit: I originally tried writing a simpler question, but to make more clear what I want I wrote the general question below
Let $G$ be a compact group with compact subgroup $K\subseteq G$ (everything ...
- 1,077
8
votes
2
answers
440
views
Show $\langle \log(R), \log(R^{-1}S) \rangle \geq \langle \log(R), \log(S) - \log(R) \rangle $ for all $R,S \in \mathrm{SO}(3)$
$\DeclareMathOperator\SO{SO}$I have a similar question to one I asked a few days ago. Lately, I've been researching Lie groups equipped with bi-invariant Riemannian metrics. One common object is $\SO(...
- 518
6
votes
1
answer
355
views
Single sum of squares of Clebsch–Gordan coefficients
Let $C^{j_3 m_3}_{j_1 m_1 j_2 m_2}$ be the standard Clebsch–Gordan coefficients of $\operatorname{SU}(2)$. They obey the orthogonality relation
$$ \sum_{j_3} \sum_{m_3} \left(C^{j_3 m_3}_{j_1 m_1 j_2 (...
- 914
2
votes
0
answers
165
views
A property of the Riemannian metric on the symmetric space $X_\textsf{d}=\textsf{SL}(d,\Bbb R)/\textsf{SO}(d)$
Consider the symmetric space $X_\textsf{d}=\textsf{SL}(d,\Bbb R)/\textsf{SO}(d)$. For any $M\in X_d$, by transporting the Killing form on $T_I(X_d)$ (the space of symmetric matrices with trace zero) ...
- 1,097
4
votes
0
answers
98
views
Commutator-realisable connected simply connected Lie groups
Suppose that, for a connected simply connected real Lie group G, there is a Lie group H such that
G = H′ (the commutator subgroup of H). Can H always be chosen to be connected; that is, is there a ...
- 310
3
votes
1
answer
285
views
Examples of Lie groups where $G\to G/H$ splits topologically but not as groups
Let $G$ be a connected Lie group and $H$ a normal connected subgroup. I'm looking for examples where $G\to G/H$ has a section as topological spaces, but not as Lie groups.
My motivation here is to ...
- 740
5
votes
1
answer
530
views
Geodesic distance on $\mathrm{SO}(n)$
$\DeclareMathOperator\SO{SO}$Recently I came across this old MSE post or this paper (w.o. proof) discussing the geodesic distance on $\SO(n)$ when it is equipped with the left-invariant Riemannian ...
- 364
0
votes
0
answers
81
views
Lattice not contained in any connected subgroup is not contained in any positive dimensional subgroup
Let $ G $ be a simple Lie group and let $ \Gamma $ be a lattice in $ G $. If $ \Gamma $ is not contained in any connected subgroup of $ G $ does that imply that $ \Gamma $ is not contained in any ...
- 4,081
6
votes
1
answer
180
views
Expected value of the length of the shortest non-zero vector in a lattice?
$\DeclareMathOperator\SL{SL}$What is the expected value of the length of the shortest non-zero vector in a (unimodular) lattice? I.e., let $G=\SL_n(\mathbb{R})$ with Haar measure $\mu$, $\Gamma=\SL_n(...
- 609
1
vote
0
answers
113
views
A combinatoric identity for characters of reductive groups
Let $G$ be a reductive group over an algebraic closed field (of char 0 if necessary). Let $T\subset G$ be a maximal torus and $S=\mathrm{Sym}^*(X(T))$ be the symmetric algebra of characters of $T$. ...
- 11
7
votes
1
answer
178
views
Homogeneous metric connections on 3-dimensional Lie groups
Let $G$ be a 3-dimensional unimodular Lie group equipped with a left-invariant metric $q$. Call $P_{SO}$ its oriented orthonormal frame bundle.
Considering the moduli space of connections $\mathscr{B}$...
- 73
4
votes
0
answers
226
views
Elementary proof Hilbert-Mumford stability criterion for $\operatorname{GL}_n(\mathbb{C})$
In An elementary proof of the Hilbert-Mumford criterion, B. Sury gives an elementary proof of the Hilbert-Mumford semi-stability criterion for $G = \operatorname{GL}_n(\mathbb{C})$ (and $G = \...
- 7,300
3
votes
1
answer
298
views
Characterization of reductive Klein geometries
In my struggle to understand Cartan/Klein geometries, I have the intuition that reductive Klein geometries are the link to connect the "classical" differential geometry approach with this &...
24
votes
2
answers
2k
views
Is it possible to realize the Moebius strip as a linear group orbit?
On MSE this got 5 upvotes but no answers not even a comment so I figured it was time to cross-post it on MO:
Is the Moebius strip a linear group orbit? In other words:
Does there exists a Lie group $ ...
- 4,081
2
votes
2
answers
336
views
Orthosymplectic superalgebra
Let $V=V_0 \oplus V_1$ be a $\mathbb Z_2$-graded vector space over $\mathbb C$. Suppose $V$ has an even non-degenerate bilinear form $(-, -)$
which is symmetric on $V_0$, skew symmetric on $V_1$, and ...
- 673
9
votes
1
answer
646
views
Explicit construction of a (the?) dual symmetric space
I am looking for a reference, proof or disproof of the fact that every Riemannian globally symmetric space of compact (non-compact) type has a "dual", which is of non-compact (compact) type.
...
- 113
4
votes
1
answer
419
views
Faithful locally free circle actions on a torus must be free?
Is it true that every faithful and locally smooth action $S^1 \curvearrowright T^n$ is free?
I know such an action must induce an injection $\rho:\pi_1(S^1)\to\pi_1(T^n)$.
Another related question is: ...
- 385
1
vote
0
answers
23
views
Analyticity of the semigroup generated by the sublaplacian on unimodular Lie group
Let $G$ a connected unimodular Lie group, endowed with Haar measure $X={X_1,\cdots,X_k}$ a Hörmander system of left-invariant vector fields. The sublaplacian $\Delta = - \sum_{i=1}^k X_i^2$ generates ...
- 677
7
votes
1
answer
280
views
Non-homogeneous line bundles over a homogeneous space
Let $G$ be a compact Lie group and $G/K$ a connected homogeneous space. A homogeneous vector bundle over $G/K$ is a vector bundle is one that is isomorphic to a vector bundle of the form
$$
G \times_{\...
- 257
6
votes
2
answers
686
views
When is the normalizer of the maximal torus maximal?
This is a cross post from MSE of
https://math.stackexchange.com/questions/4562196/normalizer-of-maximal-torus-is-maximal
Let $ T $ be a maximal torus in a compact connected simple Lie group $ K $. For ...
- 4,081
4
votes
2
answers
181
views
The orbits of an algebraic action of a semidirect product of a unipotent group and a compact group are closed?
We consider real algebraic groups and real algebraic varieties. It is known that the orbits of an algebraic action of a unipotent algebraic group $U$ on an affine variety are closed. The orbits of an ...
- 309
0
votes
1
answer
243
views
Adjoint action on the universal enveloping algebra and the PBW theorem
Let $\frak{g}$ be a semisimple Lie algebra and $U(\frak{g})$ its universal enveloping algebra. The adjoint action of $\frak{g}$ on itself extends to an action of $\frak{g}$ on $U(\frak{g})$. How does ...
- 157
3
votes
1
answer
258
views
Semidirect product of two linear groups
Let $G$ and $H$ two connected linear Lie groups. Is $G\ltimes H$ also linear?
- 65
1
vote
1
answer
181
views
Gradient descent under the presence of symmetries
Let $M$ be a Riemannian manifold (I'm happy to assume it is Euclidean space) with a function $f: M \to \mathbb R$ and a group of isometries $G$ acting on $M$ and preserving $f$, i.e., $f(gm) = f(m)$ ...
- 7,746
2
votes
0
answers
125
views
The double quotient of SU(N) by its diagonal maximal torus
$\DeclareMathOperator\SU{SU}$The special unitary group $\SU(N)$ contains $T^{N-1}$ as a maximal torus, which we take to be the diagonal subgroup of $\SU(N)$. Can we describe the double quotient space
$...
4
votes
1
answer
236
views
Laplace beltrami eigenspaces of compact Lie groups
For a Riemannian manifold $\mathbb M$, let $0=\lambda_0<\lambda_1<\cdots$ be the eigenvalues of (negative of) its Laplace-Beltrami $-\Delta_{\mathbb M}$, with corresponding eigenspaces $\mathcal ...
- 41
6
votes
1
answer
393
views
An alternative form of the Kazhdan-Lusztig conjecture
Fix a complex semisimple Lie algebra $\mathfrak{g}$. Denote by $W$ the corresponding Weyl group, with length function $\ell$ and Bruhat order $\leq$. Let $\lambda$ be an integral anti-dominant weight. ...
- 1,391
8
votes
1
answer
366
views
Is the GL(2,R)-representation of smooth, odd and 0-homogeneous functions on the punctured plane irreducible?
Let me preface this by saying that I have next to no background in representation theory. I come from geometry but the following representations showed up naturally in my work.
We let $ V = C^\infty \...
- 183
4
votes
2
answers
412
views
Minimal non-abelian groups -> Lie groups/algebras
A group is called minimal non-abelian if it is non-abelian and all proper subgroups are abelian.
Does this notion also exist with Lie groups or algebras? As an example, consider the Lie algebra ...
- 4,829
6
votes
1
answer
549
views
Computing a Commutator Subgroup
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}$I’m studying the group $\O(5,5,\mathbb{Z})$, the indefinite orthogonal matrices with integer entries. In particular, I ...
- 545
0
votes
0
answers
165
views
Are all infinite-dimensional Lie groups noncompact?
Basically what the title says — if a Lie group is infinite-dimensional, is it necessarily noncompact?
- 194
2
votes
1
answer
107
views
Finite dimensional irreducible representations of $\frak{sl}_m$ with non-trivial zero weight spaces
For the special linear algebra $\frak{sl}_{m}$ which finite dimensional irreducible representations $V_{\mu}$ have non-trivial zero weight spaces?
For $\frak{sl}_2$ this is clear: $V_{2k\pi}$ for $\pi$...
- 157
2
votes
1
answer
429
views
Representation ring of the general linear group
The ring of representations of the symmetric group is isomorphic to the ring of symmetric functions. The Schur-Weyl duality relates the irreducible representations of the symmetric group and that of ...
- 673
3
votes
2
answers
492
views
Pairing a root with the half-sum of positive roots
Let $\frak{g}$ be a finite-dimensional complex simple Lie algebra together with a choice of Cartan subalgebra and associated root system $(\Delta, (-,-))$. Also we denote the half-sum of positive ...
