Orders of the automorphism groups of the classical lattices

edit · history · discussion · files · long url · groups discrete geometry number theory

Numbers

family

$n$

$|\operatorname{Aut}(L)|$

$\mathbb{Z}^n$

comment: The square lattice.

$\mathbb{Z}^n$

384

$\mathbb{Z}^n$

3840

$\mathbb{Z}^n$

46080

$\mathbb{Z}^n$

645120

$\mathbb{Z}^n$

10321920

$\mathbb{Z}^n$

185794560

$\mathbb{Z}^n$

10:

3715891200

$\mathbb{Z}^n$

11:

81749606400

$\mathbb{Z}^n$

12:

1961990553600

$\mathbb{Z}^n$

13:

51011754393600

$\mathbb{Z}^n$

14:

1428329123020800

$\mathbb{Z}^n$

15:

42849873690624000

$\mathbb{Z}^n$

16:

1371195958099968000

$\mathbb{Z}^n$

17:

46620662575398912000

$\mathbb{Z}^n$

18:

1678343852714360832000

$\mathbb{Z}^n$

19:

63777066403145711616000

$\mathbb{Z}^n$

20:

2551082656125828464640000

$\mathbb{Z}^n$

21:

107145471557284795514880000

$\mathbb{Z}^n$

22:

4714400748520531002654720000

$\mathbb{Z}^n$

23:

216862434431944426122117120000

$\mathbb{Z}^n$

24:

10409396852733332453861621760000

$A_n$

comment: The hexagonal lattice.

$A_n$

comment: The face-centred cubic lattice.

$A_n$

240

$A_n$

1440

$A_n$

10080

$A_n$

80640

$A_n$

725760

$A_n$

7257600

$A_n$

10:

79833600

$A_n$

11:

958003200

$A_n$

12:

12454041600

$A_n$

13:

174356582400

$A_n$

14:

2615348736000

$A_n$

15:

41845579776000

$A_n$

16:

711374856192000

$A_n$

17:

12804747411456000

$A_n$

18:

243290200817664000

$A_n$

19:

4865804016353280000

$A_n$

20:

102181884343418880000

$A_n$

21:

2248001455555215360000

$A_n$

22:

51704033477769953280000

$A_n$

23:

1240896803466478878720000

$A_n$

24:

31022420086661971968000000

$A_n^{*}$

comment: The body-centred cubic lattice.

$A_n^{*}$

240

$A_n^{*}$

1440

$A_n^{*}$

10080

$A_n^{*}$

80640

$A_n^{*}$

725760

$A_n^{*}$

7257600

$A_n^{*}$

10:

79833600

$A_n^{*}$

11:

958003200

$A_n^{*}$

12:

12454041600

$A_n^{*}$

13:

174356582400

$A_n^{*}$

14:

2615348736000

$A_n^{*}$

15:

41845579776000

$A_n^{*}$

16:

711374856192000

$A_n^{*}$

17:

12804747411456000

$A_n^{*}$

18:

243290200817664000

$A_n^{*}$

19:

4865804016353280000

$A_n^{*}$

20:

102181884343418880000

$A_n^{*}$

21:

2248001455555215360000

$A_n^{*}$

22:

51704033477769953280000

$A_n^{*}$

23:

1240896803466478878720000

$A_n^{*}$

24:

31022420086661971968000000

$D_n$

1152

comment: Triality contributes the factor $6$ over the Weyl group of type $D_4$.

$D_n$

3840

$D_n$

46080

$D_n$

645120

$D_n$

10321920

$D_n$

185794560

$D_n$

10:

3715891200

$D_n$

11:

81749606400

$D_n$

12:

1961990553600

$D_n$

13:

51011754393600

$D_n$

14:

1428329123020800

$D_n$

15:

42849873690624000

$D_n$

16:

1371195958099968000

$D_n$

17:

46620662575398912000

$D_n$

18:

1678343852714360832000

$D_n$

19:

63777066403145711616000

$D_n$

20:

2551082656125828464640000

$D_n$

21:

107145471557284795514880000

$D_n$

22:

4714400748520531002654720000

$D_n$

23:

216862434431944426122117120000

$D_n$

24:

10409396852733332453861621760000

$D_n^{*}$

3840

$D_n^{*}$

46080

$D_n^{*}$

645120

$D_n^{*}$

10321920

$D_n^{*}$

185794560

$D_n^{*}$

10:

3715891200

$D_n^{*}$

11:

81749606400

$D_n^{*}$

12:

1961990553600

$D_n^{*}$

13:

51011754393600

$D_n^{*}$

14:

1428329123020800

$D_n^{*}$

15:

42849873690624000

$D_n^{*}$

16:

1371195958099968000

$D_n^{*}$

