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
4 views

The Weyl group of $E_6$ acting on embedded circles

I want to know the number of components of the normalizer of an arbitrary circle subgroup $S$ of (the compact real form of) the exceptional Lie group $E_6$. This number will always be $1$ or $2$. ...
3
votes
1answer
76 views

Affine connection on a Lie group.

Let $G$ be a Lie group. For $g \in G$, we can define a diffeomorphism $l_g: G \to G$ by $l_g(x)=gx$, and a bundle map ${l_g}_*:TG \to TG$. Then, I guess that we can obtain the affine connection on $G$ ...
1
vote
1answer
33 views

Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
2
votes
0answers
26 views

More elegant proof of that this diagram commutes

Define an $\mathbb R$-linear isomorphism $f_n : \mathbb C^n \to \mathbb R^{2n}$ by $(x_1 + iy_1, x_2 + iy_2, \dots) \mapsto (x_1, y_1, x_2, y_2, \dots )$. Let $A \in M^n (\mathbb C)$ and define ...
2
votes
1answer
247 views

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

I am trying to calculate the Lie algebra of the group $SO(2,1)$ where this is defined as: $SO(2,1=\{X\in Mat_3(\mathbb{R})|X^t\eta X=\eta, \det(X)=1\}$ where $\eta$ is the matrix defined as: $$\left ...
1
vote
1answer
79 views

Cohomology group $H^n(G, \mathbb{R}/\mathbb{Z})$ as a continuous group or a Lie group?

Is there any example of Borel cohomology group $H^n(G, \mathbb{R}/\mathbb{Z})$ for any $G$ such that $H^n(G, \mathbb{R}/\mathbb{Z})$ is a continuous group? Such as a Lie group? Most of the examples ...
0
votes
0answers
29 views

$ L^{2} $ convergence should imply convergence in infinity norm

My situation is the following: suppose we have a Lie group $ G=G_{1} \times G_{2} $ and let $ X = \Gamma \backslash G $ a homogeneous space arising from a lattice, i.e. we have a $ G $ invariant ...
2
votes
1answer
242 views

What physical meaning do the dimension of Wigner d-matrices have?

Wigner's D-matrices is defined as $D_{m'm}^j(\phi,\theta,\psi)=\langle jm'|R(\phi,\theta,\psi)|jm\rangle$; it produces a square matrix (indices $m$ and $m'$) of dimension $2j+1$. It is also ...
1
vote
1answer
35 views

How to characterize elements in the Bruhat open cell?

This might be an elementary question. For simplicity, let's assume $G=GL(n,F)$, where $F$ is a local field. Let $U$ be the subgroup of upper triangular unipotents, $A$ the subgroup of diagonal ...
0
votes
0answers
23 views

Homeomorphism between SU(4) and SO(6)

http://www.mat.univie.ac.at/~westra/so3su2.pdf said that $\mathrm{SU}(2)$ acts homeomorphism to $\mathrm{SO}(3)$, via $$ \begin{pmatrix} z & w \\ -\bar w & \bar z \end{pmatrix} \mapsto ...
1
vote
1answer
92 views

Itzykson-Zuber integral over orthogonal groups

I would like to know is there a closed form expression for the following Itzykson-Zuber integral for the orthogonal case. $I=\int_{\mathcal{O}(p)} ...
1
vote
0answers
75 views

Why are Lie Groups so “rigid”?

This is probably a naive question, but here goes. To motivate my question, I'll consider a unit circle in $\mathbb C$ or $\mathbb R^2$. This is a compact Lie group equipped with the usual exponential ...
0
votes
1answer
322 views

Map from $SL(2,\mathbb C)/SU(2)$ to $SL(2,\mathbb C)$

I am trying to write a map $s$, such that $s: SL(2,\mathbb{C})/SU(2) \to SL(2,\mathbb C)$. Using Iwasawa decomposition, I see that any element $g$ in $SL(2,\mathbb{C})$ can be written as $g = su$, ...
0
votes
1answer
84 views

Linear algebraic group [closed]

Let A be a finite dimensional algebra over C . This means that there is a multiplication map $f : A \times A \to A$ that is bilinear ( it is not assumed to be associative). Define the automorphism ...
2
votes
1answer
22 views

Scalar multiple of one lattice contained in another

I believe my question boils down to the following question: Given lattices $L$ and $L'$ in $k^{n}$, does there exist $\lambda \in k^{\times}$ so that $\lambda L' \subseteq L$ and $\lambda L' ...
1
vote
2answers
52 views

Introduction to discrete subgroups of the euclidean group

I am looking for a general introduction to discrete subgroups of the euclidean group (= group of isometries in euclidean space). Even though I searched quite a bit, I was unable to find a good ...
2
votes
1answer
35 views

Textbook literature on Lie groups

