On theta function expressions of cyclic products of fermion correlation functions in genus two

This paper develops a framework for decomposing cyclic products of genus-two fermion correlation functions into theta function expressions by fixing a branch point at infinity and utilizing the properties of Pe-functions at half-periods.

The Gist

The Cosmic Jigsaw: Solving the "Spin" Puzzle of String Theory

Imagine you are trying to understand the fundamental "music" of the universe. According to String Theory, everything in existence—from the light in your eyes to the gravity holding you to the Earth—is made of tiny, vibrating strings.

However, these strings don't just vibrate randomly; they vibrate in complex patterns called "amplitudes." Calculating these patterns is like trying to solve a massive, multi-dimensional jigsaw puzzle where the pieces are constantly changing shape.

This paper, written by A.G. Tsuchiya, is a deep dive into a very specific, very difficult part of that puzzle: The Genus Two Problem.

---

1. The Shape of the Puzzle: Genus One vs. Genus Two

To understand this paper, you first need to understand the "surface" the strings are vibrating on.

• Genus One (The Donut): Imagine a single donut (a torus). Calculating string vibrations on a donut is like playing a song on a simple flute. We’ve known how to do this for decades. It’s predictable and follows certain mathematical rules.
• Genus Two (The Double Donut): Now, imagine two donuts fused together, like a figure-eight or a pretzel. This is Genus Two. The math here is exponentially harder. It’s like trying to play a complex symphony on a multi-necked instrument where every string affects every other string in a chaotic web.

2. The "Spin" Problem: The Ghostly Variables

In string theory, there is a concept called "Spin Structure." Think of these as the "modes" or "settings" of the string. When you want to calculate the total probability of a string interaction, you can't just look at one setting; you have to sum up all the possible settings.

The problem is that as you add more strings to the interaction (the $N$-point problem), the number of settings explodes. It becomes a mathematical nightmare of "summing over spin structures." It’s like trying to calculate the average mood of a stadium full of people, where every person’s mood depends on the person sitting next to them, and everyone is constantly changing their mind.

3. The Author’s Breakthrough: The "Master Key"

The author is looking for a "Decomposition Formula."

Instead of trying to solve the entire, massive, chaotic equation all at once, the author wants to break it down into smaller, manageable "building blocks."

The Analogy: The Lego Method
Imagine you are handed a giant, pre-built Lego castle. It’s too heavy to move and too complex to study. The author is developing a mathematical way to "deconstruct" that castle into standard, individual Lego bricks.

• If you can turn the "Double Donut" mess into a collection of simple "bricks" (which he calls Pe-functions and Theta functions), you can then rebuild the math much more easily.

4. What did he actually achieve?

The paper focuses on two main things:

• The Trilinear Relations (The Rules of the Bricks): He found that the "bricks" aren't just random; they follow strict rules. If you have three bricks, they must fit together in a specific way. He uses "differential equations" (math that describes how things change) to prove that these complex patterns actually simplify themselves if you look at them through the right lens.
• The Inversion Theorem (The Blueprint): He provides a way to translate between two "languages." One language uses the coordinates of the points on the string (the $x$ and $y$ positions), and the other uses the abstract, wavy math of the strings (the Theta functions). He shows that even in the "Double Donut" world, you can translate between these two languages using a "modified blueprint."

5. Why does this matter?

While this sounds like pure abstraction, it is the "under-the-hood" engineering of the universe.

If we want to ever prove String Theory is correct, we have to be able to calculate these amplitudes with perfect precision. If our math is "clunky" or "incomplete," we can't make predictions about how the universe works at its most fundamental level.

Tsuchiya is essentially cleaning the mathematical lens, making it sharper so that, one day, physicists can look through it and see the true face of reality.

---

In short: The paper provides a sophisticated mathematical toolkit to break down the incredibly complex vibrations of "double-donut" shaped universes into simple, predictable building blocks, making the impossible math of higher-level string theory much more manageable.

Technical Summary

This paper, authored by A.G. Tsuchiya, presents a theoretical framework for decomposing the cyclic products of fermion correlation functions (Szegö kernels) on a genus-two Riemann surface. This is a critical step in calculating $N$-point scattering amplitudes in Type I and Type II superstring theories at the two-loop level.

Below is a detailed technical summary of the manuscript.

---

1. The Problem: Complexity of Genus-Two Spin Sums

