A Lie group is a group (in the sense of abstract algebra) that is also a differentiable manifold, such that the group operations (addition and inversion) are smooth, and so we can study them with differential calculus. They are a special type of topological group. Consider using with the ...

learn more… | top users | synonyms

25
votes
0answers
264 views

Geometric & Intuitive Meaning of $SL(2,R)$, $SU(2)$, etc… & Representation Theory of Special Functions

Many special functions of mathematical physics can be understood from the point of view of the representation theory of lie groups. An example of the power of this viewpoint is given in my question ...
14
votes
0answers
201 views

Fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n, \mathbb Z)$

What is a simple description of a fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n,\mathbb Z)$? $\operatorname{GL}(n,\mathbb R)$ is the group of all real ...
12
votes
0answers
198 views

p-adic Lie groups vs. algebraic groups over $\mathbb{Q}_p$

I am somewhat confused about the following two concepts and the relations between them- One concept is a Lie group $G$ over the $p$-adic field. This is defined in a similar fashion to a (real) Lie ...
9
votes
0answers
376 views

Campbell-Baker-Hausdorff formula for $\log(\exp(X+Y)\exp(X-Y))$

Given $X,Y\in \mathfrak g\mathfrak l_{\mathbb R}(n)$, and the CBH formula for $\log(\exp X\exp Y)$ (wiki), is it possible to derive the general term in the series of $\log(\exp(X+Y)\exp(X-Y))$ that ...
9
votes
0answers
131 views

Conditions for a group to admit the structure of a Lie group

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group and wants to be a sort of "converse". Here I am taking an abstract group $G$ and ...
8
votes
0answers
22 views

Nodes of the Dynkin diagram for even-dimensional orthogonal groups

I'm reading Wilson's book "The Finite Simple Groups", specifically the sections on the orthogonal groups. In section 3.7.4, he discusses subgroups of the orthogonal groups. The Dynkin diagram for the ...
8
votes
0answers
81 views

Theorem about the subgroup of a Lie group fixed by an involution

When trying to do Lie-theoretic calculations on Lie groups (finding the Bruhat decomposition, etc.) I've often come across expositions that seem to be implicitly using a result something like the ...
8
votes
0answers
619 views

How do the infinitesimal generators generate the whole compact Lie group?

Suppose that $G$ is a connected compact Lie group, $g(a)\in G$ is its element, and $a=(a_1,a_2,...,a_r)$ is the parameter of the group element $g(a)$. Then the infinitesimal generator of the group can ...
8
votes
0answers
167 views

Weyl character formula for locally compact Lie groups.

I was just wondering if there exists such a formula. Specifically I need to calculate characters of irreducible representations of GSp$(4,\mathbb{C})$. I know how to do it for the compact Lie group ...
7
votes
0answers
101 views

A very difficult problem about the existence of following $SU(2)$ matrices?

Let $G_i$ be a sequence of $2\times2$ $SU(2)$ matrices, where $i=1,2,...,n$; and $P$ represents a permutation of $\left \{ 1,2,...,n \right \}$. The question is: Does there exist a sequence of ...
7
votes
0answers
164 views

ODE system and Lie symmetries

The ODE system (see below), where $F$ is a given function together the algebraic condition (SYM) imply that $$\boxed{y(t)=k-x(t)} \tag{*}$$ for some $k$ constant. The result that $y$ is a translation ...
7
votes
0answers
426 views

Klein's Erlangen program taken seriously

Felix Klein suggested in his Erlangen program a way to classify geometries based on group theory. According to Wikipedia, we have the following definition: A Klein geometry is a pair (G, H) where ...
7
votes
0answers
95 views

Can the infinite von Dyck groups be subgroups of $SU(n)$?

I know by constructing some particular cases that I can find unitary matrices $X$, $Y$ and $Z$ such that $X^m = Y^n = Z^p = XYZ = 1$ with $$ \frac{1}{m} + \frac{1}{n}+\frac{1}{p} < 1 $$ ...
6
votes
0answers
58 views

Solving a matrix differential equation

I am trying to solve: $\frac{d U_t}{dt} = Tr(G^{\dagger}U_t)G - Tr(U_t^{\dagger}G)U_t G^{\dagger} U_t$ Where $U_t \in SU(4)$ and $G \in SU(4)$ is given and constant. Is it possible to solve this ...
6
votes
0answers
108 views

Are there common inequivalent definitions of Cartan subalgebra of a real Lie algebra?

I'm confused about seemingly different notions of a Cartan subalgebra of a real semisimple Lie algebra, and I'm wondering if there are common inequivalent definitions. In the book Lie Groups: Beyond ...
6
votes
0answers
78 views

Exact sequences of $SU(N)$ and $SO(N)$

We know that the spin group $Spin(N)$ has a short exact sequence of Lie groups $$1 \to Z_2 \to Spin(N) \to SO(N) \to 1\textrm{.}$$ I wonder whether there are some examples for $SU(N)$ and $SO(N)$ ...
6
votes
0answers
87 views

Closed orbits of complete flags in $\mathbb{C}^n$

