All Questions
Tagged with lie-groups linear-algebra
116 questions
4
votes
2
answers
2k
views
A question about unitary and anti-unitary matrices
The question is the following: Let $U:\mathbf{C}^n\to \mathbf{C}^n$ be a unitary operator; let $\tilde{U}:\mathbf{C}^n\to\mathbf{C}^n$ be an antiunitary operator.
Can one deform $U$ to $\tilde{U}$ ...
- 327
4
votes
1
answer
333
views
Orbits in the adjoint representation of $SU(2,1)$
How can one describe the orbits of the Lie group $G=\mathrm{SU}(2,1)$ in its Lie algebra $\mathfrak{g}=\mathfrak{su}(2,1)$ with respect to the adjoint representation?
- 14.2k
4
votes
1
answer
696
views
$\text{GL}(n + k, \mathbb{R})$ is a principal $H$ bundle over the Grassmann manifold $G_n(\mathbb{R}^{n+k})$?
Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...
- 85
4
votes
1
answer
263
views
Geodesics on orthogonal matrix
Let $ O(n) $ be the manifold of orthornormal matrix, i.e.
$$
O(n)=\{A\in\mathbb{R}^{n\times n}:A^TA=I\}.
$$
Then $ O(n) $ is a submanifold of $ \mathbb{R}^{n\times n} $. On $ O(n) $, there is a ...
- 1,219
4
votes
1
answer
1k
views
Writing a complex orthogonal matrix as a conjugation by real orthogonal matrices
Let $Q\in O(n,\mathbb C)$ be a complex orthogonal matrix. I would like to know if $Q$ can always be written as $Q = T^{-1}ST$, where $T\in O(n,\mathbb R)\subset O(n,\mathbb C)$ and $S$ belongs to some ...
- 41
4
votes
0
answers
147
views
Frobenius norm bounds on exponentials of anti-Hermitian matrices
Suppose $X$ and $Y$ are two anti-Hermitian matrices satisifying $\|X\|, \|Y\| \leq \pi$, where $\|\cdot\|$ is the spectral norm. I'm trying to prove the following bounds on the Frobenius norm of the ...
- 41
4
votes
0
answers
114
views
Representation theoretic characterisation of symmetric spaces
Let $G$ be a simple compact Lie group and $H$ a closed subgroup.
Let $\mathfrak{h}\subset \mathfrak{g}$ denote the corresponding Lie algebras. Let $\mathfrak{m}$ be an orthogonal complement to $\...
- 81
3
votes
3
answers
461
views
Multiplicity of eigenvalues in 2-dim families of symmetric matrices
Say you have 2 symmetric matrices, $A$ and $B$, and you know that every linear combination $xA+yB$ ($x,\\,y\in \mathbb{R}$) has an eigenvalue of multiplicity at least $m>1$. Such a situation can of ...
- 1,452
3
votes
3
answers
643
views
A question on linear groups
Asking this question I have made a mistake joining my main question with two simple ones, so it hasn't received enough attention, however there was a partial answer, which was not elaborated, and now ...
- 5,529
3
votes
1
answer
367
views
What is the canonical form of real symmetric 2n\times 2n matrix under unitary congruence?
If $M$ is a $2n\times 2n$ real symmetric matrix, I would like to ask what could be its canonical form under unitary congruence. We view a unitary $n\times n$ matrix $U$ as a real $2n\times 2n$ matrix, ...
- 803
3
votes
2
answers
136
views
Level sets on $SU(4)$
Given $G \in SU(4)$, what are the level sets of the function $F:SU(n)\rightarrow \mathbb{R}$ defined by $F(V) = |tr(G^{\dagger}V)|^2$?
Can they be written only in terms of abstract linear maps, not ...
- 2,099
3
votes
2
answers
203
views
Recovering a set from its projections in varying coordinate systems - a projection hull?
Let me describe the simplest non-trivial case of what I have in mind. Let $V$ be a 2-dimensional $\mathbb{R}$-vector space and fix an isomorphism $V \cong \mathbb{R}^2$, where $\mathbb{R}^2$ is ...
- 7,127
3
votes
1
answer
139
views
Transitivity of $Spin(7)$ in triples of vectors
I have a simple question: transitivity of $Spin(7)$ in triples of orthogonal vectors. Let $Spin(7)\subset SO(8)$ act on $\mathbb{R}^8$, and $e_1,e_2,e_3$, $v_1,v_2,v_3$ be two triples of mutually ...
- 2,091
3
votes
1
answer
494
views
A question on Grassmannian
Let $V$ be the space of $4$ by $4$ Hermitian matrices, that
is a vector space of dimension $16$ over $\mathbb{R}$. Is the uniform
measure of
$$
\left\{ W\in Gr\left(5,V\right):W \text{contains no ...
- 119
3
votes
1
answer
273
views
Reduction of antisymmetric complex matrices
Let $E=\mathfrak{so}(n,\mathbb{C})$ be the Lie algebra of antisymmetric complex matrices. We consider the action of the complex orthogonal group $SO(n,\mathbb{C})$ on $E$ by conjugation. Is there a ...
- 4,123
3
votes
1
answer
111
views
Generalization of a result of Kostant related to Gauss decomposition and Toda lattices
I found myself needing a generalization of a result of Kostant in his famous paper
B. Kostant, The solution to a generalized Toda lattice and representation theory, Adv. in Math, Volume 34, 1979, ...
- 173
3
votes
1
answer
326
views
Two matrix Fisher distributions on SO(3)?
After the uniform distribution (normalized Haar measure), the matrix Fisher distribution seems to be the most popular probability distribution on the Lie group SO(3). The density is proportional to ...
- 41
3
votes
1
answer
138
views
On matrices conjugated in a faithful representation
Let $k$ an algebraically closed field.
Let $O=k[[\pi]]$ and $F=k((\pi))$ and $G\rightarrow GL_{n}$ a faithful representation of a semisimple group.
Let $A, B\in G(O)\cap G(F)^{rs}$ (rs for regular ...
- 3,472
3
votes
0
answers
119
views
Describing the outer automorphism of a special unitary group in terms of the Hermitian form
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\GL{GL}$Let $h$ be a non-degenerate Hermitian form on $\mathbb{C}^n$ with signature $(p,q)$. Let $\U_h$ denote the associated ...
- 7,527
3
votes
0
answers
46
views
Evaluate $\int_\phi e^{tr(RM)} dR$ where $\phi$ is a set of all real orthonormal matrices of a certain size
I am trying to evaluate $\int_\phi e^{tr(RM)} dR$ where $\phi$ is a set of all real orthogonal matrices of a certain size. $M$ is an arbitrary real matrix (of a certain size).
This is equivalent to
$$\...
- 433
3
votes
1
answer
1k
views
Finding the closest special orthogonal matrix in Frobenius norm sense
Given a $3\times3$ matrix $M$, if we would like to get the closest $\mathrm{SO}(3)$ matrix $R$ that minimizes
\begin{equation}
\|R-M\|_F
\end{equation}
then $R$ = $UV^{T}$ where $U$ and $V^{T}$ are ...
- 33
3
votes
0
answers
174
views
Reference for a statement about upper triangular unipotent matrices
I am revising a paper, and a referee of that paper asked if the following little lemma we proved there is known:
``Let $X$ be an $n\times n$ upper triangular unipotent matrix over $\mathbb R$. There ...
- 646
3
votes
0
answers
236
views
Deligne-Simpson problem for classical groups
Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation
$$
A_1 +...+A_n =...
- 181
2
votes
1
answer
515
views
is the set of skew-symmetric matrices with positive Pfaffians path connected?
Is the set of real $2n \times 2n$ skew-symmetric matrices having positive Pfaffians path connected?
By definition, the Pfaffian is a polynomial in the entries $a_{ij}$ ($i<j$) such that $Pf(A)^2=\...
- 21
2
votes
1
answer
2k
views
Parametrization of SL(3,R)
Are there any known common parametrizations of SL(3,R)? I know that it is easy to obtain a local parametrization by just exponentiating generators from the Lie algebra, but I do not know if they are ...
- 293
2
votes
1
answer
376
views
Maximize inner product of a tensor of unitary matrices
How can one maximize the following function:
$ f(V) = || V \otimes V - U_1 \otimes U_2 ||$
where $U_1, U_2 \in SU(n)$ are given and we seek to maximize over $V \in SU(n)$.
Both the maximum value of ...
- 2,099
2
votes
1
answer
2k
views
Iwasawa Decomposition for Matrices [closed]
I was asked to prove that if
$$ T_{n}^{+}(\mathbb{R}) \subseteq M_{n}(\mathbb{R})$$
denotes the set of upper triangular matrices with positive diagonal entries, then prove that the multiplication ...
- 339
2
votes
1
answer
297
views
equations over (some) lie groups
To be concrete, let $G=SL(n, \mathbb{C}),$ $\phi$ an automorphism of $G.$ Is there a characterization of those $x$ for which there exists a $y$ such that $x = y \phi(y)?$ In the special case, the ...
- 96.4k
2
votes
1
answer
232
views
An innocent looking subgroup of $U(n)$
Consider the Lie subalgebra of $\mathfrak{u}(n)$ given by $L = \{A \in \mathfrak{u}(n): \sum_{j=1}^n A_{ij} = 0 \text{ for all } i \in [n]\}$. What is its dimension? What does the corresponding Lie ...
- 4,466
2
votes
1
answer
271
views
Explicit Normalizer of SU(3) Cartan subalgebra
The normalizer $N(\mathfrak{h})$ of the Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{su}(3)$ is defined as
$$N=\left\{ x \in SU(3)\;|\; x^\dagger\mathfrak{h}x \in \mathfrak{h}\right\}$$
I would like ...
- 155
2
votes
1
answer
843
views
Bounds on Hilbert-Schmidt norm of difference of products of matrices
I suspect the following is well-known, but don't know of a reference (and it is not close to the area I normally work in).
I have two sequences of matrices $Q_{1},\ldots,Q_{k}$ and $R_{1},\ldots,R_{k}...
- 98
2
votes
1
answer
123
views
Polar decomposition with respect to the nonstandard involution of quaternionic matrices?
The quaternions admit infinitely many involutions. But up to isomorphism, there are only two: The standard one $t+xi+yj+zk\mapsto t-xi-yj-zk$ and the nonstandard one $\phi:t+xi+yj+zk\mapsto t-xi+yj+zk$...
- 4,943
2
votes
1
answer
303
views
Minimize matrix distance to tensor product
Minimize the following function:
$ f(V) = || V \otimes V - U_1 \otimes U_2 ||$
where $U_1, U_2 \in SU(n)$ are fixed and we minimize over all $V \in SU(n)$. The norm is from the trace inner product.
...
- 2,099
2
votes
1
answer
201
views
multiplicity-free action on $SO(n+1)/SO(n-1)$
I'm trying to show that the Lie group $G=SO(n+1) \times SO(2)$ acts multiplicity-free on the cotangentbundle $T^* (SO(n+1)/SO(n-1))$.
That means:
1)
There exists an $\operatorname{Ad}^*_G$-...
- 501
2
votes
0
answers
98
views
Sublattices in the standard integral symplectic lattice
Let $V$ denote $\mathbb{Z}^{2g}$ with its standard integral symplectic form $\omega = \sum_{i=0}^{g-1}dx_{2i} \wedge dx_{2i+1}$ (or, the homology lattice of a genus $g$ surface with its intersection ...
- 427
2
votes
0
answers
190
views
Conjugacy classes in centralizers
Let $G$ be a complex reductive group, let $g$ be an element, and let $C$ be the connected component of its centralizer. I'm curious about what is known about the intersection of conjugacy classes in $...
- 491
2
votes
0
answers
61
views
Generalizing polynomial identities for rings
For a ring $R$, a polynomial identity of $R$ is a polynomial (in non-commuting variables) $f(x_1,\ldots,x_n)\in \mathbb{Z}[x_1,\ldots, x_n]$ such that for any choice of $a_i\in R$, $f(a_1,\ldots, a_n)=...
- 21
2
votes
0
answers
1k
views
Group of symplectic matrices over the field of complex numbers
According to Wikipedia, there are two different definitions of a "complex symplectic matrix" $M\in\mathbb{C}^{2n\times 2n}$. I am interested in the relation between the groups that follow from those ...
- 403
2
votes
0
answers
112
views
Eigenvalues of the imaginary part of the Symplectic action on Siegel upper half plane
Let $A,B\in M_n(\mathbb{R})$ and $U=A+iB$ unitary. $R=diag(r_1,r_2,…,r_n)$ is a diagonal matrix with $r_i>0, \forall i $. I need to calculate $\det(Ae^{-R}A^T+Be^{R}B^T)$. This matrix $Ae^{-R}A^T+...
- 31
2
votes
0
answers
135
views
Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations
I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations:
$[U_i, U_j] = 0$ for $|i-j|>1$
$U_iU_{i+1}U_i=...
- 71
2
votes
0
answers
90
views
Singularities of the Quantum propagator (baby version)
Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$:
$V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$
...
- 2,099
2
votes
0
answers
212
views
Compute the discriminant for reductive groups
Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$.
The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...
- 3,472
1
vote
1
answer
528
views
Weyl group action on maximal tori
Let $G$ be a semisimple algebraic group over the complex numbers and we fix a maximal torus $T$. Let $w\in W$ be an element in the Weyl group, and let $T^{w}$ be the elements in $T$ that are fixed by $...
- 125
1
vote
2
answers
289
views
Any analysis on phase of eigenvalue of unitary matrix?
I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...
- 11
1
vote
1
answer
308
views
Suppose that $G$ is a subgroup of $GL_n(\mathbb C)$ with finite exponent. Then is $G$ a finite group? [closed]
As title. the exponent of $G$ is the least number $n$ (if exists) such that $g^n=e$ holds for all $g\in G$ or $+\infty$.
- 403
1
vote
2
answers
922
views
Eigenvectors of random unitary matrices
Any unitary matrix $U$ can be diagonalized by another unitary matrix $V$,
$$U=VDV^\dagger,$$
where $D={\rm diag}(z_1,z_2,...,z_N)$ is diagonal.
If $U$ is taken at random uniformly with respect to Haar ...
- 1,549
1
vote
1
answer
322
views
A (possible) equivalent relation on the space of vector bundles
Edit: According to the essential comment of Alex Degtyarev, we revise the question as follows;
Assume that $\alpha$ and $\beta$ are two oriention preserving automorphism of Lie groups $O(n)$ and $...
- 356
1
vote
2
answers
393
views
Have derivatives of determinants along 1-psg's ever been 'coherently' computed via Jacobi's formula?
Suppose $\mathfrak{p}$ denotes all the symmetric matrices in $\mathfrak{sl}_{2n} \mathbb{R}$.
Then for each parameterized 1-dimensional linear subspace $\xi=\xi(t)$ of $\mathfrak{p}$ we get a 1-...
- 2,274
1
vote
1
answer
319
views
Are there any applications of linear algebra over the complex numbers, where the role of complex conjugation is replaced with the trivial involution?
The complex inner product $\langle u, v \rangle$ is a special case of a sesquilinear form over a field. Its definition is $\langle u, v \rangle = \sum_{i} u_i \overline{v_i}$. There is clearly the ...
- 4,943
1
vote
1
answer
92
views
Collection of matrices in $SU_{\mathbb{C}}(n)$ with given family of eigenvectors
For a given fixed matrix $M\in SU_{\mathbb{C}}(n)$, how to find all $N\in SO_{\mathbb{C}}(n)$ such that $N^{-1}MN$ is a diagonal matrix?
If we consider a fixed set of $n$ complex vectors $\Gamma:=\{...
- 8,071