2
$\begingroup$

This is a follow-up question to my question from Math Stackexchange (Thank you Dietrich Burde and Michael Burr for the help).

Let $M\in \mathrm{SL}(4, \mathbb{Z})$ with all eigenvalues equal to $1$ (i.e. $M$ is a unipotent matrix).

Write $M=\begin{bmatrix} A_1&A_2\\ A_3&A_4 \end{bmatrix}, $ where the $A_i$ are $2$ by $2$ sumbatrix of $M$.

Let $d_i$ be the dot product of two rows of $A_i$, i.e. if $A_i = \begin{bmatrix} a&b\\ c&d \end{bmatrix}$, then $d_i = ac +bd$.

Let $a_i = \mathrm{det}(A_i) - d_i$.

For example if $A_1 =\begin{bmatrix} 1&2\\ 3&4 \end{bmatrix}$, then $d_1 = 11$ and $a_1 = - 2 - 11 = -13$.

Consider the matrix $A = \begin{bmatrix} a_1&a_2\\ a_3&a_4 \end{bmatrix}$.

Question: Suppose $A$ is in $\mathrm{GL}(2, \mathbb{Z})$, can one of eigenvalues of $A$ have absolute value bigger than $1$?

Thoughts so far: It is clear that the matrix $A$ should have all entries being non-zero. I find this question hard because two similar matrices might have differnt "behaviour", e.g. if $ M_1=\Tiny\begin{pmatrix} 0 & 0 & -1 & 0 \cr 1 & 0 & 0 & 1 \cr 1 & 0 & 0 & 2 \cr 0 & 1 & -3 & 4 \end{pmatrix} $, then $ A=\begin{pmatrix} 0 & -1 \cr 1 & 2 \end{pmatrix}\in \mathrm{SL}_2(\Bbb Z); $ while if $ M=\Tiny\begin{pmatrix} 1 & 1 & 0 & 0 \cr 0 & 1 & 1 & 0 \cr 0 & 0 & 1 & 1 \cr 0 & 0 & 0 & 1 \end{pmatrix} $, we have $A=\begin{pmatrix} 0 & 0 \cr 0 & 0 \end{pmatrix}$, even though $M_1$ is simliar to $M_2$.

I also look up the Block matrix determinant, but I don't think we can use the identities since our block matrices don't satisfy their assumptions.

Thank you for reading, any reference for this would be really appreciated.

$\endgroup$
1
  • 1
    $\begingroup$ This question has been answered in Stackexchange $\endgroup$
    – ghc1997
    Jun 22, 2022 at 9:36

1 Answer 1

0
$\begingroup$

It is not a solution since $A$ is not in $GL_2(\mathbb{Z})$, I will try to correct it later.

Let $a,b,c,d$ be in $\mathbb{Z}$ such that $ad-bc=1$. Set $$P = \left(\begin{array}{cc} aI_2 & bI_2 \\ cI_2 & dI_2 \end{array}\right) \text{ and } T = \left(\begin{array}{cc} I_2 & S \\ 0 & I_2 \end{array}\right),$$ where $S \in \mathcal{M}_2(\mathbb{Z})$ Let $$M = PTP^{-1} = \left(\begin{array}{cc} aI_2 & bI_2 \\ cI_2 & dI_2 \end{array}\right)\left(\begin{array}{cc} I_2 & S \\ 0 & I_2 \end{array}\right) \left(\begin{array}{cc} dI_2 & -bI_2 \\ -cI_2 & aI_2 \end{array}\right),$$ Then, $$M = \left(\begin{array}{cc} aI_2 & aS+bI_2 \\ cI_2 & cS+dI_2 \end{array}\right) \left(\begin{array}{cc} dI_2 & -bI_2 \\ -cI_2 & aI_2 \end{array}\right),$$ Since $ad-bc=1$, $$M = \left(\begin{array}{cc} I_2-acS & a^2S \\ -c^2S & I_2+acS \end{array}\right).$$ Now, choose $S=I_2$. Then $$M = \left(\begin{array}{cc} (1-ac)I_2 & a^2I_2 \\ -c^2I_2 & (1+ac)I_2 \end{array}\right).$$ Hence $$A = \left(\begin{array}{cc} (1-ac)^2 & a^4 \\ c^4 & (1+ac)^2 \end{array}\right).$$ and $\det(A) = (1-ac)^2(1+ac)^2 - a^4c^4 = (1-a^2c^2)^2 - a^4c^4 = 1-2a^2c^2$ and $\mathrm{Tr}(A) = (1-ac)^2+(1+ac)^2 = 2+2a^2c^2$. If we choose $a=b=c=1$ and $d=2$, then we actually have $ad-bc=1$, $\det(A)=-1$ so $A \in GL_2(\mathbb{Z})$ and since $\mathrm{Tr}(A)=4$, the characteristic polynomial of $A$ is $X^2-4X-1$, so the eigenvalues of $A$ are $2 \pm \sqrt{5}$.

$\endgroup$
5
  • 1
    $\begingroup$ This didn't work for me, but I could easily have made a mistake. Can you say what you got for M and/or A? $\endgroup$ Jun 21, 2022 at 23:16
  • 1
    $\begingroup$ @Paul Larson I give my computations. I also could easily have made a mistake, but I hope that it is correct. $\endgroup$ Jun 22, 2022 at 7:59
  • 1
    $\begingroup$ Thanks, but $A$ is not in $\mathrm{GL}(2, \mathbb{Z})$? $\endgroup$
    – ghc1997
    Jun 22, 2022 at 9:35
  • 1
    $\begingroup$ @ghc1997 I had omitted this condition. I have modified the example, and I hope that it is right. I have a question: where does your problem and this transformation which replaces $2 \times 2$ blocks with entries a,b,c,d by a single entry $ad-bc-(ac+bd)$ come from? $\endgroup$ Jun 22, 2022 at 18:05
  • 1
    $\begingroup$ Thank you for your time @ChristopheLeuridan, I also asked a similar question about replacing the 2 × 2 blocks by $ad-bc$. I thought I found some properties about the unipotent matrix, but people have provided counter-examples. $\endgroup$
    – ghc1997
    Jun 22, 2022 at 18:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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