Fact-checked by Grok 2 weeks ago

Unimodular lattice

A unimodular lattice is an integral lattice L in n-dimensional Euclidean space \mathbb{R}^n such that L equals its dual lattice L^* = \{ x \in \mathbb{R}^n \mid \langle x, y \rangle \in \mathbb{Z} \ \forall y \in L \}, where \langle \cdot, \cdot \rangle denotes the standard inner product; equivalently, for an integral lattice, this holds if and only if the determinant of any Gram matrix with respect to a basis of L is 1.^[1] Unimodular lattices are central to the theory of quadratic forms and play a key role in geometry, coding theory, and sphere packing due to their self-duality and extremal properties.^[2] They are classified as even (type II) if all inner products \langle x, x \rangle are even integers for x \in L, or odd (type I) otherwise; even unimodular lattices exist only in dimensions n \equiv 0 \pmod{8}, while odd ones exist in every dimension. The determinant condition ensures that the volume of the fundamental parallelepiped is 1, making these lattices particularly symmetric and useful for constructions in higher-dimensional geometry.^[1] Notable examples include the E_8 lattice in dimension 8, which is even unimodular and achieves the optimal sphere packing density in that dimension, and the Leech lattice in dimension 24, the unique even unimodular lattice with no vectors of norm 2, famous for its connections to sporadic simple groups like the Conway groups and its role in the densest known sphere packing in 24 dimensions.^[3] The classification of unimodular lattices up to isomorphism is known in low dimensions (e.g., up to 25), with the number and structure becoming increasingly complex as dimension grows, often enumerated using mass formulas and genus theory.

Definitions

Formal Definition

A lattice L in the Euclidean space \mathbb{R}^n equipped with the standard positive definite inner product is defined as a discrete subgroup generated by a set of n linearly independent vectors, forming a basis for L.^[4] Such a lattice can be viewed as L = \sum_{i=1}^n \mathbb{Z} e_i, where \{e_1, \dots, e_n\} is the basis. An integral lattice is a lattice where the inner product \langle u, v \rangle takes integer values for all u, v \in L.^[4] The dual lattice L^* of an integral lattice L is the set L^* = \{ x \in \mathbb{R}^n \mid \langle x, y \rangle \in \mathbb{Z} \ \forall y \in L \}.^[4] A unimodular lattice is an integral lattice L such that L = L^*.^[4] Equivalently, for a basis \{e_i\}_{i=1}^n of L, the Gram matrix G with entries G_{ij} = \langle e_i, e_j \rangle satisfies \det G = 1.^[5]

Equivalent Formulations

A lattice L \subset \mathbb{R}^n is unimodular if and only if there exists a basis whose Gram matrix G has integer entries and is invertible over \mathbb{Z}, meaning \det G = 1 and G^{-1} has integer entries.^[6]^[7] This condition follows from the standard property that an integer matrix with determinant 1 has an integer inverse via the adjugate formula.^[8] Equivalently, the covolume of L, which is the volume of the quotient \mathbb{R}^n / L or the fundamental parallelepiped spanned by a basis, equals 1; this is computed as \vol(\mathbb{R}^n / L) = |\det G|^{1/2}.^[9]^[10] For lattices equipped with a quadratic form, unimodularity is characterized by the discriminant of the associated symmetric bilinear form being 1.^[11] Unimodularity is preserved under change of basis: if two bases of L are related by a unimodular matrix U \in \mathrm{GL}_n(\mathbb{Z}) (i.e., U has integer entries and \det U = \pm 1), then the corresponding Gram matrices G and G' = U^\top G U both have determinant 1, since \det G' = (\det U)^2 \det G = \det G.^[12]^[13]

Properties

Self-Duality

A unimodular lattice L satisfies L = L^*, where L^* denotes the dual lattice \{ x \in \mathbb{R}^n \mid \langle x, v \rangle \in \mathbb{Z} \ \forall v \in L \}. For an integral lattice, L \subseteq L^* holds, and the index [L^* : L] equals the absolute value of the determinant of the Gram matrix G of L. The unimodularity condition |\det G| = 1 thus forces [L^* : L] = 1, implying L = L^*.^[1] This equality directly establishes the integrality of L: since every u \in L belongs to L^*, it follows that \langle u, v \rangle \in \mathbb{Z} for all v \in L.^[1] The self-duality induces a natural isomorphism \phi: L \to L^* given by \phi(u)(v) = \langle v, u \rangle. This map is an isometry, as the symmetric bilinear form ensures \langle \phi(u), \phi(v) \rangle = \langle u, v \rangle under the ambient inner product on the dual.^[1] In indefinite signature, such as Lorentzian lattices of signature (p, q) with p - q \equiv 0 \pmod{8} for even cases, self-duality preserves the underlying hyperbolic or Lorentzian structure, enabling applications in reflection groups and modular forms that maintain the lattice's geometric symmetries.^[14]

