Mixed motives and linear forms in the Catalan constant

Abstract

We first give a geometric construction of a 2-dimensional mixed motive over $\mathbb{Q}$ with the Catalan constant $\mathbf{G}=1-1/3^2+1/5^2-1/7^2+\cdots$ as a period. We then use this motive to obtain a supply of linear forms in 1 and $\mathbf{G}$. We also explicitly compute the coefficients of 1 and $\mathbf{G}$ in these linear forms.

arXiv commentFinal version. Main change to the previous version: A full motivic proof of the non-effective version of the result on linear forms has been included. Other minor changes and rearrangements have been made to improve the exposition