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
0answers
16 views

A Quotient of the Euclidean Group

$\newcommand{\euc}{\mathscr I}\newcommand{\R}{\mathbf R}$ Let $\euc(n)$ denote the the Euclidean group $\R^n\rtimes O_n(\R)$. Recall that $\euc(n)$ acts on $\R^n$ as $(\mathbf x, T)\cdot \mathbf ...
1
vote
0answers
10 views

How stable is the top cell of Lie group?

It is well know fundamental class of a compact lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable equivalence ...
4
votes
0answers
25 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 ...
0
votes
0answers
14 views

Quadratic Casimir of SO(5)

In the article A Four Dimensional Generalization of the Quantum Hall Effect, arXiv:cond-mat/0110572, by Zhang and Hu Quadratic Casimir operator for $SO(5)$ is given as $$p^2/2+q^2/2+2p+q .$$ When ...
0
votes
0answers
6 views

Is the basis for $\mathbb{R}^n$ where the $\mathfrak{so}(n)$ Cartan elements are diagonal, necessarily complex?

This is a follow-up to this and this question. The elements of $\mathfrak{so}(n)$ are antisymmetric in the standard basis $(1, 0, 0), (0, 1, 0), (0, 0, 1)$. This means that we have no diagonal ...
2
votes
0answers
30 views

Short pedagogical introduction to Young-tableaux and weight diagrams?

I am looking for a short pedagogical introduction to Young-tableaux and weight diagrams and the relationship between them, which contains many detailled and worked out examples of how these methods ...
3
votes
1answer
48 views

Insight about compact groups

I'm quite familiar with the general notion of compactness in math but I have some troubles with its extension to group theory. I'm not talking about definitions or theorems: I would like to have some ...
3
votes
0answers
58 views

Symplectic group and Quaternion Inner product

I have a problem understanding a passage from "Naive Lie theory"(by Stillwell), here is the passage from section $3.9$ ,page $71$: The idea of treating orthogonal, unitary, and symplectic groups ...
1
vote
0answers
19 views

Embedding of a finite group in a compact connected Lie group

How can one embed a finite group $G$ in a compact connected Lie group? I think if we take a faithful unitary representation of G , that will do the job.But if $G= Z/n$, then what should be the ...
3
votes
1answer
57 views

Is Heisenberg group Euclidean?

I'm reading an article speaking about Heisenberg group $\mathbb H^n$ and some of its properties. Now, I have some questions to ask, hoping to be clear enought. Reading the introduction I've ...
0
votes
0answers
23 views

Given the basis vectors of a 10-dimensional representation of $SO(10)$, how can I compute the basis vectors of the 54-dimensional representation?

Because $10 \otimes 10 = 1_s \oplus 54_s \oplus45_a$ we can write each element of $54$ as a $10×10$ matrix. The usual basis vectors of the 10-dim rep are $$ \begin{pmatrix}1 \\0 \\ \vdots ...
2
votes
0answers
56 views

Why doesn't the “naive” scalar product for $SO(n)$ yield something invariant?

By definition, for $SO(n)$ we have $g^T g=1$ for $g \in SO(n)$. Given some vector $v \in V$ and some representation $R: SO(N) \rightarrow \mathrm{Lin}(V)$, the defining condition above tells us ...
1
vote
1answer
64 views

Where does the ambiguity in choosing a basis for a Lie algebra come from?

This is a follow-up to this question. For matrix Lie algebras, we can define the Lie algebra $g$ of a group $G$ as the set $T_a \in g$ that yield an element of $G$ when put into the exponential map: ...
3
votes
2answers
88 views

The generators of $SO(n)$ are antisymmetric, which means there are no diagonal generators and therefore rank zero for the Lie algebra?

Okay, this may be a silly question but I can't figure it out myself right now. By definition $O \in SO(n)$ fulfils $O^T O=1$ and $\det(O)=1$. For the generators of the group $ T_a \in so(n)$, this ...
3
votes
1answer
49 views

Tangent space of quotient space

Let $\pi : M \rightarrow M/G$ be the canonical projection, where $M$ is a manifold and $M/G$ is a quotient manifold. Now, what can we say about $d \pi (p) : T_pM \rightarrow T_p(M/G)$? From my ...
4
votes
0answers
37 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 ...
0
votes
1answer
27 views

Lie group and stabilizer quotient

Let $G$ be a Lie group and $$G_x:=\{g \in G; Ad^*_g(x)=x\}$$ the stabilizer, where $Ad_g^*$ is the adjoint of the adjoint representation. Now, I was wondering why $G/G_x$ has a manifold structure. ...
2
votes
0answers
45 views

Dual space isomorphism and the dual representation

Let $V$ be a complex finite-dimensional vector space. Then there always exists an isomorphism $V \simeq V^*$, where $V^*$ is the dual space. The isomorphism can be fixed by choosing a non-degenerate ...
1
vote
1answer
15 views

Lifting a principal G-bundle to a principal bundle with structure group a covering of G

