arxiv: v1 [math.nt] 18 Dec 2018

Transcription

1 SOME NUMERIC HYPERGEOMETRIC SUPERCONGRUENCES LING LONG arxiv:8.00v [math.nt 8 Dec 08 Abstract. In this article, we list a few hyergeometric suercongruence conjectures based on two evaluation formulas of While and numeric data comuted using Magma and Sagemath.. Introduction Let n be a ositive integer, a,, a n, b,, b n, λ Q, in articular b n =. Let α = {a,, a n } and β = {b,, b n }, be two multi-sets of rational numbers. Here a i s (res. b j s may reeat. The trile {α, β; λ} is called a hyergeometric datum. The corresonding hyergeometric series (see [ is defined by [ a a n a n F (α, β; λ := n F n ; λ = b b n k=0 (a k (a n k λ k (b k (b n k k!, where (a k = a(a + (a + k = Γ(a+k Γ(a with Γ( being the Gamma function. As a function of λ, it satisfies an order-n Fuchsian differential equation which has only [ three regular singularities located at 0,,. a a n a n The truncated hyergeometric series F (α, β; λ m := n F n ; λ with subscrit m b b n m denotes the truncated series at λ m th term. To resent Dwork tye of congruence, we will first recall Definition. Let be a fixed rime number and r Z. Use [r 0 to denote the first -adic digit of r, namely an integer in [0, which is congruence to r modulo. Dwork dash oeration, a ma from Z Z, is defined by r = (r + [ r 0 /, If is an odd rime, then [ 0 =. If r = and mod, then [ 0 =. Hence ( = ( + / =. When mod, [ 0 =, ( =. Let M := M(α, β; λ be the least common denominator of all a i s, b j s and λ. Let α := {a,, a n}, namely the image of α under the dash oeration. Theorem (Dwork, [9. Let α, β be two multi-sets of rational numbers of size n, where a i (0, and β = {,, }. Then for any rime M(α, β; λ, integer m, integers t s ( F (α, β; λ ms F (α, β; λ m t F (α, β; λ m s F (α, β; λ m t mod s. When F (α, β; λ in which case we say that is ordinary for {α, β; λ}, there is a -adid unit root µ α,β;λ, Z such that for any integers s, m > 0 ( F (α, β, λ ms /F (α, β, λ m s µ α,β;λ, mod s. The work has been by NSF DMS #004. The numeric comutation has been done by using both Magma and Sagemath. The author would like to thank Wadim Zudilin for his discussions and encouragements. This article was motivated by the discussion held at the Hyergeometric motives and Calabi Yau differential equations" worksho, which took lace at the MATRIX institute, Melbourne Australia in January 0.

2 Definition. A multi-set α = {a,, a n } of rational numbers is said to be defined over Q if n (X e πiai Z[X. i= A hyergeometric datum {α, β; λ} is said to be defined over Q if both α, β are defined over Q and λ Q. Below we focus on hyergeometric data satisfying the following condition ( : α = {a,, a n } and β = {b,, b n, } where 0 a i < and 0 < b j and both α and β are defined over Q. Remark. If α = {a, a n } is defined over Q and each 0 < a i < for each i, then a i α. For any holomorhic modular form f, we use a (f to denote its th Fourier coefficient. For most of the listed modular forms here, they will be identified by their labels in L-Functions and Modular Forms Database (LMFDB [8. For instance, f 8...a denotes a level-8 weight Hecke eigenform, η(z 8 η(4z 4 + 8η(4z in terms of the Dedekind eta function, its label at LMFDB is 8...a. In [, the author jointly with Tu, Yui, and Zudilin roved a conjecture of Rodriguez-Villegas made in [. Secial cases of this conjecture has been obtained earlier by Kilbourn [ (based on [ by Ahlgren and Ono, McCarthy [, and Fuselier and McCarthy [. Theorem (Long, Tu, Yui, and Zudilin [. Let β = {,,, }. For each given multi-set α = {r, r, r, r } where either each r i {,, 4, } or (r, r = (,, ( 8, 8, ( 0, 0, ( 0,, then there exists an exlicit weight 4 Hecke cusidal eigenform, denoted by f α such that for each rime >, [ r r r r 4F ; a (f α mod. This statement resembles the congruence ( when both m = s = and being ordinary. In fact the statement of Theorem when modulo can be shown using the theory of commutative formal grou law (CFGL. Any congruence that is stronger than what can be redicted by CFGL is called a suercongruence. Suercongruences often reveal additional background symmetries such as comlex multilication. For instance, the background setting of Theorem involves Calabi-Yau threefolds defined over Q which are rigid in the sense that their h, Hodge numbers equal 0. The ower is somewhat exected in terms of the Atkin and Swinnerton-Dyer (ASD congruences satisfied by the coefficients of weight-k modular forms for noncongruence subgrous [, 9,. Two-term ASD congruences for the coefficients of weight-k modular forms can be written the same way as ( with s being relaced by (k s. The roof of Theorem uses the finite hyergeometric functions (see Definition below originated in Katz s work [ and modified by McCarthy [ and a -adic erturbation method, which was used in [ and described exlicitly in[ by the author and Ramakrishna. The method was also used in other aers, we list a few here: [ by Swisher, [0 by Liu, [ by He, [4 by Barman and Saikia, and [ by Mao and Pan. Essentially one regrous the the corresonding character sum into a major term, that is F (α, β; a (f α, and graded error terms. There are different ways to eliminate the error terms. In [, they are eliminated using identities created from a residue-sum technique, which was used also in [, 8. This aroach may settle some new cases here. See [8 by Doran et al. for writing local zeta functions of certain K surfaces using finite hyergeometric functions. It is conjectured by Mortenson (stated in [0 by Frechette, Ono, Paanikolas that for all rimes > [ ( F ; a (f 8...a mod. The mod claim has been obtained by Osburn, Straub, Zudilin [8. In [, Beukers and Delaygue roved that for each ositive integer n, α = {,, }, β = {,, } of size n, a modulo suercongruence of In fact the roof of this theorem imlies for any m, F (α, β; m a (f αf (α, β; m mod.

3 the form ( holds for F (α, β; ( n( / when is ordinary. Their roof uses the roerties of hyergeometric differential equations. Further they conjectured that the corresonding Dwork tye congruence ( holds modulo s instead of s. See Conjecture. of [. In [0, Roberts and Rodriguez-Villegas made a more general hyergeometric suercongruence conjecture corresonding to hyergeometric motive defined over Q (see [ by Rodriguez-Villegas and [9 by Roberts and λ = ± in terms of the ga of Hodge numbers summarizing the attern of Theorem and (. See Conjecture of [0. Based on their hilosohy, to get hyergeometric suercongruences, one shall consider hyergeometric motives which are decomosable. The urose of this article is to investigate a few hyergeometric motives defined over Q that are reducible. The strategy we use here is based on the Galois ersective of classical hyergeometric functions outlined in Katz by [, [ by Beukers, Cohen and Mellit and in [ by the author jointly with Fuselier, Ramakrishna, Swisher and Tu. Following [, we use the following definition which corresonds to the normalized hyergeometric function n F n in 4. of [ modified from hyergeometric functions defined over finite fields in [ by Greene. Definition. Let {α, β; λ} be a hyergeometric datum defined over Q. For any finite field of size q = e where M(α, β; λ such that a i (q, b j (q Z for all i, j, the finite hyergeometric function corresonding to {α, β; λ} over F is defined to be (4 H q (α, β; λ := q q n k=0 i= g(ω k+(q ai g(ω k (q bi ω k (( n λ, g(ω (q ai g(ω (q bi where ω reresents an order q multilicative character of F q, and below we use the Teichmuller character of F q C ; for any multilicative character A of F q, g(a := x F q A(xΨ(x stands for its Gauss sum with resect to a fixed nontrivial additive character Ψ of F q. Using the multilication formulas for Gauss sums, when α, β are defined over Q, this character sum (4 can be formulated in another form to rid of the assumtion on a i (q, b j (q Z. See Theorem. of [ for details. Now we recall the following function used in [. Define { 0 if a x ν(a, x := if x < a <. To relate the finite hyergeometric sum H (α, β; λ defined in (4 to the truncated hyergeometric functions, one uses the Gross-Koblitz formula [4 which says for integer k ({ } k g(ω k = πγ k, where Γ ( is the -adic Gamma function, π is a fixed root of x + = 0 in C and for a real number x, {x} stands for its fractional art. Following the analysis (as [,,,, et al., we use the Gross-Koblitz formula to rewrite (4. See [ for details. Lemma. Assume that α, β are two multi-sets satisfying condition. Then for rime M(α, β; λ } H (α, β; λ = n Γ ({a i k Γ ( {b i } }( Γ k=0 i= (a i Γ ({ eα,β(k ( kn ω(( n λ k, {b i } k where e(k = e α,β (k := n ν(k, ( a i ν(k, ( ( {b i }, i=

4 is a ste function of k when k is viewed as a variable with varying from 0 to. The jums only haen at values ( a i or ( ( {b j }. Definition 4. For any given α, β defined over Q, define and the bottom interval as and the weight function as s(α, β := min{e(k 0 k < }; I(α, β := {0 x < e(x = s(α, β} w(α, β := max{e(k 0 k } min{e(k 0 k < }. By definition, max{0, s(α,β} H (α, β; λ is -adically integral. A Corollary of Lemma is to link H (α, β; λ to a truncated hyergeometric series by the following fact that can be verified directly. Lemma. For a Q [0, Z, 0 k < ({ ( ν(k,( a Γ a k } /Γ (a ( k (a + ν(k, ( a + k/γ(a + ν(k, ( a = ( k (a + ν(k, ( a k mod +ν(k,( a. In the next lemma, we give a generic hyergeometric congruence under additional assumtions. This claim follows from the above discussion. Lemma. Assume that α, β are two multi-sets satisfying the condition such that s(α, β < 0; I(α, β is connected. Let λ Q and be any rime not dividing M(α, β; λ, then ( ( t s(α,β H (α, β; λ s(α,β F (ˆα, ˆβ; λ mod, where t is the multilicity of in β and ˆα = {â,, â n }, ˆβ = {ˆb,, ˆb n } with â i = a i + ν(k, ( a i and ˆb i = b i + ν(k, ( ( {b i } for any integer k I(α, β. Examle. Let α = {,,,,, }, β = {,,,,, }, then s(α, β =, t = 4, w(α, β =, and the bottom interval I(α, β = (,. Thus ˆα = α and ˆβ = {,,,,, }. In this case Lemma alies from which we have for each rime > ; H (α, β; mod. ( F [ We lot the value of e(k in the following grah and by the renormalization, k ranges from 0 to. e(k values for α = {,,,,, }, β = {,,,,, } Examle. If α = {,,, }, β = {,,, }, then s(α, β = 0, w(α, β =, t =, and bottom interval being I(α, β = [ 0, (,. 4

5 e(k values for α = {,,, }, β = {,,, } Note that Lemma states a generic modulo congruence. When λ = ±, the congruence might be stronger. One of them, listed below, corresonds to Examle ( with multi-sets ˆα, ˆβ. Conjecture. For each rime >,. H ({,,,,,. ( where F [ } {,,,,,, } ; = is the Legendre symbol. ; ( a (f 4...f + ( a (f.4..a + ( a (f 4...f mod, (. The second claim is a refinement of ( and is comarable with Mortenson s conjecture (. We will list a few other cases in the last section. Note that Z.-W. Sun has many oen conjectures on congruences. Interested readers are referred to [4.. From classical hyergeometric formula to Conjecture A key motivation for both [ and the resent article is to turn classical hyergeometric formulas into useful geometric guidance. For instance, here is a formula of While, see Theorem.4.4 of the book [ by Andrews, Askey and Roy when both sides terminate. [ a + a c d e f g ( F a + a c + a d + a e + a f + a g ; = Γ( + a eγ( + a fγ( + a gγ( + a e f g Γ( + aγ( + a f gγ( + a e fγ( + a e g 4 F [ a e f g e + f + g a + a c + a d ; In the finite field analogue, the F is reducible as + a and a corresond to the same multilicative character. Thus the F is linked to [ a c d e f g (8 F + a c + a d + a e + a f + a g ;. We shall ick a, c, d, e, f, g such that the hyergeometric data for both (8 and the 4 F are both defined over Q. For examle, we can let a = c = d = e = f = g =, so the hyergeometric datum for (8 is {{,,,,, } }, {,,,,, };. In this case H (α, β; has an exlicit decomosition as follow, which was conjectured by Koike and roved by Frechette, Ono and Paanikolas in [0. For any odd rime ( H (α, β; = a (f 8...a + a (f 8.4..a +.

6 The factor a (f 8.4..a is associated with the right hand side of ( where corresonds to the Gamma values and the modular form f 8.4..a arises from the 4 F as for odd rimes ({ H,,, }, {,,, }; = a (f 8.4..a +. In other words ( imlies a decomosition of the character sum corresonding to (8. Next we let a = c = d = e = and f =, g =. The datum for (8 is {{ H =,,,,, } {,,,,,, } } ;, as the datum for Conjecture. The datum for the 4 F is H = {{,,, } }, {,,, } ;. By Theorem of [, ( ({ H,,, }, {,,, } ; = a (f.4..a +. Recall the local zeta function for a hyergeometric data {α, β; λ} defined over Z as follows. ( P ({α, β; λ}, T := ex s= ( n H s(α, β; λ T s, s which is known to be a olynomial with constant. Assume P ({α, β; λ}, T = i (µ it. When λ = and n even, the structure of the hyergeometric motive is usually degenerated in the sense one of the µ i s has smaller absolute value as a comlex number. For instance, corresonding to Conjecture, when M, P ({α, β; }, T is a olynomial of degree. Among the absolute values of µ i, four of them are / and one ( of them is, corresonding to in the formula for H. In Magma, there is an imlemented hyergeometric ackage by Watkins (see [ for its documentation. In articular one can use it to comute P ({α, β; λ}, T. When λ =, the imlemented command has the singular linear factor removed. For instance, tying the following into Magma H := HyergeometricData([/,/,/,/,/,/,[,,,,/,/; EulerFactor(H,,; ([Here we let =. The outut is <9 $ $ $. + $. + > Moreover, the negation of the linear coefficient above,, equals ( a (f 4...f + ( a (f.4..a. Next we use = to illustrate the first claim of Conjecture. Tying Factorization(EulerFactor(H,,; We get the following decomosition <80 $. $. +, >, <80 $ $. +, > To see the role of the second hyergeometric datum H, use H := HyergeometricData([/,/,/,/,[,,,; Factorization(EulerFactor(H,,; We get <4 $. 8 $. +, >. Notice that if we let f(x = 4x 8x + be the quadratic factor above, then f(x = f(x = 80x x + which is the first quadratic factor of Factorization(EulerFactor(H,,. The following command in Magma allows us to roduce a list of traces. [-Coefficient(EulerFactor(H,,,+LegendreSymbol(-, **Coefficient(EulerFactor(H,,, : in [,,,,9,,9,;

7 which gives [ 88, 40, 48, 94, 8, 404, 94, 4 ( It coincides with a (f 4...f when varies from to, confirming the roles of two modular forms in the first statement of Conjecture, we then comute the sign for the term and check the second statement numerically. It is interesting to comare the second statement of Conjecture with the following numeric observation. For each rime, F [ ; 4 ( a (f 4...f mod. The ower is shar for a generic and the left hand side has an additional multile of which can be exlained as follow. Letting a = c = d =, f =, g = and e = to ( we have [ 4 F ; Z which imlies F [ ; F [ ; mod. In terms of Dwork tye congruence, numerically for α = {,,,,, }, ˆβ = {,,,,, }, any rime, ositive integers t s (9 F (α, ˆβ; s F (α, ˆβ; t F (α, ˆβ; t F (α, ˆβ; s mod s. Remark. For the hyergeometric datum {,,,,, }, {,,,, 4, 4 }, } defined over Q which cannot be obtained from (. Numerically the local zeta functions are tyically irreducible over Z[T... A few other F ( cases.. More Numeric findings... α = {,,,,, }, β = {,,,,, }. e(k for α = {,,,,, }, β = {,,,,, } Here w(α, β =, s(α, β = and I(α, β is connected, ˆα = α and ˆβ = {,,,,, }. Similar to the revious discussion, we secify a = c =, d = f =, e = g = in (. Conjecture. There is a weight modular form f 48...c such that for all rimes, [ ( F ; a (f 48...c mod 4.

8 ... α = {,,,,, }, β = {,,,,, }. e(k values for α = {,,,,, }, β = {,,,,, } In this case w(α, β = 4, s(α, β = 0, and I(α, β consists of two disjoint intervals so Lemma does not aly. Anyway, we roceed similarly as the revious cases. In (, we let a = c = d = e =, f =, g =. Numerically we have Conjecture. For rimes, α = {,,,,, } {, ˆβ =,,,, 4, } ( ( ( H (α, ˆβ; = a (f 4.4..d + a (f.4..b +. F [ 4 ; ( a (f 4.4..d mod. Note that for this case the local zeta function for {α, ˆβ; } might have two -adic unit roots simultaneously. But the truncated hyergeometric series have a consistent reference. Numerically we also have the following Dwork-tye congruence, arallel to (9. For α = {,,,,, }, ˆβ = {,,,, 4, }, any rime, ositive integers t s F (α, ˆβ; s F (α, ˆβ; t F (α, ˆβ; t F (α, ˆβ; s mod s... Some 4 F ( cases. In addition, we found numerically a few 4 F ( suercongruences for hyergeometric motives. The following are corresonding to weight-4 modular forms. Conjecture 4. For each rime, [ / / / / (0 4F /4 /4 ; [ / / / / ( 4F / / ; [ / / /4 /4 ( 4F / / ; [ / / / / ( 4F 4/ / ; [ / / / / (4 4F / / ; [ / / / / ( 4F /4 /4 ; 8 ( a (f c mod. ( a (f c mod. a (f c mod. a (f 4.4..a mod. a (f.4..a mod. a (f 4.4..b mod.

9 The next two congruences corresonding to weight- modular forms. They can be obtained using the aroach of [. For each rime >, [ / / / / 4F 4/ / ; a (f 4...a mod. [ / / /4 /4 4F 4/ / ; ( a (f 4...a mod... Some F 4 ( cases. Here is another evaluation formula of While, see Theorem.4. of [. [ a a/ + b c d e ( F a/ a b + a c + a d + a e + ; [ Γ(a d + Γ(a e + a b c + d e = Γ(a + Γ(a d e + F a b + a c + ;... α = {,,,, }, β = {,,,, }. For this case, s(α, β = 0, w(α, β =, t =, I(α, β = [ 0,, ˆα = α, ˆβ = β. Letting a = b = c = d = e = in (, the left and right hand sides corresond to the hyergeometric data {{ H =,,,, } } {{, {,,,, };, H =,, } }, {,, };, resectively, both defined over Q. We use the following in Magma. H := HyergeometricData([/,/,/,/,/, [,,,,; Factorization(EulerFactor(H,-,; We get <*$. +, >, <*$. - 4*$. +, >, <*$. + 0*$. +, > Meanwhile, using H := HyergeometricData([/,/,/, [,,; Factorization(EulerFactor(H,,; We get <*$. + *$. +, > Further using the following we get a sequence denoted by A where the subscrit refers to the corresonding rime. [Coefficient(EulerFactor(H,-,,-*Coefficient(EulerFactor(H,,, -LegendreSymbol(-,* : in [,,,,9,,9,,,4,4,4,,9,,; It roduces the first few A where ranges from to listed as follows. [0,4,,48,-00,8,400,-9,-8,4,-8,408,00,,-8,-8 Note that they are not th coefficients of GL( Hecke eigenforms as each odd weight Hecke eighenform with integer coefficients has to admit comlex multilication. By aearance, half of the th coefficients of a CM modular form should vanish, which is not the case here. This case should be related to a GL( automorhic form. Numerically we have for each rime ( F 4 [ ; 9 A mod.

10 The sign is due to the factor ( t in Lemma as t = here.... {{,,,, }, {,,,, }; }. Similarly, a = b = c =, d =, e = in (, we get another list B using H := HyergeometricData([/,/,/,/,/, [,,,/,/; H8 := HyergeometricData([/,/,/, [,,; [Coefficient(EulerFactor(H,-,,-*Coefficient(EulerFactor(H8,,, -LegendreSymbol(,* : in [,,,,9,,9,,,4,4,4,,9,,; From which we get the first few values of B listed as follows [4,-0,-90,4,88,-,4,898,-90,-994, 9, -04, 8,-990,0,48 Numerically for each rime (8 F 4 [ ; B mod. Remark. Letting a = b = c = d = and e = 4 in (, one relates the hyergeometric datum {{,,, }, {,,, }; } to {{,, 4 }, {,, }; }, which is not defined over Q. See (. of [ by McCarthy and Paanikolas for the recise relation between the corresonding character sums when mod 4. Accordingly, we have the following numeric result. When mod 4 [ ( (9 4F ; Γ ( 4 Γ ( a (f...a mod. References [ S. Ahlgren and K. Ono, A Gaussian hyergeometric series evaluation and Aéry number congruences, J. Reine Angew. Math. 8 (000, 8. [ G.E. Andrews, R. Askey, and R. Roy, Secial functions, Encycl. Math. Al. (Cambridge University Press, Cambridge, 999. [ A. O. L. Atkin and H. P. F. Swinnerton-Dyer, Modular forms on noncongruence subgrous. Combinatorics (Proc. Symos. Pure Math., Vol. XIX, Univ. California, Los Angeles, Calif., 98,.. Amer. Math. Soc., Providence, R.I., 9. [4 R. Barman and N. Saikia, Suercongruences for truncated hyergeometric series and -adic gamma function, arxiv:0.09, to aear in Mathematical Proceedings Cambridge Phil. Soc. [ F. Beukers and E. Delaygue, Some suercongruences of arbitrary length, arxiv:80.04, 08. [ F. Beukers, H. Cohen, and A. Mellit, Finite hyergeometric functions, Pure Al. Math. Q. (0, no. 4, [ A. Deines, J. Fuselier, L. Long, H. Swisher, and F.-T. Tu, Hyergeometric series, truncated hyergeometric series, and Gaussian hyergeometric functions, in: Directions in number theory, Assoc. Women Math. Ser. (Sringer, New York, 0, 9. [8 Hyergeometric decomosition of symmetric K quartic encils, C. F. Doran, T. L. Kelly, A. Salerno, S. Serber, J. Voight, U. Whitcher, arxiv:80.04 [math.nt. [9 B. Dwork, -adic cycles, Publ. Math. l IHÉS (99, no.,. [0 S. Frechette; K. Ono; and M. Paanikolas, Gaussian hyergeometric functions and traces of Hecke oerators. Int. Math. Res. Not. 004, no. 0,. [ J.G. Fuselier, L. Long, R. Ramakrishna, H. Swisher, and F.-T. Tu, Hyergeometric functions over finite fields, Prerint arxiv: 0.0 [math.nt (0. [ J.G. Fuselier and D. McCarthy, Hyergeometric tye identities in the -adic setting and modular forms, Proc. Amer. Math. Soc. 44 (0, no. 4, [ J. Greene, Hyergeometric functions over finite fields, Trans. Amer. Math. Soc. 0 (98, no., 0. [4 B.H. Gross and N. Koblitz, Gauss sums and the -adic Γ-function, Ann. of Math. ( 09 (99, no., 9 8. [ B. He, Bing On extensions of van Hamme s conjectures. Proc. Roy. Soc. Edinburgh Sect. A 48 (08, no., 0 0. [ N.M. Katz, Exonential sums and differential equations, Ann. Math. Studies 4 (Princeton Univ. Press, Princeton, 990. [ T. Kilbourn, An extension of the Aéry number suercongruence, Acta Arith. (00, no. 4, 48. [8 The LMFDB Collaboration, The L-functions and modular forms database, htt:// (0 0; Holomorhic cus forms, htt:// (accessed March 0. [9 W.-C. Li and L. Long, Atkin and Swinnerton-Dyer congruences and noncongruence modular forms. Algebraic number theory and related toics 0, 9 99, RIMS Kokyuroku Bessatsu, B, Res. Inst. Math. Sci. (RIMS, Kyoto, 04. [0 J.-C. Liu, A -adic suercongruence for truncated hyergeometric series F. Results Math. (0, no. 4, 0 0. [ L. Long, Hyergeometric evaluation identities and suercongruences, Pacific J. Math. 49 (0, no.,

11 [ L. Long and R. Ramakrishna, Some suercongruences occurring in truncated hyergeometric series, Adv. Math. 90 (0, 808. [ L. Long, F.-T. Tu, N. Yui, and W. Zudilin. Suercongruences for rigid hyergeometric Calabi Yau threefolds. ArXiv 0.0, May 0. [4 G.S. Mao and H. Pan, -adic analogues of hyergeometric identities, arxiv:0.0, 0. [ D. McCarthy, On a suercongruence conjecture of Rodriguez-Villegas, Proc. Amer. Math. Soc. 40 (0, no., 4 4. [ D. McCarthy, Transformations of well-oised hyergeometric functions over finite fields Finite Fields and Their Alications, 8 (0, no., 4. [ D. McCarthy and M. Paanikolas, A finite field hyergeometric function associated to eigenvalues of a Siegel eigenform, Int. J. of Number Theory (0, no. 8, [8 R. Osburn, A. Straub, and W. Zudilin, A modular suercongruence for F : an Aéry-like story, Annales de l Institut Fourier 8: (08, [9 D. Roberts, Comlete hyergeometric L-functions, htts://icerm.brown.edu/materials/slides/s-f- w/comlete_hyergeometric_l-functions David_Roberts,_University_of_Minnesota,_Morris.df [0 D.P. Roberts and F. Rodriguez Villegas, Hyergeometric suercongruences, arxiv: (08. [ F. Rodriguez-Villegas, Hyergeometric families of Calabi Yau manifolds, in: Calabi Yau varieties and mirror symmetry (Toronto, ON, 00, Fields Inst. Commun. 8 (Amer. Math. Soc., Providence, RI, 00,. [ F. Rodriguez-Villegas, Hyergeometric Motives, lecture notes June 0. [ A.J. Scholl, Modular forms and de Rham cohomology; Atkin-Swinnerton-Dyer congruences. Invent. Math. 9 (98, no., 49. [4 Z.-W. Sun Oen Conjectures on Congruences, arxiv:09. [math.nt [ H. Swisher, On the suercongruence conjectures of van Hamme, Res. Math. Sci. (0, Art. 8,. [ M. Watkins, Hyergeometric motives notes, Prerint htt://magma.maths.usyd.edu.au/~watkins/aers/known.df (0. [ W. Zudilin, An elementary roof of Aéry s theorem, Aéry s theorem. Thirty years after, Intern. J. Math. Comuter Sci. 4 (009, no., Lockett Hall, Louisiana State University, Baton Rouge, LA 080, USA, llong@lsu.edu