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

Is there a name for the function $g(z)=\frac{1-e^{-z}}{z}$?

This function comes in connection with exponentiation for matrix Lie groups, e.g. in computing the derivative of $\exp()$ away from the identity, or $\exp()$ of something in the affine group ...
0
votes
0answers
9 views

$U(n)/Z(U(n))$ is isomorphic to $SU(n)/Z(SU(n))$

A problem that I have been working is withere $U(n)/Z(U(n))$ is isomorphic to $SU(n)/Z(SU(n))$. I believe the best way to approach this problem is to show that they are both Isomorphic to the same ...
0
votes
1answer
17 views

Decompose complex vector by SU(4)

This question is about to decompose (or reduce dimension) complex vector by SU(4). Given any $4\times1$ complex vector $B$. We can build independent matrix $A_i\in SU\left( 4 \right) ,i=1\ldots n $, ...
0
votes
1answer
22 views

$T_1 \times T_2$ is a maximal torus?

I have been working on teaching myself matrix groups and I have come across a problem about maximal tori. If I have a torus, $T_1 \subset G_1 $ and it is the maximal torus and If I have a torus, $T_2 ...
1
vote
1answer
21 views

prove that the maximal torus of $SO(3)$ is the maximal torus of $GL_3(\mathbb{R})$.

I want to prove that the maximal torus of $SO(3)$ is the maximal torus of $GL_3(\mathbb{R})$. I want to use the theorem that every maximal torus of G equals $gTg^{-1}$ for some $g \in G$. But I am not ...
5
votes
1answer
36 views

Can the equality $e^{-tY}Me^{tY} = e^{tX}M $ be shown by showing it only to 1st order? (Lie representations)

We have that A and B belong to different representations of the same Lie group. The representations have the same dimension. X and Y are elements of the respective Lie algebra representations. $$A = ...
0
votes
0answers
29 views

Ranks of matrix Lie groups and Lie algebra of SU(1,1), SO(2,1)

I was trying to find out by Googling, but had no luck. Am I right in thinking that for the Lie GROUPS: rank SL(n,R) = n, rank SO(n,R) = n (not sure about this one), rank SU(n,C) = n-1 and ...
1
vote
0answers
16 views

Unimodular groups

Let F be a non-archimedean local fields of characteristic p (for p any given prime number): the field of formal Laurent series Fq((T)) over a finite field Fq (where q is a power of p). Is GL(n,F) ...
0
votes
0answers
22 views

Three linearly independent vector fields

How can one find three linearly independent vector fields on $S^1\times S^2$? I know that $S^1\times S^2 \cong SO_3( \mathbb{R})$, i.e. the set of orthogonal $3 \times 3$ matrices with determinant ...
1
vote
0answers
28 views

$U(n)$ and $U(1)\times SU(n)$ are not isomorphic Lie groups

I am reading John Lee and on the chapter about group actions there is a problem that asks me to show that $U(n)$ and $U(1)\times SU(n)$ are not isomorphic Lie groups by showing that they don't have ...
0
votes
0answers
48 views

How can we extend the proof that Lie groups are orientable to parallelizable manifolds?

Let $G$ be a Lie group with identity element $e$ and dimension $n$. I know we can take a non-vanishing $n$-form (call it $\omega$) on the vector space $T_eG$. For a Lie group, as we have an ...
0
votes
1answer
25 views

Lie bracket of vector fields on $R^2$

Compute the Lie bracket$$\Big[-y\frac{\partial}{\partial x}+x\frac{\partial}{\partial y},\frac{\partial}{\partial x}\Big]$$ on $R^2$ Can you help me please?
1
vote
0answers
12 views

About representations and transformations under an $SU(n)$ Lie Group

I think my problem is that I misunderstand what "transforms under" really means. Let's take $SU(3)$, for the $\mathbf{3}$ with Dynkin indices $(1,0)$, a state transforms like : $ψ→gψ$. For the ...
1
vote
1answer
24 views

Obtaining representations of $G$ from $\mathrm{Lie}(G)$.

Suppose $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$, and $\tilde{G}$ is the unique connected, simply connected Lie group whose Lie algebra is $\mathfrak{g}$. Let $C$ be any discrete ...
1
vote
0answers
16 views

Why is the Compact Symplectic Group Simply Connected

Let $Sp(n)=U(n,\mathbb{H})=\{A \in M_{n}(\mathbb{H}) : A\cdot A^{*}=I\}$ be the compact symplectic group, a subset of $Sp(2n,\mathbb{C})$. I want to show that $Sp(n)$ is simply connected, in ...
2
votes
1answer
50 views

Question about vector fields and Lie group

Notation: $\chi(G)$ is the set of smooth vector fields on Lie group $G$, which in fact forms a vector space. Given a Lie group $G$, show that there exists a smooth vector field $X\in \chi(G)$, ...
1
vote
2answers
42 views

