Hyperspherical Trigonometry and Corresponding Elliptic Functions

This paper develops the fundamental formulae of hyperspherical trigonometry in multidimensional Euclidean space using vector products to derive addition formulae for elliptic functions with two distinct moduli, and applies these results to establish a connection between the multidimensional Euler top and the Double Elliptic model.

The Gist

Imagine you are a cartographer trying to map the surface of a globe. You know the rules for drawing triangles on a ball (spherical trigonometry): the angles and sides are connected by specific, elegant formulas. This paper asks a big question: What happens if we move from a 3D ball to a 4D "hypersphere"?

The authors, Paul Jennings and Frank Nijhoff, take us on a journey to discover the rules of geometry in this higher dimension and show how they secretly speak the same language as a very complex type of math called "elliptic functions."

Here is the story of their discovery, broken down into simple concepts:

1. The Tool: The "Super-Cross-Product"

In our normal 3D world, if you have two sticks (vectors), you can cross them to get a third stick that stands straight up, perpendicular to both. This is the "cross-product."

But in a 4D world, you can't just cross two sticks to get a perpendicular one; you need three sticks to define a direction that is perpendicular to all of them. The authors introduce a "multi-dimensional vector product." Think of this as a super-tool that takes three vectors and spits out a fourth one that is perfectly orthogonal to the first three. This tool is the foundation for all their new formulas.

2. The Shape: The Hyperspherical Tetrahedron

On a 2D sphere (like a beach ball), a triangle is made of three curved lines. On a 3D sphere (the surface of a 4D ball), the equivalent shape is a tetrahedron (a pyramid with four triangular faces).

The authors map out the geometry of this 4D pyramid. They figure out how the "sides" (angles between the corners) relate to the "dihedral angles" (the angles between the faces).

• The Analogy: Imagine a 3D pyramid made of rubber sheets. If you stretch one corner, the angles between the sheets change in a very specific way. The authors wrote down the "laws of physics" for how these angles must behave. They found rules that look like the famous "Law of Sines" and "Law of Cosines" from high school geometry, but upgraded for 4D.

3. The Secret Code: Elliptic Functions

Here is the magic trick. The authors discovered that the complex formulas describing this 4D pyramid are actually the same as the formulas for Generalized Jacobi Elliptic Functions.

• The Analogy: Think of standard trigonometry (sine and cosine) as a simple, rhythmic drumbeat. Elliptic functions are like a complex, jazz improvisation. They are more complicated and have two "moduli" (think of these as two different tuning knobs that control the rhythm).
• The Connection: The authors showed that if you take the geometry of the 4D pyramid and "translate" it into math, you get these jazz-like elliptic functions. Specifically, they link the geometry to a special set of functions defined by a mathematician named Pawellek, which depend on two distinct moduli.

4. The Application: Spinning Tops and Double Ellipses

To prove their theory works, they applied it to two specific physical models:

• The 4D Euler Top: Imagine a spinning top, but instead of spinning in our 3D space, it spins in 4D space. The authors showed that the motion of this hyper-top can be perfectly described using their new 4D geometry and the generalized elliptic functions.
• The Double Elliptic (DELL) Model: This is a theoretical model used in physics to describe particles interacting in a very specific way. The authors found that the equations governing this model are identical to the equations for their 4D spinning top.

The Takeaway:
The paper doesn't just invent new geometry; it builds a bridge. It shows that the abstract rules of a 4D pyramid are the same as the rules governing complex, double-tuned elliptic functions.

Why does this matter? (According to the paper)

The authors suggest this connection is useful for understanding integrable systems—mathematical models that describe physical systems that can be solved exactly without chaos.

• They mention that this link helps explain the Double Elliptic model, a system that is "elliptic" in both its position and its momentum (a very rare and complex state).
• They also hint that this geometry might help solve the tetrahedron equation, a higher-dimensional version of a famous puzzle in physics called the Yang-Baxter equation.

In summary: The authors took the rules of triangles on a ball, expanded them to 4D pyramids, and discovered that these new rules are actually the secret code for a complex type of mathematical music (elliptic functions) that describes how certain spinning tops and particle models move. They didn't invent new physics, but they found a new, geometric way to understand the math that already exists.

Technical Summary

Technical Summary: Hyperspherical Trigonometry and Corresponding Elliptic Functions

Problem Statement
While spherical trigonometry (geometry on the 2-sphere) has a well-established connection to Jacobi elliptic functions through their addition formulae, no such direct link was previously known for hyperspherical trigonometry in higher dimensions. Standard expectations suggested that such a connection would involve higher-genus Abelian functions associated with higher-genus algebraic curves. However, the authors posit that the link for the 3-sphere (embedded in 4-dimensional Euclidean space) is instead mediated by "Generalised Jacobi Elliptic Functions," which depend on two distinct moduli and act as an elliptic covering. The paper aims to develop the fundamental formulae of hyperspherical trigonometry and establish this novel connection to elliptic functions, subsequently applying these results to integrable systems.