17:

46620662575398912000

$D_n^{*}$

18:

1678343852714360832000

$D_n^{*}$

19:

63777066403145711616000

$D_n^{*}$

20:

2551082656125828464640000

$D_n^{*}$

21:

107145471557284795514880000

$D_n^{*}$

22:

4714400748520531002654720000

$D_n^{*}$

23:

216862434431944426122117120000

$D_n^{*}$

24:

10409396852733332453861621760000

$E_n$

103680

comment: The full group has twice the order of the Weyl group of type $E_6$.

$E_n$

2903040

$E_n$

696729600

$E_n^{*}$

103680

$E_n^{*}$

2903040

$\Lambda_n$

10321920

$\Lambda_n$

10:

884736

$\Lambda_n$

11:

3538944

comment: The catalogue lattice $\Lambda_{11}^{\mathrm{max}}$.

$\Lambda_n$

12:

254803968

comment: The catalogue lattice $\Lambda_{12}^{\mathrm{max}}$.

$\Lambda_n$

13:

4718592

comment: The catalogue lattice $\Lambda_{13}^{\mathrm{max}}$.

$\Lambda_n$

14:

884736

$\Lambda_n$

15:

41287680

$\Lambda_n$

16:

89181388800

comment: The Barnes-Wall lattice.

$\Lambda_n$

17:

1486356480

$\Lambda_n$

18:

159252480

$\Lambda_n$

19:

23592960

$\Lambda_n$

20:

283115520

$\Lambda_n$

21:

495452160

$\Lambda_n$

22:

110361968640

$\Lambda_n$

23:

84610842624000

comment: The order is twice that of $\mathrm{Co}_2$.

$\Lambda_n$

24:

8315553613086720000

comment: The Leech lattice; its full group is $\mathrm{Co}_0$, of twice the order of $\mathrm{Co}_1$.

$K_n$

12:

78382080

comment: The Coxeter-Todd lattice as a real lattice. Its complex-linear isometry group has index $2$, [1].

Definition

For a Euclidean lattice $L$ of dimension $n$ with Gram matrix $G$, the order $|\operatorname{Aut}(L)|$ of its full linear isometry group is $\#\{U\in\operatorname{GL}_n(\mathbb{Z}):U^{\mathsf T}GU=G\}$.

Parameters

family

— family of the lattice

$n$

— dimension ($n\geq 1$ for $\mathbb{Z}^n$ and $A_n$; $n\geq 4$ for $D_n$; $n\in\{6,7,8\}$ for $E_n$; $n\geq 3$ for $A_n^{*}$; $n\geq 5$ for $D_n^{*}$; $n\in\{6,7\}$ for $E_n^{*}$; $n\geq 9$ for $\Lambda_n$; $n=12$ for $K_n$)

Formulas

(1)

$|\operatorname{Aut}(\mathbb{Z}^n)|=2^n n!$ for $n\geq1$. The isometries are signed coordinate permutations.

(2)

$|\operatorname{Aut}(A_1)|=2$ and $|\operatorname{Aut}(A_n)|=2(n+1)!$ for $n\geq2$.

(3)

$|\operatorname{Aut}(D_4)|=1152$ and $|\operatorname{Aut}(D_n)|=2^n n!$ for $n\geq5$.

(4)

$|\operatorname{Aut}(E_6)|=103680$, $|\operatorname{Aut}(E_7)|=2903040$ and $|\operatorname{Aut}(E_8)|=696729600$.

(5)

$\operatorname{Aut}(L)=\operatorname{Aut}(L^{*})$ as groups of orthogonal maps on the ambient Euclidean space, and $\operatorname{Aut}(cL)=\operatorname{Aut}(L)$ for $c>0$. In dual bases the integral matrix correspondence is $U\mapsto U^{-\mathsf T}$.

(6)

$|\operatorname{Aut}(\Lambda_{23})|=2|\mathrm{Co}_2|$ and $|\operatorname{Aut}(\Lambda_{24})|=2|\mathrm{Co}_1|$, where $\mathrm{Co}_2$ and $\mathrm{Co}_1$ are Conway sporadic simple groups.

(7)

$|\operatorname{Aut}(K_{12})|=2^{10}3^7\cdot5\cdot7=78382080$, [1].

(8)

The Poincaré polynomial $P_W(t)=\sum_{w\in W}t^{\ell(w)}$ of a Weyl group $W$, where $\ell$ is Coxeter length, satisfies $P_W(1)=|W|$. For the root lattices in this table, multiplication by the order of the Dynkin-diagram symmetry group gives the full root-lattice order.

Comments

(9)