Arithmetic Invariants

Unimodular lattices exhibit distinct arithmetic properties based on the parity of the squared norms of their vectors. An even unimodular lattice L is characterized by the condition that \|v\|^2 \equiv 0 \pmod{2} for all v \in L, meaning all squared norms are even integers. This evenness imposes strong constraints; in particular, for positive definite even unimodular lattices, the dimension n must be a multiple of 8. In contrast, an odd unimodular lattice contains vectors of odd squared norm, satisfying the existence of at least one v \in L with \|v\|^2 \equiv 1 \pmod{2}. A key arithmetic invariant is the theta series of a unimodular lattice L of dimension n, defined as

\theta_L(z) = \sum_{v \in L} q^{\|v\|^2/2},

where q = e^{2\pi i z}. Due to the self-duality of unimodular lattices, this theta series transforms as a modular form of weight n/2 and level 1 under the action of \mathrm{SL}(2, \mathbb{Z}).^[1] The distribution of isomorphism classes of n-dimensional unimodular lattices is quantified by the Minkowski-Siegel mass formula, which computes the mass as the sum over all such classes L of $1/|\mathrm{Aut}(L)|, equal to the product of the local densities at all places (finite and infinite).^[15]

Examples

Low-Dimensional Cases

In dimension 1, the unique unimodular lattice up to isometry is the odd lattice \mathbb{Z}, generated by a basis vector e satisfying e \cdot e = 1. Its Gram matrix is

\begin{pmatrix} 1 \end{pmatrix}.

No even unimodular lattice exists in this dimension, as even unimodular lattices require the dimension to satisfy specific congruence conditions incompatible with dimension 1. In dimension 2, the hyperbolic plane U provides the even unimodular lattice of indefinite signature (1,1), generated by basis vectors e_1, e_2 with bilinear form given by the Gram matrix

\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}.

This lattice is integral and self-dual, with e_1 \cdot e_1 = 0 = e_2 \cdot e_2 and e_1 \cdot e_2 = 1. The odd unimodular lattice in this dimension is \mathbb{Z}^2, with standard basis vectors of norm 1 and Gram matrix the $2 \times 2 identity. In dimension 3, no even unimodular lattice exists, consistent with the requirement that the dimension must allow a signature difference divisible by 8 for even cases. The unique odd unimodular lattice up to isometry is \mathbb{Z}^3, the 3-dimensional integer lattice generated by the standard orthonormal basis e_1, e_2, e_3 with Gram matrix the $3 \times 3 identity matrix. This lattice, also known in crystallographic contexts as underlying the simple cubic structure, has determinant 1 and odd norms. An example basis consists of vectors along the coordinate axes, each of squared length 1 and mutually orthogonal.

Exceptional Lattices

Exceptional unimodular lattices are those in dimensions eight and higher that exhibit extremal properties, such as optimal sphere packing densities or maximal kissing numbers, making them prominent in geometry and coding theory. The E_8 lattice in dimension 8 is the unique positive definite even unimodular lattice of rank 8. It serves as the root lattice of the E_8 root system, containing 240 roots, which are the vectors of minimal norm 2. This lattice achieves the maximal kissing number of 240 in dimension 8, corresponding to the densest known sphere packing in that space. The Barnes-Wall lattice in dimension 16, denoted \Lambda_{16} or BW16, is an even unimodular lattice with no vectors of norm 2 and kissing number 4320, supporting dense packings relative to other 16-dimensional lattices.^[16] It is constructed recursively using Reed-Muller codes via Construction D, building on lower-dimensional lattices like D_4 and E_8, and forms part of a family of lattices in dimensions $2^m known for their efficiency in multilevel coding schemes. The Leech lattice in dimension 24, denoted \Lambda_{24}, stands out as an even unimodular lattice with no roots (vectors of norm 2), a minimal norm of 4, and the optimal kissing number of 196560, enabling the densest sphere packing known in 24 dimensions. It can be constructed using the miracle octad generator, which leverages the binary Golay code and the Mathieu group M_{24}, or via unimodular codes derived from quadratic residue constructions over quadratic fields. These lattices are often built from root systems, as exemplified by the E_8 lattice itself, or from quadratic residue codes lifted to higher rings, such as the Paley conference matrix approach for the Leech lattice using the ideal generated by 2 and \frac{1 + \sqrt{-23}}{2} in \mathbb{Z}[\frac{1 + \sqrt{-23}}{2}].

