The paper deals with a branch of mathematics connecting number theory and combinatorics, specifically focusing on objects called supercongruences. A supercongruence is a statement that two mathematical expressions are not just equal when divided by some prime number, but equal when divided by a much higher power of that prime. The starting point is a family of such results due to Jana and Kalita, which involve sums of fractions built from special products called Pochhammer symbols. These sums, when evaluated up to a specific cutoff determined by a prime, turn out to be divisible by surprisingly large powers of that prime, which is the remarkable content of a supercongruence.
The main contribution of the paper is to lift these supercongruences into a more general setting using something called a q-analogue. The idea is to introduce a new parameter q into the formulas so that when q approaches 1, you recover the original result. Working with q-analogues is useful because they carry richer algebraic structure and can reveal deeper reasons why identities or divisibility results hold. The authors use a technique called q-telescoping, which is a way of manipulating sums so that most terms cancel and only boundary terms survive, making it possible to control divisibility properties in the q-setting.
The result is a set of new q-analogues of the Jana-Kalita supercongruences, expressed in terms of q-shifted factorials, which are the natural q-deformed versions of the products that appeared in the original sums. By specializing their general results back to q equal to 1, the authors recover the known supercongruences as special cases, confirming consistency. The work fits into a broader program of q-analogues of classical results in number theory, where introducing the extra parameter often both generalizes and illuminates the underlying structure.