Explicit composition identities for higher composition laws

Problem Statement
The paper addresses the challenge of formulating explicit composition identities for higher composition laws discovered by Manjul Bhargava in 2001. While Bhargava established that five specific spaces of forms—$2 \times 2 \times 2$ integer cubes, binary cubic forms with triplicate middle coefficients, pairs of binary quadratic forms with duplicate middle coefficients, pairs of quaternary alternating 2-forms, and senary alternating 3-forms—admit a group structure on their projective orbits (isomorphic to ideal class groups of quadratic rings), his original proofs relied on a correspondence with ideal classes. The authors note that, unlike Gauss's classical formulation for binary quadratic forms, explicit identities equating a product of forms to a third form via bilinear (or multilinear) variable changes were not fully articulated for these higher-degree cases in a manner independent of the underlying ideal theory. The goal is to provide these explicit identities, analogous to Gauss's composition, directly in terms of the forms and their coefficients.

Methodology
The authors employ a strategy of translating the abstract group law on ideal classes back into explicit algebraic identities on the spaces of forms. Their methodology proceeds as follows:

1. Correspondence Utilization: They utilize the bijections established by Bhargava between the orbits of forms in the five spaces and balanced triples (or pairs) of oriented ideals in quadratic rings. This allows them to leverage the multiplicative structure of ideals to define the group law on the forms.
2. Dual Objects and Companion Forms: A central technical tool is the definition of "dual" objects (cubes or forms) and "companion" forms. For a given form or cube, the companion is defined via a specific linear transformation of variables involving the discriminant. The dual objects are constructed such that their associated ideal classes are inverses of the original.
3. Form Product Definition: The authors define a "form product" ($\star$) for two forms $F$ and $G$ of common discriminant $D$. This product is defined as:
   $$(F \star G)(\dots) = F(\dots)G'(\dots) + F'(\dots)G(\dots) + \epsilon F(\dots)G(\dots)$$
   where $F'$ and $G'$ are the companion forms, and $\epsilon \in \{0, 1\}$ depends on $D \pmod 4$.
4. Derivation of Identities: By analyzing the correspondence between the product of ideals and the resulting form, they derive explicit identities. These identities equate the form product of two forms to a third form evaluated at arguments transformed by bilinear (or multilinear) maps derived from a "dual" cube or set of cubes.

Key Contributions and Results
The paper provides explicit composition identities for all five higher composition laws considered by Bhargava:

1. $2 \times 2 \times 2$ Cubes ($Z_2 \otimes Z_2 \otimes Z_2$):

   • Theorem 3.1: Establishes that for three projective cubes $A, B, C$ of discriminant $D$, $[A] + [B] + [C] = [id]$ if and only if there exist dual cubes $R, S, T$ such that the form product $(B \star C)$ equals $A$ evaluated at arguments transformed by $R^\sigma, S^\sigma, T^\sigma$. The cubes $R, S, T$ must satisfy specific conditions regarding their associated quadratic forms and leading coefficients.

2. Binary Cubic Forms ($Sym^3 Z_2$):

   • Theorem 4.2: Provides an explicit composition formula for binary cubic forms. It shows that $[f] + [g] + [h] = [id]$ if and only if $(g \star h)$ equals $f$ evaluated at arguments transformed by a single dual cube $R^\sigma$. The authors note that while Nativi ([Nat19]) previously addressed this case, their proof is streamlined using the cube results, and they correct a stated condition in Nativi's work regarding the necessity of the dual cube's properties.

3. Pairs of Binary Quadratic Forms ($Z_2 \otimes Sym^2 Z_2$):

   • Theorem 5.1: Derives the composition identity for pairs of binary quadratic forms with even middle coefficients. The identity involves two dual cubes $R$ and $S$ transforming the arguments of the form product.

4. Pairs of Quaternary Alternating 2-forms ($Z_2 \otimes \wedge^2 Z_4$):

   • Theorem 6.3: Addresses the composition of pairs of alternating 2-forms. The authors prove that any such triple satisfying the group relation can be represented by the image of cubes under a skew-symmetrization map $\phi$. The composition identity involves three dual cubes $R, S, T$ and a specific linear combination of their transformed arguments.

5. Senary Alternating 3-forms ($\wedge^3 Z_6$):

   • Theorem 7.1: Treats the composition of senary alternating 3-forms. The authors observe that the class group for these forms is trivial (isomorphic to the trivial group). Consequently, the composition identity is an explicit formula for the square of the identity element (or the product of any two forms in the trivial class) expressed via a specific dual cube $R$.

Significance and Claims
The paper claims its primary significance lies in providing explicit composition identities for these higher laws, mirroring the classical formulation of Gauss for binary quadratic forms. Specifically:

• It removes the necessity of explicitly invoking the underlying ideal class group to compute the composition; instead, the composition is given directly as an algebraic identity involving the forms and bilinear/multilinear transformations.
• It unifies the treatment of these diverse spaces under a common framework of "form products" and "dual cubes."
• The authors position these results as a direct generalization of the Brahmagupta-Fibonacci-Diophantus identity and Gauss's composition, making the group structure of these higher spaces computationally accessible through explicit formulas.

The paper does not claim to discover new group structures (as these were established by Bhargava) nor does it propose new applications to Diophantine equations or number field counting in this specific work, though it acknowledges that such identities have potential utility in those areas based on recent literature (e.g., Choudhry [Cho22], Duke [Duk22]). The work is presented as a technical completion of Bhargava's program by providing the explicit "formulas" that were previously implicit in the ideal-theoretic correspondence.