The question below is the follow-up of [this question][1] on MathOverflow.

**Motivation:** As is stated in the former question, [those identities][2](formula (35)-(44)) of $1/\pi$ attributed to Ramanujan are related to surfaces with Picard rank 20(see [the paper of Elkies and Schuett][3]) 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][4]), 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][5] 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][6](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][4]). 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 [M. Watkins][6](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)][4], 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][4]). 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 imprimitive test?

**Addendum:** The same phenomena can also be observed when one worked with [these formulas][7] discovered by Guillera.

---------------------------------------------------------------------

**Edit:** M. Watkins has already verified the observation for Guillera's formula (96) [here][8](p. 17). Again the L-function attached to the motive has Riemann zeta function as a factor.


 


  [1]: https://mathoverflow.net/questions/267581/high-dimensional-analogue-of-ramanujans-pi-formula
  [2]: http://ramanujan.sirinudi.org/Volumes/published/ram06.pdf
  [3]: http://www2.iag.uni-hannover.de/~schuett/K3-fam.pdf
  [4]: http://wain.mi.ras.ru/PS/ahs-eng.pdf
  [5]: https://arxiv.org/pdf/1612.09249.pdf
  [6]: http://magma.maths.usyd.edu.au/~watkins/papers/known.pdf
  [7]: https://drive.google.com/file/d/0B_wpzKF9_poyMU5jWFZfbHlsZjA/view
  [8]: http://magma.maths.usyd.edu.au/users/watkins/papers/HGM-chapter.pdf