This is a cross post from [Math SE](https://math.stackexchange.com/questions/707778/characterization-of-volumes-of-lattice-cubes) that no one seemed able to solve.


Here is a problem that came up in a conversation with a professor after I made a false assumption about the geometry of $\mathbb{Z}^n$. I do not know if he knew the answer (and told me none of it) and has since passed so I can no longer ask him about it.


Let $C$ be a lattice cube in $\mathbb{R}^n$. Characterize all possible volumes for $C$. A cube is called a *lattice cube* if and only if every vertex has integer coordinates.


I broke this proof into three cases, the last of which I am having trouble with in one direction. We will let $V(n)$ be the set of all numbers $V$ for which there exists a lattice cube of volume $V$ in dimension $n$. We will break into three cases based on the value mod 4.


\begin{align\*}
V(2k+1)&=\{a^n:a\in\mathbb{N}\} \\
V(4k)&=\{a^\frac{n}{2}:a\in\mathbb{N}\} \\
V(4k+2)&\supseteq\{(a^2+b^2)^\frac{n}{2}:a,b\in\mathbb{N}\}
\end{align\*}


These statements I have proven (none of them are hard), and conjecture that the last one is an equality. I've been trying to use a collapsing dimension argument to show if I can make a cube of side length $s$ in $\mathbb{R}^{4k+2}$ then I can in $\mathbb{R}^{4k-2}$, at which point the theorem follows since I have proven the special case of $n=2$, unfortunately this does not seem to be fruitful. After trying general collapsing arguments, I got into technical arguements about the matrices whose rows are the vectors that define the cubes, but again, no avail.



Characterization of Volumes of Lattice Cubes
[*Edited* to add the variant with $n-2$ instead of $n+2$]


The conjecture is true; in fact for $n=4k+2$ one cannot even form
an $n$-cube of side $D^{1/2}$ in ${\bf R}^n$ with *rational* coordinates
unless $D$ is the sum of two squares. We prove this using
[Witt's
cancellation theorem](http://en.wikipedia.org/wiki/Witt%27s_theorem#Witt%27s_cancellation_theorem) for quadratic forms.


Let $D$ be a positive rational number.
Translating one vertex of the cube to the origin, we see that
an $n$-cube in ${\bf Q}^n$ of side $D^{1/2}$ is equivalent to
an orthogonal basis for ${\bf Q}^n$ consisting of vectors each of
length $D^{1/2}$, which in turn is tantamount to an isomorphism between
the quadratic form $D \sum\_{m=1}^n X\_m^2$ and the standard inner product
$\sum\_{m=1}^n X\_m^2$. But we already know that such a cube exists
in dimension $n+2 = 4(k+1)$, that is, that the quadratic form
$\sum\_{m=1}^{n+2} X\_m^2$ is isomorphic with the form $D \sum\_{m=1}^{n+2} X\_m^2$.
By Witt it follows that the forms $X\_{n+1}^2 + X\_{n+2}^2$ and
$D(X\_{n+1}^2 + X\_{n+2}^2)$ are isomorphic. In particular,
$D = D(1^2 + 0^2)$ is the sum of two squares, Q.E.D.


Alternatively we could have used the fact that $n-2 = 4k$
is a multiple of $4$: it follows that
$\sum\_{m=1}^{n-2} X\_m^2$ is isomorphic with the form
$D \sum\_{m=1}^{n-2} X\_m^2$, and then we could cancel
a form of rank $n-2$ to deduce again an isomorphism between
the diagonal forms $X\_{n+1}^2 + X\_{n+2}^2$ and $D(X\_{n+1}^2 + X\_{n+2}^2)$.


[To obtain the isomorphism in dimension $n \pm 2$: it is enough to do it
in dimension $4$ and then use direct sums to get all multiples of $4$.
Write $D$ as a sum of $4$ squares, which is to say as the norm of a
quaternion $q$. Then the quaternions $q$, ${\bf i}q$, ${\bf j}q$, ${\bf k}q$
give the desired orthogonal basis.


Likewise if $D = a^2+b^2$ then $(a,b)$ and $(-b,a)$ [corresponding to
complex numbers $a+ib$ and $i(a+ib)$] are sides of a square of side $D^{1/2}$,
and by taking direct sums we obtain a cube of any even dimension.
When $n$ is odd we can use determinants to confirm that the side of an
integral (or rational) $n$-cube must itself be an integer or rational number.]


