We compute the central critical value of the triple product $L$-function associated to three cusp forms $f_1,f_2,f_3$ with trivial character for groups $Γ_0(N_i)$ with square free levels $N_i$ not all of which are $1$ and weights $k_i$ satisfying $k_1\ge k_2\ge k_3$ and $k_1<k_2+k_3$. This generalizes work of Gross and Kudla and gives an alternative classical proof of their results in the case $N_1=N_2=N_3$ with $k_1=k_2=k_3=2$.
We obtain exact formulas for central values of triple product L-functions averaged over newforms of weight 2 and prime level. We apply these formulas to non-vanishing problems. This paper uses a period formula for the triple product L-function proved by Gross and Kudla.
We study the algebraicity of the central critical values of twisted triple product $L$-functions associated to motivic Hilbert cusp forms over a totally real étale cubic algebra in the totally unbalanced case. The algebraicity is expressed in terms of the cohomological period constructed via the theory of coherent cohomology on quaternionic Shimura varieties developed by Harris. As an application, we generalize our previous result on Deligne's conjecture for certain automorphic $L$-functions for ${\rm GL}_3 \times {\rm GL}_2$. We also establish a relation for the cohomological periods under tw…
Ming-Lun Hsieh constructed three-variable triple product p-adic L-functions attached to triples of primitive Hida families and proved interpolation formulas. We generalize his result in the unbalanced case and construct a three-variable triple product p-adic L-function attached to a primitive Hida family and two more general p-adic families of modular forms.
It is shown that the space of invariant trilinear forms on smooth representations of a semisimple Lie group is finite dimensional if the group is a product of Lorentz groups.
We construct p-adic L-functions associated with triples of finite slope p-adic families of quaternionic automorphic eigenforms over totally real fields on Shimura curves. These results generalize a previous construction, joint work with D.Barrera, performed in the ordinary setting.
We show how the multiplicative structure on Pythagorean triples defined by Beauregard--Suryanarayan arises from automorphisms of the hyperbolic plane, and how the structure theorem of this product follow naturally from this connection. We also show how the natural involution on Pythagorean triples is related to Pell's equation with the parameter 2, and prove a generalization of this phenomenon.
In this paper, we study the average behaviour of the coefficients of triple product L-functions and some related L-functions corresponding to normalized primitive holomorphic cusp form $f(z)$ of weight $k$ for the full modular group $SL(2,\ \mathbb{Z}).$ Here we call $f(z)$ a primitive cusp form if it is an eighenfunction of all Hecke operators simultaneously.
In this paper we generalized Venkatesh and Woodbury's work on the subconvexity bound of triple product L-function in level aspect, allowing joint ramifications, higher ramifications, general unitary central characters and general special values of local epsilon factors. In particular we derived a nice general formula for the local integrals whenever one of the representations has sufficiently higher level than the other two.
Luo has proven an optimal upper bound for the $L^4$-norm of dihedral Maass forms of large eigenvalue, by bounding a mean value of triple product $L$-functions. Motivated by this result, we study a mean value of $L$-functions having similar shape, and obtain for it an asymptotic with power savings. Our work may be helpful in eventually obtaining an asymptotic for the $L^4$-norm.
Let $E$ be a modular elliptic curve over a totally real cubic field. We have a cubic-triple product motive over $\mathbb{Q}$ constructed from $E$ through multiplicative induction; it is of rank $8$. We show that, under certain assumptions on $E$, the non-vanishing of the central critical value of the $L$-function attached to the motive implies that the dimension of the associated Bloch-Kato Selmer group is $0$.
Let $K$ be a global field which contains a primitive $p$-th root of unity, where $p$ is a prime number. M. J. Hopkins and K. G. Wickelgren showed that for $p=2$, any triple Massey product over $K$ with respect to $\mathbb{F}_p$, contains 0 whenever it is defined. We show that this is true for all primes $p$.
Harris and Venkatesh made a conjecture relating the derived Hecke operators and the adjoint motivic cohomology in the setting of weight one modular forms. This conjecture was proved under some conditions in the dihedral case by Darmon--Harris--Rotger--Venkatesh. We use a new approach to prove more general cases of the conjecture (up to sign). Our approach relies on Waldspurger's formula for the central value of Rankin L-series and Ichino's formula for the triple product L-function.
In this paper, we study the order of the pole of the triple tensor product $L$-functions $L(s,π_1\timesπ_2\timesπ_3,\otimes^3)$ for cuspidal automorphic representations $π_i$ of $\mathrm{GL}_{n_i}(\mathbb{A}_F)$ in the setting where one of the $π_i$ is a monomial representation. In the view of Brauer theory, this is a natural setting to consider. The results provided in this paper give crucial examples that can be used as a point of reference for Langlands' beyond endoscopy proposal.
We establish explicit Ichino's formulae for the central values of the triple product $L$-functions with emphasis on the calculations for the real place. The key ingredient for our computations is Proposition 6.8 which generalizes a result of Michel-Venkatesh. As an application we prove the optimal upper bound of a sum of restricted $L^2$-norms of the $L^2$-normalized newforms on certain quadratic extensions with prime level and bounded spectral parameter following the methods of Blomer.
We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we giv…
It was shown in previous works that the measure associated to holomorphic newforms of weight $k$ and level $q$ will tend weakly to the Haar measure on modular curve of level 1, as $qk\rightarrow \infty$. In this paper we proved that this phenomenon is also true on modular curves of general level N.
Let F be a totally real number field. Using a recent geometric approach developed by Andreatta and Iovita we construct several variables p-adic families of finite slope quaternionic automorphic forms over F. It is achieved by interpolating the modular sheaves defined over some auxiliary unitary Shimura curves. Secondly, we attach p-adic L-functions to triples of ordinary p-adic families of quaternionic automorphic eigenforms. This is done by relating trilinear periods to some trilinear products over unitary Shimura curves which can be interpolated adapting the work of Liu-Zhang-Zhang to our fa…
Let $p$ be a prime number, $F$ a field containing a root of unity of order $p$, and $G_F$ the absolute Galois group. Extending results of Hopkins, Wickelgren, Minac and Tan, we prove that the triple Massey product $H^1(G_F)^3\to H^2(G_F)$ contains $0$ whenever it is nonempty. This gives a new restriction on the possible profinite group structure of $G_F$.
Let $E$ be an elliptic curve over $\mathbb{Q}$ and $A$ be another elliptic curve over a real quadratic number field. We construct a $\mathbb{Q}$-motive of rank $8$, together with a distinguished class in the associated Bloch-Kato Selmer group, using Hirzebruch-Zagier cycles, that is, graphs of Hirzebruch-Zagier morphisms. We show that, under certain assumptions on $E$ and $A$, the non-vanishing of the central critical value of the (twisted) triple product $L$-function attached to $(E,A)$ implies that the dimension of the associated Bloch-Kato Selmer group of the motive is $0$; and the non-vani…
We work out instances of a general conjecture on congruences between Hecke eigenvalues of induced and cuspidal automorphic representations of a reductive group, modulo divisors of certain critical L-values, in the case that the group is a split orthogonal group. We provide some numerical evidence in the case that the group is SO(4,3) and the L-function is the spinor L-function of a genus 2, vector-valued, Siegel cusp form. We also consider the case that the group is SO(4,4) and the L-function is a triple product L-function.
Extended double shuffle relations for multiple zeta values are obtained by the fact that any product of regularized multiple zeta values has two different representations, and the case of two-fold product is considered in general. In this paper, we give two formulas for the generating function of the triple zeta values of any fixed weight by the use of the extended double shuffle relations obtained by not only two-fold products of double and single zeta values but also three-fold products of single zeta values. As applications of the formulas, we also obtain some parameterized, weighted and re…
The algebraicity of critical values of triple product $L$-functions in the balanced case was proved by Garrett and Harris, under the assumption that the critical points are on the right and away from center of the critical strip. The missing right-half critical points correspond to certain holomorphic Eisenstein series outside the range of absolute convergence. The remaining difficulties are construction of these holomorphic Eisenstein series and verification of the non-vanishing of the corresponding non-archimedean local zeta integrals. In this paper, we address these problems and complement …
Let $π=π_1 \otimes π_2 \otimes π_3$ be a unitary cuspidal automorphic representation of $\mathrm{GL}_3^3(\mathbb{A}_F)$ where $F$ is a number field. Assume that $π$ is everywhere tempered. Under suitable local hypotheses, for a sufficiently large finite set of places $S$ of $F$ we prove that the triple product $L$-function $L^S(s,π,\otimes^3)$ admits a meromorphic continuation to $\mathrm{Re}(s) >\tfrac{1}{2}$. We also give some information about the possible poles.
We show that the eighth power of the Jacobi triple product is a Jacobi--Eisenstein series of weight $4$ and index $4$ and we calculate its Fourier coefficients. As applications we obtain explicit formulas for the eighth powers of theta-constants of arbitrary order and the Fourier coefficients of the Ramanujan Delta-function $Δ(τ)=η^{24}(τ)$, $η^{12}(τ)$ and $η^{8}(τ)$ in terms of Cohen's numbers $H(3,N)$ and $H(5,N)$. We give new formulas for the number of representations of integers as sums of eight higher figurate numbers. We also calculate the sixteenth and the twenty-fourth powers of the J…
In this short note, we compute higher extension groups for all irreducible representations and deduce the multiplicity formula for finite length representations in triple product case.
Generalizing math.AG/0003076 we express universal triple Massey products between line bundles on elliptic curves in terms of Hecke's indefinite theta series. We show that all Hecke's indefinite theta series arise in this way.
We show that the absolute Galois group of any field has the vanishing triple Massey product property. Several corollaries for the structure of maximal pro-$p$-quotient of absolute Galois groups are deduced. Furthermore, the vanishing of some higher Massey products is proved.
We prove a sharp bound for the average value of the triple product of modular functions for the Hecke subgroup Γ_0(N). Our result is an extension of the main result in {Bernstein&Reznikov-2004} to a fixed cuspidal representation of the adele group PGL(2,A).
We extend the results of Watson, which link quantum unique ergodicity on arithmetic hyperbolic surfaces with subconvexity for the triple product L function, to the case of arithmetic hyperbolic three manifolds. We work with the full unitary dual of SL(2,C), and consider QUE for automorphic forms of arbitrary fixed weight and growing spectral parameter. We obtain our results by constructing microlocal lifts of nonspherical automorphic forms using representation theory, and quantifying the generalised triple product formula of Ichino in the case of complex places.
We prove that a certain family of sums of products of three binomials has alternating behavior modulo a prime $p$. To accomplish this we rewrite these sums as signed sums of products of three binomials, the better to handle $p$, and we give closed-form expressions for two related sums of signed products of three binomials.
In this article we study the Gross-Schoen diagonal cycle on a triple product of Shimura curves at a place of bad reduction. We relate the image of the diagonal cycle under the Abel-Jacobi map to certain period integral that governs the central critical value of the Garrett-Rankin type triple product $L$-function via level raising congruences. As an application we prove certain rank $0$ case of the Bloch-Kato conjecture for the symmetric cube motive of a weight $2$ modular form.
We construct splitting varieties for triple Massey products. For a,b,c in F^* the triple Massey product < a,b,c> of the corresponding elements of H^1(F, mu_2) contains 0 if and only if there is x in F^* and y in F[\sqrt{a}, \sqrt{c}]^* such that b x^2 = N_{F[\sqrt{a}, \sqrt{c}]/F}(y), where N_{F[\sqrt{a}, \sqrt{c}]/F} denotes the norm, and F is a field of characteristic different from 2. These varieties satisfy the Hasse principle by a result of D.B. Lee and A.R. Wadsworth. This shows that triple Massey products for global fields of characteristic different from 2 always contain 0.
Andrews and Merca investigated a truncated version of Euler's pentagonal number theorem and showed that the coefficients of the truncated series are nonnegative. They also considered the truncated series arising from Jacobi's triple product identity, and they that its coefficients are nonnegative. This conjecture was posed by Guo and Zeng independently and confirmed by Mao and Yee using different approaches. In this paper, we provide a new combinatorial proof of their nonnegativity result related to Euler's pentagonal number theorem. Meanwhile, we find an analogous result for a truncated serie…
We provide an explicit algorithm to compute a Massey triple product relative to a defining system for a smooth projective plane curve $X$ defined by a homogeneous polynomial $G(\underline x)$ over a field. The main idea is to use the description (due to Carlson and Griffiths) of the cup product for $H^1(X,\mathbb{C})$ in terms of the multiplications inside the Jacobian ring of $G(\underline x)$ and the Cech-deRham complex of $X$. Our algorithm gives a criterion whether a Massey triple product vanishes or not in $H^2(X)$ under a particular non-trivial defining system of the Massey triple produc…
In a recent paper by the authors, a bounded version of Goellnitz's (big) partition theorem was established. Here we show among other things how this theorem leads to nontrivial new polynomial analogues of certain fundamental identities of Jacobi and Lebesgue. We also derive a two parameter extension of Jacobi's famous triple product identity.
Consider three normalised cuspidal eigenforms of weight $2$ and prime level $p$. Under the assumption that the global root number of the associated triple product $L$-function is $+1$, we prove that the complex Abel-Jacobi image of the modified diagonal cycle of Gross-Kudla-Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel-Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow-Heegner points associat…
We use the method of tiling to give elementary combinatorial proofs of some celebrated $q$-series identities, such as Jacobi triple product identity, Rogers-Ramanujan identities, and some identities of Rogers. We give a tiling proof of the q-binomial theorem and a tiling interpretation of the q-binomial coefficients. A new generalized $ k $-product $q$-series identity is also obtained by employing the `tiling-method', wherein the generating function of the set of all possible tilings of a rectangular board is computed in two different ways to obtain the desired $q$-series identity. Several new…
We prove explicit Harris-Kudla type formulas for triples of Maass forms, holomorphic forms, and combinations thereof, on the hyperbolic plane modulo congruence groups and co-compact lattices arising from Eichler orders of quaternion algebras. These formulas relate the central value of the corresponding Rankin triple product L-function to a squared trilinear period integral. Assuming subconvexity estimates for these L-values, we prove Quantum Unique Ergodicity on such quotients; the relevant Lindelof hypotheses imply a quantitative form of QUE, with an optimal rate. In connection with the Berry…
