0
votes
1answer
50 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 ...
0
votes
1answer
19 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 ...
0
votes
0answers
32 views

Ideals in the unitary group

What would be examples of one-dimensional ideals in the lie algebra of the unitary group? Moreover, how would one show that it is in the tangent space of the center of the unitary group and that the ...
0
votes
0answers
22 views

Inverse image under matrix exponential

That matrix exponential surjects onto all invertible square matrices over C, but it is neither injective nor a group homomorphism. Is there a nice large class of matrices for which it's possible to ...
0
votes
0answers
16 views

Question regarding surjectivity of lie algebra

Consider the general linear group GL(2,C). How would I prove that the mapping from lie algebra of this group into GL(2,C) is surjective? Is there some way I can use the fact that the mapping from the ...
0
votes
1answer
16 views

Space of tangents of a matrix group G?

Given a smooth path A(t) through the identity in any matrix group G, how would one prove that the smooth path through any g in G, is of the form gA(t)? It is clear that gA(t) is differentiable and ...
2
votes
2answers
52 views

Understanding that $GL_n(\mathbb{R})$ has two connected components

I am trying to understand the proof of the theorem: $GL_n(\mathbb{R})$ has two components. The proof says that The group of matrices with positive and negative determinant, ...
4
votes
2answers
117 views

List of connected Lie subgroups of $\mathrm{SL}(2,\mathbb{C})$.

I am not familiar with the theory of Lie groups, so I am having a hard time finding all the connected closed real Lie subgroups of $\mathrm{SL}(2, \mathbb{C})$ up to conjugation. One can find the ...
3
votes
3answers
82 views

What is the dimension of this Grassmannian?

Why is $2\times 3$ the dimension of $Gr_2(\mathbb{R}^5)$? and can one use the dimensions of Lie groups to derive this dimension? Note: $Gr_2(\mathbb{R}^5)$ denotes the Grassmannian of all ...
0
votes
1answer
25 views

Cofactors and conjugates of $SU(3)$.

I was playing around with some equations and noticed the following: Let $A$ be an element of $SU(3)$ with components $A_{ij}$. If $C_{ij}$ is the $(i,j)$ cofactor of $A$ then $C_{ij} = ...
2
votes
1answer
86 views

When is the Cayley transform of a matrix $J$-orthogonal?

The (real) general linear group is defined $GL(n)=\{A \in \mathbb{R}^{n\times n} \mid \operatorname{det}(A) \neq 0\}$. It is a matrix Lie group. Let $J$ be a constant $n$-by-$n$ real matrix. The ...
0
votes
0answers
23 views

Differences of skew symmetric matrices

Let $A$ be an invertible real skew-symmetric matrix, and consider the difference $A_R:=RAR^{-1}-A$, for orthogonal $R$. Is it true that $A_R$ is either zero or invertible? Does the answer depend on ...
3
votes
1answer
83 views

Easy proof that $\exp{Xt} = I \Rightarrow X = 0$

Let $X\in \mathbb{C}^{n\times n}$ and $I$ is identity matrix , than if: $$ \forall t\in \mathbb{R}\quad e^{Xt} = I $$ than $$ X = 0. $$ I'm looking for short and slick proof of this ...
2
votes
0answers
84 views

What are the one-parameter subgroups of GL?

Are the multiplicative one-parameter subgroups of the general linear group (i.e., morphisms $\lambda:\Bbbk^\times\to\mathrm{GL}_n\Bbbk$ of algebraic groups) completely classified? The obvious ...
1
vote
4answers
268 views

Questions about the subgroups of $SU(2)$ and relevant problems?