Let $P\to $ be a principal $G$-bundle. Suppose $U$ covers $G$. What do we mean by a lift of $P$ with respect to $U$? Can we take $P,M,G,U$ such that no lift exists?
1
vote
1answer
49 views

Orbits form a manifold?

A prominent example are the coadjoint orbits $O_x = \{Ad_u^*(x);u \in G\}$ where $x \in \mathfrak{g}$ and $G$ a Lie group with Adjoint map $Ad.$ Could anybody give me an easy argument why $O_x$ is a ...
0
votes
0answers
38 views

Exponential map only for matrix Lie algebras?

Recently, I stumbled over some proofs in Lie algebra theory and noticed that they often use the notion of an exponential map $e^{t \zeta}$ for $\zeta \in \mathfrak{g}$ such that $e^{t \zeta} \in G$ ...
0
votes
1answer
17 views

Tangent vectors to coadjoint orbits

Let $O_x:=\{Ad^*_g (x); g \in G\}$ be the orbit of $x \in \mathfrak{g}^*$ and $Ad$ the adjoint map. Now take $\xi \in \mathfrak{g}$ then $g(t):=Ad^*_{e^{t \xi}}(x)$ defines a map $g: I \rightarrow ...
1
vote
1answer
26 views

Lie algebra of affine linear maps

Let $G$ be the Lie group of affine transformations, $$\{x \mapsto Ax+b,A \in GL(n), b \in \mathbb{R}^n\}.$$ We can represent these maps as matrices $$\begin{pmatrix} A & b \\ 0 & 1 ...
-2
votes
1answer
48 views

topic between algebra and geometry [closed]

I have to do an exam on Differential Geometry and my teacher wants that I prepare a choosen topic, outside lectures program, that I will talk about at the oral part of the exam. I am interested in ...
2
votes
0answers
34 views

Tangent space of coadjoint orbit

Let $\xi \in T_xOx$ be a tangent vector at $x \in O_x :=\{\mathrm{ Ad} _{u}^*(x); u \in G\}$ for $x \in g^*.$ ($g$ is the Lie-Algebra) Then I read that this $\xi$ can be represented as the velocity ...
0
votes
0answers
13 views

Extending orthogonal representation of $SU_2$ to $U_2$

Let $\phi: SU_2 \rightarrow SO_3(\mathbb{R})$ be the orthogonal representation of $SU_2$, obtained by letting $SU_2$ act on the three-dimensional vector space of trace-zero skew-hermitian matrices. ...
-1
votes
0answers
17 views

Lie algebra affine transformations [duplicate]

Let $G$ be the Lie group of affine transformations $$\{x \mapsto Ax+b,A \in GL(n), b \in \mathbb{R}^n\}.$$ Then we can represent these maps as matrices $\begin{pmatrix} A & b \\ 0 & 1 ...
0
votes
0answers
16 views

Adjoint and coadjoint orbits

I just read that for the Lie algebras $\mathfrak{gl}(N),\mathfrak{sl}(N),\mathfrak{so}(N),\mathfrak{sp}(2N)$ the adjoint and coadjoint orbits coincide. Now, the adjoint orbits are $O_{\xi} = ...
0
votes
1answer
47 views

Killing form - strange definition

I was just reading about Killing forms. In my opinion, the definition of these forms is quite strange. I mean why would one define $B(X,Y) = \mathrm{tr} (\mathrm{ad} (X) \circ \mathrm{ad} (Y))$? I ...
3
votes
1answer
28 views

Adjoint representation is Lie algebra homomorphism

Let $T_g:=L_g R_{g^{-1}}: G \rightarrow G$ be the standard automorphism of a Lie algebra, then $Ad_g:=DT_g(e): \mathfrak{g} \rightarrow \mathfrak{g} $is called the adjoint representation. Now, I want ...
0
votes
0answers
12 views

Stabilizer subgroup in adjoint action

Given $b \in \mathfrak{su}(n)$, how can I find the stabilizer $\text{stab}(b)$ for the adjoint action of $SU(n)$ on $\mathfrak{su}(n)$ given by $Ad_U(b) = UbU^{\dagger}$ without using coordinates? The ...
3
votes
1answer
33 views

Level set as the orbit of the action of a Lie Group?

I'm wondering the following. Given a smooth function $f:\mathbb R^n\rightarrow \mathbb R^m$ with $m<n$ and level sets $\mathcal O(y)=\{x\in\mathbb R^n| f(x)=y \}$. What are the conditions on $f$ ...
0
votes
0answers
19 views

Why $exp(0_{T_eG})=e$, where $exp$ is the exponential map of a Lie group?

I wonder if this fact is true: I consider the exponential map of a Lie group $G$. $$exp: \mathfrak{g} \rightarrow G.$$ Is it true that $exp(0_{T_eG})=e$, where $e$ is the identity element of $G$? ...
2
votes
3answers
46 views

Group actions on manifolds - exponential map

Let $M$ be a smooth manifold. Suppose $K$ is a Lie group (with Lie algebra $\mathfrak{k}$) acting EDIT: TRANSITIVELY on $M$ from the left and $G$ is a Lie group (with Lie algebra $\mathfrak{g}$) ...
0
votes
0answers
13 views

