MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I saw a statement in [Murakami, On automorphisms on Siegel domains] that every linear automorphism $\phi$ on the set of positive definite matrices can be represented as conjugation: i.e. there is a matrix $B\in GL(n,\mathbb{R})$ such that $\phi(A)=B^t A B$. It seems an easy statement but I couldn't prove it. Can somebody help me?

share|cite|improve this question
Confused. Positive definite matrices do not form a vector space. Then what do you mean by linear automorphisms on them? Also you say conjugation but in symbols use B-transpose. Possibly a typo. Please clarify. – P Vanchinathan Dec 8 '12 at 16:06
Do you talk about automorphisms of the cone of the PSD matrices? Clearly, not all automorphisms are given by conjugations, ie maps $X\mapsto B^{-1}XB$, so it's indeed must be $X\mapsto B^\top XB$ – Dima Pasechnik Dec 8 '12 at 16:36
up vote 2 down vote accepted

I assume that you mean 'positive definite symmetric matrices'. Here's one proof, though it's certainly not the most clean.

A linear automorphism of the space of all symmetric matrices that preserves the cone of positive definite matrices will preserve the closure of that cone, i.e., the nonnegative symmetric matrices. The extreme rays of that closed cone are the rank $1$ nonnegative symmetric matrices, i.e., the matrices of the form $s = vv^T$ where $v\in\mathbb{R}^n$ (thought of as columns of height $n$). Now, for any pair of linearly independent vectors $v_1$ and $v_2$ in $\mathbb{R}^n$, the $3$-plane spanned by the matrices of the form $(av_1+bv_2)(av_1+bv_2)^T$ will contain a cone of rank $1$ elements and the automorphism will have to carry that $3$-plane to a $3$-plane that has a cone of rank $1$ elements, and it is easy to see that this implies that this image $3$-plane must be spanned by matrices of the form $(aw_1+bw_2)(aw_1+bw_2)^T$ for some linearly independent pair $w_1$ and $w_2$ in $\mathbb{R}^n$. The upshot of this is that, because all collineations of $\mathbb{RP}^{n-1}$ are projectivizations of linear automorphisms of $\mathbb{R}^n$, there will have to be a linear map $L:\mathbb{R}^n\to\mathbb{R}^n$ such that the automorphism carries $vv^T$ to a positive multiple of $(Lv)(Lv)^T$ for all nonzero $v\in \mathbb{R}^n$. Composing the given automorphism with the automorphism induced by $L^{-1}$, we are reduced to the case of an automorphism of symmetric matrices that carries $vv^T$ to a multiple of $vv^T$ for all nonzero $v\in \mathbb{R}^n$. Of course, since the symmetric matrices have a basis made of rank $1$ elements, it follows that this automorphism must be a (positive) multiple of the identity, so even that can be absorbed into $L$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.