Some \(q\)-supercongruences from a \(q\)-analogue of Watson's \(_3F_2\) summation (Q7027638)

\textit{L. van Hamme} [Lect. Notes Pure Appl. Math. 192, 223--236 (1997; Zbl 0895.11051)] proposed a supercongruence conjecture modulo \(p^3\) or \(p^2\) for any odd prime \(p\). It was confirmed in [\textit{D. McCarthy} and \textit{R. Osburn}, Arch. Math. 91, No. 6, 492--504 (2008; Zbl 1175.33004)]. Using the method of ``creative microscoping'' introduced in [\textit{V. J. W. Guo} and \textit{W. Zudilin}, Adv. Math. 346, 329--358 (2019; Zbl 1464.11028)] and a \(q\)-analogue of Watson's \({}_3F_2\) summation, \textit{X. Wang} and \textit{M. Yue} [Int. J. Number Theory 16, No. 6, 1325--1335 (2020; Zbl 1469.11006)] and the author [Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 114, No. 3, Paper No. 123, 9 p. (2020; Zbl 1439.33006)] gave one of its \(q\)-analogues. In this paper, the author gives some further generalizations, where the modulo \([n]\phi_n(q)^2\) condition is replaced by the weaker condition modulo \(\phi_n(q)^3\) or \(\phi_n(q)^2\). Here, \([n]=[n]_q=(1-q^n)/(1-q)\) is the \(q\)-integer and \(\phi_n(q)\) is the \(n\)-th cyclotomic polynomial. The author also proves a supercongruence conjecture of {X. Wang} and {M. Yue} [loc. cit.] by establishing its \(q\)-analogue.