Lie algabra of R^n

Until now the only example of lie groups I have seen are subgroups of $GL_n$. Today I had the idea, that also $G=(\mathbb R^n,+)$ must be a lie group ($(\mathbb R^n,+)$ is a group with the ...
0
votes
1answer
21 views

SO(n) is parallelizable

Prove that $SO(n)$ is parallelizable. How would I go about showing this? My supervisor could not help me with this problem, and I am stumped.
0
votes
1answer
35 views

In which course one learns Lie Group&Algebra and to which category of mathematics this subject belongs?

I'm a junior and i have never leanred this subject. I think "Lie Group&Algebra" is really deep and massive theory since the wikipedia page for it is quite long. Nevertheless, i'm not sure ...
2
votes
0answers
21 views

Rigidity for Lie Groups

This may be a very dumb question but I was wondering if the following train of logic is correct: We know a connected Lie group $G$ is isomorphic to the quotient $G\cong \tilde{G}/\Gamma$ where ...
1
vote
0answers
13 views

How could we decompose anticommutator of representation matrices for a Lie algebra?

For commutator, we know that $[T^a,T^b]=if^{abc}T^c$, where $f^{abc}$ is the structure constant. But is there a similar formula for $\{T^a, T^b\}$? Thank you.
-1
votes
0answers
43 views

Is $(\mathbb{R},+)$ a smooth manifold?

I feel like $(\mathbb{R},+)$ is, but I'm not really sure. How would I know whether or not it is?
3
votes
0answers
21 views

Nontrivial relations in rotation groups

Consider the subgroup $H$ of $SO(3)$ generated by rotations of order $5$ (i.e., rotations by $\frac{2\pi}5$) about the $x$ and $y$ axes. This group certainly isn't finite or discrete (as it's not ...
0
votes
1answer
52 views

Centralizer of $SO(n)$

Given the set $M(n,\mathbb C)$ of all complex $n\times n$ matrices, what's the centralizer of $SO(n)$ in $M(n,\mathbb C)$? For $n=2$, the centralizer must be the matrices $A$ such that $RA=AR$ where ...
3
votes
1answer
51 views

The Lie derivative by an infinitesimal action is invertible at an isolated zero point

Let a compact Lie group $G$ act on a manifold $M$. Fix $X \in \mathfrak g$ and we write $X_M$ for the infinitesimal action of $X$. Assume that $p \in M$ is a zero point of $X_M$. Define a linear map ...
0
votes
1answer
20 views

Show the Hermitian matrices, with trace(g*g1,1)=0 form a vector space.

This is a question from an example sheet that I think may have a mistake in it. Show that the set of Hermitian matrices $A \in H_2 (\mathbb{C})$ with Trace$(A\cdot A_{(1,1)})=0$ is a real three ...
1
vote
2answers
57 views

Action of $SO_n$ on $\mathbb{S}^{n-1}$ induces fibre bundle.

Real compact Lie group $SO_n$ acts smoothly and transitively on $\mathbb{S}^{n-1} \subseteq \mathbb{R}^n$ with obvious action. Isotropy subgroup of each point in $\mathbb{S}^{n-1}$ is isomoprhic to ...
2
votes
1answer
42 views

Homotopy Type of Diffeomorphism Group of Lie Group

Let $G$ be a finite dimensional connected Lie group and $Diffeo(G)$ be the diffeomorphism group of the underlying manifold. Is it true that $Diffeo(G)$ has the homotopy type of a finite dimensional ...
2
votes
2answers
15 views

orthogonal transformation, $S^{n-1}$

Show we can find an orthogonal transformation of determinant $1$ sending any point of $S^{n-1}$ into any other. I searched online and could not find the solution. I am currently learning about Lie ...
2
votes
0answers
19 views

Learning representation theory of real reductive lie groups

I am interested in any sources that can be helpful for learning the representation theory of real reductive groups. I am currently reading Wallach book, but I feel that I don't understand the subject ...
3
votes
0answers
53 views

What is the kernel of a Maurer-Cartan form?

The Maurer-Cartan form on the Lie group $Gl(n,\mathbb{R})$ is a one-form taking values in $\mathfrak{gl}(n,\mathbb{R})$ as defined in the link. It has a rather concrete "extrinsic definition" as ...
2
votes
0answers
22 views

Lie group - exponential Diffeomorphism

Let $G$ be a nilpotent, connected simply connected Lie group and $\mathfrak{g}$ its Lie algebra. It is known that the exponential map $\exp$ is a diffeomorphism. Now let $\mathfrak{g}_0$ be a Lie ...
1
vote
1answer
71 views

Isogenies and dimensions

Let $f: \mathbb{C}^g/L\to\mathbb{C}^{g'}/L'$ be an isogeny of complex tori, i.e. a surjective Lie group morphism with finite kernel. Is it obvious that $g\ge g'$ ? It is easy to show that $f$ is ...
1
vote
2answers
53 views

If a group is isomorphic to a Lie group will that group also be a Lie group?

So I was working through some exercises on Lie groups and I was wondering if the group isomorphisms carry any of the differentiable structure with them. Explicitly, if two groups, $G$ and $H$ are ...
0
votes
0answers
23 views

Automorphism Groups of Lie Groups

Take $X$ to be a Lie group and $Aut(X)$ to be its automorphism group (group isomorphisms which are also homeomorhisms). In general, are there some Lie groups in which this can be computed? For ...
1
vote
0answers
84 views

The natural representation of $SO(n)$ is irreducible for $n\ge 3$

The natural representation $(\pi,\mathbb C^n)$ of $SO(n)$ is the one for which $$\pi (g)z = g^{-1}z$$ for $g\in SO(n)$ and $z \in \mathbb C^n$ (the product $g^{-1}z$ is just the usual matrix ...
2
votes
3answers
33 views

A question on the codimension of $O(n)$ and $SO(n)$ reative to $GL(n,R)$

This seems like a very silly way to control the website, because as a new user it will not let me make comments. So apologies in advance to reference a previous question, but given the warning not to ...
2
votes
0answers
33 views

Inner automorphisms of Lie groups

I have a few questions about $Aut(G)$, when $G$ is a Lie group. It was proven by Hochschild that if $G/G_0$ is finitely generated, then $Aut(G)$ is a Lie group with at most countably many components. ...
2
votes
0answers
23 views

Lie Group - derivatives

This is really a simple question. Let $A$ be an associative, nilpotent real algebra, and set $[a,b]=ab-ba$, define the exponential map as usual, that is $exp(a)=1+a+\frac{a^2}{2}+...$. Let ...
2
votes
1answer
42 views

Lie Automorphisms

Take $X$ to be a Lie group. Define a Lie automorphism of $X$ to be a group isomorphism from $X$ to itself which is also a homeomorphism. Define $Aut(X)$ to be the group of Lie automorphisms of $X$ ...
0
votes
0answers
20 views

What is the classification theorem of simple Lie groups?

I've seen this thrown around a bit, but I can't find what the theorem actually states? Can anyone help?
1
vote
0answers
25 views

Volume form for $SE(n)$ and/or $E(n)$. [duplicate]

I wonder what happens when you construct the Tiling spaces considering the natural action of $SE(n)$ or $E(n)$ rather than $\mathbb R^n$. In order to do that, I need to understand both the riemannian ...
0
votes
1answer
25 views

General Linear Group is(not) compactly generated

We know that any connected Lie Group is compactly generated. I have a feeling that $\mathbb{GL}_n\mathbb{R}$ is not compactly generated. Is it true? If it is how can I prove this? If not, what ...
1
vote
1answer
24 views

Showing a simple Lie group is connected and compact.

I'm working on a presentation on simple Lie groups and would like to show by example that the simple Lie groups are connected, but I'm not really sure how to do this. I'd also like to show that one of ...
1
vote
2answers
68 views

Why does exponentiating the derivative yield the shift operator?

If we formally exponentiate the derivative operator $\frac{d}{dx}$ on $\mathbb{R}$, we get $$e^\frac{d}{dx} = I+\frac{d}{dx}+\frac{1}{2!}\frac{d^2}{dx^2}+\frac{1}{3!}\frac{d^3}{dx^3}+ \cdots$$ ...
0
votes
0answers
11 views

Show that a homomorphism of Lie goups f s.t. f and def are injective is a Lie Subgroup.

My definition of a Lie subgroup for a Lie group $G$ is a submanifold $f : H \rightarrow G$ s.t. f is a homomorphism. So I only need that for each $x \in G$, $d_xf$ is injective and I'm done. So since ...
4
votes
1answer
24 views

If the Lie algebra is a direct sum, then the Lie group is a direct product?

I am reading the corollary 21.6 in the book "Morse Theory" by John Milnor, but I've encountered a statement for which I have no ideas. Let $G$ be a simply connected Lie group with a bi-invariant ...
3
votes
1answer
46 views

Representation theory and particle physics

Are there good books which explain clearly explain the connections between modern particle physics and representation theory of groups and lie algebras?
0
votes
0answers
16 views

Cartan subalgebra of product

i have a simple question what is the Cartan subalgebra of Lie algebra associated to the Lie group ?
1
vote
1answer
33 views

Advice on proving a tricky inequality

Im a little out of my depth here and am not well versed in combinatorics. Im not sure if this problem is too hard to solve or if there exists well known results to prove it. Here is part 1 which might ...