This question is based on the invariant gauge groups in condensed matter physics( ...
1
vote
0answers
35 views

Complexification of the inclusion $\text{U}_n\subset \text{GL}_n(\mathbb{C})$

What is the map $\text{GL}_n(\mathbb{C}) \to \text{GL}_n(\mathbb{C}) \times \text{GL}_n(\mathbb{C})$ named in the title? I guess it has something to do with the polar decomposition, but I can't manage ...
3
votes
0answers
46 views

Supremum over unitary group action

Let $A$ and $B$ are two given Hermitian operators on matrix algebra $M_n(\mathbb{C})$. $A$ is positive semi-definite with unit trace. I want to know the general method for calculating the following ...
3
votes
2answers
63 views

action of $O(n,\mathbb{R})$ on ${S}^{n-1}$

Is the action of $O(n,\mathbb{R})$ on ${S}^{n-1}$ transitive? I think this is true as orthogonal matrices are supposed to rotate and keep the length fixed, but how do I prove this? EDIT: Based on ...
0
votes
1answer
109 views

Matrix Exponential equality

I was reading about the matrix exponential function and I came across this: If $xy = yx$ then $$ \exp(x+y) = \exp(x)\cdot\exp(y) $$ My textbook gives a proof as follows: $$ \exp(x+y) = ...
0
votes
0answers
74 views

Which Lie group / algebra is generated by these three matrices?

This is a beginner question (and not any homework). I want to get a feeling for Lie group/algebra generators. Do the three matrices $$A=\begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0& ...
0
votes
1answer
40 views

Range of the exponential map

I need to build a matrix $A\in Gl^+_n(\mathbb{R})$ ($det(A)>0$) that is not an exponent, i.e. there is no $B\in Mat_n(\mathbb{R})$ such that $A=exp(B)$. Could you give me a hint to note some ...
8
votes
1answer
182 views

Maurer-Cartan 1-form

Can anyone help me with the following? Let $\rho$ be the right-invariant Maurer-Cartan 1-form $$\rho = dg\ g^{-1}$$ I want to show that the MC equation $$d\rho - \rho \wedge\rho = 0$$ holds. So ...
3
votes
3answers
105 views

Show that $\exp: \mathfrak{sl}(n,\mathbb R)\to \operatorname{SL}(n,\mathbb R)$ is not surjective

It is well known that for $n=2$, this holds. The polar decomposition provides the topology of $\operatorname{SL}(n,\mathbb R)$ as the product of symmetric matrices and orthogonal matrices, which can ...
0
votes
0answers
41 views

Why these two groups are closed in two other?

I have no strategy to show that following groups are closed in after group. $$K=\{g=(g_{i,j}\in U(n+1))\mid g_{2,1}=\ldots g_{n+1,1}\}\quad in \quad U(n+1)$$ $$U(n+1)\quad in \quad\{A = (a_{ij}) \in ...
3
votes
1answer
147 views

Proof that $U(n)$ is connected

I'm trying to prove that $U(n)= \{ X\in Mat_n(\mathbb{C})|X^T\bar{X}=I\}$ is connected, but most of the proof comes down to proving that $SU(n)= \{ X\in Mat_n(\mathbb{C})|X^T\bar{X}=I $ and $ ...
1
vote
1answer
150 views

A quesion in Fulton & Harris book “representation theory a first course”

In Section 11.2 A little plethysm, it discusses the tensor product of two different representations of $sl_2\mathbb{C}$. It says "If $V=\bigoplus V_{\alpha}$ and $W=\bigoplus W_{\beta}$ then ...
1
vote
1answer
62 views

Embedding of $PGL_n\mathbb{C}$ and friends

I would like the find an embedding/faithful representation from the projective linear group $PGL_n\mathbb{C}\to GL_m\mathbb{C}$ for some $m$, and likewise for the other projective groups ...
3
votes
2answers
277 views

How to quantify the distance between matrices with an irrelevant rotation factor?

Suppose you have two invertible matrices $A$, $B$ in $\mathbb{R}^{n\times n}$, that is, $A,B\in GL(n)$. You want to define a distance between them that ignores arbitrary rotational factors, so ...
4
votes
1answer
78 views

On the ambiguity of the definition of Lie algebras of real matrix groups

I have been studying Rossmann's Lie Groups. In the context of this book, a linear group $G$ is a group of invertible real or complex matrices, and its Lie algebra $\mathfrak{g}$ consists of those ...
5
votes
1answer
218 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. ...
2
votes
1answer
64 views

Spinor Mapping is Surjective

I'm (still) trying to prove that $SL(2,\mathbb{C})$ is the universal covering group the the proper orthochronous Lorentz group $L$. I have completed the following steps. (1) Prove that the vector ...
5
votes
2answers
230 views

Universal Covering Group of $SO(1,3)^{\uparrow}$

I'm trying to prove that $SL(2,\mathbb{C})$ is the universal covering group for the proper orthochronous Lorentz group $SO(1,3)^{\uparrow}$. The standard way goes as follows. (1) Exhibit a real ...
1
vote
1answer
126 views

Derivative wrt. to Lie bracket.

Let $\mathbf{G}$ be a matrix Lie group, $\frak{g}$ the corresponding Lie algebra, $\widehat{\mathbf{x}} = \sum_i^m x_i G_i$ the corresponding hat-operator ($G_i$ the $i$th basis vector of the tangent ...
4
votes
1answer
167 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
204 views

Presentation of discrete upper triangular group

Let $G$ be the nilpotent Lie group consisting of matrices $$ \begin{pmatrix} 1 & a_{12} & \cdots & a_{1,n}\\ 0 & 1 & \ddots & \vdots\\ \vdots & \ddots & \ddots & ...
11
votes
0answers
159 views

Fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n, \mathbb Z)$

What is a simple description of a fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n,\mathbb Z)$? $\operatorname{GL}(n,\mathbb R)$ is the group of all real ...
3
votes
3answers
177 views

the transformation which rotates a matrix by a half turn

Consider $$T_{2}: \left[ \begin{array}{cc} a & b \\ c & d \\ \end{array} \right] \rightarrow \left[ \begin{array}{cc} d & c \\ b & a \\ \end{array} \right] $$ $$T_{3}: \left[ ...
10
votes
3answers
304 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 ...
2
votes
1answer
350 views

What is the Lie algebra of the ``indefinite orthogonal group''?

For $p,q \geq 0$ and $n=p+q\geq 1$, give $\mathbb{R}^n$ the indefinite inner product (written as a matrix) $$ \begin{pmatrix} I_p & \\ & -I_q \end{pmatrix}, $$ where $I_m$ is the $m \times m$ ...
1
vote
2answers
471 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 ...
28
votes
6answers
2k views

How many connected components does $\mathrm{GL}_n(\mathbb R)$ have?

I've noticed that $\mathrm{GL}_n(\mathbb R)$ is not a connected space, because if it were $\det(\mathrm{GL}_n(\mathbb R))$ (where $\det$ is the function ascribing to each $n\times n$ matrix its ...
1
vote
1answer
326 views

Proof: Matrix exponential maps from tangent space to Matrix (Lie) group

Let us assume we have a definition of the tangent space (e.g. as in Proof: Tangent space of the general linear group is the set of all squared matrices). Furthermore, we already verified that the ...
2
votes
2answers
572 views

Proof: Tangent space of the general linear group is the set of all squared matrices

Let us assume we have the following definition of a tangent space: Definition of smooth path Let $X\subset\mathbb{R}^n$. Let $I$ be a real interval. \begin{equation} P \text{ is a smooth path in } ...
1
vote
2answers
316 views

“Change of basis” from standard vector space to matrix Lie algebra, and its inverse

For matrix Lie groups, the exponential map is usually defined as a mapping from the set of $n \times n$ matrices onto itself. However, sometimes it is useful to have a minimal parametrization of our ...
2
votes
1answer
419 views

Derivative of function including matrix logarithm

Is the following equation a first order approximation or incorrect for general matrix Lie groups? And what are the higher order terms? $$\frac{\partial}{\partial\mathbf x} (\log(\mathtt ...
2
votes
2answers
331 views

Why is the identity component of a matrix group a subgroup?

I'm working through Stillwell's "Naive Lie Theory". I'm supposed to show that the identity component of a matrix group is a subgroup in two steps. I'm allowed to assume that "matrix multiplication ...
1
vote
1answer
297 views

Closed form for the exponential of a Lie algebra 3x3 matrix?

Matrices of the form: $$\begin{pmatrix} iz+iy&-iz+w&-iy-w\\ -iz-w&iz+ix&-ix+w\\ -iy+w&-ix-w&iy+ix\end{pmatrix}$$ where $x,y,z,w$ may be assumed to be real, form a Lie ...
10
votes
3answers
2k views

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

Since there is a 2-1 homomorphism from SU(2)xSU(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 system of equations ...