Bhargava Cubes: Theory, Invariants, and Composition

• Bhargava cubes are 2×2×2 arrays of integers that connect classical Gauss composition with modern arithmetic invariant theory.
• Their relative invariants, including the Cayley hyperdeterminant, classify orbits and encapsulate key arithmetic data like discriminants.
• The group actions on these cubes illuminate the structure of Shintani zeta functions and Weyl group multiple Dirichlet series.

A Bhargava cube is a central object in the arithmetic invariant theory of prehomogeneous vector spaces, specifically the space of $2 \times 2 \times 2$ cubes of integers or elements over a field. Bhargava’s construction connects classical Gauss composition of binary quadratic forms, the structure of orbits under natural group actions, the theory of Shintani zeta functions, and the arithmetic of Weyl group multiple Dirichlet series, notably type $A_3$. The cube formalism extends and unifies earlier arithmetic constructions, providing new moduli interpretations and illuminating the geometry and representation theory underpinning higher composition laws (Wen, 2013, Devalapurkar, 2024, Gan et al., 2013).

1. The Space of Bhargava Cubes and Group Actions

Let $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$ be the 8-dimensional space of $2 \times 2 \times 2$ "cubes" with rational entries. An element $A \in V$ has coordinates corresponding to the vertices of a physical $2 \times 2 \times 2$ cube. This space receives a natural group action: $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$, where $B_2(\mathbb{Q})$ is the lower-triangular Borel and $\mathrm{GL}_2(\mathbb{Q})$ acts on the different "faces" of the cube (Wen, 2013).

On the integral lattice $V(\mathbb{Z})$, the corresponding group is $A_3$0. The action on cubes can also be realized as an action on three pairs of $A_3$1 matrices extracted by slicing the cube in each dimension.

In the representation-theoretic context, Bhargava cubes arise as the quotient $A_3$2 for the maximal parabolic $A_3$3 in the split, simply connected Chevalley group of type $A_3$4, so $A_3$5 (with $A_3$6 the standard two-dimensional representation of $A_3$7) (Gan et al., 2013, Devalapurkar, 2024).

2. Relative Invariants, Slices, and the Cayley Hyperdeterminant

Bhargava identified three fundamental relative invariants for the group action on cubes:

• $A_3$8,
• $A_3$9,
• $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$0, a degree–2 polynomial in the cube entries given by $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$1 for an appropriately labeled cube (Wen, 2013).

Each $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$2 is a $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$3 matrix determined by slicing the cube in a coordinate direction. These invariants are algebraically independent and generate the ring of $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$4-relative invariants.

The discriminant $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$5 coincides (up to scaling) with the Cayley hyperdeterminant of the cube. The Cayley hyperdeterminant is a quartic form in the eight entries and serves as the shared discriminant of the three quadratic forms obtained from the cube slices:

$$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$6

All $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$7 have discriminant equal to $$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$8 (or equivalently Det$$V = \mathbb{Q}^2 \otimes \mathbb{Q}^2 \otimes \mathbb{Q}^2$$9 in the invariant-theoretic language) (Devalapurkar, 2024).

3. Classification of Orbits and Arithmetic Correspondence

Two integral cubes $2 \times 2 \times 2$0 are in the same $2 \times 2 \times 2$1-orbit if and only if they share the same values of $2 \times 2 \times 2$2, up to certain congruence conditions (e.g., $2 \times 2 \times 2$3 "middle coefficients" $2 \times 2 \times 2$4 or $2 \times 2 \times 2$5) (Wen, 2013).

In the setting of orbits with nonvanishing invariants (the "semi-stable" locus $2 \times 2 \times 2$6), there is a bijection:

$2 \times 2 \times 2$7

Thus, the orbits of integer cubes can be classified purely in terms of the values of the three invariants.

A deep arithmetic feature is the correspondence between semi-stable orbits and pairs of oriented ideals in a quadratic ring $2 \times 2 \times 2$8 of discriminant $2 \times 2 \times 2$9 (Wen, 2013). Explicitly, each cube $A \in V$0 determines a pair $A \in V$1 where $A \in V$2 are ideals associated to slices of the cube, and the map is finite and surjective onto the moduli space of such pairs.

4. Shintani Zeta Functions and the $A \in V$3 Weyl Group Multiple Dirichlet Series

The Shintani zeta function attached to the prehomogeneous space $A \in V$4 is defined:

$A \in V$5

By summing over the invariants $A \in V$6, and interpreting the counting function $A \in V$7 (number of cubes with given invariants), one arrives at a functional equation and structure closely matching the quadratic $A \in V$8 multiple Dirichlet series (Wen, 2013).

For odd discriminants, a precise comparison yields:

$A \in V$9

