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

0
votes
1answer
14 views

Injective acton of an Chevalley generator of $\mathfrak{sl}(2)$ on non-intergral weight module

I have a problem as follows. Let $E_{i,j}\in M_2(\mathbb{C})$ be the elementary matrix and $\mathfrak{g}:=\mathfrak{sl}(2) = \{ A \in M_2({\mathbb{C}})| tr(A) =0 \}$ the special linear Lie algebra. ...
1
vote
2answers
18 views

How to “find” this Lie algebra: proof that $\mathfrak{sl}$ is trace zero matrices

I saw this table here on Wikipedia and it states that the Lie algebra of the special linear group $SL_n(\mathbb C)$ is the group of traceless matrices $\mathfrak{sl}_n$. I know the definition of a ...
0
votes
0answers
14 views

Is there always a g in a compact connected Lie group whose powers equidistributes in G?

I'm starting to understand some basics things about equidistributed sequences and i found my self asking this question on the basis of the example of the torus and Weyl equidistribution theorem: ...
1
vote
1answer
26 views

Restriction functors between Categories O over semi-simple Lie algebras

I have the following question: Let $\mathfrak{g}:= \mathfrak{gl}(3)$ be the general linear algebra and $\mathfrak{gl}(2) \cong \mathfrak{a} \subset \mathfrak{gl}(3)$ a sub-algebra. Let ...
0
votes
0answers
16 views

How does the $10$ dimensional irrep (tensor) of $SU(3)$ look like?

