Sean showed us last time that lattices are additive subgroups of and that any lattice is of the form
for linearly independent vectors in . The number is called the rank of . If then we say that has full rank. The vectors are called a basis for .
Example Take and . These are linearly independent in so form a lattice of full rank in .
This lattice looks like (and is) . We can also think of as vectors in :
They’re still linearly independent so form the basis of a lattice, but this lattice won’t have full rank.
In the above example we noticed that the lattice with basis looked just like . And clearly any vector can be written as
so . And in fact infinitely many pairs of basis vectors give the same lattice, so it would be helpful if these lattices had some kind of invariant which didn’t depend on the choice of basis, and indeed they do.
Given a set of vectors and a basis in we can write the vectors in a matrix by making the columns the vectors with respect to the basis. For example the vectors and using the standard basis in can be put in the matrix
Changing the order of our vectors or the order of our basis will change the matrix, but not the matrix’s determinant. Moreover this determinant is always nonzero provided our vectors are linearly independent. So perhaps the determinant of this matrix is the invariant we’re looking for, but first we need to show that different bases for our lattice give the same determinant.
Let’s let and be two bases for the same lattice . Since they proffer the same lattice any vector from one of the sets can be written in terms of the other set, that is to say for each there exist integers and such that
Then we can write the vectors in terms of themselves as follows
The vectors are linearly independent so the sum inside the brackets must be zero whenever , and one when . Similarly, using the other set of vectors, we have
If we let and be the matrices and respectively then the above tells us that . And since they have integer entries the fact that tells us that . So these two bases are related by a unimodular matrix (a matrix with integer entries and determinant ). Specifically we get the matrix for one basis by right-multiplying the matrix of the other basis by a certain unimodular matrix.
Conversely if we have a basis for a lattice and take a unimodular matrix then the lattice with basis where
is again . To see this let be the lattice with basis and note that each , so . Let , then this is also a unimodular matrix and we have
So that , so the two lattices are in fact the same.
So we’ve shown that two bases give the same lattice if and only if their matrices are related by a unimodular matrix. In the simple example where we had as a basis for we can now note that
Recall we proposed that the determinant of the matrix given by the basis vectors might be an invariant of the lattice. Well the above shows this is the case. Given two bases of a lattice we’ve seen their matrices and are related by a unimodular matrix by . And so
So the determinant – up to sign – does not depend on the basis chosen. We call the absolute value of this the determinant of the lattice, denoted .
Another very important feature of a lattice is its fundamental parallelepiped. This depends on the basis chosen, and given a basis it is the set:
In this is the parallelogram cut out by the points and , and in higher dimensions we get generalisations of this, hence the name. It clearly depends on the basis chosen.
The parallelepiped itself may not be unique, but its volume is. If then we have
And so the volume is independent of the basis used.
The fundamental parallelepiped is extra useful as every point in can be written uniquely as the sum of a point on the lattice and a point in the fundamental parallelepiped. That is,
This is intuitively clear and is an extension of the idea of writing any real number as its integer part plus its fractional part, except now we have the lattice replacing integers and the parallelepiped replacing the fractional part. The proof uses this basic principle and simply applies it to dimensions.