2
$\begingroup$

How do I go about diagonalizing such a matrix.

I ask because I need to sort out the following problem:

Let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11, ij=-ji=k$.

Let $\mathfrak{O} = \langle 1,i,\frac{1+j}{2},\frac{i+k}{2}\rangle_{\mathbb{Z}}$ be a maximal order.

Consider the Hermitian matrix:

$A = \begin{pmatrix} 11 & -j-3k \\ j+3k & 11 \end{pmatrix}$.

I need to find all matrices $u\in M_2(\mathfrak{O})$ such that $uA\bar{u}^T = A$. This is proving difficult (there should be $48$ such matrices but extensive checks have only produced $8$ and those are easy diagonal/anti-diagonal ones!)

I think I can do it easily if I diagonalize $A$.

But how do I find $P\in$ $GL_2(D)$ such that $\bar{P}^T A P$ is diagonal with rational entries? Apparently such a matrix exists. Does the non-commutativity create problems with the usual construction?

$\endgroup$

1 Answer 1

1
$\begingroup$

Note that $U=\pmatrix{1&t\cr 0&1}$ and $X=\pmatrix{a&b\cr c&d}$ has $UX\bar U^T=\pmatrix{?&b+dt\cr c&d}\pmatrix{1&0\cr -t&1}=\pmatrix{?&b+dt\cr c-dt&?}$ (for $t$ with trace 0). So just make $t=(j+3k)/11$ in your example, killing the terms off the diagonal. Maybe I transposed this, but you can work it out.

$\endgroup$
1
  • $\begingroup$ Oh I can't believe how easy it was! I was too bogged down in theory to just try simple examples...thanks. $\endgroup$
    – fretty
    Commented Jun 28, 2013 at 11:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .