## orthogonal base in unimodular lattice

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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.

-

3
The hyperbolic lattice cannot be diagonalized with an integral basis. – Atsushi Kanazawa Feb 27 at 1:23

## 1 Answer

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".

-

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? – rick Feb 27 at 23:56
no, that one's an even lattice. so it doesn't have an orthogonal basis. – Abhinav Kumar Feb 28 at 0:19
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 16, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9316483736038208, "perplexity_flag": "head"}