We know that for $SU(3)$ the following tensors furnish the $\mathbf{d}$ dimensional irreducible representation: $$\phi^i\hspace{1cm} (\mathbf{3})\\ \phi^{ij}\hspace{1cm} (\text{asymmetric in ...
1
vote
1answer
52 views

Typo on Wikipedia? Dimension of $U(n)$

Let $U(n)$ denote the unitary group. That is, $$ U(n) = \{A \in GL_n(\mathbb C)\mid A^\ast A = I\}$$ Wikipedia states: "The unitary group $U(n)$ is a real Lie group of dimension $n^2$. " There ...
0
votes
0answers
17 views

A question about finite simple groups of Lie type

I have a question about finite simple groups of Lie type. By the classification theorem of finite simple groups, we know that there are four important class of finite simple groups as follows: ...
0
votes
2answers
23 views

Basic sanity check: dimension of Lie groups / tangent spaces

A potential typo in an exercise prompted me to question my knowledge of manifolds. So what I need is a sanity check. Here is what I used to think before I got unsure: If $M$ is an $n$-manifold then ...
0
votes
0answers
17 views

compactness or not of a Lie group

Is the Lie group generated by this Lie algebra compact or not? $$ [X_i,X_j]=0, [H_i,H_j]=f^{ijk} X_k, [X_i,H_j]=0 $$ $f^{123}>0$, and $i,j,k \in \{ 1,2,3\}$. There are 6 generators in ...
1
vote
1answer
32 views

True or False statements about compactness of Lie group

Several statements I like to know their True or False statements about the compactness of Lie group. Semi-simple Lie algebra: Every semi-simple Lie group generated by the semi-simple Lie algebra is ...
0
votes
0answers
13 views

Good reference for The Differntiable Slice Theorem

I am looking for a book that will give me a good proof of The Differentiable Slice Theorem - Suppose a compact Lie group $G$ acts smoothly on a manifold $M$. Then every orbit has a $G$-invarient ...
1
vote
0answers
36 views

Is there such a notion of “expansion” in groups?

Given a subset of elements of a finite group $G$, I would like it to be such that the set of all distinct words (as elements of $G$) that can be formed from this set is exponentially large in the size ...
0
votes
0answers
20 views

Is $BU^-$ open in GL(n,C)?

Given $G= GL(n, \mathbb{C})$ seen as a Lie Group, let B be the Borel subgroup of upper triangular matrices and $U^-$ be the subgroup of unipotent lower triangular matrices (i.e. lower triangular ...
1
vote
0answers
21 views

Solving a PDE to Yield Determining Equations

I'm going through an example in Peter Hydon's book "Symmetry Methods for Differential Equations" which finds the basis for the Lie Algebra of the point symmetry generators for Burgers' equations. ...
0
votes
0answers
23 views

Semi-simplicity of tensor product of simple modules over $\mathfrak{sl}(2)$

I have the following questions: $\bf Notations$: Let $\mathfrak{h} \subset \mathfrak{sl}(2)$ be a Cartan subalgebra, and $W$, $V$ be $\mathfrak{h}$-semisimple (i.e. they are weight modules), simple ...
1
vote
0answers
47 views

Decomposition of a group manifold; is there an associated group decomposition?

The real symplectic group manifold is diffeomorphic to this Cartesian product of manifolds: \begin{equation} \operatorname{Sp}(2n,\mathbb{R}) \simeq \operatorname{U}(n) \times \mathbb{R}^{n(n+1)}. ...
0
votes
0answers
12 views

Tangent line to the unitary group $U_1$

I have been working through a small project and the last part has me completely stumped. I have just shown that the matrix $\exp\tau X$ is unitary for all $\tau\in\mathbb{R}$ iff $X$ is ...
1
vote
0answers
28 views

how to conclude a subset of $M_n(\mathbb{C})$ is compact from spectral radius?

could any one tell me which of the following is/are compact subset? $S=\{A\in M_n(\mathbb{C}): \rho (A)\le 1\}$ $S=\{A\in M_n(\mathbb{C}): A=A^*,\rho (A)\le 1\}$ $S=\{A\in M_n(\mathbb{C}): ...
2
votes
1answer
61 views

set of all $2\times 2$ matrcies having neither eigen value is real

Could any one tell me whether the following subsets of $M_2(\mathbb{R})$ are open, closed or neither open nor closed? set of all $2\times 2$ matrcies having neither eigen value is real. set of all ...
2
votes
0answers
30 views

An apparent contradiction in SU(3) structure constants?

According to http://www.phys.washington.edu/users/ellis/Phys5578/SU3_5.htm or the related Wikipedia article, the following equation should hold: $[ \frac{\lambda_3}{2}, \frac{\lambda_4}{2}] = i ...
2
votes
1answer
25 views

If G is a compact semisimple Lie group and Z is its center, is G/Z always compact?

The title pretty much sums up the question: Suppose $G$ is a compact semisimple Lie group with center $Z$, The question is if $G/Z$ is always compact? or, under which conditions will it be compact?
0
votes
2answers
15 views

The trivial subgroup is closed (in the sense of topology)

I try to understand the proof of the below statement: Statement: Let $\phi: G \rightarrow H$ be a homomorphism of Lie groups. Then the kernel of $\phi$ is a closed subgroup of $G$. Proof: Put ...
2
votes
0answers
18 views

The space of minimal geodesics on $SU(2m)$

In the proof of Bott periodicity for the unitary group in Milnor's Morse theory (Lemma 23.1, page 128), it is asserted that the space of minimal geodesics from $I$ to $-I$ in the special unitary group ...
3
votes
1answer
32 views

The irreducibility of representations of parabolic induction over $\mathfrak{gl}_n(\mathbb{C})$

I have the following problem: Let $\mathfrak{g} = \mathfrak{gl}(n)$ be the general linear Lie algebra over $\mathbb{C}$. Denote $\Pi = \{\alpha_i:=\epsilon_i-\epsilon_{i+1}\}_{i=1}^{n-1}$ by the ...
1
vote
0answers
9 views

Does the projection from a compact Lie group to its component group split?

This is an elementary question that probably admits an elementary counterexample, but ... Let $G$ be a compact Lie group and $G_0$ its identity component. One then has a short exact sequence $$ 1 \to ...
1
vote
0answers
36 views

Upper triangular matrices $UT_n(\mathbb K)$ is a matrix group: is my proof correct?

I am solving some exercises in Tapp's matrix groups for undergraduates and would be very grateful if someone could check my work (it's exercise 4.12): A matrix $A\in M_n(\mathbb K)$ is called ...
2
votes
2answers
28 views

Some solvable Lie algebra but not nilpotent

Can someone provide two concrete examples the Lie algebra which is solvable, but not nilpotent? -- And further explain the subtle differences between the solvable Lie algebra and the ...
2
votes
2answers
33 views

Intuitive understanding of lie group definition

So I have the following definition from the book: Definition: A matrix Lie group is any subgroup $G$ of $GL(n, \mathbb{C})$ with the following property: If $A_m$ is any sequence of matrices in $G$, ...
0
votes
1answer
57 views

Does every group have a lie algebra? [closed]

Does the complex number group {$C, *$} have a lie algebra? When does a group have a lie algebra?
2
votes
0answers
23 views

Normalizer of normalizer of maximal torus in a Lie group

I'm stuck at this problem, Let $G$ be a compact connected Lie group and $T$ a maximal torus. Let $H$ be a closed subgroup of $G$. Let $N(T)$ and $N(H)$ denote the normalizers of $T$ and $H$ ...
0
votes
1answer
66 views

Prove the manifold of SU(2)/U(1) is the 2-sphere.

I want to demonstrate that the manifold of $SU(2)/U(1)$ is a 2-sphere. In a text-book I've found this way of solution, where there are some unclear points. Let to be $g= a\mathbb{1} + i b_j\sigma_j$ ...
5
votes
1answer
130 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) ...
3
votes
0answers
33 views

The bijection between central characters and linkage classes over a semisimple Lie algebra

I have a question about the modules over a semisimple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$. Let $\mathfrak{h} \subset \mathfrak{g}$ be a Cartan subalgebra. For a given $\lambda \in ...
1
vote
1answer
33 views

Non-integral blocks of category $\mathcal{O}$ over $\mathfrak{sl}_2$ are semisimple.

Hi: I have a problem as follows. Consider the category $\mathcal{O}$ of $\mathfrak{g}: = \mathfrak{sl}_2(\mathbb{C})$. Let $r\in \mathbb{C}$ but $r\notin\mathbb{Z}$. Let $s_\alpha$ be the simple ...
1
vote
1answer
27 views

Relationship between proper orthochronous Lorentz group $SO^+(1,3)$ and $SU(2)\times SU(2)$, or their Lie algebras

I have seen sources claim that $SO^+(1,3) \cong SU(2) \times SU(2)$, but have seen others claim that only their Lie algebras are isomorphic. Is it true that $SO^+(1,3) \cong SU(2) \times SU(2)$? If ...
2
votes
1answer
57 views

Can someone direct me to prove the following three claims about a rotation group $SO(3)$ and its Lie Algebra?

In class my prof made three claims about a group and its Lie algebra. I cannot find direct reference to these claims because they are delivered in verbatim (im not even sure if I have them jogged down ...
0
votes
0answers
23 views

Proving subgroups of the unitary group U(n) are Lie groups

The problem: Let $K$ be a complex $n \times n$ matrix such that $K$ and $K^\dagger$ is non-singular and $K + K^\dagger$ is positive definite. Show that the set of complex $n \times n$ matrices $G$ ...
1
vote
2answers
156 views

Are there algebraic subgroups of Lie groups which happen to be Lie groups on their own but not Lie subgroups?

Let $G$ and $H$ be Lie groups and $i:H\to G$ an injective group homomorphism, not necessarily continuous. Once $i$ is continuous, it follows easily that $i$ is differentiable and even an immersion. ...
5
votes
0answers
53 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 ...
1
vote
0answers
25 views

conjugation of Lie groups and homotopy group

Let $G$ be a Lie group. Let $\phi, \psi \in \pi_n(G)$. Consider $\theta \in \pi_n(G)$ defined by $\theta(x):= \phi(x)\psi(x)\phi(x)^{-1} \in G$, where we use multiplication and inversion in $G$ in ...
1
vote
1answer
43 views

Why $U$ generates $G$ as Lie group?

In line 2 of the proof, why is their intersection non-empty?
0
votes
1answer
39 views

Left-invariant differential form on homogeneous space

I'm trying to learn by working through an example but I got stuck with the line of reasoning provided in the text. Let $G$ be the group of matrices $$g= \begin{bmatrix} 1 &0 &\log{x} \\ y ...
2
votes
0answers
31 views

Spin group Spin(4,1)

i'm interested in the spin group $Spin(4,1)$ wich correspond to the symplectic group $Sp(1,1)$. The only source that I could find about it was wikipedia (http://en.wikipedia.org/wiki/Spin_group). It ...
1
vote
0answers
14 views

Why do entries of Maurer-Cartan 1-form span space of left-invariant 1-forms

Suppose $G$ is a $k$-dimensional Lie group of $n\times n$ matrices of the form $[g_{ij}(x_1,...,x_k)]$ where $g_{ij}$ are smooth functions. As a follow-up to the question I posted recently, I now ...
3
votes
1answer
46 views

The injectivity of torus in the category of abelian Lie groups

HI: I have the following question: Definition: A Lie group $T$ is called a torus if $T\cong \prod_{1\leq i\leq k} \mathbb{R}/\mathbb{Z}$ for some $k\in \mathbb{N}$. ${\bf Question}$: Is it true ...
2
votes
1answer
37 views

$E_6$ lie algebra and its representation

I've just started learning about Lie theory (only just finished up to basic classification of semisimple lie algebras) and I've got the following questions: How do I show that the complex lie algebra ...
2
votes
1answer
99 views

Weaker definitions of Lie subgroups

A Lie group $H$ is called a Lie subgroup of a Lie Group $G$ if there is a map $i:H\to G$ which is (a) an injective immersion and (b) a group homomorphism. My questios are: What happens if we replace ...
1
vote
2answers
51 views

Lattices in $PSL_2(\mathbb{R})$

Can a lattice in $PSL_2(\mathbb{R})$ have a normal abelian subgroup? It looks to me that it doesn't, but where can I read a proof?
2
votes
1answer
51 views

How does Maurer-Cartan form work

I have seen similar post asking for interpretation of the Maurer-Cartan form, but I am still struggling to understand it, so let me try to work a specific example and pose a specific question. Let ...
5
votes
1answer
53 views

The Underlying Manifolds of the Special Unitary Lie Groups SU(n)

I want to find the underlying manifolds of Lie Groups $\mbox{SU}(n)$ for general $n$. $$ \quad $$ My lecturer told us last year that the only n-spheres that admit a Lie group structure are ...