Hans Jockers,Sören Kotlewski,Pyry Kuusela,Andrew J. McLeod,Sebastian Pögel,Maik Sarve,Xing Wang,Stefan Weinzierl
Abstract:It has long been known that the maximal cut of the equal-mass four-loop banana integral is a period of a family of Calabi-Yau threefolds that depends on the kinematic variable $z=m^2/p^2$. We show that it can also be interpreted as a period of a family of genus-two curves. We do this by introducing a general Calabi-Yau-to-curve correspondence, which in this case locally relates the original period of the family of Calabi-Yau threefolds to a period of a family of genus-two curves that varies holomorphically with the kinematic variable $z$. In addition to working out the concrete details of this correspondence for the equal-mass four-loop banana integral, we outline when we expect a correspondence of this type to hold.
High Energy Physics - Theory,High Energy Physics - Phenomenology,Algebraic Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore and establish the correspondence between Calabi - Yau manifolds and curves, with special attention to the geometric interpretation of the equal - mass four - loop banana integral. Specifically, the paper shows how to regard the maximal cut of the equal - mass four - loop banana integral as a period of a Calabi - Yau three - fold family, and further proves that this period can also be interpreted as a period of a second - order curve family. This correspondence from Calabi - Yau to curves is achieved by introducing a locally holomorphic Calabi - Yau - to - curve mapping, which remains holomorphic under the change of the kinematic variable \(z=\frac{m^{2}}{p^{2}}\).
### Overview of the problems solved in the paper
1. **Period interpretation of Calabi - Yau three - folds**:
- The maximal cut of the equal - mass four - loop banana integral was studied and it was found that it can be regarded as a period of a Calabi - Yau three - fold family depending on the kinematic variable \(z\).
- This finding is based on the known geometric properties of Calabi - Yau three - folds, especially the integral period of its holomorphic (3, 0)-form \(\Omega(z)\).
2. **Correspondence from Calabi - Yau to curves**:
- A general Calabi - Yau - to - curve correspondence was introduced, which locally relates the periods of the Calabi - Yau three - fold family to the periods of the second - order curve family.
- Through a specific construction method, it was shown how to extract the periods of the second - order curves from the periods of the Calabi - Yau three - folds, and these periods also satisfy the same Picard - Fuchs operator \(L^{(0)}\).
3. **Construction of intermediate Jacobian varieties**:
- Different types of intermediate Jacobian varieties (such as Griffiths intermediate Jacobian varieties and Weil intermediate Jacobian varieties) were discussed, and a new concept of polarized holomorphic intermediate Jacobian varieties was proposed.
- The polarized holomorphic intermediate Jacobian varieties are defined locally and can provide a holomorphic second - order curve family, thus achieving a holomorphic correspondence from Calabi - Yau three - folds to second - order curves.
### Specific technical details
- **Picard - Fuchs operator**:
- The Picard - Fuchs operator \(L^{(0)}\) of the equal - mass four - loop banana integral was defined, which describes the differential equation of the integral.
- The solution space of \(L^{(0)}\) was studied by the Frobenius method, and a set of basis functions \(\psi_{0},\psi_{1},\psi_{2},\psi_{3}\) was obtained.
- **Polarized holomorphic intermediate Jacobian varieties**:
- The polarized holomorphic intermediate Jacobian variety \(J_{2}^{\Delta_{R}}(Y_{z})\) was constructed, which varies holomorphically in the Siegel upper half - space \(H_{2}\).
- The polarized holomorphic intermediate Jacobian variety was described by a specific matrix \(H\), which has the required properties in the interval \(z\in(0,\frac{1}{25})\).
- **Specific form of second - order curves**:
- The Rosenhain form of the second - order curve \(C_{z}\) was given:
\[
C_{z}:v^{2}=u(u - e_{2}(z))(u - e_{3}(z))(u - e_{4}(z))(u - 1),
\]
- Among them, three branch points are fixed at \(0, 1,\infty\), and the other three branch points \(e_{2}(z),e_{3}(z),e_{4}(z)\) are holomorphic functions of \(z\).
- The holomorphic (1, 0)-forms \(\omega_{0}\) and \(\omega_{1}\) on the second - order curve were calculated, and through the linear combination \(\omega(z)=c_{0}(z)\omega_{0}(z)+c_{1}(z)\omega_{1}(z)\)