Bhargava cube

An expression of the form $Q(x,y)=ax^2+bxy+cy^2$, where a, b and c are fixed integers and x and y are variable integers, is called an integer binary quadratic form. The discriminant of the form is defined as

:$D\; =\; b^2\; -4ac.$

The form is said to be primitive if the coefficients a, b, c are relatively prime. Two forms

:$Q(x,y)\; =\; ax^2+bxy+cy^2,\; \backslash quad\; Q^\backslash prime(x,y)=a^\backslash prime\; x^2+b^\backslash prime\; xy\; +\; c^\backslash prime\; y^2$

are said to be equivalent if there exists a transformation

:$x\backslash mapsto\; \backslash alpha\; x\; +\; \backslash beta\; y,\backslash quad\; y\backslash mapsto\; \backslash gamma\; x\; +\; \backslash delta\; y$

with integer coefficients satisfying $\backslash alpha\backslash delta\; -\; \backslash beta\backslash gamma\; =1$ which transforms $Q(x,y)$ to $Q^\backslash prime(x,y)$. This relation is indeed an equivalence relation in the set of integer binary quadratic forms and it preserves discriminants and primitivity.

Let $Q(x,y)$ and $Q^\backslash prime(x,y)$ be two primitive binary quadratic forms having the same discriminant and let the corresponding equivalence classes of forms be $[Q(x,y)]$ and $[Q^\backslash prime(x,y)]$. One can find integers $p,q,r,s,\; p^\backslash prime,\; q^\backslash prime,\; r^\backslash prime,\; s^\backslash prime,\; a^\{\backslash prime\backslash prime\},\; b^\{\backslash prime\backslash prime\},\; c^\{\backslash prime\backslash prime\}$ such that

:$X=px\_1x\_2+qx\_1y\_2+ry\_1x\_2+sy\_1y\_2$

:$Y=p^\backslash prime\; x\_1x\_2\; +\; q^\backslash prime\; x\_1y\_2\; +\; r^\backslash prime\; y\_1x\_2\; +\; s^\backslash prime\; y\_1y\_2$

:$Q^\{\backslash prime\backslash prime\}(x,y)\; =\; a^\{\backslash prime\backslash prime\}x^2\; +\; b^\{\backslash prime\backslash prime\}xy\; +\; c^\{\backslash prime\backslash prime\}y^2$

: $Q^\{\backslash prime\backslash prime\}(X,Y)=Q(x\_1,y\_1)Q^\backslash prime(x\_2,y\_2)$

The class $[Q^\{\backslash prime\backslash prime\}(x,y)]$ is uniquely determined by the classes [Q(x, y)] and [Q^′(x, y)] and is called the composite of the classes $[Q(x,y)]$ and $[Q^\backslash prime(x,y)]$. This is indicated by writing

:$[Q^\{\backslash prime\backslash prime\}(x,y)]=\; [Q(x,y)]\backslash ast\; [Q^\backslash prime(x,y)]$

The set of equivalence classes of primitive binary quadratic forms having a given discriminant D is a group under the composition law described above. The identity element of the group is the class determined by the following form:

:$Q\_\{Id\}^\{(D)\}(x,y)$

=

\begin{cases}

x^2-\frac{D}{4}y^2 & D \equiv 0 \pmod 4\\

x^2 + xy + \frac{1-D}{4}y^2 & D \equiv 1 \pmod 4

\end{cases}

The inverse of the class $[a\; x^2\; +\; h\; xy\; +\; b\; y^2]$ is the class $[\; a\; x^2\; -\; h\; xy\; +\; b\; y^2]$.

Let (M, N) be the pair of 2 × 2 matrices associated with a pair of opposite sides of a Bhargava cube; the matrices are formed in such a way that their rows and columns correspond to the edges of the corresponding faces. The integer binary quadratic form associated with this pair of faces is defined as

:$Q=-\backslash det\; (Mx+Ny)$

The quadratic form is also defined as

:$Q\; =-\backslash det(Mx-Ny)$

However, the former definition will be assumed in the sequel.

Let the cube be formed by the integers a, b, c, d, e, f, g, h. The pairs of matrices associated with opposite edges are denoted by (M₁, N₁), (M₂, N₂), and (M₃, N₃). The first rows of M₁, M₂ and M₃ are respectively [a b], [a c] and [a e]. The opposite edges in the same face are the second rows. The corresponding edges in the opposite faces form the rows of the matrices N₁, N₂, N₃ (see figure).

The quadratic form associated with the faces defined by the matrices

(see figure) is

:$Q\_1=-\backslash det(M\_1x+N\_1y)=\; -(\backslash det(M\_1)x^2\; +\; (\; ah+ed-bg-fc)xy\; +\backslash det(N\_1)y^2)$

The discriminant of a quadratic form Q₁ is

:$D\_1=(ah+ed-bg-fc)^2\; -\; 4\backslash det(M\_1)\; \backslash det(N\_1).$

The quadratic form associated with the faces defined by the matrices

(see figure) is

:$Q\_2=-\backslash det(M\_2x+N\_2y)=\; -(\backslash det(M\_2)x^2\; +\; (\; ah+bg-fc-ed)xy\; +\backslash det(N\_2)y^2)$

The discriminant of a quadratic form Q₂ is

:$D\_2=(ah+bg-fc-ed)^2\; -\; 4\backslash det(M\_2)\; \backslash det(N\_2).$

The quadratic form associated with the faces defined by the matrices

(see figure) is

:$Q\_3=-\backslash det(M\_3x+N\_3y)=\; -(\backslash det(M\_3)x^2\; +\; (\; ah+fc-ed-bg)xy\; +\backslash det(N\_3)y^2)$

The discriminant of a quadratic form Q₃ is

:$D\_3=(ah+fc-ed-bg)^2\; -\; 4\backslash det(M\_3)\; \backslash det(N\_3).$

Manjul Bhargava's surprising discovery can be summarised thus:

:If a cube A gives rise to three primitive binary quadratic forms Q₁, Q₂, Q₃, then Q₁, Q₂, Q₃ have the same discriminant, and the product of these three forms is the identity in the group defined by Gauss composition. Conversely, if Q₁, Q₂, Q₃ are any three primitive binary quadratic forms of the same discriminant whose product is the identity under Gauss composition, then there exists a cube A yielding Q₁, Q₂, Q₃.

File:BhargavaCubeExample.jpg

The three quadratic forms associated with the numerical Bhargava cube shown in the figure are computed as follows.

: $$

\begin{align}

Q_1(x,y)=-\det(M_1x+N_1y) & = - \det\left( \begin{bmatrix} 1 & 0 \\ 0 & -2 \end{bmatrix} x + \begin{bmatrix}0 & 3 \\ 4 & 5\end{bmatrix}y\right) \\

& = -\begin{vmatrix} x & 3y \\ 4y & -2x+5y\end{vmatrix} = 2x^2-5xy+12y^2 \\ \\

Q_2(x,y)=-\det(M_2x+N_2y) & = - \det\left( \begin{bmatrix} 1 & 0 \\ 0 & 4 \end{bmatrix} x + \begin{bmatrix}0 & 3 \\ -2 & 5\end{bmatrix}y\right) \\

& = -\begin{vmatrix} x & 3y \\ -2y & 4x+5y\end{vmatrix} = -4x^2-5xy-6y^2 \\ \\

Q_3(x,y)=-\det(M_3x+N_3y) & = - \det\left( \begin{bmatrix} 1 & 0 \\ 0 & 3 \end{bmatrix} x + \begin{bmatrix}0 & 4 \\ -2 & 5\end{bmatrix}y\right) \\

& = -\begin{vmatrix} x & 4y \\ -2y & 3x+5y\end{vmatrix} = -3x^2-5xy - 8y^2 \\ {}

\end{align}

The composition $[Q\_1(x,y)]\backslash ast[\; Q\_2(x,y)]$ is the form $[Q(x,y)]$ where $Q(x,y)\; =\; -3x^2+\; 5xy\; -\; 8y^2$ because of the following:

:$X\; =\; -2x\_1x\_2\; +\; 4y\_1x\_2\; +\; y\_1y\_2$

:$Y=x\_1x\_2+3y\_1y\_2$

:$Q(X,Y)\; =\; Q\_1(x\_1,y\_1)Q\_2(x\_2,y\_2)$

Also $[Q\_3(x,y)]^\{-1\}=Q(x,y)$. Thus $[Q\_1(x,y)]\backslash ast\; [Q\_2(x,y)]\backslash ast\; [Q\_3(x,y)]$ is the identity element in the group defined by the Gauss composition.

The fact that the composition of the three binary quadratic forms associated with the Bhargava cube is the identity element in the group of such forms has been used by Manjul Bhargava to define a composition law for the cubes themselves.

An integer binary cubic in the form $px^3\; +\; 3qx^2y+3rxy^2+sy^3$ can be represented by a triply symmetric Bhargava cube as in the figure. The law of composition of cubes can be used to define a law of composition for the binary cubic forms.

File:BhargavaCubeOfCubiccForm.jpg

The pair of binary quadratic forms $(ax^2+2bxy+cy^2,\; dx^2+2exy+fy^2)$ can be represented by a doubly symmetric Bhargava cube as in the figure. The law of composition of cubes is now used to define a composition law on pairs of binary quadratic forms.

File:BhargavaCubeOfPairOfQuadraticForms.jpg

• Gauss composition law

{{reflist}}

Category:Quadratic forms

Category:Carl Friedrich Gauss

Category:Number theory