Classification

Even Unimodular Lattices

Even unimodular lattices are integral lattices where the quadratic form takes even integer values and the dual lattice coincides with the lattice itself. In the positive definite case, such lattices exist only in dimensions that are multiples of 8. In dimension 8, there is a unique even unimodular lattice up to isomorphism, known as the E_8 lattice. In dimension 24, there are exactly 24 even unimodular lattices up to isomorphism, as classified by Niemeier; 23 of these contain roots (vectors of norm 2), while the Leech lattice is the unique rootless one.^[17] For indefinite even unimodular lattices of signature (p, q) with p, q > 0, existence holds if and only if p \equiv q \pmod{8}. These lattices are classified using genus theory, where the genus is uniquely determined by the signature, and the isomorphism classes within the genus are enumerated via local-global principles for quadratic forms.^[18] An analogue of Witt's theorem applies to even unimodular lattices, stating that isometries between suitable sublattices can be extended to isometries of the entire lattice while preserving the even unimodular structure. This extension property facilitates the study of automorphism groups and constructions in both definite and indefinite settings.^[19]

Odd Unimodular Lattices

Odd unimodular lattices exist in every dimension n \geq 1, both for positive definite and indefinite quadratic forms, in contrast to even unimodular lattices which are restricted in their signatures and dimensions. The standard example is the integer lattice \mathbb{Z}^n, which is positive definite, odd, and unimodular with all standard basis vectors having norm 1.^[20] In low dimensions, the classification of positive definite odd unimodular lattices reveals a unique isomorphism class in each dimension from 1 to 9, represented by \mathbb{Z}^n. The number of classes then begins to increase: 2 in dimensions 10 and 11, 2 in dimension 12, and continues to grow rapidly thereafter.^[20]^[21] For indefinite forms, hyperbolic odd unimodular lattices arise in Lorentzian spaces of signature (n-1, 1), exemplified by the lattice \mathbb{Z}^{n,1} with basis vectors e_0, e_1, \dots, e_n where \langle e_0, e_0 \rangle = -1, \langle e_i, e_i \rangle = 1 for i \geq 1, and all other inner products zero; this lattice contains light-like vectors such as e_0 + e_1 with norm 0 and is generated over the integers by its basis including such null directions. The number of isomorphism classes of positive definite odd unimodular lattices grows rapidly with dimension and is computed using the mass formula, which sums the reciprocals of the orders of their automorphism groups; for instance, there is 1 class in dimensions up to 9, 2 in dimension 10, escalating to thousands by dimension 26. Unlike even unimodular lattices, which remain unique in dimensions 8 and 16 before diversifying, odd lattices lack such modular invariance and exhibit no uniqueness beyond dimension 9.^[20]^[15]

Applications

In Quadratic Forms

Unimodular lattices are in one-to-one correspondence with integral quadratic forms of discriminant 1, where the discriminant is the determinant of the Gram matrix associated to the form. Such forms are classified up to equivalence by the lattice structure, with the equivalence relation determined by the integer matrix transformations preserving the form. This correspondence arises because an integral lattice defines a symmetric bilinear form on the integer span of its basis, and unimodularity ensures the dual lattice coincides with the original, yielding discriminant ±1.^[22] The representation numbers of integers by unimodular lattices, which count the number of vectors of a given norm m, are encoded in the coefficients of the lattice's theta series. For an even unimodular lattice, these coefficients are positive for all sufficiently large even integers m, reflecting the lattice's ability to represent those values as norms. A prominent example is the Leech lattice in dimension 24, whose theta series has positive coefficients for all even exponents starting from 4, meaning it represents every even positive integer greater than or equal to 4.^[23]^[24] The local-global principle for unimodular quadratic forms follows from the Hasse-Minkowski theorem, which states that a quadratic form over the rationals represents zero (or more generally, is isotropic) if and only if it does so over the reals and all p-adic fields. For unimodular forms with discriminant 1, the local conditions simplify due to the triviality of the discriminant group, ensuring that global solubility of representation problems reduces to verifying local representations at each prime. This principle facilitates the classification and study of such forms by embedding local data into global lattice structures.^[25]^[26] Unimodular genera, which are equivalence classes of lattices under local isometries, have class numbers—the number of distinct global classes in the genus—computable via the theta series through Siegel's mass formula or modular form techniques. The theta series of a unimodular lattice transforms as a modular form, allowing the class number to be determined by integrating over the fundamental domain or using valence formulas, which count the zeros and poles of the series. This connection provides a powerful analytic tool for enumerating isomorphism classes within unimodular genera.^[27]^[28]

