Kleinian hyperelliptic funtions of weight 2 associated with curves of genus 2

This paper introduces a new collection of special functions associated with complex curves of genus 2 that relate to weight 2 $\theta$-functions analogously to the Kleinian $\sigma$-function, with the distinct advantage of being well-defined for all such curves without requiring a Weierstrass point at infinity.

The Gist

Imagine you are trying to navigate a very complex, multi-dimensional landscape. In mathematics, this landscape is often shaped by curves (specifically, shapes with two "holes" or handles, known as genus 2 curves).

For over a century, mathematicians have had a set of powerful tools to navigate these shapes, called Kleinian functions (specifically the $\sigma$ and $\wp$ functions). Think of these tools as a high-precision GPS. However, there was a catch: this GPS only worked if the map had a very specific feature—a "Weierstrass point at infinity." In plain English, the map had to be drawn in a very specific, rigid way. If the curve was drawn slightly differently (a more general shape), the GPS would break, and the math would become impossible to calculate.

The Problem:
For decades, mathematicians could easily calculate these functions for simple, one-holed shapes (elliptic curves) using a method called Landen's method. This method is like a "zoom-out" trick: you keep transforming the shape until it becomes so simple (almost flat) that you can solve it easily, then zoom back in step-by-step to get the answer for the complex shape.

But for two-holed shapes (genus 2), this trick was stuck. The existing tools (the GPS) couldn't handle the "zoom-out" process because the rigid requirement (the Weierstrass point) got lost during the transformation.

The Solution: A New Set of Tools
In this paper, Matvey Smirnov introduces a new collection of special functions called Kleinian hyperelliptic functions of weight 2.

Here is the best way to understand what he did:

1. The "Squared" Analogy

Imagine the old GPS ($\sigma$-function) is a delicate, single-threaded rope. It's strong, but if you pull it in the wrong direction (change the curve's equation), it snaps.

Smirnov's new functions are like taking that rope, doubling it, and braiding it into a thick, unbreakable cable.

• Mathematically, these new functions are related to the old ones the way a square is related to a number. If the old function is $x$, the new one is $x^2$.
• Because they are "squared," they are much more robust. They don't care about the rigid "Weierstrass point" rule. They work for any genus 2 curve, no matter how it's drawn.

2. The "Universal Translator"

The paper introduces four specific functions (a "quadruple") that act as a universal translator.

• Old Way: You had to force your curve into a specific mold to use the math.
• New Way: You can use these new functions on any curve. Once you have the answer using the new functions, you can easily translate it back into the old language (the classical $\sigma$ and $\wp$ functions) if you need to.

3. The "Zoom-Out" Strategy (The Algorithm)

The ultimate goal of this paper is to build a computer algorithm to calculate these values.

• The Old Block: You couldn't use the "zoom-out" trick (Landen's method) because the old tools broke when the curve changed shape.
• The New Breakthrough: Since Smirnov's new functions work for any shape, they survive the "zoom-out" process.
  1. Start with a complex curve.
  2. Use a mathematical transformation (Richelot isogeny) to turn it into a simpler, "degenerate" curve.
  3. Because the new functions are flexible, they still work on this simpler curve.
  4. Calculate the answer easily on the simple curve.
  5. Reverse the steps to get the answer for the original complex curve.

Why Does This Matter?

Think of this as upgrading from a specialized screwdriver (the old functions) that only fits one specific type of screw, to a universal multi-tool (the new weight 2 functions).

• Before: If you wanted to solve a problem involving a specific type of complex curve, you had to rewrite the whole problem to fit the tool. If the curve didn't fit, you were stuck.
• Now: You can plug in any curve, get a result, and even use powerful numerical methods (like the Landen method) to compute answers efficiently.

In Summary:
Matvey Smirnov has invented a new, more flexible mathematical language for describing complex 2-holed shapes. By "squaring" the old tools, he removed a major restriction that had blocked mathematicians for years. This paves the way for computers to finally calculate these complex values efficiently, opening doors for applications in cryptography, physics, and integrable systems.

Technical Summary

Here is a detailed technical summary of the paper "Kleinian Hyperelliptic Functions of Weight 2 Associated with Curves of Genus 2" by Matvey Smirnov.

1. Problem Statement

The paper addresses the computational and theoretical challenges associated with Kleinian hyperelliptic functions (specifically the $\wp$-functions and $\sigma$-functions) for algebraic curves of genus 2.

