Involutions in GL_n(Z)

Question

Is there a classification of involutions in $\text{GL}_n(\mathbb{Z})$?

Here's some more details about what I mean. Consider $f \in \text{GL}_n(\mathbb{Z})$ such that $f^2=1$. Regard $f$ as an automorphism of $\mathbb{Z}^n$. Extend $f$ to an automorphism $g$ of $\mathbb{Q}^n$. Then we can write $\mathbb{Q}^n = E_1 \oplus E_{-1}$, where $g$ acts as the identity on $E_1$ and as $-1$ on $E_{-1}$. Restricting this decomposition to $\mathbb{Z}^n$, we obtain a finite-index subgroup $A$ of $\mathbb{Z}^n$ and a decomposition $A = F_1 \oplus F_{-1}$ such that $f$ acts as the identity on $F_1$ and as $-1$ on $F_{-1}$.

However, we definitely cannot assume that $A = \mathbb{Z}^n$. For instance, the matrix whose first row is $(0 1)$ and whose second row is $(1 0)$ (by the way, I can't figure out how to get my matrices to display correctly) is an involution in $\text{GL}_n(\mathbb{Z})$ that can be diagonalized over $\mathbb{Q}$ but not over $\mathbb{Z}$.

What else can be said here?

Since $(f-1)+(f+1)=2$, $2 \mathbb{Z}^n \subset A \subset \mathbb{Z}^n$ — Homology, Jun 05 '10 at 10:28

Victor Protsak · Accepted Answer · 2010-06-05T10:45:19.090

17

The problem is equivalent to classifying isomorphism classes of $n$-dimensional integral representations of the cyclic group $C_2$ of order 2, or $\mathbb{Z}[C_2]$-modules on $\mathbb{Z}^n$. This group has exactly 3 isomorphism classes of indecomposable free $\mathbb{Z}$-modules:

(1) trivial

(2) sign representation

(3) 2-dimensional with matrix $\begin{bmatrix}0 & 1\\ 1 & 0\end{bmatrix}.$

Every $n$-dimensional $\mathbb{Z}[C_2]$-module is a direct sum of (1), (2), (3) with uniquely determined multiplicities. Thus any involution is conjugate over $\mathbb{Z}$ to a block diagonal matrix with blocks [1], [-1], $\begin{bmatrix}0 & 1\\ 1 & 0\end{bmatrix}$ whose sizes are uniquely determined.

edited Jun 05 '10 at 10:45

answered Jun 05 '10 at 09:16

Victor Protsak

14,347

2

Thanks Victor! I know plenty of references for representations over fields, but none for integral representations. Do you know a good reference for this stuff? – New to this Jun 05 '10 at 15:44
1

Curtis and Reiner, Chapter 11. It's a special case of a theorem in Par 74 which classifies integral representations of cyclic groups of prime order. Naturally, this case is much easier and can be done by hand. – Victor Protsak Jun 05 '10 at 21:10
@VictorProtsak: If you can do the indecomposable ${\Bbb Z}[C_2]$-modules by hand, could you please write this as a separate answer? – Mikhail Borovoi Aug 13 '20 at 08:19
1

There is an elementary and constructive proof in Appendix A in M. Borovoi and D. A. Timashev, Galois cohomology and component group of a real reductive group. – Mikhail Borovoi Nov 02 '21 at 13:11

score 2 · Answer 2 · answered Jun 05 '10 at 06:51

You can use GAP to decompose a Q-class of a finite subgroup of GL(n,Z) into its component Z-classes. This uses the CARAT program from Aachen. To see the first few cases, you can use:

zclasses := [];;
for dim in [2,3,4,5,6] do
  zclasses[dim] := [];
  for sig in [1..dim] do
    qclass := Group( DiagonalMat( Concatenation(
      ListWithIdenticalEntries( sig, -1 ),
      ListWithIdenticalEntries( dim - sig, 1 ) ) ) );
    zclasses[dim][sig] := ZClassRepsQClass( qclass );
  od;
od;

Then to summarize how many Z-classes there are of each dimension and signature:

gap> List(zclasses,dim->List(dim,Size));
[[2,1],[2,2,1],[2,3,2,1],[2,3,3,2,1],[2,3,4,3,2,1]]

The actual groups are available as zclasses[dim][sig][idx], for instance the generator of the 3rd Z-class of dimension 4 and signature -1,-1,1,1 is:

gap> Display( GeneratorsOfGroup( zclasses[4][2][3] )[1] );
[ [   0,   0,  -1,   0 ],
  [   0,   0,   0,  -1 ],
  [  -1,   0,   0,   0 ],
  [   0,  -1,   0,   0 ] ]

Hopefully these will show a clear enough pattern for you. The ZClassRepsQClass command can be applied to other finite subgroups as well, in case you wanted to understand elements of order 3 or 4 or whatever. Presumably the theory behind these things are developed in some of the crystallographic style references by the authors (I believe W. Plesken has written several monographs that cover things along these lines).

This is up to conjugacy in $GL(n,\mathbb{Z})$, right? I run GAP on Windows and so don't think I can use ZClassRepsQClass. — Steve D, Jun 05 '10 at 07:06
Yup, Z-class meaning up to GL(n,Z)-conjugacy. I suspect carat could run on windows, but it is very finicky about several things during its build so it is probably easier to find a working unix installation (and use Frank Luebeck's scripts to compile carat if not already installed). — Jack Schmidt, Jun 05 '10 at 07:22

Involutions in GL_n(Z)

2 Answers2

Linked