In Geometry and Coding Theory

Unimodular lattices play a central role in sphere packing problems, where they provide optimal or near-optimal configurations for packing equal spheres in Euclidean space. In dimension 8, the E_8 lattice achieves the densest known sphere packing, with packing density \pi^4 / 384, and this packing is proven optimal, meaning no denser packing exists in \mathbb{R}^8.^[29] Similarly, in dimension 24, the Leech lattice yields the densest sphere packing, with packing density \pi^{12} / 12!, and it too is optimal, establishing an upper bound on packing densities in that dimension; these results were proven by Viazovska in 2016 for dimension 8 and by Cohn, Kumar, Miller, Radchenko, and Viazovska in 2017 for dimension 24.^[30] These results highlight how unimodular lattices, particularly even ones, enable highly efficient packings due to their self-duality and integer structure, which facilitate tight arrangements without overlaps. The geometry of unimodular lattices is further illuminated by their Voronoi cells and associated Delaunay triangulations. The Voronoi cell of the origin in a unimodular lattice consists of all points closer to the origin than to any other lattice point, and its facets are precisely the perpendicular bisectors to the minimal vectors of the lattice. Since the lattice has determinant 1, the Voronoi cell has volume 1, and its combinatorial structure is determined by the set of minimal vectors. The dual Delaunay triangulation decomposes space into simplices formed by lattice points whose Voronoi cells share a common vertex; for unimodular lattices, these triangulations exhibit regular facets corresponding to the minimal vectors, providing a tessellation that reflects the lattice's symmetry and packing efficiency. A key geometric property of unimodular lattices is bounded by results from the geometry of numbers. Every n-dimensional unimodular lattice has a shortest nonzero vector of length at most \sqrt{2 \lfloor n/24 \rfloor + 2}, except in dimension 23 where the bound increases by 1; this upper bound on the minimal norm arises from analytic methods involving modular forms and the mass formula for lattices. Such bounds ensure the existence of sufficiently short vectors, which is crucial for applications in packing and covering problems. In coding theory, unimodular lattices serve as linear codes over the integers \mathbb{Z}, enabling constructions of error-correcting codes with strong performance guarantees. The Leech lattice, for instance, can be obtained by lifting the extended binary Golay code of length 24, yielding one of the best-known binary linear codes in that length with minimum distance 8 and dimension 12. This connection allows unimodular lattices to underpin lattice-based codes that achieve high coding gain and low error rates, particularly in high-dimensional settings where self-duality ensures balanced encoding and decoding properties.

References