In the RNS (Ramond-Neveu-Schwarz) formalism of superstring theory, calculating scattering amplitudes requires summing over various spin structures (boundary conditions of the fermions).

• The Genus-One Case: For a torus (genus one), there is a known, efficient method to decompose products of fermion correlation functions into a sum of "spin structure independent" parts (elliptic functions) and "spin structure dependent" parts (polynomials of branch points). This allows the complicated spin sum to be reduced to simple algebra.
• The Genus-Two Challenge: For a genus-two surface, the complexity increases exponentially. The correlation functions involve genus-two theta functions and the "prime form." A direct sum over the 10 non-singular even spin structures is computationally prohibitive for large $N$. The author seeks to generalize the genus-one decomposition method to genus two to make these calculations tractable.

2. Methodology: The $\alpha$-type and $\beta$-type Framework

The author introduces a systematic way to handle the variables involved in the Riemann surface by categorizing them into two types:

• $\alpha$-type variables: These correspond to the spin structure dependent parts. They are defined using the Abel map and represent points on the Jacobian variety, specifically related to the half-periods $\Omega_\delta$ (the generalization of genus-one half-periods).
• $\beta$-type variables: These correspond to the spin structure independent parts. They represent the differences between vertex insertion points $z_i - z_{i+1}$ via the Abel map.

The Core Logic:

1. Parameterization: Instead of working directly with the discrete half-periods $\Omega_\delta$, the author replaces them with a continuous complex parameter $\alpha \in \mathbb{C}^2$.
2. Expansion via Pe-functions: The product of theta functions is expanded as a finite sum of basis functions. In genus two, these basis functions are the Weierstrass Pe-functions (and their derivatives) of the genus-two surface.
3. $\partial$-Calculation: To find the expansion coefficients, the author uses a "naïve" differentiation method (setting $\alpha \to 0$) to determine the coefficients $H$ of the expansion.
4. Inversion Theorem: The author utilizes a modified version of the Jacobi Inversion Theorem to express these theta-function-based results in terms of the $x$ and $y$ coordinates of the vertex operators.

3. Key Contributions and Results

A. Trilinear Relations and Differential Equations

The paper demonstrates that the trilinear relations (essential for simplifying cyclic products) can be derived by setting the variables of the fundamental differential equations of the genus-two Pe-functions to the half-periods $\Omega_\delta$. The author lists 15 fundamental differential equations (10 of one type, 5 of another) that govern these functions.

B. Decomposition of the $N=2$ and $N=3$ Cases

The author provides concrete, explicit formulas for the decomposition of fermion products:

• For $N=2$: The product $S_\delta(z_1, z_2)^2$ is decomposed into a combination of Pe-functions. The author proves that the "modified" inversion formula (accounting for $\beta$-type variables) correctly predicts the sign changes in the $y$-coordinates.
• For $N=3$: The author derives the coefficients $H_{11}^3, H_{12}^3, H_{22}^3,$ and $H_0^3$. Crucially, the author proves that for the $N=3$ case, the "zeta part" (one-time derivatives of the log of the sigma function) vanishes when the cyclic condition is satisfied, ensuring consistency with known superstring results.

C. Correspondence with Hyper-elliptic Formulations

The author validates the results by showing they are mathematically consistent with previous hyper-elliptic representations (notably from ref [15]). The theta-function expressions are shown to be equivalent to the $x$ and $y$ coordinate expressions used in earlier literature.

D. Spin Sum Simplification

The paper provides a method for performing the spin sum by replacing specific combinations of Pe-functions at the half-periods with constant values (c-numbers). For example, in the $N=4$ case, the sum reduces to specific combinations of the $\Delta(z_i, z_j)$ functions.

4. Significance and Open Problems

Significance:
This work provides the mathematical "machinery" required to move from abstract theta-function expressions to concrete, calculable scattering amplitudes in two-loop superstring theory. It bridges the gap between high-level algebraic geometry (Abelian functions, divisors, and theta characteristics) and the practical needs of theoretical physics (Wick contractions and $N$-point amplitudes).

Open Problems:
The author identifies a significant remaining challenge: The General $N$ Problem.
While the method works for small $N$ (2, 3, and 4), for $N > 5$, the number of basis functions and the complexity of the expansion coefficients $H$ grow in a way that the current "$\partial$-calculation" method cannot fully resolve. A general method to determine all coefficients $H$ in terms of the seven Pe-functions and the moduli parameters $\mu_i$ for any arbitrary $N$ remains an open problem in the field.