1
$\begingroup$

Let $\Lambda$ be an unimodular lattice with a quadratic form $(-,-)$ of signature $(m,n)$ , $m,n>0$.

I know that, fixed a base $e_1,\cdots,e_{m+n}$ for $\Lambda$, the matrix which has entries $a_{i,j}=(e_i,e_j)$ has determinant ugual to $\pm 1$.

I wonder if in this case it is always possibile to find an orthogonal base, i.e. a base $f_1,\cdots,f_{m+n}$ with $(f_i,f_i)=\pm 1$ and $(f_i,f_j)=0$.

I think yes, but i can't really prove it.

$\endgroup$
1
  • 3
    $\begingroup$ The hyperbolic lattice cannot be diagonalized with an integral basis. $\endgroup$ Feb 27, 2013 at 1:23

1 Answer 1

3
$\begingroup$

Given that $\Lambda$ is unimodular and indefinite, this can be done if and only if $\Lambda$ is odd (i.e. iff the diagonal entries $a_{i,i}$ are not all even). This follows from Milnor's classification. A couple of references where this is worked out are Serre's "A course in arithmetic" and Milnor and Husemoller's "Symmetric bilinear forms".

$\endgroup$
2
  • $\begingroup$ I'm interested in the case $\Lambda=3H \oplus -2E_8$, where $H$ is the hyperbolic plane, so i think this is the case you are talking about, right? $\endgroup$
    – rick
    Feb 27, 2013 at 23:56
  • $\begingroup$ no, that one's an even lattice. so it doesn't have an orthogonal basis. $\endgroup$ Feb 28, 2013 at 0:19

Your Answer

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

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