[1]
[PDF] Lattices - Andries E. Brouwer
Jan 17, 2002 · A lattice is called self-dual or unimodular when Λ = Λ∗, i.e., when it is integral with discriminant 1. An even unimodular lattice is called ...
[2]
[PDF] The Shadow Theory of Modular and Unimodular Lattices - Neil Sloane
The study of unimodular lattices (i.e., integral lattices of determinant 1) is an important chapter in the classical theory of quadratic forms. Another way ...
[3]
http://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES/
[4]
[PDF] An Optimal Odd Unimodular Lattice in Dimension 72 - arXiv
Sep 28, 2011 · the dual lattice L∗ of L is defined as {x ∈ Rn | (x, y) ∈ Z for all y ∈ L} under the standard inner product (x, y). A unimodular lattice ...Missing: "Conway | Show results with:"Conway
[5]
Given a positive-definite integral unimodular Gram matrix, how to ...
Sep 8, 2014 · I am interested in having an algorithm to find a rational basis of a lattice L such that G is the Gram matrix of L. Concretely, this consists in ...Positive-definite lattice with O(n,n) Gram matrix generated by ...Relation between different $E_8$ matrices - MathOverflowMore results from mathoverflow.net
[6]
[PDF] Automorphisms of even unimodular lattices and unramified Salem ...
Jan 1, 2002 · Let IIp,q denote the even, indefinite, unimodular lattice with signature (p, q). As is well-known, such a lattice exists iff p ≡ q mod8, ...
[7]
[PDF] POW 2022-20 4 by 4 symmetric integral matrices
Nov 29, 2022 · ... Gram matrix of a basis is of determinant 1, Λ is called unimodular. Conclude that one can correpond a matrix from S to an unimodular lattice in.
[8]
[PDF] Theta functions and weighted theta functions of Euclidean lattices ...
Mar 1, 2009 · 0 1 of determinant 1. These generate a subgroup hS, T2i of the full modular group. Γ := SL2(Z)/{±1} = PSL2(Z). Because T2 is congruent mod 2 ...<|control11|><|separator|>
[9]
[PDF] 1: Introduction to Lattices - UCSD CSE
Lattices are regular arrangements of points in Euclidean space. The simplest example of lattice in n-dimensional space is Zn, the set of all n-dimensional ...
[10]
[PDF] 2 Linearity of expectation - DSpace@MIT
A lattice is unimodular if the covolume (volume of the fundamental domain) is 1, which means the matrix has determinant ±1. Let's consider matrices A such ...<|separator|>
[11]
[PDF] Optimality and uniqueness of the Leech lattice among lattices
Nov 3, 2009 · as usual so that the lattice is unimodular. Let ƒ be a lattice of covolume 1 that is at least as dense as E8. As in the case of the Leech ...
[12]
[PDF] Math 272y: Rational Lattices and their Theta Functions
Sep 4, 2019 · In general a quadratic form of discriminant ±1 is said to be “unimodular”. ... SPLAG will be our main source; we shall also refer often to Serre's ...
[13]
[PDF] Lattices and Hermite normal form - EPFL
Thus, the basis of a lattice is not unique. However, all the bases of a given lattice are equivalent mod- ulo “unimodular transformations”. Recall that an ...Missing: change | Show results with:change
[14]
Unimodular embeddings - ScienceDirect.com
In 1994 Morris Newman showed that a unimodular quadratic form on a lattice over a principal ideal domain can be represented by a triple-diagonal matrix of a ...
[15]
[PDF] Reflection groups of Lorentzian lattices. - UC Berkeley math
Sep 21, 1999 · Theorem 4.2 is very useful in practice for finding Lorentzian lattices with interesting reflection groups, because we just find lattices ...
[16]
Almost impossible E₈ and Leech lattices | EMS Magazine
The E8 and Leech lattice provide optimal sphere packings in their respective dimensions [⁠23⁠, ⁠5⁠]. Also both lattices are universally optimal, which means ...
[17]
On Witt's theorem for unimodular quadratic forms - MSP
Witt's theorem concerns the extension of such an isometry to an isometry of L (onto L). The set of isometries of L form the orthogonal group O(L, Z) of L.
[18]
[PDF] Unimodular Hunting - Gaetan Chenevier
We use the Plesken-Souvignier algorithm. [PS97], which efficiently computes |O(L)| from a given Gram matrix of L with small diagonal. This algorithm turned out ...
[19]
[PDF] A mass formula for unimodular lattices with no roots - arXiv
Oct 17, 2001 · The determinant of Λ is defined to be det(A), and Λ is called unimodular if its determinant is 1. ... dimensional lattice with Gram matrix B. We ...
[20]
[PDF] On the Classification of Integral Quadratic Forms
This chapter discusses the classification of integral quadratic forms, focusing on explicit calculations, rational invariants, and improved notation for the ...
[21]
[PDF] Theta Series of Unimodular Lattices, Combinatorial Identities ... - arXiv
The well-known example of Leech lattice is directly related to important simple finite groups, the Conway groups (cf. [C]). The moonshine representation of the ...
[22]
[PDF] The Leech lattice and other lattices - Berkeley Math
In this thesis we use the Leech lattice Λ and the 26 dimensional even unimodular lattice II25,1 to study other lattices, mainly unimodular ones of about 25 ...
[23]
[PDF] The Hasse–Minkowski Theorem Lee Dicker University of Minnesota ...
The Hasse-Minkowski Theorem provides a characterization of the rational quadratic forms. What follows is a proof of the Hasse-Minkowski Theorem paraphrased ...Missing: unimodular | Show results with:unimodular
[24]
[PDF] Hasse-Minkowski Theorem - CSUN
(Hasse-Minkowski) Let K be a number field and let q be a quadratic form in n variables with coefficients in K. Then q represents 0 in K if and only if it ...Missing: unimodular | Show results with:unimodular
[25]
[PDF] Theta Series as Modular Forms - Zachary Abel
In this paper we introduce the notion of the theta series ΘL of a lattice L, a useful and powerful tool in Lattice theory, especially in the case when the ...
[26]
[PDF] Notes on theta series
Nov 2, 2015 · The C-vector space for weight k modular forms for Γ is denoted Mk(Γ). A modular form vanishing at all cusps is called a cusp form.