Corpus ID: 117494738

Irrationality proofs for zeta values, moduli spaces and dinner parties

@article{Brown2014IrrationalityPF,
  title={Irrationality proofs for zeta values, moduli spaces and dinner parties},
  author={Francis Brown},
  journal={arXiv: Number Theory},
  year={2014}
}
  • F. Brown
  • Published 2014
  • Mathematics
  • arXiv: Number Theory
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\'ery'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… Expand

Figures from this paper

Irrationality Exponents For Even Zeta Constants
Let $k\geq 1$ be a small fixed integer. The rational approximations $\left |p/q-\pi^{k} \right |>1/q^{\mu(\pi^k)}$ of the irrational number $\pi^{k}$ are bounded away from zero. A general result forExpand
Odd zeta motive and linear forms in odd zeta values
We study a family of mixed Tate motives over $\mathbb{Z}$ whose periods are linear forms in the zeta values $\unicode[STIX]{x1D701}(n)$ . They naturally include the Beukers–Rhin–Viola integrals forExpand
A new formula for $\zeta$(2n + 1) (and how not to prove that $\zeta$(5) is irrational)
Using a new polylogarithmic identity, we express the values of $\zeta$ at odd integers 2n + 1 as integrals over unit n--dimensional hypercubes of simple functions involving products of logarithms. WeExpand
Proof of the gamma conjecture for Fano 3-folds of Picard rank 1
We verify the (first) gamma conjecture, which relates the gamma class of a Fano variety to the asymptotics at infinity of the Frobenius solutions of its associated quantum differential equation, forExpand
A formula for ζ(2n + 1) and some related expressions
Using a polylogarithmic identity, we express the values of $\zeta$ at odd integers $2n+1$ as integrals over unit $n-$dimensional hypercubes of simple functions involving products of logarithms. WeExpand
Apéry-like numbers and families of newforms with complex multiplication
Using Hecke characters, we construct two infinite families of newforms with complex multiplication, one by $${\mathbb {Q}}(\sqrt{-3})$$Q(-3) and the other by $${\mathbb {Q}}(\sqrt{-2})$$Q(-2). TheExpand
An Elementary Proof of Ramanujan's Formula for $ \zeta(2m+1) $
It’s well known that many number theoretic properties of ζ(2n + 1) are nowadays still unsolved mysteries, such as the rationality, transcendence and existence of some closed-form functional equationExpand
Periods of the motivic fundamental groupoid of P1\{0, μN,∞}
Following F. Brown's point of view, we look at the Hopf algebra structure of motivic cyclotomic multiple zeta values, which are motivic periods of the fundamental groupoid of the projective lineExpand
Interpolated Sequences and Critical L -Values of Modular Forms
Recently, Zagier expressed an interpolated version of the Apery numbers for \(\zeta (3)\) in terms of a critical L-value of a modular form of weight 4. We extend this evaluation in two directions. WeExpand
Feynman integrals and iterated integrals on moduli spaces of curves of genus zero
This paper describes algorithms for the exact symbolic computation of period integrals on moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points, and applications toExpand
...
1
2
3
...

References

SHOWING 1-10 OF 42 REFERENCES
Arithmetic of linear forms involving odd zeta values
The story exposed in this paper starts in 1978, when R. Apery [Ap] gave a surprising sequence of exercises demonstrating the irrationality of ζ(2) and ζ(3). (For a nice explanation of Apery’sExpand
Mixed Tate motives over $\Z$
We prove that the category of mixed Tate motives over $\Z$ is spanned by the motivic fundamental group of $\Pro^1$ minus three points. We prove a conjecture by M. Hoffman which states that everyExpand
Multiple series connected to Hoffman's conjecture on multiple zeta values
Abstract Recent results of Zlobin and Cresson–Fischler–Rivoal allow one to decompose any suitable p-uple series of hypergeometric type into a linear combination (over the rationals) of multiple zetaExpand
Formal weights in Kontsevich's formality construction and multiple zeta values
We construct a functor that associates to any dg cooperad of dg commutative algebras (satisfying some conditions) an augmented commutative algebra. When applied to the cohomology operad of FrancisExpand
Deresonating a Tate period
We introduce a technique to compute monodromy periods in certain families of algebraic varieties by perturbing (`deresonating') the fiberwise Betti to de Rham comparison off the motivic setting. AsExpand
Feynman integrals and iterated integrals on moduli spaces of curves of genus zero
This paper describes algorithms for the exact symbolic computation of period integrals on moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points, and applications toExpand
Hypersurface arrangements and a global Brieskorn-Orlik-Solomon theorem
We give a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, which is due toExpand
The group structure for ζ(3)
1. Introduction. In his proof of the irrationality of ζ(3), Apéry [1] gave sequences of rational approximations to ζ(2) = π 2 /6 and to ζ(3) yielding the irrationality measures µ(ζ(2)) < 11.85078. ..Expand
The Orlik-Solomon model for hypersurface arrangements
We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered byExpand
The algebra of cell-zeta values
Abstract In this paper, we introduce cell-forms on 𝔐0,n, which are top-dimensional differential forms diverging along the boundary of exactly one cell (connected component) of the real moduli spaceExpand
...
1
2
3
4
5
...