Lattice (group)
- See lattice for other meanings of this term, both within and without mathematics.
In mathematics, a lattice in Rn is a discrete subgroup of Rn which spans the real vector space Rn. Every lattice in Rn can be generated from a basis for the vector space by considering all linear combinations with integral coefficients.
A simple example of a lattice in Rn is the subgroup Zn. A more complicated example is the Leech lattice, which is a lattice in R24.
A typical lattice L in Rn thus has the form
where {v1, ..., vn} is a basis for Rn. Different bases can generate the same lattice, but the absolute value of the determinant of the vectors vi is uniquely determined by L, and is denoted by d(L).
If one thinks of a lattice as dividing the whole of Rn into equal polyhedra (known as the fundamental region of the lattice), then d(L) is equal to the n-dimensional volume of this polyhedron.
Minkowski's theorem relates the number d(L) and the volume of a symmetric convex set S to the number of lattice points contained in S. The number of lattice points contained in a polytope all of whose vertices are elements of the lattice is described by the polytope's Ehrhart polynomial. Formulas for some of the coefficients of this polynomial involve d(L) as well.
A lattice in Cn is a discrete subgroup of Cn which spans the 2n-dimensional real vector space Cn.
For example, the Gaussian integers form a lattice in C.
Every lattice in Rn is a free abelian group of rank n; every lattice in Cn is a free abelian group of rank 2n.
This concept is used in materials science, in which a lattice is a 3-dimensional array of regularly spaced points coinciding with the atom or molecule positions in a crystal.
It also occurs in computational physics, in which a lattice is an n-dimensional geometrical structure of sites, connected by bonds, which represent positions which may be occupied by atoms, molecules, electrons, spins, etc. For an article dealing with the formal representation of such structures see Lattice Geometries. Quite general lattice models are used in physics.
More generally, a lattice Γ in a Lie group G is a discrete subgroup, such that G/Γ is of finite measure, for the measure on it inherited from Haar measure on G (left-invariant, or right-invariant - the definition is independent of that choice). That will certainly be the case when G/Γ is compact, but that sufficient condition is not necessary, as is shown by the case of the modular group in SL2(R), which is a lattice but where the quotient isn't compact (it has cusps). There are general results stating the existence of lattices in Lie groups.
Referenced By
List of Lie group topics | List of geometry topics | List of group theory topics | List of mathematical topics (J-L)
|
