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

3
votes
3answers
457 views

Differential of the inversion of Lie group [duplicate]

Let $G$ be a Lie group and $\iota \colon G\to G$ denote the inversion. If $e$ is the identity of $G$, prove that: $$\text d \iota _e = -\text {id} _{T_e G}.$$ I understand that the differential at $e$ ...
3
votes
2answers
587 views

Lie Algebra Homomorphism Question

So this is a bit of a follow-up to my recent question. I don't mean to inundate the feed with my quandaries, but as I move through the theory I keep hitting stumbling blocks (which y'all so kindly ...
2
votes
1answer
129 views

Is trace of regular representation in Lie group a delta function?

My major is physics. I need to use some tools in group theory, but I am really confused by the trace in compact infinite groups. The following is my question: In discrete group theory, the ...
1
vote
1answer
35 views

Radical of a Lie algebra bracket itself

Let $\mathfrak{g}$ be a Lie Algebra over $k$, $\mathfrak{n}$ its radical. Why is $[\mathfrak{n},\mathfrak{g}]$ the smallest of its ideals $\mathfrak{a}$ such that $\mathfrak{g}/\mathfrak{a}$ is ...
1
vote
1answer
63 views

Let $\rho$ f.d. rep of a nilpotent Lie algebra such that $\rm{det} \rho(X) = 0$, $\forall X$. Then $\exists v \neq 0$: $\rho(X)v = 0, \forall X$.

Could you help me with this question? Let $\mathcal{g}$ be a nilpotent Lie algebra over $k$ and $\rho$ a representation of $\mathcal{g}$ in a finite-dimensional nonzero vector space $V$ over $k$. ...
1
vote
1answer
94 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: ...
1
vote
1answer
37 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 ...
1
vote
1answer
34 views

Solving a large system of linear equations to satisfy the Lie bracket: am I doing it right?

I'm still working on a Lie algebra isomorphism from the Lie algebra of $SL_2(\mathbb C)$ into the Lie algebra of $O(3, \mathbb C)$. It has been suggested to me to use linear combinations of ...
1
vote
2answers
399 views

A covering map from a differentiable manifold

Let $p: C \to X$ is a covering map. Suppose that $C$ is a differentiable manifold. Is X - differentiable manifold? More precisely, I am interested in the case where $C$ is Submanifold of Lie algebra, ...
0
votes
1answer
112 views

Derivative of a group action

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$. Then we define $$f(t):=\phi(g(t),d(t)).$$ where $g: I \rightarrow G$ and $d: I \rightarrow M$ are ...
0
votes
1answer
155 views

Maximal tori in U(2)