Methodology
The authors employ a geometric and algebraic approach rooted in multidimensional vector analysis:

1. Multidimensional Vector Products: The foundation is laid by defining $n$-ary vector products in $n$-dimensional Euclidean space ($E^n$). Specifically, the ternary vector product in $E^4$ is defined via the determinant relation $(a \times b \times c) \cdot d = \det(a, b, c, d)$. The authors utilize nested product identities and Plücker relations to derive vectorial addition identities necessary for hyperspherical geometry.
2. Derivation of Hyperspherical Formulae: Extending standard spherical trigonometry, the authors derive cosine and sine rules for a hyperspherical tetrahedron (a 3-simplex on a 3-sphere). This involves defining:
   • Central angles ($\theta_{ij}$) between position vectors.
   • Dihedral angles ($\phi_{ij}$) between the hyperplanes defined by triplets of vectors.
   • Generalised sine functions of three and six variables, representing the volumes of 3D and 4D parallelotopes respectively.
   • Polar cosine rules relating the angles of the tetrahedron to those of its polar dual.
3. Linking to Elliptic Functions: The authors adapt a method originally used by Irwin for the spherical case. They construct a quantity $W$ based on the hyperspherical sine rule. By analyzing the condition $dW=0$ (keeping the sine rule constant), they derive differential relations.
   • In the general case, these relations are complex.
   • In a symmetric case (where opposite dihedral angles are equivalent), the relations simplify to sums of elliptic integrals.
   • For the general case, the authors introduce Generalised Jacobi Elliptic Functions (defined by Pawellek) as the uniformising variables. These functions are defined as the inversion of hyperelliptic integrals associated with a genus-2 curve that is a double cover of an elliptic curve.
4. Application to Integrable Systems: The derived formulae are applied to two specific physical models:
   • The Four-Dimensional Euler Top: Reformulated as a Nambu mechanical system of order four.
   • The Double Elliptic (DELL) Model: A conjectured integrable many-body system elliptic in both position and momentum variables.

Key Contributions and Results

• Complete Set of Hyperspherical Formulae: The paper provides a comprehensive derivation of the cosine and sine rules for the 4-dimensional hyperspherical tetrahedron, including generalised sine functions of six variables and polar cosine rules. It also establishes a hierarchy of relations for $m$-dimensional hyperspherical simplices.
• Novel Connection to Generalised Jacobi Functions: The central result is the demonstration that the addition formulae of hyperspherical trigonometry in 4D lead directly to the addition formulae of Generalised Jacobi Elliptic Functions ($s, c, d_1, d_2$).
  • The connection is governed by two distinct moduli, $k_1$ and $k_2$.
  • $k_1$ relates to the spherical trigonometry of the tetrahedron's faces.
  • $k_1 k_2$ acts as the overall modulus for the tetrahedron.
  • The identification is explicit: $\sin \theta_{jk} = s(a_{jk})$, $\cos \theta_{jk} = c(a_{jk})$, $\cos \alpha = d_1(a_{jk})$, and $\cos \phi = d_2(a_{jk})$, where $a_{jk}$ are uniformising variables.
• Equivalence of Integrable Systems:
  • The equations of motion for the 4D Euler Top (formulated via Nambu brackets) are solved exactly using the Generalised Jacobi functions.
  • The Double Elliptic (DELL) model (specifically the 2-particle case) is shown to be parameterised naturally by these same functions.
  • The authors demonstrate that the 4D Euler Top and the 2-particle DELL model are equivalent systems up to scaling, providing a geometric link between the two.

Significance and Claims
The paper claims to have established a "novel connection" between 4-dimensional hyperspherical geometry and elliptic functions, specifically bypassing the expectation of higher-genus Abelian functions in favor of a double-cover elliptic structure.

• Theoretical Implication: The work suggests that discrete integrable models, such as discretisations of the DELL model or the Q4 lattice equation of the ABS classification, may be derived by exploiting the connection between hyperspherical addition formulae and Generalised Jacobi functions.
• Geometric Insight: The occurrence of functions with two distinct moduli in these physical models is linked to the bi-elliptic nature of the underlying hyperspherical geometry.
• Scope: The authors note that while the inter-relations become increasingly complicated in dimensions higher than four, the nested structure of the trigonometry has been generalised to arbitrary dimensions. The paper focuses on the 4D case as the primary instance where the link to Generalised Jacobi functions (with two moduli) becomes explicit and applicable to known integrable systems like the DELL model.

The work is presented as a summary of collaborative results previously appearing in a PhD thesis, aiming to formalise the geometric underpinnings of specific elliptic integrable systems.