Approximations of the balanced triple product \(p\)-adic \(L\)-function (Q2681244)

Let \(\mathcal{O}\) be a valuation ring finite flat over \(\mathbb Z_p\). Let \(\mathbf{I}\) be a normal domain finite flat over the Iwasawa algebra \(\Lambda=\mathcal{O}[[\Gamma]]\) of the topological group \(\Gamma=1+p\mathbb Z_p\), and let \(X_{\mathbf I}^+\) be the set of arithmetic points of \(\mathbf{I}\). Let \(\mathbf{f}_i\) (\(i=1,2,3\)) be a primitive cuspidal Hida family of the tame conductors. Let \(\rho_{\mathbf{f}_i}\:\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q)\rightarrow\mathrm{GL}_2(\mathrm{Frac}\,\mathbf{I})\) be the big Galois representation associated to \(\rho_{\mathbf{f}_i}\), and let \(V_{\mathbf{f}_i}\) denote the natural realization of \(\rho_{\mathbf{f}_i}\) inside the étale cohomology groups of modular curves. Let \(\mathcal{R}=\mathbf{I}\widehat\otimes_{\mathcal{O}}\mathbf{I}\widehat\otimes_{\mathcal{O}}\mathbf{I}\), and \[ X^+_{\mathcal{R}}=\left\{\underline Q=(Q_1,Q_2,Q_3)\in\left(X_{\mathbf{I}}^+\right)^3\ \bigm|\ k_{Q_1}+k_{Q_2}+k_{Q_3}\equiv 0\pmod 2\right\}. \] Put \[ X^{\mathbf{f}_i}=\left\{\underline Q=(Q_1,Q_2,Q_3)\in X^+_{\mathcal{R}}\ \bigm|\ k_{Q_1}+k_{Q_2}+k_{Q_3}\le 2k_{Q_i}\right\}, \] and \[ X^{\mathrm{bal}}=\left\{\underline Q=(Q_1,Q_2,Q_3)\in X^+_{\mathcal{ R}}\ \bigm|\ k_{Q_1}+k_{Q_2}+k_{Q_3}>2k_{Q_i}\ \text{ for all }\ i=1,2,3\right\}. \] Let \(\mathbf{V}=V_{\mathbf{f}_1}\widehat \otimes V_{\mathbf{f}_2}\widehat\otimes V_{\mathbf{f}_3}\), and for \(\underline Q=(Q_1,Q_2,Q_3)\in X_{\mathcal{R}}^+\) put \(V_{\underline Q}=V_{{\mathbf{f}_1}_{Q_1}}\otimes V_{{\mathbf{f}_2}_{Q_2}}\otimes V_{{\mathbf{f}_3}_{Q_3}}\). Let \(\mathcal{ X}\) be a \(\mathcal{R}\)-adic \(p\)-ramified Galois character such that \(\mathcal{ X}(\mathfrak {e})=(-1)^a\) with \(\mathfrak e\) the complex conjugate and let \(V^\dagger=V\otimes\mathcal{ X}^{-1}\). Let \(V^\dagger_{\underline Q}\) be its specialization for \(\underline Q\in X^+_{\mathcal{R}}\), and let \(L(V^\dagger_{\underline Q},s)\) be the complete \(L\)-function attached to \(V^\dagger_{\underline Q}\). The \(p\)-adic \(L\)-function \(\mathcal{L}_F^{\mathrm{bal}}\) interpolates \(L(V^\dagger_{\underline{Q}},0)\) for \(\underline{Q}\in X^{\mathrm{bal}}\). In the paper under review, the author provides an algorithm for approximating the value of \(\mathcal{L}_{F_\infty}^{\mathrm{bal}}\) at \((2, 1, 1)\). Actually, the \(p\)-adic \(L\)-function is constructed as the limit of certain theta-elements described explicitly in Proposition \(4.9\) and the author provides an algorithm for computing their values when evaluated at a triple of arithmetic points of the form \((2,(2, \varepsilon),(2, \varepsilon))\), for \(\varepsilon\) a primitive \(p\)-adic character of conductor \(p^n\). This allows to approximate the value \(\mathcal{L}_{F_\infty}^{\mathrm{bal}}(2, 1, 1)\) as the limit over the increasing conductor \(p^n\) of such theta-elements evaluated at \((2,(2, \varepsilon),(2, \varepsilon))\).