1
vote
1answer
34 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 ...
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 ...
1
vote
1answer
46 views

Is this a tangent bundle and what is the meaning of this exercise

I intend to solve the following exercise but I would like to have some help with understanding the ''big picture'': Exercise. Describe a natural 1 to 1 correspondence between elements of $SO(3)$ ...
1
vote
1answer
41 views

Left-invariant Riemannian metric on $SO(3)$

Let's consier the manifold $SO(3)$. First problem is to show that $T_I SO(3)$ is a space of skew-symmetric matrices $3\times 3$. How can I deduce it? Then I have to prove there exists exactly one ...
0
votes
0answers
31 views

Group operation in $SO(3)$ is well-defined

I've just started to read Tapp's Matrix groups for undergraduates and it says: "$SO(3)$ becomes a group under composition of motions (since different motions might place the globe in the same position ...
2
votes
0answers
20 views

Linearly independent skew symmetric complex matrices having the least eigenvalues

Question: Let $A$, $B$ be two $5 \times 5$ (or $7 \times 7$) skew-symmetric complex matrices (i.e. $A^t = -A$), and suppose that $$ \forall t,s \in \mathbb{C}, \quad M(t,s):=(tA+sB)^*(tA+sB) \text{ ...
3
votes
0answers
45 views

Continuous subgroup of SO(3)?

I read from a paperarXiv: cond-mat/0602109 by a theoretical physicist, Prof. Frank Bais, close subgroups of $SO(3)$ is given by ${C_n,D_n,T,O,I,SO(2)\rtimes Z_2}$, where $C_n$ is the cyclic group of ...
3
votes
1answer
61 views

What is the maximal torus in the Lorentz group $O(m,n)$?

I'm close to certain it's just the product of the maximal tori of $O(m)$ and $O(n)$, but I can't quite prove it. I've tried the following: ...
3
votes
1answer
55 views

tangent/normal space to set of symmetric isospectral matrices

Let $\Lambda = \{\lambda_1, \ldots, \lambda_n\}$ be a set of $n$ distinct real numbers. $M_n(\mathbb{R})$ denotes the set of all $n \times n$ real matrices, and for $B\in M_n(\mathbb{R})$, $B^T$ ...
0
votes
0answers
15 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
25 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
38 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 ...
0
votes
1answer
61 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
29 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
35 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
23 views

Question regarding surjectivity of lie algebra

Consider the general linear group $\mathrm{GL}(2,\mathbb{C})$. How would I prove that the mapping from lie algebra of this group into $\mathrm{GL}(2,\mathbb{C})$ is surjective? Is there some way I can ...
0
votes
1answer
20 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
65 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
153 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
157 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
27 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
109 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
1answer
39 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
87 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 ...
3
votes
1answer
125 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
358 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
47 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
66 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
123 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
82 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
47 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
201 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
115 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 ...
3
votes
1answer
165 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
162 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
69 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
367 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
80 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
268 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
70 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 ...
6
votes
2answers
262 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
135 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
187 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
224 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
166 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
187 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[ ...
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 ...
2
votes
1answer
394 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$ ...