I'm a student that wants to get to know Lie groups. I know a bit about manifolds and a bit about groups, but nothing about topological groups or such things. Can you suggest a textbook that covers the ...
1
vote
0answers
37 views

Finding a lie group structure on $\mathbb R^n\setminus\{0\}$

I want to find all maps $g: \mathbb R^n\setminus \{0\} \rightarrow GL_n(\mathbb R)$ which satisfy the properties $g$ is differentiable and injective $g(g(a)b) = g(a)g(b)$ for all $a,b\in\mathbb ...
1
vote
2answers
519 views

Cayley Transform, Exponential Mapping and more…

Assume a self-adjoint operator, represented as hermitian matrix $H=H^\dagger$. To my knowledge there are at least 2 mappings of $H$ onto unitary matrices: Cayley's Transformation with ...
0
votes
2answers
71 views

Why is $\mathfrak{sl}(n)$ the algebra of traceless matrices?

I'm studying Lie algebras as purely algebraic objects, without much of a background in the differential geometry surrounding Lie groups. The definition of $\mathfrak{sl}(n)$ has been given to me as ...
1
vote
1answer
65 views

Bound on the index of an abelian subgroup in discrete subgroup of the euclidean group?

$\DeclareMathOperator{\isom}{Isom}$A discrete subgroup of the group of isometries in euclidean space is almost abelian. By this I mean that for each $n$ there exists $m$ such that for any discrete ...
3
votes
2answers
56 views

Prerequisites to “Applications of Lie Groups to Differential Equations”

I'm currently a 4th year student at a university. I've become close with a professor and we talked about the topic of lie groups in differential equations. He then offered to do a reading course with ...
1
vote
1answer
74 views

What makes a Lie Group a Differentiable Manifold?

I've recently been trying to glance at the definition of a Lie group, but I'm not clear as to why a Lie group is defined the way it is, and why this becomes a smooth manifold. For example, if we have ...
2
votes
1answer
43 views

An $n$-dimensional subgroup of $GL_{n+1}(\mathbb R)$

Could somebody please tell me if my answer to the following exercise is correct?: Describe a subgroup of $GL_{n+1}(\mathbb R)$ that is isomorphic to $\mathbb R^n$ under vector addition. It's ...
1
vote
1answer
43 views

Non-standard complex structure on $\mathbb R^{2n}$

First let me give some relevant information: For every $n$ every subgroup of $GL_n(\mathbb C)$ is isomorphic to a subgroup of $GL_m(\mathbb R)$ for some $m$. Let $\rho_n: M_n(\mathbb C) ...
2
votes
2answers
55 views

The Weyl group of A_3

Could someone please list all elements of the Weyl group of the root system $A_3$ in terms of simple reflections. In this case the Weyl group is $S_4$. Its strange that GAP failed to list all elements ...
2
votes
1answer
28 views

The dimensions for Lie Groups

How can I find out which is the dimension for $SU(n)$, $SO(3)$, etc? Can you explain me, please? thanks
2
votes
1answer
34 views

Need help with this exercise about real division algebra

I am trying to solve the following exrcise: Prove that complex multiplication does not extend to a multiplication on $\mathbb R^3$ so as to make $\mathbb R^3$ into a real division algebra. I ...
3
votes
1answer
36 views

Question on unitary representation of non-compact simple Lie groups

The following is an exercise appearing page 148 in Knapp's book, representation theory of semisimple groups. Let $G$ be a connected linear non-compact Lie group with simple Lie algebra $\mathfrak g$. ...
0
votes
0answers
20 views

Set of quaternions that anti-commute

I tried to solve another exercise and I would be grateful if someone could tell me if my answer is right. This is the exercise: Characterize the pairs $x,y \in \mathbb H$ such that $xy = -yx$. ...
0
votes
0answers
25 views

Measure in dual group - Kirillov theory

Let $G$ be a nilpotent connected, simply connected lie group. With the orbit method Kirillov describes the classes of equivalence of all irreducible unitary representations. Hence one identifies the ...
3
votes
1answer
118 views

Which subgroup of $\mathrm{SL}(2,\mathbb{C})$ is this?

I am looking into sub-algebras of $\mathfrak{sl}_2(\mathbb{C})$ and the subgroups of $\mathrm{SL}(2,\mathbb{C})$ they generate. The basis of $\mathfrak{sl}_2(\mathbb{C})$ I am using consists of 3 ...
-3
votes
0answers
38 views

Frobenius subgroups of Sz(8)

Does the Suzuki group Sz(8) has any Frobenius subgroup except $D_{14}$, $F_{20}$ and $F_{52}$?
0
votes
0answers
9 views

Computing a centralizer in an orthogonal group

