3
$\begingroup$

Suppose I have $A\in U(n)$ such that $A^t=A$ (which is a bit un-natural, as usually you'd consider the hermitian transpose, not the transpose).

Well, then $A=X+iY$ say, for $X$ and $Y$ real matrices. Thus $X$ and $Y$ are both symmetric, and also $I = A^*A=(X-iY)(X+iY)$ so $X^2+Y^2=I$ and $XY=YX$. So I can find an orthogonal matrix $V$ with $V^t X V$ and $V^t Y V$ both diagonal. We conclude that $V^t A V$ is diagonal, with diagonal entries from $\mathbb T$. That is, $V^tAV$ is a diagonal unitary matrix.

Suppose now I look at indefinite situation. So I let $J$ be a diagonal matrix consisting of $n$ 1s and $m$ -1 entries, say. Then $A\in U(n,m)$ if and only if $A^*JA=J$, and similarly $A\in O(n,m)$ if and only if $A^tJA=J$.

Suppose I now have $A\in U(n,m)$ with $A^t = JAJ$. Is it possible to conjugate $A$ by some $V\in O(n,m)$ into a "nice" form?

What's a good reference for this sort of stuff?

$\endgroup$
3
  • 1
    $\begingroup$ have you looked at the discussion on complex symmetric matrices in Horn and Johnson? $\endgroup$
    – Suvrit
    Commented Nov 24, 2010 at 20:22
  • $\begingroup$ "Topics in matrix analysis" and/or "Matrix analysis"? I've not looked at these, but our library has them, so I'll check tomorrow. $\endgroup$ Commented Nov 24, 2010 at 21:21
  • 3
    $\begingroup$ Section 4.4 of Matrix Analysis of HJ is titled: "Complex symmetric matrices"--this section has several interesting things worth looking at! $\endgroup$
    – Suvrit
    Commented Nov 25, 2010 at 9:29

1 Answer 1

3
$\begingroup$

I do not know much about the subject myself, but I recall the name of some authors that have written a lot about canonical forms of operators that are symmetric with respect to an indefinite inner product: Gohberg, Lancaster, Rodman.

$\endgroup$
1
  • $\begingroup$ "Indefinite linear algebra and applications"?? Ditto my comment about being in library but not read by me. Looks like it could be good! Thanks! $\endgroup$ Commented Nov 24, 2010 at 21:24

You must log in to answer this question.

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