Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.

learn more… | top users | synonyms

1
vote
2answers
198 views

When representation of two different coadjoint orbits are equivalent?

Let $G$ be a compact connected Lie group and $\mu:T\to S^1$ be a representation of a maximal torus $T \subset G$ and $\lambda=d\mu$ be a weight for some $\lambda\in\mathfrak{t}^*$ (where ...
4
votes
5answers
416 views

How to characterize Dirac's gamma matrices in differential geometry?

I want to understand what is the interpretation of Dirac gamma matrices in differential geometry. Basically, I am considering the Dirac matrices as 3-indexed tensors, which means a tensor with 1 ...
5
votes
2answers
321 views

When is a subgroup of a Lie group itself a Lie group?

Assume that $G$ is a Lie group. Is it understood which subgroups of $G$ are Lie groups? Ideally, I would like to make no extra assumption about $G$. In particular, $G$ can be infinite dimensional. ...
2
votes
1answer
96 views

Subgroups of $E(n) = \mathbb{R}^n \rtimes O(n)$ with trivial orbit space

Let G be a subgroup of $E(n) = \mathbb{R}^n \rtimes O(n)$(the rigid motions of $\mathbb{R}^n$ ) with orbit space as a point. Example: the group of all translations of $\mathbb{R}^n$ and of course any ...
1
vote
1answer
184 views

$SO(N^2-1)$ and the adjoint representation of $SU(N)$

It is a known fact that the adjoint representation of $SU(N)$ is a proper subgroup of $SO(N^2-1)$. I would like to know how a generic $(N^2-1)\times (N^2-1)$ special ($det =1$), orthogonal matrix $O$ ...
2
votes
1answer
121 views

Indefinite orthogonal groups over p-adics

Let $q$ be a rational quadratic form. How can we think of a Cartan decomposition of $O_q(Q_p)$? Is there a notion of Cartan involution for p-adic field, so that we can execute same process as we do ...
1
vote
1answer
120 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 ...
6
votes
1answer
219 views

Can Galois conjugates of lattices in SL(2,R) be discrete?

Let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$. Suppose that the trace field of $\Gamma$ is a totally real number field of degree $d$. This gives $d$ homomorphisms $\rho_i:\Gamma\to SL(2,\mathbb{R})$ ...
3
votes
1answer
152 views

Stationary curves on homogeneous spaces

Consider $M \cong G/K$ ($G$ a lie group with a transitive action on $M$ and $K$ a subgroup) and consider a Lagrangian $\mathcal{L}: TM \rightarrow \ \mathbb{R}$ (no time dependence). Consider also ...
6
votes
0answers
226 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 ...
4
votes
2answers
209 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 ...
0
votes
2answers
158 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.
2
votes
1answer
132 views

Distance measure for noisy $SE(3)$ transforms

I have a transformation $T \in SE(3)$ parameterized by a mean quaternion $q$ with covariance matrix $\Sigma_q \in R^{4\times4}$ and a mean translation $t \in R^3$ with covariance matrix $\Sigma_t \in ...
6
votes
1answer
145 views

Flag manifolds (=R-spaces): quotients by parabolic subgroups vs. isotropy representation

Real flag manifolds (also known as R-spaces) can be defined in two ways which I believe are equivalent although some fine print may have escaped me: as a quotient of a semisimple real Lie group $G$ ...
4
votes
0answers
94 views

Classification of Compact Symplectic Homogeneous Spaces

Let $M=G/H$ be a compact homogeneous space, $G$ a compact Lie Group and $H$ a closed subgroup. Is there some classification, akin to the Kaehler case, for which such manifolds admit a symplectic ...
6
votes
1answer
288 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 ...
0
votes
0answers
98 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 ...
1
vote
1answer
58 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 ...
3
votes
0answers
84 views

Equivariant Poincare Series of Based Loop Group of SU(2)

Let $\Omega SU(2)$ denote the based loop group of $SU(2)$, and consider the action of $S^1$ on $\Omega SU(2)$ as a maximal torus of $SU(2)$. (This is not the "loop rotation" action.) Is there an ...
2
votes
0answers
77 views

The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map $H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of the Dickson invariant $Z/2[w_2,w_3]$ into the ...
0
votes
1answer
138 views

Tensor product of generator of SU(n)

I'm doing research in quantum mechanics and got some trouble. Any help would be very much appreciated. Let $\{\lambda_j\}$ be the set of generator of $SU(n)$. Consider the operator: $K=\sum_j ...
2
votes
1answer
85 views

Is is possible to lift an equivariant map of Loop lie algebras to an equivariant map of Loop groups?

For brevity, let $LG=\mathbb{T}\ltimes \tilde{L}G$, the affine loop group and let $G$ be a simple simply conneceted Lie group. I have a map $\phi:L\mathfrak{g} \to L\mathfrak{g}$ that is equivariant. ...
1
vote
1answer
105 views

the group of all biholomorphic group automorphisms of complex tori

My background is complex geometry, but when I confront complex tori, I feel it is easier to consider it as a compact connected complex Lie group although I just know the definition of Lie group. Let ...
1
vote
0answers
121 views

Explicit formula for hermitian form on coadjoint orbit of $G$ on $\mathfrak{g}^*$

Let $G$ be a compact Lie group and $\mathfrak{g}$ be its Lie algebra and $\mathfrak{g}^*$ be its dual , then I am looking for explicit formula for hermitian form on coadjoint orbit of $G$ on ...
6
votes
1answer
201 views

Are infinite dimensional Lie algebras related to unique Lie groups?

For every finite dimensional Lie algebra $g$, there is a unique simply-connected Lie group $G$ whose Lie algebra is $g$. Is this true in the infinite dimensional case?
2
votes
1answer
168 views

Is this sphere bundle over SL3/SO3 trivial?

The space $SL_3(\mathbb{R})/SO_3(\mathbb{R})$ can be though of as some kind of 5-(real)dimensional generalized upper half-space. Fix any copy of $SO_2(\mathbb{R})$ sitting inside $SO_3(\mathbb{R})$, ...
3
votes
1answer
399 views

How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself. ...
6
votes
1answer
358 views

Getting the story of Dynkin and Satake diagrams straight

I've been trying to teach myself the theory of Lie groups. The sources I've been reading reference Lie algebras in the context of Dynkin and Satake diagrams, but not Lie groups (which I am more ...
4
votes
1answer
206 views

The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
190 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
3
votes
2answers
297 views

Complete classification of six dimensional non-semi simple Lie algebra

I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$). In this paper, in page 7, it ...
3
votes
1answer
147 views

Lie groups vs Lie monoids

Does there exist a well developed theory of a class of objects which might rightfully be called Lie monoids? By this I mean with axioms similar to those of Lie grousp but with the axiomatic existence ...
1
vote
1answer
121 views

family of metrics with same geodsics

For every bi-invariant metric on a lie group we know geodesics are flow of left invariant vector fields, so this question naturally arise: are there family of metrics on manifolds that have same ...
0
votes
0answers
117 views

coadjoint representations of Lie groups and algebras

What are the weakest conditions on a Lie group/algebra for its adjoint and codajoint representation to be "equivalent"? What is the exact sense of this "equivalence" as physics articles often skim ...
1
vote
1answer
129 views

Right Invariant Randers metrics

I'm hoping to determine the geodesic equation for a right invariant Randers metric $F(x) = \sqrt{a(x,x)} + b(x)$ on $SU(N)$. In my special case the navigation data $(h,W)$ for the Randers metric are ...
2
votes
1answer
148 views

A class of Lie groups with $f^{abc} \neq -f^{acb}$ (not fully anti-symmetrized) or $f^{abc} \neq f^{bca}$ (not-cyclic)

With the motivation to understand the Lie group structure constraint on a non-Abelian Chern-Simons theory, could some experts give a class of Lie groups with structure constants cannot fully ...
4
votes
3answers
369 views

Reg the motivation behind Lusztig-Vogan bijection

Let $G$ be an algebraic group. Choose a Borel subgroup $B$ and a maximal Torus $T \subset B$. Let $\Lambda$ be the set of weights wrt $T$ and let $\mathfrak{g}$ be the lie algebra of $G$. Now, ...
5
votes
1answer
279 views

History of Jordan Canonical Form?

Can anyone suggest a reference that discusses the history of the Jordan canonical form? In particular, I am interested in: When and how was it first stated? (I understand it was independently stated ...
7
votes
2answers
242 views

Integral versus real (universal) characteristic classes

I'm pretty confused about the precise relation of the integral and the real cohomology of the classifying space $BG$ of a compact Lie group $G$. The natural map $H^n(BG;\mathbb{Z})\to ...
0
votes
0answers
71 views

The centralizer $Z_G(X)$ of a nilpotent element in a real simple Lie group

I am looking for the description of the centralizer $Z_G(X)$ , where $G$ is a real simple Lie Group and $X\in \ Lie (G) $ such that $X^d=0,\ X^{d-1}\neq 0 $. It is is helpful to me any references or ...
1
vote
1answer
166 views

The compact Lie group contains a finite subgroup $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \mathbb{Z}_{n_3}$

Given a finite Abelian group: $G=\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \mathbb{Z}_{n_3}$, where ${n_1},{n_2},{n_3}$ are arbitrary positive integers. ${n_1},{n_2},{n_3}$ may have or may not ...
9
votes
1answer
213 views

Example: Principal G bundle that is not Zariski locally trivial, G not finite and G simply connected

Let $G$ be an affine algebraic group over $\mathbb{C}$. It is well known that when working with principal $G$ bundles it is too restrictive to require bundles to be locally trivial in the Zariski ...
1
vote
0answers
147 views

Characterization of Differentiability via Lie Derivatives [closed]

As the starting point of a project I intend to propose the proof of the statement below, but I want to make sure that it is not already proved somewhere else before. Let $G$ be a Lie group, and $f$ a ...
7
votes
1answer
198 views

Open cell decomposition after applying a Weyl group element

Let $G=\operatorname{GL}(n,\mathbb C)$. What follows can be put into a more general context, but I would like to first understand it for this case, the generalization is a second step. For ...
1
vote
2answers
127 views

real representation of real semi simple Lie algebra

Let $\mathfrak g$ be a real simple noncompact Lie algebra. Are there any correspondence between irreducible real representations of $\mathfrak g$ and the highest weight correspond to some positive ...
2
votes
1answer
179 views

$\text{mod} \, p^2$ trace identity

Let $p$ be a prime, and let $\text{GL}_n \big( \Bbb{Z} / p^2 \Bbb{Z} \big)$ be the group of $n \times n$ invertible matrices over the ring $\Bbb{Z} / p^2 \Bbb{Z}$. Does there exist a positive integer ...
22
votes
2answers
656 views

In any Lie group with finitely many connected components, does there exist a finite subgroup which meets every component?

This question concerns a statement in a short paper by S. P. Wang titled “A note on free subgroups in linear groups" from 1981. The main result of this paper is the following theorem. Theorem (Wang, ...
1
vote
1answer
123 views

Invariant Finsler Metrics on Homogeneous Spaces

Given: 1) a Finsler metric $F_p : T_p G \rightarrow \mathbb{R}$ on $SU(N+1)$ 2) a $U(N)$ subgroup of $SU(N+1)$ which is a stabilizer subgroup of some point on $CP^N$ (complex projective space) in ...
2
votes
1answer
134 views

Parameter dependent differential equation in a Lie group

It is well-known that a linear differential equation in a finite-dimensional vector space depends continuously on some external parameters (for details see below). I search for an explicit reference ...
2
votes
2answers
178 views

compute the automorphism of Iwasawa manifold

An Iwasawa manifold is a compact quotient of a 3-dimensional complex Heisenberg group by a cocompact, discrete subgroup. We can also refer to Griffiths and Harris's Principles of Algebraic Geometry ...