Let $B$ be a symmetric (or antisymmetric) non-degenerate bilinear form on $\mathbb{C}^n$ and let $G$ be the associated group of automorphisms $O(n)$ (resp. $Sp(n)$). What can we say about the ...
6
votes
0answers
56 views

Two definitions of real flag manifolds: do they coincide?

Let $G$ be a real semisimple Lie group with finite center. Definition 1 A real flag manifold is a homogeneous space $G/Q$ where $Q$ is a parabolic subgroup of $G$. Definition 2 Let $K$ be a ...
6
votes
0answers
149 views

Non-degenerate bilinear forms of Lie algebra with a degenerate Killing form

Definition: A Lie algebra is defined by: $$ [e_a,e_b]={f_{ab}}^ce_c $$ The Killing form is $$ g_{ab}=-{f_{ac}}^d {f_{bd}}^c $$ Set-Up: The type of Lie algebra of our interests (found out during a ...
6
votes
0answers
160 views

Generating function for characters of representations

One example of such a generating function that I know how to derive is for $SU(2)$, $\frac{1}{(1-tx)(1-\frac{t}{x})}$. The coefficient of $t^n$ in the above function is the character in the $n+1$ ...
6
votes
0answers
270 views

Root Systems of Lie Groups.

Let $G$ be a compact Lie group assumed to be a subgroup of $U(n)$. Also, let $T$ be a maximal torus of G. Then there exists a basis $\{v_1, \ldots ,v_d\}$ of the Lie algebra of $G$, $\mathfrak{g}$, ...
6
votes
0answers
155 views

Finding the universal cover of a matrix group

Consider the group $G = \left\{\begin{pmatrix} a & b\\ 0 & 1\end{pmatrix}: a \in \mathbb{C}^{\times}, b \in \mathbb{C}\right\} \subset GL(2, \mathbb{C})$. How does one find the universal cover ...
6
votes
0answers
411 views

Alternating and special orthogonal groups which are simple

I have an idle curiosity about a funny coincidence between two sequences of groups. It is well-known by those who know it well that the alternating group $A_d$ of degree $d$ is simple if and only if ...
5
votes
0answers
74 views

Maps that preserve tensor rank

Suppose we have some tensor product of vector spaces. By tensor rank, I mean the minimal number of simple tensors required to write down an element of this tensor product of spaces. Is there much ...
5
votes
0answers
41 views

Is the Groupoid of germs associated to an orbifold a Hausdorff proper Lie groupoid?

I was studying the book Introduction to Foliations and Lie Groupoids by I. Moerdijk and J. Mrcun and I have a doubt. On page 140 they give the following definition for a proper Lie groupoid. A ...
5
votes
0answers
60 views

Geodesics on Homogeneous Spaces

Consider a homogeneous space $G/\text{Stab}_p \cong M$ where $G$ is a compact Lie group active transitively on $M$ (a compact manifold). If $F$ is a Finsler Metric on $G$ which pushes forward ...
5
votes
0answers
61 views

Is every complex Lie algebra a complexification?

I'm wondering if every finite-dimensional complex Lie algebra can be written as a complexification of a real Lie algebra. At the vector space level, clearly every $\mathbb{C}^n$ is a complexification ...
5
votes
0answers
79 views

Exponential of a polynomial of the differential operator

Given that $$\exp(aD)f(x)=f(x+a)$$ where $\exp(D)$ is the exponential of the differential operator $D$, is there a similar closed-form, general expression for $\exp(g(D))f(x)$, where $g(D)$ is a ...
5
votes
0answers
54 views

Covering spaces of Lie groups

In a paper of Tom Bridgeland's, he describes an action by the universal over $G:=\tilde{GL^+}(2,\mathbb{R})$ using a description of $G$ I find unintuitive. Namely, he indexes write the fiber over ...
5
votes
0answers
590 views

The tangent bundle of a Lie group is trivial

I'm trying to recreate the proof given by Alex Youcis at http://math.stackexchange.com/a/308798/86801 and got everything except $\displaystyle (L_h)_\ast \left.\frac{\partial}{\partial x_i}\right|_e = ...
5
votes
0answers
112 views

— Cartan matrix for an exotic type of Lie algebra --

(1) Is there a notion of Cartan matrix for non-semisimple Lie algebra? For example, consider this Lie algebra: $$ [X_i, X_j] = f_{ij}{}^k X_k \qquad\qquad [X_i,Y^j] = - f_{ik}{}^j Y^k \qquad\qquad ...
5
votes
0answers
257 views

Is $G$ a lie group if left multiplication is smooth and multiplication is smooth near $e$?

Suppose $G$ is a smooth manifold and also a topological group. Also suppose that left multiplication $L_g : G \rightarrow G$ is smooth for any $g \in G$. Finally suppose that the multiplication map is ...
5
votes
0answers
43 views

Does every element of $G_2 = \mathrm{Aut}(\mathbb{O})$ stabilize a quaternion subalgebra?

Has anyone heard of this result before? Let $\mathbb{O}$ denote the octonions and let $G_2$ denote its automorphism group (i.e. the 14 dimensional subgroup of $SO(7)$). Then any element of $G_2$ ...
5
votes
0answers
139 views

Can one reformulate tensor methods and young tableaux to account for spinor representations on $\operatorname{SO}(n)$?

Standard tensor methods and Young tableaux methods don't give you the spinor reps of $\operatorname{SO}(n)$. Is this because spinor representation are projective representations? If so, where does ...
5
votes
0answers
611 views

Discrete subgroups of SU(n) and SO(n).

Thank you very much for your concern. I am in physics background, any simpler but complete explanation would be helpful. I would like to know whether there is a complete understanding of discrete ...
5
votes
0answers
102 views

Quantum Adjoint Action of the Coordinate Algebra on the Enveloping Algebra

As is well known, any Lie group $G$ has a canonical action on its Lie algebra $\frak{g}$, namely the adjoint action $Ad$. Firstly, let me ask, does this extend to an action of $G$ on its enveloping ...
5
votes
0answers
117 views

Pullback of a 3-form to SU2

I have a left invariant 3-form, $\sigma$ on an simply connected Lie group, $G$ whose value at the identity is $\sigma=\langle[x,y],z\rangle$, where $\langle\cdot,\cdot\rangle$ denotes an invariant ...
5
votes
0answers
149 views

Non-closed subgroups of Lie groups

The following are my impressions from playing with a line of irrational slope $\gamma$ in the standard torus $S^1\times S^1=\mathbb{R}^2/\mathbb{Z}^2$, $\mathbb{R}\hookrightarrow ...
5
votes
0answers
301 views

Short exact sequences of topological groups and Lie groups

could someone please clarify the definitions of extensions of topological groups and Lie groups. For topological groups, what I see in most papers is as follows: An extension of topological groups $0 ...
4
votes
0answers
51 views

Does a choice of measure on $\mathfrak{g}$ induce a measure on $G$?

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$. One can put a (left) Haar measure $\mu$ on $G$ and a Lebesgue measure $\lambda$ on $\mathfrak{g}$ which are both unique up to constants. My ...
4
votes
0answers
40 views

Basic application of Weyl-Character-Formula

(I did not find a solution of my problem in any forum so far. Sorry if it exists...) I am new to Lie-Algebras and representations and actually do not need the mathematical background... I need only ...
4
votes
0answers
43 views

Ideals of Lie-algebras

I am wondering whether the following claim is true: Let $G$ be a Lie group, $\mathfrak{g}$ its Lie algebra and $V$ some vector subspace of $\mathfrak{g}$. Claim: $V$ is an ideal of $\mathfrak{g}$ ...
4
votes
0answers
33 views

Is there a non-abelian Lie group which is homeomorphic to an $n$-dimensional torus $\mathbb{T}^n$?

I've learned that a compact connected abelian Lie group must be a torus. Of course, conversely, a torus as a group is abelian. I wonder if 'homeomorphic to a torus' is enough to imply abelian. ...
4
votes
0answers
50 views

homomorphism between smooth algebraic groups of the same dimension

For Lie groups, we have a theorem: Suppose $G$ and $G'$ are Lie groups of the same dimension, $G'$ is connected, and $f : G \to G'$ is a homomorphism of Lie groups with discrete kernel. Then, $f$ ...
4
votes
0answers
41 views

What is the center of SO(p,q)?

For the matrix lie group $SO(p,q)$, what is in the center? Is there anything other than $I_n$ (or $-I_n$ in the case $p+q=n$ is even)? Also where can I find a reference?
4
votes
0answers
28 views

Isomorphism of Principal Bundles with structure groupoid

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid. Suppose that $\pi:P\rightarrow B$ is a $\mathcal{G}$-principal bundle and let $(h_s,g_s):(P,B)\rightarrow (P,B); s\in [0,1]$, be a homotopy ...
4
votes
0answers
104 views

Identifying the cotangent bundle of the flag variety

Suppose $G$ is a Lie group (or I guess a linear algebraic group), $P \subset G$ a Lie subgroup with Lie algebras $\mathfrak{g}$ and $\mathfrak{p}$ respectively. In Chriss and Ginzburg's book ...
4
votes
0answers
45 views

Homotopic properties of the Spin group from geometric algebra

There are two possible ways to define the $\mathrm{Spin}(n)$ group of Euclidean $n$-space from $\mathrm{Pin}(n)$. First is that $\mathrm{Spin}(n)$ is the identity component of $\mathrm{Pin}(n)$. ...
4
votes
0answers
56 views

representatives of $\pi_n(U(n))$

I know that $\pi_n(U(n)) \cong \mathbb{Z}$ for $n$ odd. I am looking for a description of an explicit map $S^n \rightarrow U(n)$ that represents the generator in this group. By precomposing with maps ...
4
votes
0answers
289 views

Why a tensor product of $2\times 2$ unitaries cannot implement a $3\times 3$ unitary?

Let $\{v_1, \dotsc, v_m\} \in \mathbb{C}^{2^n}$ be a set of orthonormal vectors. Define a map $R_m$ from $2^n \times 2^n$ to $m \times m$ matrices as follows: $$R_m(M) := \sum_{i,j=1}^m (v_i^*M v_j) ...