arXiv subjects
Publications and source records attributed to Fang-Ting Tu.
Associated with the classical Kloosterman sums, we consider the quadratic twisted symmetric power moments. We investigate the cohomological properties and construct the motives over the field of the rationals underlying such moments. We determine the associated modular forms in the lower degree cases.
We refine the Explicit Hypergeometric Modularity Method (EHMM) and develop a variant that applies to a broader class of hypergeometric data. As an application, we establish the modularity of hypergeometric Galois representations arising from length-$4$ data that are not necessarily defined over $\mathbb{Q}$. We also use this method to give explicit constructions of nine modular forms associated with hypergeometric rigid Calabi-Yau threefolds conjectured to be modular by Rodriguez-Villegas. The modularity of these threefolds was first proved by Long-Tu-Yui-Zudilin using a different approach based on the Faltings-Serre method. Moreover, the explicit nature of the method makes it well suited to the computation of special $L$-values of the associated modular forms.
Ramanujan's theory of elliptic functions to alternative bases connects modular forms with hypergeometric series and has led to applications such as the modularity of certain hypergeometric Galois representations. In this paper, we relate special values of $L$-functions of certain CM Hecke eigenforms to Ramanujan's alternative bases via the modularity of hypergeometric Galois representations associated with hypergeometric series ${}_{3}F_{2}\!\left[ \genfrac{}{}{0pt}{}{\frac{1}{2} \ \frac{1}{d} \ \frac{d-1}{d}}{\ 1 \ \ \ \ 1} ;\ t \right]$, $d=2$, $3$, $4$, and $6$, arising from tensor products of CM elliptic curves over real quadratic fields. We also give a complete classification of these type of hypergeometric Galois representations.
In this note, we give a concrete realization of the Jacquet-Langlands correspondence for non-Eichler orders of indefinite quaternion algebras defined over $\mathbb Q$. To be more precise, we consider a special type of index-two suborder of the Eichler order of level $N$ in the quaternion algebra with an even discriminant $D$.
The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hypergeometric datum. In particular, for certain length three and four hypergeometric data we give an explicit method for finding a modular form $f$ such that the corresponding hypergeometric Galois representation has a subrepresentation isomorphic to the Deligne representation of $f$. Our method utilizes Ramanujan's theory of elliptic functions to alternative bases, commutative formal group laws, and supercongruences. As a byproduct, we give a collection of eta quotients with multiplicative coefficients constructed from hypergeometric functions. In the second paper, we discuss a number of applications, including explicit connections between hypergeometric values and periods of these explicit eta quotients as well as evaluation formulae for certain special $L$-values.
Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/π$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle groups of non-compact type. Here, we use work of Chisholm, Deines, Long, Nebe and the third author to prove a general $p$-adic supercongruence theorem through an explicit connection to CM hypergeometric elliptic curves that provides $p$-adic analogues of these Ramanujan-Sato series. We further use this theorem to construct explicit examples related to each of our explicit Ramanujan-Sato series examples.
In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works, is uniform and more geometric, and it works equally well for forms on elliptic modular curves and Shimura curves. The same method can be applied to obtain eigenvalues of Hecke operators as well.
In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this method from a motivic viewpoint through some known hypergeometric well-poised formulae of Whipple and McCarthy. We first use the method to derive a class of special weight three modular forms, labeled as $\mathbb{K}_2$-functions. Then using well-poised hypergeometric formulae we further construct a class of degree four Galois representations of the absolute Galois groups of the corresponding cyclotomic fields. These representations are then shown to be extendable to $G_{\mathbb{Q}}$ and the $L$-function of each extension coincides with the $L$-function of an automorphic form.
This is a report on recent work, with Wen-Ching Winnie Li and Ling Long. In that work explicit formulas are given, involving hypergeometric character sums, for the traces of Hecke operators $T_p$ acting spaces of cusp forms $S_k(Γ)$ of weight $k$ for certain arithmetically defined Fuchsian subgroups $Γ\subset \mathrm{SL}_2 (\mathbf{R})$. In particular we consider the groups attached to the quaternion division algebra $B_6$ over $\mathbf{Q}$ of discriminant 6.
Motivated by work of Chan, Chan, and Liu, we obtain a new general theorem which produces Ramanujan-Sato series for $1/π$. We then use it to construct explicit examples related to non-compact arithmetic triangle groups, as classified by Takeuchi. Some of our examples are new, and some reproduce existing examples.
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classical gamma function and its finite field analogue the Gauss sum, we give a systematic way to obtain certain types of hypergeometric transformation and evaluation formulas over finite fields and interpret them geometrically using a Galois representation perspective. As an application, we obtain a few finite field analogues of algebraic hypergeometric identities, quadratic and higher transformation formulas, and evaluation formulas. We further apply these finite field formulas to compute the number of rational points of certain hypergeometric varieties.
A well-known formula of Whipple relates certain hypergeometric values $_7F_6(1)$ and $_4F_3(1)$. In this paper we revisit this relation from the viewpoint of the underlying hypergeometric data $HD$, to which there are also associated hypergeometric character sums and Galois representations. We explain a special structure behind Whipple's formula when the hypergeometric data $HD$ are primitive and self-dual. If the data are also defined over $\mathbb Q$, by the work of Katz, Beukers, Cohen, and Mellit, there are compatible families of $\ell$-adic representations of the absolute Galois group of $\mathbb Q$ attached to $HD$. For specialized choices of $HD$, these Galois representations are shown to be decomposable and automorphic. As a consequence, the values of the corresponding hypergeometric character sums can be explicitly expressed in terms of Fourier coefficients of certain modular forms. We further relate the hypergeometric values $_7F_6(1)$ in Whipple's formula to the periods of these modular forms.
We establish the supercongruences for the fourteen rigid hypergeometric Calabi--Yau threefolds over $\mathbb Q$ conjectured by Rodriguez-Villegas in 2003. Our first method is based on Dwork's theory of $p$-adic unit roots and it allows us to establish the supercongruences between the truncated hypergeometric series and the corresponding unit roots for ordinary primes. The other method makes use of the theory of hypergeometric motives, in particular, adapts the techniques from the recent work of Beukers, Cohen and Mellit on finite hypergeometric sums over $\mathbb Q$. Essential ingredients in executing the both approaches are the modularity of the underlying Calabi--Yau threefolds and a $p$-adic perturbation method applied to hypergeometric functions.
We consider algebraic transformations of hypergeometric functions from a geometric point of view. Hypergeometric functions are shown to arise from the deRham realization of a hypergeometric motive. The $\ell$-adic realization of the motive gives rise to hypergeometric characters sums over finite fields. This helps to unify and explain some recent results about transformations of hypergeometric character sums.
In this expository paper, we illustrate two explicit methods which lead to special $L$-values of certain modular forms admitting complex multiplication (CM), motivated in part by properties of $L$-functions obtained from Calabi-Yau manifolds defined over $\mathbb Q$.
For an odd prime $p$, let $ϕ$ denote the quadratic character of the multiplicative group ${\mathbb F}_p^\times$, where ${\mathbb F}_p$ is the finite field of $p$ elements. In this paper, we will obtain evaluations of the hypergeometric functions $ {}_2F_1\left(\begin{matrix} ϕψ& ψ\\ & ϕ\end{matrix};x\right)$, $x\in {\mathbb F}_p$, $x\neq 0, 1$, over ${\mathbb F}_p$ in terms of Hecke character attached to CM elliptic curves for characters $ψ$ of ${\mathbb F}_p^\times$ of order $3$, $4$, $6$, $8$, and $12$.
We define a finite-field version of Appell-Lauricella hypergeometric functions built from period functions in several variables, paralleling the development by Fuselier, et. al in the single variable case. We develop geometric connections between these functions and the family of generalized Picard curves. In our main result, we use finite-field Appell-Lauricella functions to establish a finite-field analogue of Koike and Shiga's cubic transformation for the Appell hypergeometric function $F_1$, proving a conjecture of Ling Long. We use our multivariable period functions to construct formulas for the number of $\mathbb{F}_p$-points on the generalized Picard curves. We also give some transformation and reduction formulas for the period functions, and consequently for the finite-field Appell-Lauricella functions.
This paper is devoted to abelian varieties arising from generalized Legendre curves. In particular, we consider their corresponding Galois representations, periods, and endomorphism algebras. For certain one parameter families of 2-dimensional abelian varieties of this kind, we determine when the endomorphism algebra of each fiber defined over the algebraic closure of $\Bbb Q$ contains a quaternion algebra.