The question below is the follow-up of this question on MathOverflow.
Motivation: As is stated in the former question, those identities(formula (35)-(44)) of $1/\pi$ attributed to Ramanujan are related to surfaces with Picard rank 20(see the paper of Elkies and Schuett) in the Dwork family $$x_1^4+x_2^4+x_3^4+x_4^4=4\lambda x_1x_2x_3x_4.$$ Jesus Guillera found a few Ramanujan-type formulas for $1/\pi^2$(which can be found in W. Zudilin's paper), three of which(formula (92)(93)(94) in Zudilin's paper) are related to the Dwork family $$x_1^6+x_2^6+x_3^6+x_4^6+x_5^6+x_6^6=6\lambda x_1x_2x_3x_4x_5x_6$$through Picard-Fuchs equation. It is reasonable to conjecture that the Guillera's formulas are related to "singular" members in Dwork family.
The end of this paper suggests that the (Hasse-Weil)L-functions of those "singular" members behave differently from those "ordinary" members. It seems that "hypergeometric motive" package(developed by M. Watkins, based on the work of N. Katz et al.) in MAGMA offers a possible way to investigate those L-function numerically(although the L-functions are different from Hasse-Weil L-function).
Experiment: M. Watkins and David Roberts tried to find out imprimitive L-function attached to hypergeometric motives in this document(p.29, Table 15), where the L-function attached to the motive can be factorized to the product of two L-functions. One can immediately recognize the numbers corresponding to Guillera formula(formulas (86)(87)(88) in Zudilin's Paper). It is amazing that one can find out that EVERY L-function associated to the Guillera formula is imprimitive.
Example: Guillera conjectured that
$$\sum_{n=0}^{\infty}\frac{(\frac{1}{2})_n(\frac{1}{8})_n(\frac{3}{8})_n(\frac{5}{8})_n(\frac{7}{8})_n}{(n!)^5}(1920n^2+304n+15)\frac{1}{7^{4n}}=\frac{56\sqrt{7}}{\pi^2}.$$
The HGM package can evaluate Frobenius trace and Euler factors of the corresponding hypergeometric motive $$H([1/2,1/8,3/8,5/8,7/8],[0,0,0,0,0],\tilde{t}),$$ where $$1/\tilde{t}=t=\frac{1}{7^4}.$$ Almost each Euler factor $L_p(T)$ are quintic polynomials, and the absolute values of roots of Euler factors are $p^2.$ Adapting the primitivity test of M. Watkins(p. 25), if one assumes the truth of Selberg's conjecture for Selberg class, then(for a primitive L-function) the second moment of (normalized) Frobenius trace $a_p$ $$\frac{1}{\pi(X)}\sum_{p<X}\left(\frac{a_p}{p^2}\right)^2$$ should have limit 1.
A calculation with second moment of normalized Frobenius trace of the example above(up to $p\approx 246500$) is $\approx 2.018$, suggesting the mean value is $2$. The same test is performed for each hypergeometric motive attached to Guillera's formulas(formula (86)-(95), up to $p\approx 40000$), and all mean values are close to $2.$ The same phenomena are also observed for identities discovered by Ramanujan, B. Gourevich and J. Cullen(formulas on p. 33 of this paper). I also tried to find imprimitive L-function other than those associated to Guillera's formulas, but without any success.
Question: I am really amazed by the fact that each L-function associated to the Guillera formulas is likely to be able to be factorized(and one of the factors seems to be either Riemann zeta function or Dirichlet L-function[e.g. formula(90)(92)(95) and formula of B. Gourevich](tested for Euler factor for each Guillera formula up to $p\approx 1000$ and $p\approx 100$ for higher order examples of B. Gourevich and J. Cullen)), while the L-function of a randomly chosen hypergeometric motive cannot be further factorized(which is suggested by calculation with MAGMA).
- Is there any interpretation that how the imprimitivity of L-function attached to hypergeometric motives leads to period relation of hypergeometric functions?
- Is it possible to find new Ramanujan-type formula with this imprimitivity test?
- What are the p-adic counterparts of these identities?
Addendum: The same phenomena can also be observed when one worked with these formulas discovered by Guillera.
Edit: M. Watkins has already verified the observation for Guillera's formula (96) here(p. 17). Again the L-function attached to the motive has Riemann zeta function as a factor.
EUREKA!: If one uses the technique in Guillera's paper and the 3rd/last row of Table 15 of M. Watkins, PSLQ suggests that
$$\sum_{n=1}^{\infty}\frac{(1)_n^5}{(1/2)_n^3(1/3)_n(2/3)_n}\frac{28n^2-18n+3}{n^5}\left(-\frac{1}{27}\right)^n=-14\zeta(3)$$
and
$$\sum_{n=1}^{\infty}\frac{(1)_n^5}{(1/2)_n(1/3)_n(2/3)_n(1/4)_n(3/4)_n}\frac{172n^2-75n+9}{n^5}\left(-\frac{16}{27}\right)^n=-1792\zeta(3)!$$
Also $$\sum_{n=1}^{\infty}\frac{(1)_n^5}{(1/2)_n^5}\frac{10n^2-6n+1}{n^5}\left(-\frac{1}{4}\right)^n=-28\zeta(3).$$
[Remark: The three formulas above are already known to Guillera(see this paper).]
And more
$$\sum_{n=1}^{\infty}\frac{92n^3-84n^2+27n-3}{n^7}\frac{(1)_n^7}{(\frac{1}{2})_n^5(\frac{1}{3})_n(\frac{2}{3})_n}\left(\frac{4}{27}\right)^n=8\pi^4,$$
$$\sum_{n=1}^{\infty}\frac{84n^3-88n^2+32n-4}{n^7}\frac{(1)_n^7}{(\frac{1}{2})_n^7}\left(\frac{1}{64}\right)^n=\pi^4/2.$$
(Edit: The second formula has been discovered by Guillera, see this paper, p. 509)
And more!!!
$$\sum_{n=0}^{\infty}\frac{(1/2)_n^5(1/3)_n(2/3)_n(1/4)_n(3/4)_n}{(1)_n^9}(4528n^4+3180n^3+972n^2+147n+9)\left(-\frac{27}{256}\right)^n=\frac{768}{\pi^4},$$
$$\begin{align}\sum_{n=1}^{\infty}\frac{5532n^4-5600n^3+2275n^2-425n+30} {n^9}\cdot & \\ \frac{(1)_n^9}{(\frac{1}{2})_n^5(\frac{1}{5})_n(\frac{2}{5})_n(\frac{3}{5})_n(\frac{4}{5})_n}& \left(-\frac{1024}{3125}\right)^n =-380928\zeta(5)\end{align}$$
Update: I tested a few hypergeometric motives with degree=weight+1, weight>=10. None of them can pass the test. I am not sure if one can find more similar formulas for higher reciprocal powers of $\pi$.
Update2: A recent preprint of David P. Roberts and Fernando Rodriguez Villegas is provided here. It seems that the splitting of underlying hypergeometric motives does not only provide period relations of (generalized) hypergeometric functions at algebraic arguments, but also supercongruences of truncated hypergeometric series.
