We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and p-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and Knizhnik–Zamolodchikov (KZ) equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application, we show that the simplest example of a p-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of its monodromy representation.

We introduce interpolated multiple Hurwitz polylogs and interpolated multiple Hurwitz zeta values. In addition, we discuss the generating functions for the sum of the polylogs/zeta values of fixed weight, depth, and all heights. The functions are expressed in terms of generalized hypergeometric functions. Compared with the pioneering results of Ohno and Zagier on the generating function, our setup generalizes the results in three directions, namely, at general heights, with a t-interpolation, and as a Hurwitz type. As an application, by fixing the Hurwitz parameter to rational numbers, the generating functions for multiple zeta values with level are given.

The goal of this paper is to raise the possibility that there exists a meaningful theory of ‘motives’ associated with certain hypergeometric integrals, viewed as functions of their parameters. It goes beyond the classical theory of motives, but should be compatible with it. Such a theory would explain a recent and surprising conjecture arising in the context of scattering amplitudes for a motivic Galois group action on Gauss’s ${}_2F_1$ hypergeometric function, which we prove in this paper by direct means. More generally, we consider Lauricella hypergeometric functions and show, on the one hand, how the coefficients in their Taylor expansions can be promoted, via the theory of motivic fundamental groups, to motivic multiple polylogarithms. The latter are periods of ordinary motives and admit an action of the usual motivic Galois group, which we call the local action. On the other hand, we define lifts of the full Lauricella functions as matrix coefficients in a Tannakian category of twisted cohomology, which inherit an action of the corresponding Tannaka group. We call this the global action. We prove that these two actions, local and global, are compatible with each other, even though they are defined in completely different ways. The main technical tool is to prove that metabelian quotients of generalised Drinfeld associators on the punctured Riemann sphere are hypergeometric functions. We also study single-valued versions of these hypergeometric functions, which may be of independent interest.

Asymptotic expansions of the Gauss hypergeometric function with large parameters, $F(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D716}_{1}\unicode[STIX]{x1D70F},\unicode[STIX]{x1D6FD}+\unicode[STIX]{x1D716}_{2}\unicode[STIX]{x1D70F};\unicode[STIX]{x1D6FE}+\unicode[STIX]{x1D716}_{3}\unicode[STIX]{x1D70F};z)$ as $|\unicode[STIX]{x1D70F}|\rightarrow \infty$, are known for many special cases, but not for one that the author encountered in recent work on fluid mechanics: $\unicode[STIX]{x1D716}_{2}=0$ and $\unicode[STIX]{x1D716}_{3}=\unicode[STIX]{x1D716}_{1}z$. This paper gives the leading term for that case if $\unicode[STIX]{x1D6FD}$ is not a negative integer and $z$ is not on the branch cut $[1,\infty )$, and it shows how subsequent terms can be found.

In this paper various analytic techniques are combined in order to study the average of a product of a Hecke $L$-function and a symmetric square $L$-function at the central point in the weight aspect. The evaluation of the second main term relies on the theory of Maaß forms of half-integral weight and the Rankin–Selberg method. The error terms are bounded using the Liouville–Green approximation.

We consider an extension of the Ramanujan series with a variable $x$. If we let $x=x_{0}$, we call the resulting series ‘Ramanujan series with the shift $x_{0}$’. Then we relate these shifted series to some $q$-series and solve the case of level $4$ with the shift $x_{0}=1/2$. Finally, we indicate a possible way towards proving some patterns observed by the author corresponding to the levels $\ell =1,2,3$ and the shift $x_{0}=1/2$.

The Jacobi coefficients $c_{j}^{\ell }\left( \alpha ,\,\beta \right)\,\left( 1\,\le \,j\,\le \,\ell ,\,\alpha ,\,\beta \,>\,-1 \right)$ are linked to the Maclaurin spectral expansion of the Schwartz kernel of functions of the Laplacian on a compact rank one symmetric space. It is proved that these coefficients can be computed by transforming the even derivatives of the Jacobi polynomials $P_{k}^{\left( \alpha ,\,\beta \right)}\,\left( k\,\ge \,0,\,\alpha ,\,\beta \,>\,-1 \right)$ into a spectral sum associated with the Jacobi operator. The first few coefficients are explicitly computed, and a direct trace interpretation of the Maclaurin coefficients is presented.

A theorem of Ostrowski implies that $\log \left( x \right),\,\log \left( x+1 \right),\,.\,.\,.$ are algebraically independent over $\mathbb{C}\left( x \right)$. More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies among a non-zero solution $y$ and particular transformations of $y$, such as derivatives of $y$ with respect to parameters, shifts of the arguments, rescaling, etc. In this paper, we develop a theory of Tannakian categories with semigroup actions, which will be used to attack such questions in full generality, as each linear differential equation gives rise to a Tannakian category. Deligne studied actions of braid groups on categories and obtained a finite collection of axioms that characterizes such actions to apply them to various geometric constructions. In this paper, we find a finite set of axioms that characterizes actions of semigroups that are finite free products of semigroups of the form ${{\mathbb{N}}^{n}}\,\times \,\mathbb{Z}/{{n}_{1}}\mathbb{Z}\,\times \,.\,.\,.\,\mathbb{Z}/{{n}_{r}}\mathbb{Z}$ on Tannakian categories. This is the class of semigroups that appear in many applications.

The zeros of certain different sequences of orthogonal polynomials interlace in a well-defined way. The study of this phenomenon and the conditions under which it holds lead to a set of points that can be applied as bounds for the extreme zeros of the polynomials. We consider different sequences of the discrete orthogonal Meixner and Kravchuk polynomials and use mixed three-term recurrence relations, satisfied by the polynomials under consideration, to identify bounds for the extreme zeros of Meixner and Kravchuk polynomials.

For $a\in(0,\tfrac12]$ and $r\in(0,1)$, let $\mu_a(r)$ be the so-called generalized Grötzsch function which appears in Ramanujan's generalized modular equations. In this paper, several sharp inequalities for $\mu_a(r)$ are obtained and a conjecture on $\mu_a(r)$, which was presented by Qiu and Vuorinen in 1999, is proved.

In this paper, we revisit Russell-type modular equations, a collection of modular equations first studied systematically by R. Russell in 1887. We give a proof of Russell’s main theorem and indicate the relations between such equations and the constructions of Hilbert class fields of imaginary quadratic fields. Motivated by Russell’s theorem, we state and prove its cubic analogue which allows us to construct Russell-type modular equations in the theory of signature 3.

A new infinite product ${{t}_{n}}$ was introduced by S. Ramanujan on the last page of his third notebook. In this paper, we prove Ramanujan’s assertions about ${{t}_{n}}$ by establishing new connections between the modular $j$-invariant and Ramanujan’s cubic theory of elliptic functions to alternative bases. We also show that for certain integers $n$, ${{t}_{n}}$ generates the Hilbert class field of $\mathbb{Q}\left( \sqrt{-n} \right)$. This shows that ${{t}_{n}}$ is a new class invariant according to H. Weber’s definition of class invariants.

There are three modular forms a(q), b(q), c(q) involved in the parametrization of the hypergeometric function analogous to the classical θ2(q), θ3(q), θ4(q) and the hypergeometric function We give elliptic function generalizations of a(q), b(q), c(q) analogous to the classical theta-function θ(z, q). A number of identities are proved. The proofs are self-contained, relying on nothing more than the Jacobi triple product identity