Consider a skew-symmetric $(4n+2) \times (4n+2)$ block-diagonal real matrix $A$ in normal form: $$A = \begin{bmatrix} \Lambda_1 & 0 & \cdots & 0\\ 0& \Lambda_2 & \cdots & 0\\ ...
1
vote
0answers
22 views

Why does the exceptional Lie group $G_2$ have dimension 14?

In ''Compact manifolds with special holonomy" by D. Joyce, on p. 242, the group $G_2$ is defined to be the subgroup of $GL(7,R)$ preserving the $3$-form: $$ \varphi_0 := dx_{123} + dx_{145} + ...
3
votes
1answer
44 views

Commuting quaternions

I tried to solve the following exercise, please could somebody tell me if I did it right?: Prove that non-real elements $x,y \in \mathbb H$ commute if and only if their imaginary parts are ...
11
votes
4answers
352 views

How to show path-connectedness of $GL(n,\mathbb{C})$

Well, I am not getting any hint how to show $GL_n(\mathbb{C})$ is path connected. So far I have thought that let $A$ be any invertible complex matrix and $I$ be the idenity matrix, I was trying to ...
0
votes
0answers
11 views

Integrating over a flag manifold

I need to calculate an integral over the flag manifold $U(4)/U(1)\times U(1)\times U(1)\times U(1)=U(4)/T^4$. How can I derive the correct Haar measure to use?
1
vote
0answers
35 views

Matrix multiplication in quaternions is not necessarily linear

I tried to show by example that matrix multiplication for quaternionic matrices is is not necessarily $\mathbb H$-linear. If $A \in M_n(\mathbb H)$ is a quaternionic matrix and $x$ is a vector in ...
3
votes
3answers
73 views

Why not $SL_n (\mathbb R)$ in this exercise

I just solved the following exercise: Let $SL_2(\mathbb Z)$ denote the set of $2\times2$ matrices with integer entries and determinant $1$. Prove that $SL_2(\mathbb Z)$ is a subgroup of ...
2
votes
0answers
31 views

Fixed point set of orthogonal Transformation

I need some help with this problem. Let $g$ be an element of the orthogonal group and $s$ a reflection. Then the dimension of the fixed point set of $g$ and $gs$ differ by $\pm 1$. Since that ...
5
votes
2answers
64 views

Representations of the Special Orthogonal Group in Three Dimensions.

This will perhaps be an unenlightening question, but here I go. Hopefully someone can varify my thoughts. $\\$ Considering Lie Group Theory and Representation Theory, for the case of the $SO(3)$, ...
3
votes
1answer
36 views

Subgroup of $GL_{n+m}(\mathbb K)$

Let $G$ be a subgroup of $GL_n(\mathbb K)$ and $H$ a subgroup of $GL_m(\mathbb K)$ where $\mathbb K \in \{\mathbb R, \mathbb C, \mathbb H\}$. I want to prove that there exists a subgroup of ...
2
votes
0answers
24 views

Association of financial phenomena/indications with the conservation laws of Black Scholes equation

For a while I've been doing research on methods of obtaining conservation laws via the symmetries of DEs. I'm presently doing research on identifying financial indicators/phenomena that can be ...
1
vote
0answers
25 views

$SO(n)$ is connected, alternative form

I have the following exercise: Show that $SO(n)$ is connected, using the following outline: For the case $n = 1$, there is nothing to show, since a $1\times 1$ matrix with determinant one must be ...
1
vote
1answer
32 views

Adjoint Lie algebra homomorphism

I have a problem deriving the adjoint action $ad_X(Y)=XY-YX$ from the adjoint transformation of the group on the Lie algebra. Background: The adjoint action of the Lie algebra on itself is given by ...
0
votes
0answers
21 views

Question on inner product on space of representations of compact Lie groups

Let $K$ be a compact connected Lie group, wiewed as subgroup of unipotent matrices. Let $G=\mathfrak{k}^\mathbb C$ be the complexification with Lie algebra $\mathfrak{g}=\mathfrak{k}\oplus ...
2
votes
1answer
43 views

Cohomology of classifying spaces of exceptional Lie groups

Given an exceptional Lie group $G$ and maximal torus $T$ thereof, the inclusion $T \hookrightarrow G$ induces a map $BT \to BG$ of classifying spaces and a cohomological pullback $$H^*(BG) \cong ...
0
votes
0answers
28 views

Formal proof of Clebsch Gordon sum

physicist here. When looking at the irreducible representations of $so(3)$, i.e. the set of all real valued anti-symmetric matrices, one can parametrize those irreps with an index $j$ which can be ...
7
votes
1answer
149 views

Special conformal killing fields - solving for integral curves.

For each $b\in\mathbb R^d$, let a vector field $X_b:\mathbb R^d\to\mathbb R^d$ be defined as follows: \begin{align} X_b(x) = 2(b\cdot x)x - x^2 b, \end{align} where $x^2 = x\cdot x$. This is the ...