A remark on a theorem of Bavula on Lüroth extensions

Using a theorem of Roquette-Ohm [P. Roquette, Isomorphisms of generic splitting fields of simple algebras, J. Reine Angew. Math. 214-215 (1964) 207-226 and J. Ohm, On subfields of rational function fields, Arch. Math. 42 (1984) 136-138], we indicate a short proof that a rational extension of a Lüroth extension of a field k is a Lüroth extension of k. This assertion was proved by Bavula [V. Bavula, Lüroth field extensions, J. Pure Appl. Algebra 199 (2005) 1-10] with the added hypothesis that .     

Frequency of digits in the Lüroth expansion

In this note we consider the Lüroth expansion of a real number, and we study the Hausdorff dimension of a class of sets defined in terms of the frequencies of digits in the expansion. We also study the speed at which the approximants obtained from the Lüroth expansion converge. In addition, we describe the multifractal properties of the level sets of the Lyapunov exponent, which measures the exponential speed of approximation obtained from the approximants. Finally, we describe the relation of the Lüroth expansion with the continued fraction expansion and the β-expansion. We remark that our work is still another application of the theory of dynamical systems to number theory.     

Lax-Phillips Scattering for Atomorphic Functions Based on the Eisenstein Transform

We construct a Lax-Phillips scattering system on the arithmetic quotient space of the Poincaré upper half-plane by the full modular group, based on the Eisenstein transform. We identify incoming and outgoing subspaces in the ambient space of all functions with finite energy-form for the non-Euclidean wave equation. The use of the Eisenstein transform along with some properties of the Eisenstein series of two variables enables one to work only on the space corresponding to the continuous spectrum of the Laplace-Beltrami operator. It is shown that the scattering matrix is the complex function appearing in the the functional equation of the Eisenstein series of two variables. We obtain a compression operator constructed from the Laplace-Beltrami operator, whose spectrum consists of eigenvalues that coincide, counted with multiplicities, with the non-trivial zeros of the Riemann zeta-function. For this purpose we construct and use a scattering model on the one-dimensional Euclidean space.      

Universality of the Riemann zeta-function

In 1975, S.M. Voronin proved the universality of the Riemann zeta-function ζ(s). This means that every non-vanishing analytic function can be approximated uniformly on compact subsets of the critical strip by shifts ζ(s+iτ). In the paper, we consider the functions F(ζ(s)) which are universal in the Voronin sense.     

Müntz formula and zero free regions for the Riemann zeta function

A formula first derived by Müntz which relates the Riemann zeta function ζ times the Mellin transform of a test function f and the Mellin transform of the theta transform of f is exploited, together with other analytic techniques, to construct zero free regions for ζ(s) with s in the critical strip. Among these are regions with a shape independent of Res.     

An adelic Hankel summation formula

In this paper, the convergence of the Euler product of the Hecke zeta-function ζ(s,χ) is proved on the line R(s)=1 with s≠1. A certain functional identity between ζ(s,χ) and ζ(2−s,χ) is found. An analogue of Tate's adelic Poisson summation is obtained for the global Hankel transformation, which is constructed in Li (2010) [7].     

p-Adic liftings of the supersingular j-invariants and j-zeros of certain Eisenstein series

Let p>3 be a prime. We consider j-zeros of Eisenstein series Ek of weights k=p−1+Mpa(p²−1) with M,a?0 as elements of . If M=0, the j-zeros of Ep−1 belong to Qp(ζp²−1) by Hensel's lemma. Call these j-zeros p-adic liftings of supersingular j-invariants. We show that for every such lifting u there is a j-zero r of Ek such that ordp(r−u)>a. Applications of this result are considered. The proof is based on the techniques of formal groups.     

The sixth and eighth moments of Fourier coefficients of cusp forms

Let λ(n) be the nth normalized Fourier coefficient of a holomorphic Hecke eigencuspform f(z) of even integral weight k for the full modular group. In this paper we are able to prove the following results.

(i)

For any ε>0, we have

     

On Atkin and Swinnerton-Dyer congruence relations (3)