The group fixes the origin. No determinant restriction is imposed. It includes central inversion $-I_n$; translations are excluded. For a root lattice it contains the Weyl group and the symmetries of the Dynkin diagram. In particular, the full orders for $D_4$ and $E_6$ include factors $6$ and $2$, respectively, beyond their Weyl-group orders.

(10)

The root lattices have minimal squared length $2$, and $\mathbb{Z}^n$ has minimal squared length $1$. A star denotes the Euclidean dual. The catalogue matrices of $\Lambda_n$ and $K_{12}$ have minimal squared length $4$. In dimensions $11$, $12$ and $13$, $\Lambda_n$ denotes the catalogue variant $\Lambda_n^{\mathrm{max}}$, using the pages LAMBDA11, LAMBDA12 and LAMBDA13 [3]. These are the same matrices as in the classical-lattice packing table.

(11)

The names follow the classical-lattice packing table: $D_3$ is listed as $A_3$; the laminated lattices in dimensions $1$ through $8$ occur under their cubic or root-lattice names; $A_1^{*}$, $A_2^{*}$ and $D_4^{*}$ are omitted because they are similar to lattices already listed; and $E_8^{*}=E_8$. The order is unchanged by scaling or duality, so a dual lattice and its root lattice have equal entries.

(12)

$\Lambda_{16}$ is the Barnes-Wall lattice [5], $\Lambda_{24}$ is the Leech lattice, and $K_{12}$ is the real Coxeter-Todd lattice [1]. The complex-linear isometry group of the Coxeter-Todd lattice has order $39191040$; allowing complex conjugation doubles this to the real-lattice order. The final factor $8$ printed in the real-group order on page $429$ of [1] is inconsistent with that doubling and with equation (16); the factor is $7$.

Programs

(P1)

PARI/GP

/* G is a positive-definite integral Gram matrix, e.g. A2. */
G = [2,-1; -1,2];
qfauto(G)[1] /* 12 */

References

[1]

J. H. Conway and N. J. A. Sloane, The Coxeter-Todd lattice, the Mitchell group, and related sphere packings, Mathematical Proceedings of the Cambridge Philosophical Society 93 (1983), 421–440. (doi)

[2]

W. Plesken and B. Souvignier, Computing isometries of lattices, Journal of Symbolic Computation 24 (1997), 327–334. (doi)

Links

[3]

G. Nebe and N. J. A. Sloane, A Catalogue of Lattices

[4]

PARI/GP reference: qfauto, lattice automorphism groups

[5]

OEIS A014116: orders of automorphism groups of Barnes-Wall lattices

Similar tables

Packing_densities_and_Hermite_numbers_of_the_classical_lattices — packing invariants of the same lattice families and catalogue matrices

Covering_radii_and_covering_densities_of_the_classical_lattices — covering invariants of the same classical lattices

Values_of_the_Epstein_zeta_function_of_the_classical_lattices — Epstein zeta values for the same lattice normalisations

Poincaré_polynomials_of_the_finite_Coxeter_groups — evaluation at 1 gives Weyl-group orders, which differ from some full lattice-group orders

Orders_of_sporadic_finite_simple_groups — contains the Conway-group orders related to the laminated lattices in dimensions 23 and 24

Data properties

Entries are of type: integer

How well the digits are known: exact

Table is complete: no (it holds all 133 lattices of the classical-lattice packing table through dimension $24$, including every listed dimension of each family; dimension $24$ includes the Leech lattice and provides a common endpoint for comparison with the packing table)

How they were obtained:

Every value is an exact integer. The cubic and root-lattice orders are computed by integer products, with the diagram-symmetry factors included; duals use the same orders. The laminated and Coxeter-Todd orders are computed from their integral catalogue Gram matrices by PARI qfauto [4], implementing the Plesken-Souvignier algorithm [2]. The attached generator checks that each returned matrix has determinant $\pm1$ and preserves the Gram matrix.

Independent Gram-matrix computations verify all 116 cubic, root and dual entries, with known controls of orders $8$ and $12$ for the square and hexagonal lattices. Contragredient matrices preserve the inverse Gram forms for all 44 listed duals. All 17 catalogue matrices agree entry by entry with the published catalogue and with the attachment of the classical-lattice packing table. The 26 applicable stored Coxeter Poincaré polynomials evaluated at $1$ agree with the root and cubic orders after the diagram-symmetry factors. Further checks compare the exceptional root orders and the Leech order with the catalogue, the Barnes-Wall order with OEIS A014116, the real Coxeter-Todd order with the index-two relation on page $429$ of [1], and the dimension-$23$ and dimension-$24$ orders with twice the stored orders of $\mathrm{Co}_2$ and $\mathrm{Co}_1$. The Coxeter-Todd source has a printed final factor $8$ where its index-two argument and independent Gram computation give $7$.