24 in nLab

Contents

Contents

Idea

24 is the natural number that follows 23 and precedes 25. It occurs in modern systems of measurement for historical reasons, thanks ultimately to its having many prime factors

24=2⋅2⋅2⋅3 24 \,=\, 2 \cdot 2 \cdot 2 \cdot 3

and it arises in many circumstances in mathematics and physics, the relations between which are not always immediately apparent.

Examples

Modular arithmetic

Fix a natural number nn, and consider those numbers xx whose squares are congruent to 1 modulo nn:

x 2≡1(modn). x^2 \equiv 1 (\mod n) \, .

A necessary condition for satisfying this is for xx and nn to be coprime. For some choices of nn, this condition is sufficient, i.e., every xx coprime to nn satisfies this congruence. In fact, this congruence is equivalent to gcd(x,n)=1gcd(x,n) = 1 if and only if nn divides 24.

Cannonball problem

The cannonball problem asks what size square pyramids can be made by stacking spheres such that the total number of spheres is a square number. Apart from the trivial solutions involving 0 spheres or 1 sphere, the only solution is a pyramid 24 layers tall:

0 2+1 2+2 2+⋯+24 2=70 2. 0^2 + 1^2 + 2^2 + \cdots + 24^2 = 70^2 \, .

Leech lattice

The Leech lattice is a “universally optimal” packing of hyperspheres in ℝ 24\mathbb{R}^{24} originally discovered in coding theory. Surprisingly, it is closely related to the cannonball problem, since it can be constructed from a Lorentzian lattice in two higher dimensions by a method that uses the fact that

v=(0,1,2,…,24,70) v = (0, 1, 2, \ldots, 24, 70)

has zero norm under that metric.

Mathieu groups

The largest Mathieu group, M 24M_{24}, is the automorphism group of a Steiner system containing 24 blocks. M 24M_{24} is also the automorphism group of the binary Golay code, an abelian group which is a 12-dimensional subspace of the vector space 𝔽 2 24\mathbb{F}_2^{24}.

The binary Golay code can be used to construct the Leech lattice. Essentially, each codeword defines a point in 24-dimensional space, and we can fill in and build out this set. In more detail: Let cc be a Golay codeword, scale it by a factor 2, and add either 4x4x, where xx is a vector in ℤ 24\mathbb{Z}^{24} whose components sum to an even number, or 1+4y1 + 4y where y∈ℤ 24y \in \mathbb{Z}^{24} and its components sum to an odd number.

24-cell and the binary tetrahedral group

The 24-cell is a four-dimensional regular polytope with 24 vertices. Interpreting these vertices as quaternions, they form a group under quaternion multiplication, and this group is isomorphic to the binary tetrahedral group.

Third stable homotopy group of spheres

The third stable homotopy group of spheres is the cyclic group of order 24.

String theory

Critical Bosonic string theory requires 26 spacetime dimensions of target spacetime (for vanishing dilaton, at least), which can be broken down into 2 dimensions for the string worldsheet itself and 24 transversal directions for its oscillations.

This is also related to the conventional choice of normalization for the central charge of the Virasoro algebra:

[L m,L n]=(m−n)L m+n+c12(m 3−m)δ m+n,0. [L_m, L_n] = (m - n) L_{m+n} + \frac{c}{12}(m^3 - m) \delta_{m+n,0} \, .

Several classes of string theory vacua require the presence of exactly 24 branes of codimension 4 transverse to a K3-surface-fiber.

Appearances of 24 and its factors, particularly 8 and 12, are a meta-pattern in mathematics; another such meta-pattern is ADE classification. Sometimes these meta-patterns overlap.

For example, tessellating ℝ 4\mathbb{R}^4 with regular 24-cells creates the 24-cell honeycomb, in which the centers of the 24-cells are the points of the D 4D_4 lattice. Meanwhile, the binary tetrahedral group corresponds to the E 6E_6 Dynkin diagram (see McKay correspondence).

Families of two-dimensional conformal field theories, in which the Virasoro algebra plays a key role, are among the examples falling into an ADE classification.

• Bernoulli number

• moduli space of curves

• Dwyer-Wilkerson H-space, which would be the automorphism group of a normed division algebra if one could exist in 24 dimensions

• Dedekind eta function

References

Blog discussion:

• More Mysteries of the Number 24 at the nn-Category Café

• The Binary Octahedral Group at the nn-Category Café

• John Baez on the Number 24

Discussion in relation to the Leech lattice:

• N. J. Sloane, A note on the Leech lattice as a code for the Gaussian channel. Information and Control, 46& 3 (1980). 270–272 (pdf)

• Terry Gannon, section 2.5.1 of: Moonshine Beyond the Monster, Cambridge University Press, 2006 (doi:10.1017/CBO9780511535116)

• H. Cohn, A. Kumar, S. D. Miller, D. Radchenko and M. Viazovska, Universal optimality of the E 8E_8 and Leech lattices and interpolation formulas, (arXiv:1902.05438).

Discussion in relation to the J-homomorphism:

• Bernoulli Numbers and the J-homomorphism at the nn-Category Café

For an introduction to the third stable homotopy group of spheres, see “Week 102” in

• J. Baez, This Week’s Finds in Mathematical Physics: Weeks 101 to 150, (arXiv:2303.02785).