It is now well known that Hecke operators defined classically act trivially on genuine cuspforms for noncongruence subgroups of SL₂(Z). Atkin and Swinnerton-Dyer speculated the existence of p-adic Hecke operators so that the Fourier coefficients of their eigenfunctions satisfy three-term congruence recursions. In the previous two papers with the same title ([W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148] by W.C. Li, L. Long, Z. Yang and [A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied two exceptional spaces of noncongruence cuspforms where almost all p-adic Hecke operators can be diagonalized simultaneously or semi-simultaneously. Moreover, it is shown that the l-adic Scholl representations attached to these spaces are modular in the sense that they are isomorphic, up to semisimplification, to the l-adic representations arising from classical automorphic forms.In this paper, we study an infinite family of spaces of noncongruence cuspforms (which includes the cases in [W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148; A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358]) under a general setting. It is shown that for each space in this family there exists a fixed basis so that the Fourier coefficients of each basis element satisfy certain weaker three-term congruence recursions. For a new case in this family, we will exhibit that the attached l-adic Scholl representations are modular and the p-adic Hecke operators can be diagonalized semi-simultaneously.     

On the lifting of elliptic cusp forms to cusp forms on quaternionic unitary groups

Let H be a definite quaternion algebra over Q with discriminant DH and R a maximal order of H. We denote by Gn a quaternionic unitary group and put Γn=Gn(Q)∩GL2n(R). Let Sκ(Γn) be the space of cusp forms of weight κ with respect to Γn on the quaternion half-space of degree n. We construct a lifting from primitive forms in Sk(SL₂(Z)) to Sk+2n−2(Γn) and a lifting from primitive forms in Sk(Γ₀(d)) to Sk+2(Γ₂), where d is a factor of DH. These liftings are generalizations of the Maass lifting investigated by Krieg.     

Central values of L-functions over CM fields

We prove an explicit formula for the central values of certain Rankin L-functions. These L-functions are the L-functions attached to Hilbert newforms over a totally real field F, twisted by unitary Hecke characters of a totally imaginary quadratic extension of F. This formula generalizes our former result on L-functions twisted by finite CM characters.     

Shintani lifts and fractional derivatives for harmonic weak Maass forms

In this paper, we construct Shintani lifts from integral weight weakly holomorphic modular forms to half-integral weight weakly holomorphic modular forms. Although defined by different methods, these coincide with the classical Shintani lifts when restricted to the space of cusp forms. As a side effect, this gives the coefficients of the classical Shintani lifts as new cycle integrals. This yields new formulas for the L-values of Hecke eigenforms. When restricted to the space of weakly holomorphic modular forms orthogonal to cusp forms, the Shintani lifts introduce a definition of weakly holomorphic Hecke eigenforms. Along the way, auxiliary lifts are constructed from the space of harmonic weak Maass forms which yield a “fractional derivative” from the space of half-integral weight harmonic weak Maass forms to half-integral weight weakly holomorphic modular forms. This fractional derivative complements the usual ξ-operator introduced by Bruinier and Funke.     

On the cuspidal modular forms for the Fuchsian groups of the first kind

In this paper we study the construction and non-vanishing of cuspidal modular forms of weight m?3 for arbitrary Fuchsian groups of the first kind. We give a spanning set for the space of cuspidal modular forms Sm(Γ) of weight m?3 in a uniform way which does not depend on the fact that Γ has cusps or not.     

The average value of Fourier coefficients of cusp forms in arithmetic progressions

Recently Blomer showed that if α(n) denote the normalized Fourier coefficients of any holomorphic cusp form f with integral weight, then

     

On invariant subspaces and eigenfunctions of regular Hecke operators on spaces of multiple theta constants

Invariant subspaces and eigenfunctions of regular Hecke operators acting on spaces spanned by products of even number of Igusa theta constants with rational characteristics are constructed. For some of the eigenfunctions of genuses g=1 and g=2, corresponding zeta functions of Hecke and Andrianov are explicitly calculated.     

Special values of L-functions by a Siegel-Weil-Kudla-Rallis formula

We study the arithmeticity of special values of L-functions attached to cuspforms which are Hecke eigenfunctions on hermitian quaternion groups Sp^∗(m,0) which form a reductive dual pair with G=O^∗(4n). For f₁ and f₂ two cuspforms on H, consider their theta liftings θf₁ and θf₂ on G. Then we compute a Rankin-Selberg type integral and obtain an integral representation of the standard L-function:

G〈θf₁⋅Es,θf₂〉=H〈f₁,f₂〉⋅Lstd(f₁,s).     

Twisted Hecke L-values and period polynomials

Let f₁,…,fd be an orthogonal basis for the space of cusp forms of even weight 2k on Γ₀(N). Let L(fi,s) and L(fi,χ,s) denote the L-function of fi and its twist by a Dirichlet character χ, respectively. In this note, we obtain a “trace formula” for the values at integers m and n with 0<m,n<2k and proper parity. In the case N=1 or N=2, the formula gives us a convenient way to evaluate precisely the value of the ratio L(f,χ,m)/L(f,n) for a Hecke eigenform f.     

A theorem on analytic strong multiplicity one

Let K be an algebraic number field, and π=⊗πv an irreducible, automorphic, cuspidal representation of GLm(AK) with analytic conductor C(π). The theorem on analytic strong multiplicity one established in this note states, essentially, that there exists a positive constant c depending on ε>0,m, and K only, such that π can be decided completely by its local components πv with norm N(v)<c⋅C(π)^2m+ε.     

On the Fourier coefficients of Hilbert-Maass wave forms of half integral weight over arbitrary algebraic number fields

The purpose of this paper is to derive a generalization of Shimura's results concerning Fourier coefficients of Hilbert modular forms of half integral weight over total real number fields in the case of Hilbert-Maass wave forms over algebraic number fields by following the Shimura's method. Employing theta functions, we shall construct the Shimura correspondence Ψ_τ from Hilbert-Maass wave forms f of half integral weight over algebraic number fields to Hilbert-Maass wave forms of integral weight over algebraic number fields. We shall determine explicitly the Fourier coefficients of in terms of these f. Moreover, under some assumptions about f concerning the multiplicity one theorem with respect to Hecke operators, we shall establish an explicit connection between the square of Fourier coefficients of f and the central value of quadratic twisted L-series associated with the image of f.     

Linnik-type problems for automorphic L-functions

Let m?2 be an integer, and π an irreducible unitary cuspidal representation for GLm(AQ), whose attached automorphic L-function is denoted by L(s,π). Let be the sequence of coefficients in the Dirichlet series expression of L(s,π) in the half-plane Rs>1. It is proved in this paper that, if π is such that the sequence is real, then there are infinitely many sign changes in the sequence , and the first sign change occurs at some , where Qπ is the conductor of π, and the implied constant depends only on m and ε. This generalizes the previous results for GL₂. A result of the same quality is also established for , the sequence of coefficients in the Dirichlet series expression of in the half-plane Rs>1.