Abstract:We provide a new arithmetic characterization for the sequence of coefficients of algebraic power series $f(t)$ having the property that the differential equation $y'(t) = f(t) y(t)$ has algebraic solutions only. This extends a recent result by Delaygue and Rivoal, and also provides a new and shorter proof of an algebraicity result predicted by Golyshev.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the arithmetic characteristics of certain algebraic functions and providing a new proof of Golyshev's prediction. Specifically:
1. **Problem Background**:
- The paper studies the coefficient sequences of algebraic power series \( f(t) \) with specific properties. These power series satisfy that the differential equation \( y'(t) = f(t)y(t) \) has only algebraic solutions.
- This problem is closely related to the properties of hypergeometric series and algebraic functions, especially involving Rodriguez - Villegas' result that certain power series are algebraic.
2. **Main Objectives**:
- Provide a new arithmetic characteristic to describe the coefficient sequences of algebraic power series \( f(t) \) for which the differential equation \( y'(t) = f(t)y(t) \) has only algebraic solutions.
- Give a new and more concise proof of Golyshev's prediction. Golyshev's prediction states that the power series
\[
Q(t):=\exp\left(\int\frac{F(t)}{t}dt\right)
\]
is also an algebraic function, where \( F(t) \) is an algebraic hypergeometric function.
3. **Key Contributions**:
- **New Arithmetic Characteristic**: The paper proposes a new arithmetic characteristic, which extends the recent results of Delaygue and Rivoal and simplifies the proof process.
- **Simplified Proof**: By directly applying Chudnovskys' Theorem 8.1, it avoids complex Gauss congruences and p - adic analysis and provides a more concise proof method.
4. **Specific Steps**:
- **First Step**: Prove that the coefficient sequence \( (a_n)_{n\geq0} \) satisfies the weaker congruence condition:
\[
a_{np}\equiv a_n\pmod{p}
\]
for almost all prime numbers \( p \) and all \( n\geq1 \).
- **Second Step**: Use the above congruence condition, combined with the explicit calculation of p - curvature, to prove that \( Q(t) \) is algebraic.
5. **Conclusion**:
- By combining the above two steps, the paper not only simplifies the proof of Golyshev's prediction but also provides a broader framework to understand the properties of these algebraic power series and their related differential equations.
In summary, this paper aims to further deepen the understanding of algebraic power series and their related differential equations by introducing new arithmetic characteristics and simplifying proof methods, and also provides new evidence for Golyshev's prediction.