I'm attending a course about Lie Groups, and in an exercise I'm asked to "find the maximal abelian subgroup of $U(2)$". Certainly an abelian subgroup of $U(2)$ (and in fact of any $U(n)$ increasing ...
27
votes
1answer
1k views

Given a group $ G $, how many topological/Lie group structures does $ G $ have?

Given any abstract group $ G $, how much is known about which types of topological/Lie group structures it might have? Any abstract group $ G $ will have the structure of a discrete topological group ...
9
votes
3answers
3k views

How do you find the Lie algebra of a Lie group (in practice)?

Given a Lie group, how are you meant to find its Lie algebra? The Lie algebra of a Lie group is the set of all the left invariant vector fields, but how would you determine them? My group is the set ...
5
votes
1answer
191 views

Harmonic Analysis on the real special linear group

I would like to understand the representation theory and generalized Fourier transform of $SL(3, \mathbb{R})$ in as concrete a manner as possible. My ultimate goal is to develop an algorithm that can ...
13
votes
3answers
744 views

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

As we know, Lie group is a special smooth manifold. I want to find some geometric property, which is only satisfied by the Lie group. I only found one property: parallelizability. Can you show me ...
12
votes
2answers
233 views

Non-isomorphic Group Structures on a Topological Group

Which Topological Groups Have a Unique Group Structure (up to isomorphism)? I know that there are many non-isomorphic finite groups of same order, so there are many group structures possible for ...
6
votes
1answer
3k views

Description of SU(1, 1)

For a homework question, I am required to "describe the Lie group SU(1, 1)". This is a bit ambiguous, but I think what that means is I need to find a parametrisation of the elements of the group. I ...
20
votes
3answers
1k views

Lie algebra of a quotient of Lie groups

Suppose I have a Lie group $G$ and a closed normal subgroup $H$, both connected. Then I can form the quotient $G/H$, which is again a Lie group. On the other hand, the derivative of the embedding ...
15
votes
3answers
3k views

Recovering the two $SU(2)$ matrices from$ SO(4)$ matrix

Since there is a $2$-$1$ homomorphism from $SU(2)\times SU(2)$ to $SO(4)$ there should be a way to recover the two $SU(2)$ matrices given an $SO(4)$ matrix. I believe I could set this up as a ...
8
votes
2answers
840 views

Calculating the Lie algebra of $SO(2,1)$

I am trying to calculate the Lie algebra of the group $SO(2,1)$, realized as $$SO(2,1)=\{X\in \operatorname{Mat}_3(\mathbb{R}) \,|\, X^t\eta X=\eta, \det(X)=1\},$$ where $$\eta = \left ( ...
6
votes
2answers
597 views

deformation retract of $GL_n^{+}(\mathbb{R})$

Well, I need a deformation retract from $GL_n^{+}(\mathbb{R})$ to $SO(n)$ Here is what I tried, let $A\in GL_n^{+}(\mathbb{R})$ $A=(A_1,\dots,A_n)$ where $A_i$'s are collumn vectors, Recall that the ...
5
votes
0answers
302 views

Exponential map is surjective for compact connected Lie group

How do I show that for every compact connected group $G$, the exponential map $\exp \colon\mathfrak{g} \rightarrow G$ is surjective? I tried to find the proof on the internet but most of them are ...
5
votes
2answers
233 views

Homotopy groups of some magnetic monopoles

This is a list of homotopy groups which I (as a physics researcher) encounter when studying magnetic monopole under certain configuration of gauge field profiles. \begin{gather} \pi_2(SU(2)/U(1)) ...
4
votes
2answers
993 views

Example of two-dimensional non-abelian Lie algebra?

can some one give me an example of two-dimensional non-abelian Lie algebra?
21
votes
1answer
519 views

Shrinking Group Actions

Suppose $H\subset G$ is a subgroup of a topological group $G$, and $Y\subset X$ is a subspace of a topological space $X$. Suppose we are given a continuous group action $\rho : G\times X\rightarrow X$ ...
19
votes
1answer
408 views

Can we prove that there are countably many isomorphism classes of compact Lie groups without appealing to the classification of simple Lie algebras?

It is a nontrivial fact that there are only countably many isomorphism classes of compact Lie groups. One can prove this by a series of reductions: first to the connected case, then to the simply ...
11
votes
1answer
3k views

Intuitive explanation of Left invariant Vector Field

Intuitively what is meant by a left invariant vector field on a manifold?
6
votes
1answer
81 views

The last accidental spin groups

For dimensions $n\le 6$ there are accidental isomorphisms of spin groups with other Lie groups: $\DeclareMathOperator{Spin}{\mathrm{Spin}}$ $$\begin{array}{|l|l|} \hline \Spin(1) & \mathrm{O}(1) ...
4
votes
2answers
796 views

Fundamental group of $SO(3)$

How can I show that the universal cover of $SO(n)$, for $n\ge 3$, is a double cover? And how does that reflect the fact that the fundamental group of $SO(n)$ has two elements? What is the relation ...
1
vote
3answers
568 views

Minimization on the Lie Group SO(3)

Refering to a question previously asked Jacobian matrix of the Rodrigues' formula (exponential map). It was suggested in one of the answer to only calculate simpler Jacobian ...
12
votes
2answers
207 views

Is there a group between $SO(2,\mathbb{R})$ and $SL(2,\mathbb{R})$?

Is there a non-trivial subgroup $H \subset SL(2,\mathbb{R})$ such that $H \supset SO(2,\mathbb{R})$ ? My intuition is that, since $\dim SO(2)=1$ and $\dim SL(2)=3$, there should be some group ...
12
votes
2answers
920 views

Homology and Euler characteristics of the classical Lie groups

I'm interested in methods of computing the homology groups and Euler characteristics of the classical Lie groups ($GL(n,\mathbb{R}), SL(n,\mathbb{R})$, etc.). (But I'd be interested in techniques ...
11
votes
2answers
433 views

Relation between $SU(4)$ and $SO(6)$

This is more of a particle physics question than maths. Since $SO(6)$ and $SU(4)$ are isomorphic, how are the fields (say for example scalar fields of ${\mathcal{N}}=4$ Super Yang Mills in $4d$) ...
8
votes
1answer
306 views

Visualizing Lie groups.

I like to visualize lie groups as flows on some manifold. For example: $SO(2)$ can be visualized as rotations of $S^1$ and it's lie algebra as constant vector fields on $S^1$. Or $SO(1,1)$ can be ...
6
votes
1answer
159 views

Possibilities of an action of $S^1$ on a disk.

I'm dealing with actions of the circle over differentiable manifolds. In the book I'm reading, they use the fact that an action of $S^1$ over a disk has to be equivalent (there has to exist an ...
5
votes
2answers
224 views

equation involving the integral of the modular function of a topological group

Let $G$ be a locally compact topological group and $H$ a closed subgroup. Choose a left Haar measure $d\zeta$ for $H$, and let $d\mu$ be any measure for $G$. Also let $f$ and $g$ be continuous ...
5
votes
1answer
566 views

Every principal $G$-bundle over a surface is trivial if $G$ is compact and simply connected: reference?

I'm looking for a reference for the following result: If $G$ is a compact and simply connected Lie group and $\Sigma$ is a compact orientable surface, then every principal $G$-bundle over $\Sigma$ ...
3
votes
2answers
62 views

Calculating the differential of the inverse of matrix exp?

Let $A(t)$ and $B(t)$ be two matrix-valued smooth function satisfying the equation, $B(t) = e^{A(t)}$. I need to express $\frac{dA(t)}{dt}$ in terms of $B(t)$. I know that there is a formula of ...
3
votes
2answers
82 views

Lie group step in proof

Let $X_e,Y_e \in T_eG$ be vectors and $G = GL(n).$ Then the right translation is given by $Y_g = Y_e g$ and $X_g = X_e g.$ Now, I have a proof showing that $[X_e,Y_e] \in T_eG$ is the element ...
7
votes
1answer
198 views

Directional derivative of the determinant

Please help me find the mistake in my derivation: Let $f:M_{n,n}(\mathbb{R}) \to \mathbb{R}$ be the determinant function, $f(A)=det(A)$. Let $p_A(x)$ denote the charecteristic polynomial of $A$. ...
7
votes
3answers
264 views

Lie Group Decomposition as Semidirect Product of Connected and Discrete Groups

I've believed for a long time that every Lie group can be decomposed as the semidirect product of a connected Lie group and a discrete Lie group. However, in this Math Overflow thread, it is mentioned ...
7
votes
1answer
434 views

What are spinors mathematically?

In the wikipedia article on spinors a number of mathematical definitions are given of spinors which I find slightly confusing. There are essentially two frameworks for viewing the notion of a ...
7
votes
1answer
1k views

What are defining & fundamental representations?

In physics terminology, one hears of the fundamental & defining representations of lie algebras or groups - are these the same as irreducible representations?
7
votes
1answer
684 views

Expression for the Maurer-Cartan form of a matrix group

I understand the definition of the Maurer-Cartan form on a general Lie group $G$, defined as $\theta_g = (L_{g^{-1}})_*:T_gG \rightarrow T_eG=\mathfrak{g}$. What I don't understand is the expression ...
6
votes
3answers
948 views

Physical interpretation of the Lie Bracket

I've come accross this physical interpretation for $ [X,Y] $ which I don't understand : Follow $X$ for some time $\epsilon$; Follow $Y$ for $\epsilon$; Follow -X for $\epsilon$; Follow -Y for ...
6
votes
1answer
580 views

Representations of a non-compact group are labeled by its maximal compact subgroup?

I don't have much of any awareness about the representation theory of non-compact Lie groups but I bumped into it for my work. Is there some idea that the representations of a non-compact group are ...
5
votes
2answers
209 views

One more question about mapping quaternionic matrices into real matrices

Real matrices that lie in the image of the inclusion homomorphism $\rho_n: M_n(\mathbb C) \to M_{2n}(\mathbb R)$ are called complex linear real matrices. It is easy to see that a real matrix is ...
5
votes
0answers
844 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 = ...
4
votes
1answer
208 views

Orbits of $SL(3, \mathbb{C})/B$

Let $B= \Bigg\{\begin{bmatrix} * & *&* \\ 0 & *&*\\ 0&0&* \end{bmatrix} \Bigg\}< SL(3,\mathbb C)$. What is $SL(3,\mathbb C)/B$? Do we use these facts: Borel fixed ...
4
votes
2answers
655 views

The description of abelian Lie groups

There is a problem in my problem sheet which asks me to describe all abelian connected Lie groups (moreover this is the first problem so it should be rather easy). I don't understand how this ...