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
1answer
169 views

Help needed in understanding the basics of Cartan decomposition of a Lie algebra

I am trying to learn the basics of Cartan decomposition of Lie algebra, and have come across the following example. Consider $\mathfrak{gl_n}$ as the Lie algebra of endomorphisms of $\mathbb{C}^n$. ...
2
votes
1answer
120 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
30 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
62 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
87 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
36 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
33 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
365 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
95 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 ...
27
votes
1answer
970 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 ...
13
votes
3answers
719 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
224 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 ...
5
votes
1answer
179 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 ...
19
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 ...
14
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 ...
6
votes
1answer
74 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) ...
5
votes
2answers
231 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
696 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 ...
21
votes
1answer
510 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$ ...
12
votes
2answers
203 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 ...
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
2answers
557 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 ...
6
votes
1answer
158 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
528 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$ ...
4
votes
2answers
895 views

Example of two-dimensional non-abelian Lie algebra?

can some one give me an example of two-dimensional non-abelian Lie algebra?
1
vote
3answers
529 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 ...
11
votes
2answers
339 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$) ...
11
votes
2answers
901 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 ...
7
votes
1answer
271 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 ...
7
votes
1answer
397 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
981 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?
6
votes
3answers
253 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 ...
5
votes
0answers
770 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
364 views

Parabolic subgroups of $\mathrm{Sl}_n$ are the ones that stabilize some flag

I am looking for a reference for the above statement that every parabolic subgroup of $\mathrm{Sl}_n(\Bbbk)$ stabilizes some flag in $\Bbbk^n$. I have gone through a large pile of books and can't seem ...
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 ...
3
votes
0answers
231 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 ...
3
votes
2answers
451 views

Lie group homomorphism from $\mathbb{R}\rightarrow S^1$

I need to prove that every Lie group homomorphism from $\mathbb{R}\rightarrow S^1$ is of the form $x\mapsto e^{iax}$ for some $a\in\mathbb{R}$. Here is my attempt: As it is group homomorphism so it ...
3
votes
1answer
650 views

fundamental group of $U(n)$

Is my logic correct? $f:U(n)\rightarrow U(1)$ defined by $f(A)=\det A$ is a group homomorphism so that the induced homomorphism $f^{*}: \pi_1(U(n))\rightarrow \pi_1(U(1))$ will be an isomorphism, ...
0
votes
0answers
323 views

Why Bruhat decomposition in $GL_n$ case is the Gauss decomposition?

Gauss decomposition of a matrix is also called LU decomposition. Let $A$ be a matrix. Then $A=LU$ for some lower triangular matrix $L$ and upper triangular matrix $U$. This can be obtained using Gauss ...
7
votes
1answer
619 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 ...
7
votes
1answer
1k views

Can somebody explain the plate trick to me?

I learned of the plate trick via Wikipedia, which states that this is a demonstration of the fact that SU(2) double-covers SO(3). It also offers a link to an animation of the "belt trick" which is ...
6
votes
1answer
579 views

Invariant Inner Product on Lie Algebra

Let $G$ be a Lie group, $\frak{g}$ its Lie algebra. Suppose $\mathcal{D}$ a representation of $G$ on $V$, $d$ the associated Lie algebra representation. Suppose $V$ is endowed with an inner product. ...
6
votes
3answers
921 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
552 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 ...
6
votes
1answer
333 views

Generators of compact Lie groups

Suppose $G$ is a compact connected Lie group and let $\{X_i\}$ be a basis for its Lie algebra $\mathfrak g$. We know that the exponential $\exp:\mathfrak g \to G$ is surjective but when is it the ...
5
votes
2answers
205 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
2answers
170 views

Does the algebraic structure of a Lie group restrict the possible dimensions of other Lie groups isomorphic to it?

In a recent question, I initially doubted that $\mathbb{C}^\times\cong S^1$, my intuition being that $\mathbb{C}^\times$ has one more "dimension" than $S^1$ - in rigorous terms, $S^1$ is (or rather, ...