Symplectic Matrices with Integer Entries - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T15:19:22Z http://mathoverflow.net/feeds/question/71023 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/71023/symplectic-matrices-with-integer-entries Symplectic Matrices with Integer Entries CCALNS 2011-07-22T22:00:12Z 2011-07-24T23:37:06Z <p>I have a couple questions regarding symplectic matrices, specifically those with integer entries.</p> <p>1) Suppose we are trying to find symplectic matrices of dimension $4$ with integer entries. We know that eigenvalues come in reciprocal pairs; we are assuming that the symplectic matrix $A$ has irreducible characteristic polynomial so the eigenvalues are distinct. Also we want the eigenvalues real. Thus, it is necessary for the characteristic polynomial of $A$ to be of the form</p> <p>$$f = x^4 - nx^3 + (2+m)x^2 -nx+1$$</p> <p>where $n,m \in \mathbb{Z}$. The question is, if we have an irreducible $f$ of this form, with roots $\lambda, \lambda ^{-1}, \mu, \mu^{-1}$, is it possible to construct an integer matrix which is symplectic with this characteristic polynomial?</p> <p>2) Suppose the construction in 1) is possible, and we have matrix A. Are there any properties on matrices in the conjugacy class of A over $\mathbb{Q}$ which ensure that those matrices are symplectic? That is, is there a way to find matrices conjugate to a symplectic matrix A which are also symplectic?</p> <p>Thanks for any help or any suggestions on literature to read.</p> http://mathoverflow.net/questions/71023/symplectic-matrices-with-integer-entries/71026#71026 Answer by Igor Rivin for Symplectic Matrices with Integer Entries Igor Rivin 2011-07-22T22:19:29Z 2011-07-22T22:19:29Z <p>The answer to the first question is "yes", see p 21 of</p> <p><a href="http://arxiv.org/pdf/math/0703532v1" rel="nofollow">http://arxiv.org/pdf/math/0703532v1</a></p> <p>On that same page, if you look at conditions (6-8), that should answer your second question with a little work...</p> http://mathoverflow.net/questions/71023/symplectic-matrices-with-integer-entries/71152#71152 Answer by CCALNS for Symplectic Matrices with Integer Entries CCALNS 2011-07-24T21:18:26Z 2011-07-24T23:37:06Z <p>I'm having some trouble constructing a 4 by 4 symplectic matrix with characteristic polynomial $f = x^4 - nx^3 + (2+m)x^2 -nx+1$ and I haven't been able to find where I'm going wrong. We have a matrix </p> <p>$$\left(\begin{array}{cccc} 0 &amp; 0 &amp; 1 &amp; \mathrm{b2}\newline 0 &amp; 0 &amp; \mathrm{b2} &amp; \mathrm{b3}\newline -\frac{\mathrm{b3}}{\mathrm{b3} - {\mathrm{b2}}^2} &amp; \frac{\mathrm{b2}}{\mathrm{b3} - {\mathrm{b2}}^2} &amp; -1 &amp; \mathrm{f1} + 1\newline \frac{\mathrm{b2}}{\mathrm{b3} - {\mathrm{b2}}^2} &amp; -\frac{1}{\mathrm{b3} - {\mathrm{b2}}^2} &amp; 1 &amp; \mathrm{f2} \end{array}\right)$$</p> <p>as constructed in the paper. We can compute the characteristic polynomial and obtain the conditions on $f1, f2$ that $f1 = -n-m-2$, $f2 = n+1$. Then by requiring that $M^TJM = J$, where $J = \left(\begin{array}{cccc} 0 &amp; 0 &amp; 1 &amp; 0\newline 0 &amp; 0 &amp; 0 &amp; 1\newline -1 &amp; 0 &amp; 0 &amp; 0\newline 0 &amp; -1 &amp; 0 &amp; 0 \end{array}\right)$, we have that $-1 - m - n + b2\cdot (n+2) = b3$. Then plugging in for $b3$ in $M$ and using the fact that $\det B = 1$ we find $b2^2 - b2\cdot (2 + n) + m + n =0$. We want $b2$ to be an integer but I can't figure out how to get this to always be an integer for any arbitrary $n,m$.</p> <p>Also, I was wondering for the second part of the question, the above comment suggested that we look at the block form of the matrices. However, when we conjugate, we would need to get the inverse of a matrix in block form, so that looking at the matrix in block form does not seem to give an additional advantage. Are there any other conditions for matrices conjugate to a given symplectic matrix to be symplectic?</p> <p>For example, given a symplectic matrix $A$ where $B$ and $C$ are symplectic matrices conjugate to $A$ over $\mathbb{Z}$ (or $\mathbb{Q}$) thus $B = S^{-1} C S$, must $S^{-1} A S$ be symplectic? That is, if $S$ conjugates one symplectic matrix to another symplectic matrix in the conjugacy class of $A$ (over $\mathbb{Z}$ or $\mathbb{Q}$), will $S$ also conjugate $A$ to a symplectic matrix?</p>