# How to determine $O(L)$ is finite or not?

Let $L$ be an indefinite {\it non-unimodular} integral lattice. I am particularly interested in unimodular cases, such as $U(2)\oplus A_4, U\oplus D_4$. Are there any general method to determine whether or not the orthogonal group $O(L)$ is a finite group?

I am aware of this similar question Automorphism groups of indefinite non-unimodular integer lattices The difference is, I am interested only in whether or not $O(L)$ is finite.

-
I have no idea how any of these could be finite. Indefinite binary forms (nonsquare discriminant) have infinite groups, here you have at least total dimension 4. If you have any finite examples, please let me know. –  Will Jagy Aug 5 '13 at 23:29
@Will: In all dimensions $\ge 3$ it has to be infinite: the special orthogonal and spin groups are always semisimple (even if not absolutely simple for dimension 4), so one can apply strong approximation relative to the infinite place for the simply connected spin group and open subset of its finite-adelic points corresponding to the $\widehat{\mathbf{Z}}$-points relative to the $\mathbf{Z}$-structure provided by the lattice (which gives a $\mathbf{Z}$-structure to the Clifford algebra and hence to the spin group, thereby making sense of the $\widehat{\mathbf{Z}}$-points just mentioned). –  user36938 Aug 6 '13 at 4:38
@user36938, thanks. There are times that I wish I had actually studied the full theory. Lots of stuff I like is written in adelic language, probably starting with Kneser 1961. –  Will Jagy Aug 6 '13 at 4:51
@user36938, you might like this question on the other site, math.stackexchange.com/questions/459064/adelic-lattices The kid asking is a graduate student at Harvard and might well start using MO... –  Will Jagy Aug 6 '13 at 14:23
@Will: Someone fortunate enough to be a graduate student at Harvard has many people nearby to speak with in person about things like that. (For a slick proof, he should make more effective use of the fact that any two adelic lattices are commensurable with each other, and that tensoring against $\widehat{\mathbf{Z}}$ has no effect on the "lattice" of finite-index subgroups.) –  user36938 Aug 6 '13 at 15:04

Do you mean $U(k)$ by the hyperbolic plane? –  user2013 Oct 31 '13 at 20:14
Hyperbolic plane is the rank 2 lattice with Gram matrix $\begin{pmatrix} 0 & 1\\ 1 & 0 \end{pmatrix}$. This is probably the $U$ in the original question. –  WKC Nov 1 '13 at 2:16
Isn't $O(U(K)))$ finite? –  user2013 Nov 2 '13 at 22:23
I assume that $U(k)$ is the orthogonal sum of $k$ copies of the hyperbolic plane. When $k \geq 2$, $O(U(k))$ is infinite. Suppose $k = 2$, and $e,f$ and $x,y$ are two orthogonal pairs of hyperbolic pairs. Then for any integer $a$, the linear map such that $e\mapsto e + ax$, $f \mapsto f + ax$, $x \mapsto -x$, and $y \mapsto ae + af + a^2x - y$, is an isometry of $U(2)$. –  WKC Nov 3 '13 at 0:36
Sorry for the confusion. I denote by $U(k)$ the hyperbolic lattice mulptiplied by $k$. So there are basis $e,f$ with $e^2=f^2=(e,f)-2=0$. –  user2013 Nov 3 '13 at 1:33