Abstract:We show integrality of instanton numbers in several key examples of mirror symmetry. Our methods are essentially elementary, they are based on our previous work in the series of papers called Dwork crystals I, II and III.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the integrality problem regarding instanton numbers. Specifically, the author explores whether the instanton numbers associated with certain differential equations are p - adic integers in these equations.
### Problem Background
1. **Motivation**:
- The motivation of the paper comes from the research on the mirror symmetry of quintic threefolds by Candelas, de la Ossa, Green and Parkes in 1991. They discovered a surprising phenomenon: although some coefficients are not integers, the power series expansion of the function \(q(t)\) obtained through specific transformations does have integer coefficients.
- These instanton numbers \(a_n=\frac{5A_n}{n^3}\) are considered to be the number of rational curves of degree \(n\) on the universal quintic threefold, which is part of the mirror symmetry theory.
2. **Related Concepts**:
- **Yukawa Coupling**: Defined as \(K(q) = 1+\theta_q^2V\), where \(V=\frac{F_2}{F_0}-\frac{1}{2}\left(\frac{F_1}{F_0}\right)^2\).
- **Frobenius Structure**: If there exists an operator \(A\) such that for each solution \(y(t)\), \(A(y(t^{\sigma}))\) is still a solution of this differential equation, then this differential equation is said to have a p - adic Frobenius structure.
### Main Objectives
- **Prove the p - adic Integrality of Instanton Numbers**: The author uses elementary methods to prove that for the quintic example and related examples, the instanton numbers \(a_n\) are p - adic integers for almost all \(p\).
- **Generalize to Other Calabi - Yau Operators**: The author also explores other similar differential equations, especially those Picard - Fuchs equations related to Calabi - Yau three - fold families, and provides experimental evidence indicating that the instanton numbers of these equations are p - adic integers for almost all prime numbers \(p\).
### Methods and Results
1. **Frobenius Lifting**: A special Frobenius lifting \(\sigma\) is introduced and its influence on solutions is studied.
2. **Gauss - Manin Connection**: By studying the module of Laurent polynomials and their derivatives, the Gauss - Manin connection is established.
3. **Hasse - Witt Condition**: It is verified that the simplicial and hyperoctahedral families satisfy the n - th Hasse - Witt condition, thus proving that the Picard - Fuchs equations of these families have a Frobenius structure.
4. **Theorem Proof**:
- **Theorem 1.4**: If the differential equation \(L(y) = 0\) has a p - adic Frobenius structure, then \(\exp(F_1/F_0)\in\mathbb{Z}_p[[t]]\).
- **Theorem 1.6**: If the differential equation \(L(y) = 0\) has a p - adic Frobenius structure and \(\alpha_1 = 0\), then \(\frac{A_r}{r^2}\in\mathbb{Z}_p\) for all \(r\geq1\).
- **Theorem 1.7**: If the self - dual differential operator \(L\) has an order of 4 and has a p - adic Frobenius structure and \(\alpha_1 = 0\), then \(\frac{A_r}{r^3}\in\mathbb{Z}_p\) for all \(r\geq1\).
### Conclusion
Through these methods and results, the author successfully proves the quintic example and related cases.