In connection with each global field of positive characteristic we exhibit many examples of two-variable algebraic functions possessing properties consistent with a conjectural refinement of the Stark conjecture in the function field case recently proposed by the author (math.NT/0407535). Most notably, all examples are Coleman units. We obtain our results by studying rank one shtukas in which both zero and pole are generic, i.~e., shtukas not associated to any Drinfeld module.
We consider a class of partial differential equations with Carlitz derivatives over a local field of positive characteristic, for which an analog of the Cauchy problem is well-posed. Equations of such type correspond to quasi-holonomic modules over the ring of differential operators with Carlitz derivatives. The above class of equations includes some equations of hypergeometric type. Building on the work of Thakur, we develop his notion of the hypergeometric function of the first kind (whose parameters belonged initially to $\mathbb Z$) in such a way that it becomes fully an object of the func…
In 1995, Thakur invented and studied positive characteristic analogues of hypergeometric functions. In this paper, we interpret the special values of those functions as periods of a pre-$t$-motive. As a consequence, we show their transcendence and linear independence results by using Chang's refined version of the Anderson-Brownawell-Papanikolas criterion. Furthermore, as by-products, we show some linear/algebraic independence results among the special values of Kochubei multiple polylogarithms according to our period interpretation and the corresponding refined criterion.
It is well known that Feynman integrals in dimensional regularization often evaluate to functions of hypergeometric type. Inspired by a recent proposal for a coaction on one-loop Feynman integrals in dimensional regularization, we use intersection numbers and twisted homology theory to define a coaction on certain hypergeometric functions. The functions we consider admit an integral representation where both the integrand and the contour of integration are associated with positive geometries. As in dimensionally-regularized Feynman integrals, endpoint singularities are regularized by means of …
Let $q$ be a prime power and $\mathbb{F}_q$ be a finite field with $q$ elements. Let $e$ and $d$ be positive integers. In this paper, for $d\geq2$ and $q\equiv1(\mathrm{mod}~ed(d-1))$, we calculate the number of points on an algebraic curve $E_{e,d}:y^e=x^d+ax+b$ over a finite field $\mathbb{F}_q$ in terms of $_dF_{d-1}$ Gaussian hypergeometric series with multiplicative characters of orders $d$ and $e(d-1)$, and in terms of $_{d-1}F_{d-2}$ Gaussian hypergeometric series with multiplicative characters of orders $ed(d-1)$ and $e(d-1)$. This helps us to express the trace of Frobenius endomorphis…
Let $k$ be a local field of positive characteristic. Let $L$ be a cocompact discrete subgroup of $k$. Let $U$ be an open compact subgroup of $k$. Let $\ell$, $u$ and $a$ be elements of $k$, with $a$ nonzero. We study the behavior of the product $\prod_{0\neq x\in (\ell+L)\cap a(u+U)}x$ as $a$ varies. Our main result, which blends harmonic analysis and local class field theory, provides local confirmation of a conjecture concerning global function fields recently made by the author (math.NT/0407535).
We study the action of the Hecke operators Un on the set of hy- pergeometric functions, as well as on formal power series. We show that the spectrum of these operators on the set of hypergeometric functions is the set n^a with a an integer and n a positive integer, and that the polylogarithms play a dominant role in the study of the eigenfunctions of the Hecke operators Un on the set of hypergeometric functions. As a corollary of our results on simultaneous eigen- functions, we also obtain an apriori unrelated result regarding the behavior of completely multiplicative hypergeometric coefficien…
Let $p$ be an odd prime and let $n$ be a positive integer. For any positive integer $α$ and $m\in\{1,2,3\}$, we have \begin{align*} \sum_{k=0}^{p^αn-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\equiv\bigg(\frac{m(m-4)}{p}\bigg)\sum_{k=0}^{p^{α-1}n-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\pmod{p^{2α}}, \end{align*} where $(x)_k=x(x+1)\cdots(x+k-1)$ and $\big(\frac{\cdot}{\cdot}\big)$ denotes the Legendre symbol. Also, when $m=4$, \begin{align*} \sum_{k=0}^{p^αn-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\equiv p\sum_{k=0}^{p^{α-1}n-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\pmod{p^{2α}}. \end{align*…
The main purpose of this paper is to construct not only generating functions of the new approach Genocchi type numbers and polynomials but also interpolation function of these numbers and polynomials which are related to a, b, c arbitrary positive real parameters. We prove multiplication theorem of these polynomials. Furthermore, we give some identities and applications associated with these numbers, polynomials and their interpolation functions.
For a prime $p\equiv 3\pmod{4}$ and a positive integer $t$, let $q=p^{2t}$. Let $g$ be a primitive element of the finite field $\mathbb{F}_q$. The Peisert graph $P^\ast(q)$ is defined as the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if $a-b\in\langle g^4\rangle \cup g\langle g^4\rangle$. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $P^\ast(q)$. We also give a new proof for the number of complete subgraphs of order three contained in $P^\ast(q)$ by evaluating certain characte…
The $j$th divisor function $d_j$, which counts the ordered factorisations of a positive integer into $j$ positive integer factors, is a very well-known arithmetic function; in particular, $d_2(n)$ gives the number of divisors of $n$. However, the $j$th non-trivial divisor function $c_j$, which counts the ordered proper factorisations of a positive integer into $j$ factors, each of which is greater than or equal to 2, is rather less well-studied. We also consider associated divisor functions $c_j^{(r)}$, whose definition is motivated by the sum-over divisors recurrence for $d_j$. After reviewin…
In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let $K$ be any algebraic number field and $v$ be a place of $K$. Let $r\in\mathbb{Z}$ with $r\ge2$. Consider $a_1,\ldots,a_{r}, b_1,\ldots,b_{r-1}\in \mathbb{Q}\setminus\{0\}$ not being negative integers. Assume neither $a_k$ nor $a_k+1-b_j$ be strictly positive integers $(1\le k \le r, 1\le j \le r-1)$. Let $α_1,\ldots,α_m\in K\setminus\{0\}$ with $α_1,\ldots,α…
We study modules over the Carlitz ring, a counterpart of the Weyl algebra in analysis over local fields of positive characteristic. It is shown that some basic objects of function field arithmetic, like the Carlitz module, Thakur's hypergeometric polynomials, and analogs of binomial coefficients arising in the function field version of umbral calculus, generate quasi-holonomic modules. This class of modules is, in many respects, similar to the class of holonomic modules in the characteristic zero theory.
