determining symplecticity (if that's a word) - MathOverflow most recent 30 from http://mathoverflow.net2013-05-24T20:00:36Zhttp://mathoverflow.net/feeds/question/97778http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/97778/determining-symplecticity-if-thats-a-worddetermining symplecticity (if that's a word)Igor Rivin2012-05-23T17:50:02Z2012-06-02T09:25:39Z
<p>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 characteristic polynomial of $M$ be palindromic, but I would assume that this is not sufficient.</p>
http://mathoverflow.net/questions/97778/determining-symplecticity-if-thats-a-word/97801#97801Answer by Mark Sapir for determining symplecticity (if that's a word)Mark Sapir2012-05-24T00:01:11Z2012-05-24T00:01:11Z<p>You forgot the condition that $n$ is even. I do not think there is a better criterion than the tautology.</p>
<p>The unipotent matrix</p>
<p>$$\left[ \begin {array}{cccc} 1&1&2&3\\ 0&1&4&5\\ 0&0&1&1\\0&0&0&1\end{array}
\right] $$ is not conjugate to a symplectic matrix in $SL(4,\mathbb{Z})$ (although it is conjugate to a symplectic matrix in $SL(4,\mathbb{C})$. </p>
<p>On the other hand the matrix</p>
<p>$$\left[ \begin {array}{cccc} 1&0&0&1\\ 0&1&0&0\\ 0&0&1&0\\0&0&0&1\end{array}
\right] $$</p>
<p>is conjugate to a symplectic matrix. </p>
<p>Both facts can be easily verified by using Maple. </p>