where $2 \times 2 \times 2$0 is the quadratic $2 \times 2 \times 2$1-multiple Dirichlet series. The local factors of these series are realized as rational functions invariant under the Weyl group $2 \times 2 \times 2$2, aligning with the Chinta–Gunnells construction.

This identification interprets the Shintani zeta function as the quadratic metaplectic Whittaker series of type $2 \times 2 \times 2$3 and demonstrates that the combinatorics of integer cubes encode deep properties of automorphic $2 \times 2 \times 2$4-functions.

5. Geometric Realization: Weyl Group, Derived Satake, and Hyperdeterminant

Bhargava cubes are tightly connected to advanced geometric representation theory. The vector space $2 \times 2 \times 2$5 equipped with its $2 \times 2 \times 2$6-action forms the setting for the moment map:

$2 \times 2 \times 2$7

where the moment map outputs the three binary quadratic forms attached to the slices of the cube (Devalapurkar, 2024). Bhargava’s composition law emerges as the categorical pullback along $2 \times 2 \times 2$8 in the derived geometric Satake correspondence for the quotient $2 \times 2 \times 2$9.

The Cayley hyperdeterminant ($$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$0) serves as the common discriminant of the three forms, and the invariant theory of $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$1 under $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$2 is generated by this quartic polynomial. Orbits are classified by the value of the discriminant, with a unique open orbit ($$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$3).

Explicitly, Bhargava’s bijection shows that the map

$$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$4

is bijective at the level of orbits, and the third quadratic form produced by slicing is (up to sign) the Gauss-composed form of the first two.

6. Twisted Bhargava Cubes and Generalizations

The "twisted Bhargava cube" construction arises when considering forms over general fields and as orbits under quasi-split forms of $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$5. For a field $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$6 of $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$7 and an étale cubic $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$8-algebra $$G(\mathbb{Q}) = B_2(\mathbb{Q}) \times B_2(\mathbb{Q}) \times \mathrm{GL}_2(\mathbb{Q})$$9, the space $B_2(\mathbb{Q})$0 carries an action of $B_2(\mathbb{Q})$1, with three "legs" permuted via $B_2(\mathbb{Q})$2 triality (Gan et al., 2013).

The quartic invariant generalizes to a form $B_2(\mathbb{Q})$3, quasi-invariant under $B_2(\mathbb{Q})$4. For generic orbits ($B_2(\mathbb{Q})$5), there is a natural bijection with

• isomorphism classes of $B_2(\mathbb{Q})$6-twisted composition algebras of $B_2(\mathbb{Q})$7-dimension $B_2(\mathbb{Q})$8,
• isomorphism classes of pairs $B_2(\mathbb{Q})$9 with $\mathrm{GL}_2(\mathbb{Q})$0 a 9-dimensional Freudenthal–Jordan $\mathrm{GL}_2(\mathbb{Q})$1-algebra and $\mathrm{GL}_2(\mathbb{Q})$2 an $\mathrm{GL}_2(\mathbb{Q})$3-algebra embedding.

The classification of orbits reflects new phenomena not present in the split case, such as the appearance of twisted composition laws and associated moduli spaces involving cubic and quadratic structures.

7. Moduli Interpretations and Arithmetic Applications

Every semi-stable orbit of an integral cube $\mathrm{GL}_2(\mathbb{Q})$4 canonically determines a pair $\mathrm{GL}_2(\mathbb{Q})$5, where $\mathrm{GL}_2(\mathbb{Q})$6 is an oriented quadratic ring of discriminant $\mathrm{GL}_2(\mathbb{Q})$7, and $\mathrm{GL}_2(\mathbb{Q})$8 are oriented ideals corresponding to two of the cube’s faces. For three-way slices (in the integer lattice $\mathrm{GL}_2(\mathbb{Q})$9), the correspondence is with triples of oriented ideals $V(\mathbb{Z})$0 in an order of discriminant $V(\mathbb{Z})$1 such that $V(\mathbb{Z})$2 (Gan et al., 2013). The assignment is $V(\mathbb{Z})$3-invariant and surjective, leading to a finite-to-one map onto the appropriate moduli space.

In this way, the Bhargava cube framework unifies the structure of orbits, Shintani zeta functions, multiple Dirichlet series, invariant theory, and moduli spaces of ideals in orders, structuring the arithmetic of composition laws and providing a bridge between classical and higher composition phenomena (Wen, 2013, Gan et al., 2013, Devalapurkar, 2024).

---

References:

• (Wen, 2013) Bhargava Integer Cubes and Weyl Group Multiple Dirichlet Series
• (Gan et al., 2013) Twisted Bhargava Cubes
• (Devalapurkar, 2024) Derived geometric Satake for $V(\mathbb{Z})$4