0
votes
0answers
40 views

Tensor product with $\mathbb{R}$ of an even unimodular lattice

Let $\Lambda$ be an unimodular even lattice of signature $(m,n)$. By a classifying theorem by Milnor, $\Lambda$ must be of the form $U^k\oplus E_8(\pm 1)^l$, where $U$ is the hyperbolic plane. Now ...
0
votes
1answer
53 views

Generating vectors of the face-centered cubic lattice

I can't find a reference for a set of generating vectors for the Tetrahedral-octahedral honeycomb lattice. I would like to know the "canonical" set and if possible a more general set described by ...
7
votes
1answer
275 views

Generalizing the 290 theorem.

I have only just come across the remarkable theorem of Conway about universal quadratic forms over $\mathbb{Z}$; namely that in determining whether a integer coefficient, positive definite quadratic ...
14
votes
5answers
617 views

Every integer vector in $\mathbb R^n$ with integer length is part of an orthogonal basis of $\mathbb R^n$

Suppose $\vec x$ is a (non-zero) vector with integer coordinates in $\mathbb R^n$ such that $\|\vec x\| \in \mathbb Z$. Is it true that there is an orthogonal basis of $\mathbb R^n$ containing $\vec ...
1
vote
1answer
175 views

How do you construct a lattice from its basis or its Gram Matrix?

I'm really having trouble trying to understand this. A few weeks back, I got pretty interested in sphere packing and I'm trying to grasp the idea of using a matrix to represent the basis of a lattice. ...
1
vote
1answer
81 views

Solution count of quadratic form congruence over $\Bbb Z / 8 \Bbb Z$

Let $(L,q)$ be an even Lorentzian lattice of signature $(1,l-1)$, i.e., $q(\lambda) \in \Bbb Z$ for all $\lambda \in L$ and the (non-degenerate) quadratic form $q$ is of type $(1,l-1)$ (the ...
1
vote
0answers
121 views

solution count of quadratic form congruences

Let $(L,q)$ be an even Lorentzian lattice of signature $(1,l-1)$, i.e., $q(\lambda) \in \Bbb Z$ for all $\lambda \in L$ and the (non-degenerate) quadratic form $q$ is of type $(1,l-1)$ (the ...