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

1
vote
0answers
32 views

The Product map of a Lie Group is a Submersion.

Problem 7.1 of Lee's Introduction to Smooth Manifolds (2nd Edition) reads: Show that for a Lie group $G$, the multiplication map $\mu:G\times G\to G$ is a submersion (Hint: Use Local Sections). ...
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
1answer
73 views

Showing $U(n)/Z(U(n))=SU(n)/Z(SU(n))$

I was working on the following problem from Stillwell's Naive Lie Theory. Prove that $U(n)/Z(U(n))=SU(n)/Z(SU(n))$. It was shown earlier in the text that $Z(U(n))=\{ e^{i\theta} \textbf{1}: ...
2
votes
1answer
32 views

A compact, connected, abelian Lie group is a torus?

How to prove that a compact, connected, abelian Lie group is a torus? It seems very intuitive. Any reference?
1
vote
0answers
30 views

Easy examples of non-arithmetic lattices

I'm starting to look a bit more at discrete subgroups of Lie groups, particularly lattices. A lot is written about arithmetic lattices of Lie groups, and examples abound. It appears that much less is ...
2
votes
2answers
47 views

Adjoint representation

I was just wondering why the adjoint representation of the Lie group $Ad$ and Lie algebra $ad$ are called representation. Maybe this word is derived from abstract algebra somehow, but I don't ...
2
votes
2answers
50 views

Homogeneous Isotropic Riemannian Manifolds

In John Lee's book Riemannian Manifolds on page 33, Lee writes "Clearly a homogeneous Riemannian manifold that is isotropic at one point is isotropic at every point". It seems that he means that he ...
2
votes
0answers
56 views

Derivatives of solution to Schrödinger equation

Consider the differential equation (Schrödinger, but rewritten to be pleasing to Lie algebraic eyes): $\frac{d U(t)}{dt} = c(t)U(t)$ where $c(t)=a+w(t)b(t)$, $a,b \in \mathfrak{su}(n)$ and $w$ is a ...
1
vote
0answers
25 views

Computing the differential of multiplication by $M$ on $U(n)/O(n)$

Suppose $M\in U(n)$. Then multiplication by $M$ induces a smooth action on $U(n)/O(n)$. How can we compute the differential of this map? If $M$ were acting on a matrix group, then of course the ...
2
votes
1answer
50 views

Two different descriptions of a complex torus

I came across the following description of a (1-dimensional) complex torus while learning about Calabi-Eckmann manifolds: For a fixed $\alpha \in \mathbb{C} \setminus \mathbb{R}$, the subgroup $Z = ...
2
votes
3answers
74 views

How to show that $\int_G f(t) dt = \int_G f(t^{-1}) dt$?

I am reading the lecture notes. On page 34, line 13, it is said that $\int_G f(t) dt = \int_G f(t^{-1}) dt$. How to prove this identity? I think that if we let $s=t^{-1}$, then ...
4
votes
1answer
45 views

Least dimension of Lie group acting transitively of a manifold

I guess that the least possible dimension of a Lie group $G$ acting smoothly and transitively on a compact manifold $M$ is $\operatorname{dim}(M)$. Is this correct and is there a ref?
0
votes
0answers
11 views

Compact modulo center

Bit of a naïve question. Suppose that $G$ is a reductive group and that the Lie group $G(\mathbb{R})$ is compact modulo center. Is it true that $G(\mathbb{R})/Z(\mathbb{R})G^0(\mathbb{R})$ is ...
2
votes
0answers
38 views

Relationship between solutions of two matrix differential equations

Given a ($4\times4$ in the important case) matrix differential equation: $\frac{d U_t}{dt}= A_t U_t$ where $U_t \in SU(n)$ and $A_t \in \mathfrak{su}(n)$. What is the relationship between the ...
3
votes
2answers
73 views

Why is $GL(n, \Bbb R)$ open in the Zariski topology?

The general linear group $GL(n,\mathbb{R})$ is said to have Zariski topology, but I do not understand how. Can anyone explain this to me?
1
vote
0answers
16 views

Decomposition of tangent space of principal bundle

A connection on a principal bundle $\pi:P\rightarrow M$ is a choice of horizontal subspace $H_p$ at each $p\in P$, such that $T_p P = H_p + V_p$ where $V_p = \ker((\pi_*)_p)$. It is very common to ...
1
vote
0answers
43 views

How do Lie algebra elements act on symmetric and antisymmetric representations?

The Lie algebra of a group acts on itself through the commutator $ T_a \in ad$: $$ T_a \circ T_b = [T_a,T_b] \in ad $$ I assume the same should be true if we have an antisymmetric adjoint, as for ...
1
vote
0answers
23 views

Why aren't all elements of the $45_a$ representation of $SO(10)$ zero?

We can write elements of the $45_a$, where $a$ denotes antisymmetric, as $10 \times 10 $ matrices, because $$ 10 \otimes 10 = 1_s \oplus 54_s \oplus 45_a$$ Here $10$ denotes the fundamental ...
1
vote
0answers
37 views

Why is a weight automatically a complex weight?

EDIT: I think the partial answer to my question is that in order to talk about weights we always need a complex Lie algebra. If the Lie algebra is real, we use the complexification, This is necessary, ...
2
votes
0answers
52 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 ...
2
votes
0answers
18 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
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 ...
0
votes
0answers
31 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
9 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 ...
3
votes
0answers
44 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
55 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 ...
4
votes
1answer
96 views

Symplectic group and Quaternion Inner product

I have a problem understanding a passage from "Naive Lie theory"(by John Stillwell), here is the passage from section $3.9$ ,page $71$: The idea of treating orthogonal, unitary, and symplectic ...
1
vote
0answers
23 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
65 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
1answer
29 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
59 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
75 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
100 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
61 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
41 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
30 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
51 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
18 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
55 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
43 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
26 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
30 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
54 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
36 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
14 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. ...
0
votes
0answers
17 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
50 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
30 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
25 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
36 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$ ...