# Tagged Questions

**6**

votes

**5**answers

421 views

### Reference requested: Random walk on groups

I am looking for a good reference to learn about random walks on groups (either finite groups or Lie groups). Ideally, I would like a reference for general theory of random walks on groups that is ...

**1**

vote

**1**answer

193 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 ...

**4**

votes

**1**answer

107 views

### Connection between degree of growth and return probabilities of random walks on Lie groups

Let $G$ be a finitely generated group of polynomial growth, let $\mu$ be a non-degenerate symmetric probability measure with finite support on $G$, and let $d$ be the degree of growth of $G$. ...

**1**

vote

**0**answers

200 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 ...

**1**

vote

**0**answers

40 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 ...

**0**

votes

**1**answer

186 views

### Subgroups with trivial Centralizers

Let $G$ be a compact, simply-connected, and simple Lie group. Let $H$ be a closed subgroup of $G$ that has the same centralizer as the center of $G$. Is there a nice classification of such subgroups?
...

**4**

votes

**1**answer

215 views

### Tannaka–Krein duality

First I would like to stress that maybe I don't have a necessary background from the theory of Lie groups. I met the topic of Tannaka–Krein duality while reading the book of Gracia–Bondia, Varilly and ...

**4**

votes

**0**answers

80 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 ...

**3**

votes

**0**answers

153 views

### What is a pure algebraic interpretation for this dynamical property?

According to comments of Yves Cornulier to the previous version of this question I revise the question as follows:
To what extent the following types of Lie algebras $A$ are classified? And what is ...

**10**

votes

**0**answers

375 views

### How come Cartan did not notice the close relationship between symmetric spaces and isoparametric hypersurfaces?

Elie Cartan made fundamental contributions to the theory of Lie groups and their geometrical applications. Among those, we can list the introduction of the remarkable family of Riemannian symmetric ...

**1**

vote

**1**answer

189 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 ...

**5**

votes

**1**answer

351 views

### Connections on a Lie Group

A Lie group $G$ can be considered as a reductive homogeneous space in at least two different ways; $G/\{e\}$ and $G\times G/G^*$. In the first case, the canonical connection associated with the ...

**0**

votes

**0**answers

68 views

### lie groups and coset manifolds

Let $G$ be a lie group, $H\subseteq K\subseteq G$ be closed subgroups , and $H$ be normal in $G$. I wonder if the coset manifold $\frac{\frac{G}{H}}{\frac{K}{H}}$ is diffeomorphic to $\frac{G}{K}$.
...

**1**

vote

**2**answers

210 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

**5**answers

457 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

**2**answers

338 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

**1**answer

98 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

**1**answer

198 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

**1**answer

135 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

**1**answer

135 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

**1**answer

228 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

**1**answer

155 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

**0**answers

241 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 ...

**5**

votes

**2**answers

235 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

**2**answers

164 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

**1**answer

143 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

**1**answer

177 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$ ...

**3**

votes

**0**answers

107 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

**1**answer

319 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

**0**answers

106 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

**1**answer

64 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

**0**answers

89 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

**0**answers

89 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

**1**answer

170 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

**1**answer

92 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

**1**answer

117 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

**0**answers

125 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 ...

**7**

votes

**1**answer

217 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

**1**answer

173 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

**1**answer

416 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

**1**answer

378 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

**1**answer

216 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

**1**answer

218 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

**2**answers

325 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 ...

**4**

votes

**3**answers

276 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

**1**answer

125 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 ...

**2**

votes

**1**answer

141 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

**1**answer

155 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

**3**answers

555 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

**1**answer

334 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 ...