• The Gap: While effective numerical algorithms exist for elliptic functions (genus 1), such as the Landen (AGM) method, there is a lack of robust numerical procedures for genus 2. Existing approaches often rely on expressing $\wp$-functions via theta functions, but these methods face significant hurdles.
• The Specific Obstacle: The classical definition of the Kleinian $\sigma$-function (and consequently the $\wp$-functions) typically requires the curve to be in a specific form where there is a single point at infinity (often a Weierstrass point). This restriction is not preserved under the Richelot isogeny, a classical transformation used to construct chains of isogenous curves (essential for iterative numerical methods like Landen's). Consequently, standard algorithms cannot be directly applied to general genus 2 curves without losing the structural properties required for the $\sigma$-function.

2. Methodology

Smirnov proposes a new framework based on introducing a specific collection of Kleinian functions of weight 2. The methodology involves three main pillars:

1. Definition of Weight 2 Functions: Instead of working directly with the $\sigma$-function (which is odd and requires specific curve forms), the author defines a space of holomorphic functions on the Jacobian variety ($Jac_f$) that behave like the square of the $\sigma$-function. These functions are sections of the tensor square of the line bundle associated with the $\sigma$-function.
2. Generalization of Curve Constraints: The new functions are defined for any admissible polynomial $f$ of degree 5 or 6 (defining the curve $y^2 = f(x)$), regardless of whether the curve has a Weierstrass point at infinity or how many points lie at infinity.
3. Basis Construction: The author identifies a specific basis of four functions within this space:
   • $S_f$ (the fundamental function).
   • $S_f^{11} = \wp_{11} S_f$
   • $S_f^{12} = \wp_{12} S_f$
   • $S_f^{22} = \wp_{22} S_f$
     These functions are shown to be entire and form a basis for the space of weight 2 Kleinian functions.

3. Key Contributions

A. Introduction of Kleinian Functions of Weight 2

The paper defines a new set of special functions, denoted $S_f$ and $S_f^{jk}$, which are related to weight 2 theta functions.

• Key Property: Unlike the classical $\sigma$-function, these functions are well-defined for all genus 2 curves without requiring the curve to have a single point at infinity.
• Relation to Classical Functions: The paper proves that classical Kleinian functions ($\sigma, \zeta_j, \wp_{jk}$) can be expressed through these new weight 2 functions and their derivatives. Specifically, $\sigma_f^2 = S_f$ (up to a constant), and $\wp_{jk} = S_f^{jk} / S_f$.

B. Explicit Theta Function Representation

The author provides an explicit formula for the fundamental function $S_f$ in terms of Riemann theta functions:
$$S_f(z) = c \exp\left( z^T (\eta A A^{-1}) z \right) \theta(A^{-1}z - \Delta; \Omega) \theta(A^{-1}z + \Delta; \Omega)$$
where $\Delta$ is the Riemann constant vector. This representation confirms that $S_f$ is the square of the classical $\sigma$-function (when the curve is in Weierstrass form).

C. Taylor Expansions and Derivatives

The paper derives the order 2 Taylor expansions of these functions at the origin ($z=0$):

• $S_f^{22}(z) = 2z_1 z_2 + O(z^2)$
• $S_f^{12}(z) = -z_2^2 + O(z^2)$
• $S_f^{11}(z) = 1 + O(z^2)$
• $S_f(z) = z_1^2 + O(z^2)$

Furthermore, the paper establishes differential relations connecting the logarithmic derivatives of $S_f$ to meromorphic functions ($\rho$) and the classical $\wp$-functions, providing a mechanism to compute higher-order derivatives.

D. Connection to Richelot Isogenies

A crucial theoretical result is that these weight 2 functions define an embedding of the Kummer surface of the genus 2 curve into $\mathbb{CP}^3$. This geometric property allows for the derivation of algebraic relations connecting the functions of a curve $C$ to those of its Richelot isogenous curve $\hat{C}$. This solves the "ingredient (b)" problem mentioned in the introduction: finding a formula to express functions of one curve through its isogenous counterpart.

4. Results

• Existence and Basis: It is proven that the space of Kleinian functions of weight 2 has dimension 4 and is spanned by $\{S_f, S_f^{11}, S_f^{12}, S_f^{22}\}$.
• Removal of Restrictions: The definition of these functions does not require the curve to be in Weierstrass form or to have a specific point at infinity, making them applicable to the general case of genus 2 curves.
• Computational Viability: The paper lays the groundwork for a Landen-like algorithm for genus 2. By using the Richelot isogeny (which preserves the genus but changes the curve) and the new weight 2 functions (which remain well-defined under this transformation), one can iteratively degenerate the curve to a solvable state and compute the functions via back-substitution.

5. Significance

• Numerical Analysis: This work is a critical step toward developing efficient numerical algorithms for evaluating Kleinian functions of genus 2, a long-standing open problem in the field of integrable systems and algebraic geometry.
• Integrable Systems: Since Kleinian functions are central to solving the KP equation and other integrable systems, removing the restriction on the curve's form allows these systems to be modeled with a broader class of algebraic curves.
• Cryptography: The Richelot isogeny is a fundamental tool in isogeny-based cryptography (e.g., for post-quantum security). This paper provides the necessary analytic tools to compute the functions associated with these isogenies, potentially aiding in the implementation and analysis of cryptographic protocols based on genus 2 curves.
• Theoretical Unification: By linking the weight 2 functions to the square of the $\sigma$-function and theta functions, the paper unifies the treatment of general hyperelliptic curves with the classical theory developed for Weierstrass forms.

In summary, Smirnov introduces a robust, general-purpose set of functions that bypass the geometric limitations of the classical $\sigma$-function, thereby enabling the construction of iterative algorithms for genus 2 curves analogous to the successful Landen method for genus 1.