5
votes
0answers
181 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
3
votes
1answer
109 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 ...
3
votes
1answer
157 views

Approximating the action of the U(N) exponential map

Let's say that I have a curve in $\mathbb{C}^N$ given by the action of the unitary group: $$x(t) = e^{Ht}x_0,~ H \in \mathfrak{u}(N),~ ||x_0||=1$$ Here, $H$ is an NxN skew-Hermitian matrix (for very ...
5
votes
2answers
189 views

Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices

I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...
3
votes
4answers
344 views

Reference for an algebraic group preserving a cubic form

Let $R=k[u,v,w]$ and $p\in R$ be a cubic form. Let $G$ be the group of graded automorphisms of $R$ which preserve $p$, i.e., $G$ is the subgroup of $GL_3(k)$ consisting of elements $g$ such that $g(p) ...
3
votes
1answer
194 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, ...
4
votes
0answers
81 views

Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...
6
votes
1answer
357 views

History of Jordan Canonical Form?

Can anyone suggest a reference that discusses the history of the Jordan canonical form? In particular, I am interested in: When and how was it first stated? (I understand it was independently stated ...
4
votes
1answer
463 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 ...
7
votes
1answer
478 views

A question on eigenvalues

Let $A_{1}$, $A_{2}$, $A_{3}$, $A_{4}$, $A_{5}$ be linearly independent Hermitian matrices in the the space of $6$ by $6$ Hermitian matrices as a vector space over $\mathbb{R}$. Does there always ...
3
votes
1answer
118 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 ...
2
votes
0answers
142 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 ...
0
votes
1answer
169 views

when $g^*$ is invariant under $Ad(G)$?

Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra. Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under ...
1
vote
1answer
334 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 ...
5
votes
1answer
231 views

Invariants of a $GL(3,\mathbb{R})$ action

I'm trying to understand the standard $GL(3,\mathbb{R})$ action on the 15-dimensional space of possible values for the derivative of the Riemann curvature tensor of a 3-dimensional manifold $M$ at a ...
3
votes
1answer
156 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
votes
1answer
210 views

power log distance between matrices

In this thesis, Pedro Freitas discusses the properties of distance functions on matrices defined by $d_p(A, B) = (\sum (\log (\sigma_i(A^{-1} B)))^p)^{1/p}.$ Here $\sigma_i$ are the singular values of ...
8
votes
1answer
557 views

Unusual decomposition of 3x3 real symmetric matrices - is this possible?

If $M$ is a 3x3, real symmetric matrix, then I know there are a few ways to decompose $M$ as $M = A^T D A$, where $D$ is a real diagonal matrix: e.g., this can always be done for some $A \in SO(3)$, ...
1
vote
2answers
325 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 ...
4
votes
2answers
283 views

Is the condition ``adjoint action does not have eigenvalue $-1$" dense in a Lie group?

I need to answer (affirmatively, I hope) the following question: In a Lie group $G$ whose Lie algebra $\mathfrak{g}$ is equipped with an $\mathrm{Ad}$-invariant scalar product, is the open subset ...
10
votes
1answer
509 views

Computing the Zariski closure of a subgroup of SL(n,Z)

Suppose $\Gamma$ is a finitely generated subgroup of $SL(n,\mathbb{Z})$, given as a list of generators. We would like to (somewhat efficiently) try to compute the Zariski closure of $\Gamma$, which is ...
5
votes
1answer
388 views

determining symplecticity (if that's a word)

Suppose you have a matrix $M$ in $SL(n, \mathbb{Z}).$ Question: is there a necessary and sufficient condition for $M$ to be conjugate to $N \in Sp(n, \mathbb{Z}).$ It is clearly necessary that the ...
2
votes
1answer
285 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 ...
2
votes
1answer
208 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
votes
3answers
322 views

Linear subspaces in cones over orthogonal groups

Consider the orthogonal group $G=O(n)$ as a subset of the vector space of $n\times n$ real matrices. Let $C=C(G)$ denote the Euclidean cone over $G$, i.e., the space of matrices of the form $tA, A\in ...
6
votes
0answers
323 views

Spaces of matrices with same eigenvalue/Great circles in O(n)-orbits

Let $Sym^2(V)$ be the set of symmetric matrices of a real $n$-dimensional vector space $V$. Given an element $\underline{\lambda}=[\lambda_1,\ldots \lambda_n]\in \mathbb{RP}^n$, where ...
3
votes
4answers
486 views

Polar decomposition for quaternionic matrices?

A non-zero complex number can be uniquely written in polar form as $re^{i\theta}$. There is an analogous result for complex matrices: any invertible complex matrix can be uniquely written as $UP$, ...
0
votes
0answers
109 views

Generating Set for Og over $\mathbb Z_2$

Hi, All: I am reading a claim that Og , the orthogonal group associated with a finite-dimensional vector space V over $\mathbb Z_2$ , and a quadratic form q defined therein , i.e., the group of ...
3
votes
3answers
390 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 ...
0
votes
1answer
130 views

“locally” factoring subgroups of Lie groups

I'm not really a math person, and apologize if the question here is too simple. I've ended up with the following type of question for a few Lie groups, but state it for SO(n). I start with a subgroup ...
3
votes
4answers
1k views

Parametrization of O(3)

Is there a simple way to parametrize the orthogonal group O(3) of 3 by 3 orthogonal matrices?
0
votes
0answers
265 views

Orthogonal Projections in Lie Theory

I have been studying a finite element method where rigid & elastic spatial motions are separated using an orthogonal projection (actually two: one for translations/stretches, the other for ...
9
votes
2answers
2k views

Left and right eigenvalues

A quaternionic matrix $A$ gives rise to a function $\mathbb{H}^n \to \mathbb{H}^n$ given by $x \mapsto A \cdot x$. This is real linear, but not complex- or quaternionic-linear (in general) if we ...
-1
votes
2answers
612 views

The lie algebra of the orthogonal group of an arbitrary space time metric

Let X ad Y be two vectors in R4, and define the inner product of X and Y as: (X*Y) = gikXiYk (summation convention for repeated indicies) Then we consider the 4x4 matrix g whose components are gik. ...
4
votes
2answers
480 views

Abelianization of Lie groups

If G is a group, its abelianization is the abelian group A and the map G → A such that any map G → B with B abelian factors through A. Abelianization is a functor, and in general a very ...