Transitive group actions on Principal bundles

I have a question in regards to page 107 of Kobayashi & Nomizu's Foundations of Differential Geometry Setup: Let $\pi:P\rightarrow M$ be a principal bundle with structure group $G$ whose Lie ...
4
votes
0answers
32 views

Understanding $G_2$ inside Spin(7)?

This is a rather embarrassing question, so please let me know of any duplication and I will happily remove it. I am seeking to understand the $\mathbb Q$-split form of the algebraic group $G_2$, and ...
2
votes
2answers
46 views

Connected Lie group is second countable?

I know this is true from various sources, unfortunately none of them give the full proof. I already have a start: Let $G$ be connected Lie Group. Choose $K$ to be any compact neighbourhood of the ...
0
votes
1answer
28 views

Determine the exponential map of the direct product of two Lie groups.

I know that the direct product of two Lie groups $G$ and $H$ is a Lie group. Knowing the exponential map of $G$ and $H$, I would like to find an expression for the exponential map of $G \times H$. ...
1
vote
0answers
15 views

Branching rules without previous knowledge of the projection matrix?

Given a representation $R$ of some group $G$ one can find in many books and papers (e.g. page 96ff here) the decomposition under certain subgroups: $$ R= R_1 + R_2 + \ldots$$ This is often called a ...
1
vote
0answers
14 views

Inner Automorphism of Lie algebras in Terms of Roots and Weights?

An automorphism is a homomorphism of a group $G$ onto itself. For Lie groups this induces a Lie algebra $g$ automorphism, i.e. a map of the Lie alegbra onto itself that preserves the Lie bracket. An ...
4
votes
1answer
86 views

How to see that SL(2,C) is simply connected?

I started reading about Lie groups and right now I'm trying understand why $SL(2,\mathbb{C})$ is simply connected. I have shown that $SU(2)$, being diffeomorphic to $S^3$, is simply connected. So my ...
1
vote
1answer
41 views

Do we have $\mathbb{C}[SL_n] = \oplus_{\lambda, \text{ht}(\lambda)\leq n} V_{\lambda} $?

The coordinate algebra $\mathbb{C}[SL_n]=\mathbb{C}[x_{ij}: i, j \in \{1, \ldots, n\}]/(\det(x_{ij}) - 1)$ is a representation of $SL_n$: $(g'.f)(g)=f(g'^T g)$. Let $V_{\lambda} = \langle e_T : T ...
1
vote
2answers
48 views

How to understand that minors are matrix elements in fundamental representations of $SL_n$?

In the video, Lecture 3 of June 14, 49:00-53:00, it is said that "minors are matrix elements in fundamental representations of $SL_n$". What are fundamental representations of $SL_n$? How to ...
1
vote
0answers
67 views

Orbit of a Weight Vector?

Given some element $\phi$ of a representation $R$ of a group $G$, the orbit $G(\phi)$ of $\phi$ is defined as the set $g \phi \ \forall \ g \in G$. We can write every element of a given ...
0
votes
0answers
27 views

Is the coset space $\frac{SO(3)\times Z_2}{H \times Z_2}$ isomorphic to $\frac{SO(3)}{H}$?

I have heard many times that the homotopy group of the coset space $\frac{SO(3)\times Z_2}{H \times Z_2}$ and of the space $\frac{SO(3)}{H}$ are identical. I.e., $\frac{SO(3) \times Z_2}{H \times Z_2} ...
1
vote
1answer
27 views

Automorphism group of a lie algebra as a lie subgroup of $GL(\frak g)$

Let $G$ be a lie group with lie algebra $\frak{g}$. Let $Aut(\frak g)$ be the automorphism group of $\frak{g}$. Its clear to me that $Aut(\frak{g})$ $\subset GL(\frak{g})$ since any automorphism of ...
1
vote
1answer
35 views

Algebraic groups with no small subgroups

I have read in many textbooks proofs that any Lie group has no small subgroups, that is, there is an open neighborhood of the unity element containing no nontrivial subgroups. In particular, ...
0
votes
1answer
45 views

How to understand the definition of Killing form?

Define the matrix commutator $\text{ad}_X$ as $$\text{ad}_XY=[X,Y]=XY-YX$$ where $X,Y\in\mathfrak{g}$ and $\mathfrak{g}$ is the Lie algebra associated to Lie group $G$. Then on Lie group $G$, the ...
1
vote
2answers
67 views

Solving $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$

Given an arbitrary $A \in \mathfrak{su}(n)$, is it always possible to solve for $U,V \in SU(n)$ and $\lambda \in \mathbb{C}$ such that $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$? Update: ...
0
votes
0answers
23 views

Elements of SO(n) is block-diagonalizable

I am not able to show that elements of SO(n) are conjugate to a block-diagonal matrix with 2x2 blocs that are rotation matrices, and a 1x1 bloc 1 if n is odd. Can someone help me please?