Arxiv:2009.08035V2 [Math.NT] 30 Sep 2020 O 12001279)

TWO q-SUPERCONGRUENCES FROM WATSON’S TRANSFORMATION HE-XIA NI AND LI-YUAN WANG* Abstract. Guo and Zudilin [Adv. Math. 346 (2019), 329–358] introduced a new method called ‘creative microscoping’, to prove many q-supercongruences in a unified way. In this paper, we apply this method and Watson’s 8φ7 transformation formula to prove two q-supercongruences, which were recently conjectured by Guo and Schlosser. 1. Introduction In 1997, Van Hamme [10] proposed 13 conjectured congruences concerning trun- cated Ramanujan-type series for 1/π. For example, he made the following conjec- ture: p−1 2 ( 1 )4 (4k + 1) 2 k ≡ p (mod p3), (1.1) k!4 Xk=0 where p > 3 is a prime and (a)n = a(a + 1) ··· (a + n − 1) is the Pochhammer symbol. The supercongruence (1.1) was proved by Van Hamme [10, (C.2)] himself and was later shown to hold modulo p4 by Long [14]. Moreover, applying the fact that the Calabi-Yau threefold is related to modular forms, Ahlgren and Ono [1], Kilbourn [11] confirmed Van Hamme’s (M.2) supercongruence: (p 1)/2 − 1 4 ( 2 )k 3 4 ≡ ap (mod p ), (1.2) arXiv:2009.08035v2 [math.NT] 30 Sep 2020 k! Xk=0 where ap is the p-th coefficient of a weight 4 modular form ∞ η(2z)4η(4z)4 := q (1 − q2n)4(1 − q4n)4, q = e2πiz. n=1 Y 2010 Mathematics Subject Classification. Primary 11B65; Secondary 05A10, 05A30, 11A07. Key words and phrases. congruence; cyclotomic polynomial; q-binomial coefficient; Waston’s transformation;q-Pfaff-Saalaschütz summation. *Corresponding author. The first author is supported by the National Natural Science Foundation of China (Grant No. 12001279). 1 2 HE-XIANIANDLI-YUANWANG In 2011, Long [14] made use of Whipple’s 7F6 transformation formula to prove that (p 1)/2 (p 1)/2 − ( 1 )6 − ( 1 )4 (4k + 1) 2 ≡ p 2 k (mod p4) for p> 3, k!6 k!4 Xk=0 Xk=0 which can be written as (p 1)/2 − ( 1 )6 (4k + 1) 2 ≡ pa (mod p4) for p> 3 (1.3) k!6 p Xk=0 in light of the supercongruence (1.2). In 2016, Long and Ramakrishna [15, Theorem 2] established the following supercongruence: p 1 1 6 9 6 − −pΓp(1/3) (mod p ), if p ≡ 1 (mod 6), ( 3 )k (6k + 1) ≡ 4 (1.4) 6 p 9 6 k! (− Γp(1/3) (mod p ), if p ≡ 5 (mod 6), Xk=0 27 where Γp(x) is the p-adic Gamma function. Now all of Van Hamme’s conjectural supercongruences have been confirmed. We refer the reader to [18,19] for the history of the proofs of them. During the past few years, q-supercongruences have been widely investigated and a variety of techniques were involved. For more related results and the latest progress, see [3–9,12,13,16,17,20,21]. In particular, Guo and Schlosser [7, Theo- rem 4.1] proposed the following partial q-analogue of (1.3) and (1.4): for positive integers n and d with d ≥ 3 and gcd(n, d) = 1, n 1 − d d 4 (aq, q/a; q )k(q, q )k (2d 3)k − [2dk + 1] d d d d d 4 q (aq , q /a; q )k(q ; q )k Xk=0 2 0 (mod Φn(q) ), if n ≡ −1 (mod d), ≡ (1.5) (0 (mod Φn(q)), otherwise. Here and in what follows, we assume q to be fixed with 0 < |q| < 1. For a ∈ C, the q-shifted factorial [2] is defined by n 1 (1 − x)(1 − xq) ··· (1 − xq − ), if n ≥ 1, (x; q)n = (1, if n =0, and the n-th cyclotomic polynomial is defined as 2π√ 1 k Φn(q) := (q − e − · n ). 1 k n (n,k≤Y)=1≤ Also, we frequently use the shortened notation: (a1,...,am; q)k =(a1; q)k ··· (am; q)k, k ∈ N ∪∞. TWO q-SUPERCONGRUENCES FROM WATSON’S TRANSFORMATION 3 The main purpose of this paper is to prove the following results, which were recently conjectured by Guo and Schlosser [7, Conjectures 4.2 and 5.11]. Theorem 1.1. Let n and d be positive integers with d ≥ 3 and gcd(n, d)=1. Then n 1 − d d 2 (aq,q/a,bq,q/b; q )k(q; q )k (2d 3)k − [2dk + 1] d d d d d d d 2 q (aq , q /a, bq , q /b; q )k(q ; q )k Xk=0 0 (mod [n]Φn(q)), if n ≡ −1 (mod d), ≡ (1.6) (0 (mod [n]), otherwise. Theorem 1.2. Let n> 1 and d > 3 be integers with gcd(n, d)=1. Then n 1 − 1 1 1 1 d 1 d 2 (aq− , q− /a, bq− , q− /b; q )k(q− ; q )k (2d+3)k [2dk − 1] d d d d d d d 2 q (aq , q /a, bq , q /b; q )k(q ; q )k Xk=0 0 (mod [n]Φn(q)), if n ≡ 1 (mod d), ≡ (1.7) (0 (mod [n]), otherwise. It is clear that (1.6) is a two-parameters generation of (1.5). Following Gasper and Rahman [2], the r+1φr basic hypergeometric series is defined by ∞ a1, a2,...,ar+1 (a1, a2,...,ar+1; q)k k r+1φr ; q, z := z . b1,...,br (q, b1,...,br; q)k Xk=0 In the proof of Theorems 1.1 and 1.2, we will make use of Waston’s 8φ7 transformation formula [2, Appendix (III.17)]: 1 1 a, qa 2 , −qa 2 , b, c, d, e, f a2q2 8φ7 1 1 ; q, a 2 , −a 2 , aq/b, aq/c, aq/d, aq/e, aq/f bcdef (aq, aq/de, aq/df, aq/ef; q) aq/bc, d, e, f = ∞ φ ; q, q , (aq/d, aq/e, aq/f, aq/def; q) 4 3 aq/b, aq/c, def/a ∞ (1.8) which is valid whenever the 8φ7 series converges and the 4φ3 series terminates. 2. Proof of Theorems 1.1 and 1.2 We need the following lemma, which was proved by Guo and Schlosser [6, Lemma 2.1]. 4 HE-XIANIANDLI-YUANWANG Lemma 2.1. Let m, n and d be positive integers with m ≤ n − 1. Let r be an integer satisfying dm ≡ −r (mod n). Then, for 0 ≤ k ≤ m, we have r d r d (aq ; q )m k m 2k (aq ; q )k m(dm d+2r)/2+(d r)k − − − − d d ≡ (−a) d d q (mod Φn(q)). (q /a; q )m k (q /a; q )k − In order to prove Theorems 1.1 and 1.2, we also need to establish the following three-parametric q-congruences. Lemma 2.2. Let n and d be positive integers with gcd(n, d)=1. Let r be an integer and let a, b, c be indeterminates. Then m r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k − [2dk + r] d d d d d d d (cq ) ≡ 0 (mod [n]), (2.1) (aq , q /a, bq , q /b, cq , q ; q )k Xk=0 n 1 − r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k [2dk + r] d d d d d d d (cq − ) ≡ 0 (mod [n]), (2.2) (aq , q /a, bq , q /b, cq , q ; q )k Xk=0 where 0 ≤ m ≤ n − 1 and dm ≡ −r (mod n). Proof. It is easy to see that Lemma 2.2 is true for n =1or r = 0. We now suppose that n > 1 and r =6 0. By Lemma 2.1, for 0 ≤ k ≤ m, the k-th and (m − k)-th terms on the left-hand side of (2.3) cancel each other modulo Φn(q), i.e., r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )m k 2d 3r m k − − − [2d(m − k)+ r] d d d d d d d (cq ) (aq , q /a, bq , q /b, cq , q ; q )m k − r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k ≡ −[2dk + r] d d d d d d d (cq − ) (mod Φn(q)). (aq , q /a, bq , q /b, cq , q ; q )k This proves that the q-congruence (2.1) is true modulo Φn(q). r d αn Furthermore, the q-factorial (q ; q )k has a factor of the form 1 − q for m < k ≤ n − 1, and so it is congruent to 0 modulo Φn(q) as dm ≡ −r (mod n). Note d d that (q ; q )k and Φn(q) are coprime for m<k ≤ n − 1. Thus, the k-th summand in (2.2) with k satisfying m<k ≤ n − 1 is congruent to 0 modulo Φn(q). This together with (2.1) modulo Φn(q) confirms the q-congruence (2.2) modulo Φn(q). We are now ready to prove (2.1) and (2.2) modulo [n]. Let ζ =6 1 be a primitive root of unity of degree s with s|n and s > 1. Let cq(k) be the k-th term on the left-hand side of (2.1), i.e., r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k − cq(k) = [2dk + r] d d d d d d d (cq ) .

Load more