Abstract:A simple geometric construction on the moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points is described which gives a common framework for many irrationality proofs for zeta values. This construction yields Apéry's approximations to $\zeta(2)$ and $\zeta(3)$, and for larger $n$, an infinite family of small linear forms in multiple zeta values with an interesting algebraic structure. It also contains a generalisation of the linear forms used by Ball and Rivoal to prove that infinitely many odd zeta values are irrational.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is the proof of the irrationality of the values of the Riemann ζ - function at odd integers. Specifically, the article aims to provide a unified framework to explain and generalize the existing proof methods for the irrationality of ζ - values through geometric constructions on the moduli space $M_{0,n}$. The following is the specific description of the problem: 1. **Background and Objectives**: - The article begins with an unproven conjecture: the values of the Riemann ζ - function at odd integers (such as $\zeta(3), \zeta(5), \ldots$) and $\pi$ are algebraically independent. - Known results include: - In 1882, Lindemann proved the transcendence of $\pi$. - In 1978, Apéry proved the irrationality of $\zeta(3)$. - Ball and Rivoal proved that the $\mathbb{Q}$-vector space formed by odd ζ - values is infinite - dimensional. - Zudilin proved that at least one of $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrational. 2. **Core Contributions of the Paper**: - Proposed a geometric construction method based on the moduli space $M_{0,n}$, which can uniformly explain the above results and provide new tools for further research. - This construction method not only reproduces Apéry's approximation methods for $\zeta(2)$ and $\zeta(3)$, but also generates linear forms of multiple ζ - values, which have interesting algebraic structures. - The paper also generalizes the linear forms used by Ball and Rivoal to prove the irrationality of infinitely many odd ζ - values. 3. **Specific Methods**: - By considering the period integrals on $M_{0,n}$, the author shows how to construct small linear forms that satisfy certain specific conditions (such as bounds on coefficients, convergence of integrals, etc.), thereby deriving the irrationality of ζ - values. - In particular, the author introduces a special class of period integrals, which are based on a variant of the classic "dinner problem", making certain multiple ζ - values vanish, thus simplifying the process of the irrationality proof. In summary, this paper provides a new, unified framework for the proof of the irrationality of ζ - values by introducing geometric constructions on the moduli space, and extends the existing results.

Irrationality proofs for zeta values, moduli spaces and dinner parties

Primes, Pi, and Irrationality Measure

Rationality of forms of $\overline{\mathcal M}_{0,n}$

A note on the Irrationality of $ζ(5)$ and Higher Odd Zeta Values

On the irrationality of certain $2$-adic zeta values

On the irrationality of moduli spaces of projective hyperkähler manifolds

On Mirror Symmetry and Irrationality of Zeta Values

Geometric Proof of the Irrationality of Square-Roots for Select Integers

Rationality and arithmetic of the moduli of abelian varieties

On simultaneous diophantine approximations to $ζ(2)$ and $ζ(3)$

Rationality of representation zeta functions of compact $p$-adic analytic groups

Integers expressible as the sum of two rational cubes

Rational points on ellipsoids and modular forms

A Note on the Number of Irrational Odd Zeta Values

On the irrationality of certain [math]-adic zeta values

Rational points on even dimensional Fermat cubics

Rationality of twist representation zeta functions of compact $p$-adic analytic groups

Many $p$-adic odd zeta values are irrational

Irrationality measure and lower bounds for pi(x)

Quatroids and Rational Plane Cubics

An elementary proof of the irrationality of Tschakaloff series