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
2
votes
1
answer
123
views
Polar decomposition with respect to the nonstandard involution of quaternionic matrices?
The quaternions admit infinitely many involutions. But up to isomorphism, there are only two: The standard one $t+xi+yj+zk\mapsto t-xi-yj-zk$ and the nonstandard one $\phi:t+xi+yj+zk\mapsto t-xi+yj+zk$...
- 4,943
6
votes
0
answers
306
views
Tits construction of algebraic groups of type D₆ and E₇ via C₃
As shown in the Freudenthal magic square, the Tits construction of $D_6$ takes as input
an quaternion algebra and the Jordan algebra of a quaternion algebra (see The Book of Involutions § 41). In ...
- 1,479
4
votes
0
answers
175
views
Is there any results about the stable (or unstable) cohomology operations on cohomology of Lie groups?
$\DeclareMathOperator\SU{SU}$For the $\mod p$ singular cohomology of classical Lie groups, such as $H^*(\SU(n); \mathbb{Z}/p\mathbb{Z})$, there are well known results about the actions of the stable ...
- 71
1
vote
0
answers
70
views
What is the form of the incomplete Eisenstein series on PGL_2(C)?
Let $F$ be an imaginary quadratic number field. Let $G = \mathrm{PGL}_2(\mathbb{C}) $ and $\varGamma = \mathrm{PSL}_2(\mathcal{O}_F)$. We have the Iwasawa decomposition $G = NAK$ where $K = \mathrm{...
- 185
3
votes
0
answers
503
views
The definition of a homogeneous vector bundle
For a homogeneous space $G/H$ a homogeneous vector bundle has a total space of the form $G \times_{\rho} V$, where $(V,\rho)$ is a representation of $H$ and $G \times_{\rho} V$ is the set of ...
- 157
4
votes
0
answers
92
views
Lie bracket of general unipotent matrices
Let $k$ be a field (of characteristic $0$). Let
$$
X:=\begin{pmatrix}1&x_{1,2}&x_{1,3}&\cdots&x_{1,n}\\ &1&x_{2,3}&\cdots&x_{2,n}\\ &&1&\cdots&x_{3,n}\\ ...
- 449
1
vote
0
answers
105
views
Weyl group action on the Lie algebra [duplicate]
Let $W$ be the Weyl group of a complex semisimple Lie algebra $\frak{g}$. Certainly $W$ acts on the root system $R$ of $\frak{g}$ but can it be made to act on $\frak{g}$ or on the universal enveloping ...
7
votes
1
answer
1k
views
On eigenfunctions of the Laplace Beltrami operator [closed]
How can we generate the eigenspace for the Laplace Beltrami operator on SU(2)?
- 91
5
votes
1
answer
310
views
Non-standard partial orders on root systems
Let $\frak{g}$ be a semisimple complex Lie algebra and let $\Delta$ be its associated root system with $\{\alpha_1, \dotsc, \alpha_l\}$ a choice of positive roots. As we all know - $\Delta$ admits a ...
3
votes
1
answer
140
views
Asymptotics of Haar moments on general Lie groups
I am trying to understand the asymptotics of Haar Moments on general compact Lie groups (in particular, subgroups of $\mathrm{SU}(n)$). I have learned that closed form formulae for these moments are ...
- 179
1
vote
0
answers
78
views
Does Poincaré duality link topological study and representation study of a given Lie group?
The Poincaré duality for an oriented n-manifold M takes the form : $$H^\star(M) \simeq H_c^{n-\star}(M)^\vee.$$
Instead of M take now a real Lie group G. We can basically study it by looking at its ...
- 11
1
vote
0
answers
70
views
Minimal $K$-orbit on $\mathfrak{g}$
Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra with Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. Write $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the ...
- 951
2
votes
1
answer
371
views
What do the Pauli matrices say about the Threefold Way?
The Pauli matrices
$$\sigma_1=\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix},
\sigma_2=\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix},
\sigma_3=\begin{pmatrix} 1 & 0 \\ 0 & -1 \...
2
votes
0
answers
52
views
Normal form of this group action?
Let $d\in\mathbb{N}$. We consider the vector space $V=\mathbb{C}^2\otimes\mathbb{C}[x_0,x_1]_d$ where $\mathbb{C}[x_0,x_1]_d$ is the space of homogeneous binary forms of degree $d$. We have a natural ...
- 3,031
0
votes
0
answers
71
views
Integrating homomorphisms of Borel subalgebras
Let $G$ be a connected simple complex Lie group and $\mathfrak{g}$ be its Lie algebra. Let us fix a root decomposition, let $\mathfrak{b}_\pm$, $\mathfrak{n}_+$ and $\mathfrak{h}$ be the corresponding ...
2
votes
1
answer
618
views
Classification of Lie group structures on $\mathbb{R}^n$
Is it possible to describe, up to isomorphism, all Lie groups $G$ whose underlying manifold is diffeomorphic to $\mathbb{R}^n$ (with its standard smooth structure)?
In fact, I haven't found any such ...
- 6,962
2
votes
2
answers
836
views
Maurer-Cartan form and Levi-Civita connection
I am coming from this question, which has not being completely answered but I think is very interesting.
In several works ([Chern], [Griffiths] and [Clelland]) the Maurer-Cartan form for $E(n)$ is ...
1
vote
1
answer
189
views
Tensoring irreducible representations corresponding to root lattice elements
Let $\frak{g}$ be a complex semisimple Lie algebra with root lattice $Q$ and positive weight space $P^+$. Let $\lambda, \mu \in Q \cap P^+$, with corresponding respective fin-dim irreducible ...
- 327
11
votes
1
answer
357
views
Alternating subgroups of $\mathrm{SU}_n $
$\DeclareMathOperator\PSU{PSU}$Let $ \PSU_n $ be the projective unitary group. Let $ A_m $ be the alternating group on $ m $ letters.
$ A_5 $ is a maximal closed subgroup of $ PSU_2 \cong SO_3(\mathbb{...
- 4,081
1
vote
1
answer
423
views
Quaternion representation and Haar measure of $SU(3)$ [closed]
Do we have easily and practically useful quaternion representation for $SU(3)$ group element and for Haar measure?
Also, is $SU(2)$ really simplified in the quaternion base?
4
votes
1
answer
278
views
Complexification of a Lie subalgebra of a compact real form
I'm currently reading the paper Lie algebra Cohomology and the Generalized Borel–Weil theorem written by B. Kostant, and I have a question about Remark 3.9 he made.
In this paper, $\mathfrak{g}$ is a ...
- 323
6
votes
0
answers
139
views
Why are all representations of split groups of real type?
(I am using a throwaway account because I plan on possibly pointing to this answer in a referee report I am writing, and using my main account would be a bit too obvious.)
Let $\mathfrak{g}$ be a ...
5
votes
1
answer
258
views
References on standard monomial theory
I am interested in learning about standard monomial theory and Seshadri's program. I find the topic interesting, but I could not yet find a resource which kind of "dumbs it down" enough (a ...
- 5,215
23
votes
2
answers
611
views
Does the 3875-dimensional rep of $E_8$ have a solution to $x\star x=0$?
Consider the compact Lie group $E_8$. Its second-smallest fundamental representation is $3875$-dimensional and admits a symmetric invariant form, and so is real: $E_8 \curvearrowright \mathbb{R}^{3875}...
- 54.6k
1
vote
0
answers
120
views
Geometric induction of modules for algebraic groups
Let $\Bbbk$ be an algebraically closed field (of any characteristic). Let $G$ be an algebraic group over $\Bbbk$, and $H$ a closed (hence algebraic) subgroup of $G$.
Let $V$ be a finite-dimensional $...
- 1,077
5
votes
2
answers
324
views
Is there a 'natural' projection from $O(n)$ into $S_n$?
Is there an easily definable projection $F$ from the orthogonal group $O(n)$ into the permutation group $S_n$, which has the following properties?
$F(P_\sigma) = \sigma$ for all $\sigma \in S_n$
$F^{...
- 1,295
6
votes
1
answer
244
views
Certain isotypical component of the tensor product of irreducible representations of $\mathrm{U}(n)$
The following question is closely related to this one.
Let $\mathrm{U}(n)$ be the group of all (complex) unitary matrices $n\times n$. It is known that all irreducible representations of $\mathrm{U}(n)...
- 379
6
votes
1
answer
398
views
Lattices in $p$-adic groups
What are the examples of lattices in $\operatorname{SL}_n(\mathbb{Q}_p)$ with $n\geq 3$ or in other semisimple $p$-adic groups of higher rank?
It is known $\operatorname{SO}_n(\mathbb{Z}[1/p])$ is a ...
- 391
1
vote
0
answers
62
views
Expression of the Riemannian metric on the Siegel domain?
I'm looking for proof that, for the complex Siegel domain in $\mathbb C^{n}$ defined by:
$$\mathcal H_{n} = \{ z=(z_1,\dots,z_n) \in \mathbb C^{n} \mid \operatorname{Im}(z_{n}) > \sum_{j=1}^{n-1} |...
- 650
5
votes
0
answers
146
views
Is every linear Lie group of bounded geometry?
$\newcommand\norm[1]{\lVert#1\rVert}$Given any point $p$ of a smooth Riemannian manifold $M$ there exists $r\in (0,\infty]$ such that the Riemannian exponential is a diffeomorphism in the geodesic ...
- 293
5
votes
1
answer
203
views
Can all hermitian symmetric spaces be realised as coadjoint orbits?
Here is what I know. Assume $M\cong G/K$ is an irreducible hermitian symmetric space. Denote the Lie-algebra of $K$ by $\mathfrak{t}$. Proposition 1.2. chapter 3 in
Wienhard - Bounded cohomology and ...
- 61
4
votes
0
answers
115
views
Examples of non-equivariant momentum maps
What are examples of non-equivariant momentum maps?
Off the top of my hat, I know about the following examples:
the action of translations of a symplectic vector space (yielding the Heisenberg group ...
- 5,824
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 ...
- 4,081
3
votes
1
answer
451
views
Topological vector spaces in direct sum
A year ago, I asked this question here at Mathematics Stackexchange, but no one there managed to answer it. So I am elevating it to MathOverflow.
This question had emerged as an offshoot of a bigger ...
- 603
4
votes
0
answers
115
views
Questions related to a paper of Cowling-Haagerup and uniform lattices of $\mathrm{Sp}(1,n)$
I am reading the following paper of Cowling and Haagerup for my master’s thesis. I am new to this area so I am not very conversant. So I do apologize if the questions are silly.
Question 1. In the ...
- 131
2
votes
0
answers
157
views
Bruhat-Tits theory and Jordan-Chevalley decomposition
The theory of Bruhat-Tits buildings is known to be able to unify some Lie group decompositions. Is there a sense in which an appropriate choice of building can unify the Jordan-Chevalley with the ...
- 4,943
2
votes
0
answers
90
views
$\mathrm{GL}(n, \mathbb{Z})$-equivariant maps on $\mathrm{GL}(n, \mathbb{R})$
$\DeclareMathOperator\GL{GL}$Can you describe the maps from $\GL(n, \mathbb{R})$ to $\GL(n, \mathbb{R})$ that are equivariant w.r.t. right multiplication by $\GL(n, \mathbb{Z})$? I'm interested even ...
- 327
11
votes
1
answer
455
views
Asking whether there is a compact Lie group containing affine symplectic group
The affine symplectic group is interesting and important in physics. However, the Lie group is noncompact. In order to have some good properties (Basically, we need some good behavior of Haar measure) ...
- 149
20
votes
2
answers
1k
views
The first unstable homotopy group of $Sp(n)$
Thanks to the fibrations
\begin{align*}
SO(n) \to SO(n+1) &\to S^n\\
SU(n) \to SU(n+1) &\to S^{2n+1}\\
Sp(n) \to Sp(n+1) &\to S^{4n+3}
\end{align*}
we know that
\begin{align*}
\pi_i(SO(...
- 19.3k
3
votes
1
answer
147
views
Does every nilpotent orbit have an element supported on the simple root spaces?
Let $G$ be a connected reductive algebraic group (over $\mathbb{C}$) and $\mathfrak{g}$ its Lie algebra. Let $O \subset \mathfrak{g}$ be an orbit of a nilpotent element. Let $\Pi = \{\alpha_1, \dots ,\...
- 57
3
votes
0
answers
80
views
Can a semisimple orbit always be identified with a cotangent bundle?
Let $H$ be a semisimple element of the Lie algebra $\mathfrak{g}$ of a semisimple Lie group $G$, and let $M:=\mathrm{Ad}_G(H)\subset\mathfrak{g}$ be the corresponding adjoint orbit. If we choose a ...
- 2,527
60
votes
8
answers
13k
views
Why the Killing form?
I'm teaching a short summer course on algebraic groups and it's time to talk about the Killing form on the Lie algebra. The students are all undergrads of varying levels of inexperience, and I try to ...
- 7,273
21
votes
1
answer
837
views
What is the homotopy type of the poset of nontrivial decompositions of $\mathbf{R}^n$?
Consider the following partial order. The objects are unordered tuples $\{V_1,\ldots,V_m\}$, where each $V_i \subseteq \mathbf{R}^n$ is a nontrivial linear subspace and $V_1 \oplus \cdots \oplus V_m =...
- 1,025
6
votes
1
answer
309
views
Is there a representation of $\mathrm{SU}_8/\{\pm 1\}$ that doesn't lift to a spin group?
$\newcommand{\GL}{\mathrm{GL}}\newcommand{\SO}{\mathrm{SO}}\newcommand{\SU}{\mathrm{SU}}\newcommand{\Spin}{\mathrm{Spin}}\renewcommand{\O}{\mathrm
O}\newcommand{\R}{\mathbb
R}\newcommand\Z{\mathbb Z}$...
- 6,881
2
votes
0
answers
159
views
The Cartan is a complex vector space but the root system is real?
Let $\frak{g}$ be a complex semisimple Lie algebra with some choice of Cartan subalgebra $\frak{h}$. The dual space $\frak{h}^* = \mathrm{Hom}_{\mathbb{C}}(\frak{h},\mathbb{C})$ is a complex vector ...
- 1,144
4
votes
1
answer
324
views
The Hausdorff codimension of singular matrices vs. the Hausdorff codimension of points with divergent trajectories
Let $G:=SL(m+n,\mathbb R)$ and $\Gamma :=SL(m+n,\mathbb Z)$ and $X:=G/\Gamma$.
(1) Let $M$ denote the set of all $m \times n$ matrices with real entries. A matrix $A \in M$ is called $\textit{singular}...
- 1,565
7
votes
1
answer
1k
views
When a free action gives rise to a $G$-principal bundle
When a free action gives rise to a $G$-principal bundle
Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that
$G \backslash X$ is Hausdorff. (equivalently the image of ...
- 2,649
3
votes
0
answers
119
views
Describing the outer automorphism of a special unitary group in terms of the Hermitian form
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\GL{GL}$Let $h$ be a non-degenerate Hermitian form on $\mathbb{C}^n$ with signature $(p,q)$. Let $\U_h$ denote the associated ...
- 7,527
6
votes
1
answer
567
views
Finite simple groups and $ \operatorname{SU}_n $
A follow-up question to Alternating subgroups of $\mathrm{SU}_n $.
$\DeclareMathOperator\PU{PU}\DeclareMathOperator\PSU{PSU}\DeclareMathOperator\PSL{PSL}$Let $ \PU_m $ be the projective unitary group, ...
- 4,081
2
votes
1
answer
357
views
Tensor product of fundamental representations
Let $\mathfrak{g}$ be a simple complex Lie algebra. Let $V_1,\cdots, V_n$ be the fundamental representations (the irreducible ones with fundamental weights $\omega_1,\cdots,\omega_n$). Take a $k$-...
- 391