All Questions
Tagged with lie-groups lie-algebras
816 questions
3
votes
2
answers
704
views
Closure relations between Bruhat cells on the flag variety
Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...
- 1,719
2
votes
1
answer
665
views
Conjugacy class of semisimple elements
Let $G$ be a complex simple Lie group with Lie algebra $\mathfrak g$ and $G_1$ be a complex simple subgroup of $G$ with Lie algebra $\mathfrak g_1$. We may assume $G$ and $G_1$ to be of adjoint type. ...
- 116
1
vote
1
answer
178
views
Reducible reductive Lie subalgebras of so(p,q)
Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...
- 601
3
votes
1
answer
932
views
Weyl group of a symmetric space
Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...
- 21.8k
5
votes
1
answer
459
views
Some questions on analytic vectors and the integrability of Lie-algebra representations
I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...
- 1,396
-2
votes
2
answers
226
views
Any duality between different real forms of a complex Lie group? [closed]
A complex Lie group may have several real forms.
Are there any duality/trinity... between them?
Maybe a trivial question to ask, is $SL(3,\mathbb{C})$ a real form of $SL(3,\mathbb{C})\times SL(3,\...
- 783
7
votes
1
answer
1k
views
When is the Ad (Adjoint Representation) Morphism a Closed Map
Given a Lie group $\mathfrak{G}$ with finite centre and with Lie algebra $\mathfrak{g}$, I am looking at a simple proof that negative definite Killing form implies compactness. This proof is given ...
- 1,161
2
votes
1
answer
251
views
Basics on lattice in classical groups
as a beginner,I am not sure whether this question is too basic to post here./-\。
Many textbook will talk about the prototypical example SL(n,Z)\SL(n,R), which can be identified with the space of ...
- 21
8
votes
1
answer
650
views
Harish-Chandra isomorphism for compact symmetric spaces
I would be interested to have an explicit description of the algebra of invariant differential operators on functions on a compact symmetric space $G/K$. A reference would be especially useful.
Below ...
- 21.8k
5
votes
0
answers
428
views
Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book
This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
- 181
2
votes
0
answers
423
views
First Variation of Dyson Series/Magnus Expansion
Given the matrix differential equation $\frac{dU_t}{dt}=A_t U_t$ there are at least two ways to write a formal solution. Both the Dyson series: $U_t = \mathcal{T} e^{\int_{0}^{t} A_t dt}$ and the ...
- 2,099
0
votes
1
answer
130
views
equation for geodesics of a right invairant Finsler metric on $SU(n)$ which are parallel to a linear affine distribution
I am looking for an equation analogous to the Euler-Poincare equations for a right invariant Finlser metric except I want the geodesics which are parallel to a linear affine distribution on $SU(n)$. ...
- 2,099
19
votes
2
answers
998
views
Who originated the standard symbols for Lie groups GL, SL, SU, etc.?
Who was first to use symbols GL, SL, O, SO, U, SU, Sp and their projective versions, and how did this notation become standard?
The notation appears in fairly modern form in Weyl's "The Classical ...
- 3,761
7
votes
3
answers
2k
views
Characterising the adjoint representation of SU(N)
One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an $...
- 71
1
vote
1
answer
303
views
Bi-invariant one forms on compact Lie groups
I'm hoping to learn of a criterion for the existence of a bi-invariant one form on a Lie group $G$. I'm looking for a reference that there are no such one forms son $SU(n)$ (as long as this is in fact ...
- 2,099
16
votes
1
answer
2k
views
Construction of the Lie functor: left vs. right invariant vector fields on Lie groups and Lie groupoids
When constructing the Lie algebra $L(G)$ of a Lie group $G$, one usually uses the identification of the tangent space $T_1 G$ with left invariant vector fields $\mathcal{V}^l(G)$ to construct the Lie ...
- 1,040
6
votes
1
answer
1k
views
Laplace-Beltrami operator on a Lie group
For an arbitrary Lie group, is it always possible to chose a left-invariant Riemannian metric such that the Laplace-Beltrami operator $\Delta$ is given by
$$\Delta f = \delta^{i j} X_i X_j f$$
for ...
- 6,025
2
votes
1
answer
497
views
Euler-Poincaré equations with constraints
It is well known that the stationary curves (say $\Xi(t)$) of a regular Lagrangian $\mathcal{L}$ on a compact, semi-simple Lie group $G$ have the property that $\xi(t) = \frac{d \Xi(t)}{dt} \Xi(t)^{-1}...
- 2,099
12
votes
2
answers
849
views
Geodesics on $SU(4)$
Are the geodesics of the following metrics on $SU(4)$ known or easy (in a way not known to me!) to find?
In the adjoint representation, one can express the Killing form as a matrix and consider it as ...
- 2,099
10
votes
3
answers
2k
views
nth term in the Baker-Campbell-Hausdorff formula
I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...
- 245
7
votes
1
answer
1k
views
The surjectivity of the exponential map for the isometry group
Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective.
Let $M$ be a noncompact connected Riemann manifold, and $G$...
- 5,407
3
votes
1
answer
294
views
Lie group GL(4) representation decomposition
Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$.
Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation.
My question: How does $$V\otimes ...
- 131
1
vote
0
answers
216
views
Representations of $\mathfrak{so}(3)$ ($\mathfrak{so}(2,1)$) and $SO(3)$ ($SO(2,1)$)
(Apologies if this question is too basic!) I have explicit 5-dimensional real representations of $\mathfrak{so}(3)$ and $\mathfrak{so}(2,1)$, and I want to know whether it's necessarily true that the ...
- 818
2
votes
0
answers
93
views
Locus maximizing the holomorphic sectional curvature in a non-compact Hermitian symmetric space
Is there a quick way to prove the following statement, if possible without resorting to the classification of simple Lie groups?
Let $G$ be a simple Lie group of non-compact Hermitian type of rank $r$...
- 301
2
votes
0
answers
210
views
Adjoint action of semi-direct product
Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions
$\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
3
votes
1
answer
461
views
R-linear representations of sl(2,C)
Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$?
Equivalently, what ...
- 10.4k
2
votes
1
answer
498
views
A canonical G_m (or G) action on the Slodowy slice
Question
By Slodowy slice I mean a transverse slice at a subregular nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ (in particular I am not intersecting with the nilpotent cone). Consider the ...
- 1,423
1
vote
0
answers
324
views
Solving $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ equation
Is there a way to solve the equation: $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ for $T$?
Here $\kappa$ is an arbitrary positive constant, $\hat{H}_0 \in \mathfrak{su}(N)$ ...
- 2,099
16
votes
4
answers
6k
views
How many three dimensional real Lie algebras are there?
The main point of the question is: I would like to know whether there are only finitely many, countable infinitely many or even uncountable many isomorphism classes of $3$-dimensional real lie ...
- 161
6
votes
1
answer
351
views
Necessary and sufficient conditions for Littlewood Richardson coefficients to be non zero
Is there any necessary and sufficient conditions for $V(\tau)$ to be an irreducible component of the tensor product of two irreducible representations $V(\lambda)$ and $V(\mu)$ of a simple lie algebra ...
- 73
1
vote
1
answer
155
views
tensor product of two irreducibles having same maximal weight
Is there any explicit decomposition of tensor product of two finite dimensional irreducible modules of simple lie algebras whose highest weights are same?
- 73
4
votes
0
answers
168
views
Automorphisms of Nilmanifolds
Let $\mathfrak{g}$ be an n-dimensional, rational, nilpotent Lie algebra with simply connected that lie group $G$. It is stated in some papers that if $A$ is an automorphism of $\mathfrak{g}$ which is ...
- 419
4
votes
2
answers
1k
views
Lie group about the quantum harmonic oscillator [closed]
We konw that in quantum harmonic oscillator $H=a^\dagger a$, $a^\dagger$, $a$, $1$ will span a Lie algebra, where $a, a^\dagger$ is annihilation and creation operator, $H$ is the Hamiltonian operator. ...
- 977
1
vote
2
answers
481
views
Are two distinct Weyl chambers always disjoint?
Let $G$ be a real semisimple Lie group; we suppose $G$ is connected and centerless. Let $\mathfrak{g}$ be its Lie algebra, $\mathfrak{a}$ a Cartan subspace of $\mathfrak{g}$ (i. e. a maximal abelian ...
- 1,574
2
votes
1
answer
286
views
The set of leaves of the distribution $D$ on coadjoint orbit $O_{\mu}$
Let $G$ be a compact connected Lie group and $O_{\mu}$ be a coadjoint orbit where $\mu\in \mathfrak{g}^*$ and $\mathfrak{g}^*$ is the dual of the Lie algebra of $\mathfrak{g}=\mathrm{Lie}(G)$. Let $...
user21574
6
votes
1
answer
494
views
Root space decomposition
What is the root system for the special unitary lie algebra $\mathfrak{su}(p, q)$. Remind that these are matrices of the form
$\left(
\begin{array}{cc}
X & Y \\
\overline{Y}^t & Z \\...
- 89
3
votes
1
answer
234
views
Reference to definition of matrix log with domain SO(3) which is Borel measurable
I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
- 203
2
votes
0
answers
128
views
On Eigenvalues of the symmetric linear transformation related to a lie algebra's representation?
Let $\mathfrak{g}$ be a quadratic (finite dimensional) lie algebra and $\rho:\mathfrak{g}\rightarrow \mathfrak{gl}(W)$ be an anti-symmetric representation of $\mathfrak{g}$ on a finite dimensional ...
- 327
1
vote
1
answer
264
views
labeling state vectors in representation space of a simple lie algebra
Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number
of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation space....
- 85
3
votes
0
answers
3k
views
Mathematica package for Lie algebra computations?
I am interested in performing Lie algebra computations in Mathematica. I did a bit of searching and found several packages (LieART, KILLING, SuperLie, maybe more), and wondered if anyone would ...
- 411
1
vote
0
answers
85
views
Analytic vectors of elliptic elements of the enveloping algebra in a strongly continuous representation of a Lie group
Let $G$ be a semi-simple real Lie group, and $\rho$ a strongly continuous unitary representation of $G$ in a Hilbert space $H$. Let $\mathfrak{g}$ be its Lie algebra and $d\rho$ be the infinitesimal ...
- 1,582
5
votes
0
answers
166
views
Adjoint orbit of two vectors
Let $G$ be a simple compact real Lie group and let $\mathfrak g$ be its Lie algebra. Let $u,v\in \mathfrak g$ be two distinct unit vectors and $H\subset \mathfrak g$ be a hyperplane with normal vector ...
- 1,016
1
vote
1
answer
379
views
Finding the 2nd homotopy group $\pi_2(G^\mathbb{C}/P)$
Let $G$ be a compact connected and simply connected Lie group and $G^\mathbb{C}$ be the complexification of Lie group (with is diffeomorphic with $G^\mathbb{C}\cong T^*G$) then I am looking for ...
user21574
1
vote
1
answer
301
views
Each coadjoint orbit of a compact connected Lie group $G$ admits a $G$-invariant generalized complex structure
I am looking for a proof or counterexample for following assertion
Each coadjoint orbit of a compact connected Lie group $G$ admits
a $G$-invariant generalized complex structure (In sense of ...
user21574
7
votes
0
answers
955
views
Injectivity of Lie group exponential function
If $G$ is a (finite-dimensional) Lie group, then the exponential function $\exp\colon\mathfrak{g}\to G$ is injective on some identity neighbourhood. If, moreover, $\mathfrak{g}$ is semi-simple and $\...
- 1,040
12
votes
2
answers
2k
views
Summary of Lie-Algebra integration tactics
If this is in the scope of MO, I would like to gather here the known tactics of
Lie algebra integration, since it appear surprisingly hard to find such a
compendium, library or any other kind of ...
- 2,074
0
votes
2
answers
287
views
A question on Lie algebras
To what extent, the following types of Lie algebras are classified :
Those Lie algebras $L$ such that every Lie Group $G$ with $Li(G)\sim L$, is necessarily compact.
- 356
6
votes
1
answer
749
views
Origin of symbols used for half-sum of positive roots in Lie theory?
The Weyl character formula is a central result in the finite dimensional representation theory of semisimple Lie groups, algebraic groups, Lie algebras. Related questions on MO include these here ...
- 52.9k
0
votes
0
answers
143
views
A question on lie groups( Lie algebras)
What is an example of a compact Lie group $G$ which is not isomorphic to a product of two nontrivial lie groups and satisfies the following property:
There are two non zero vector fields $X, Y \in ...
- 356
1
vote
1
answer
99
views
Hermitian symmetric structure on a homogeneous subspace
Let $G$ be a semisimple group over $Q$ and $K$ a maximal compact subgroup of $G(R)^+$.
I am assuming that $G(R)^+/K$ has a structure of a non-compact Hermitian symmetric domain.
Let $g= p + k$ be ...
- 547