The 26th power of Dedekind's η-function

We prove a simple and explicit formula, which expresses the 26th power of Dedekind's η-function as a double series. The proof relies on properties of Ramanujan's Eisenstein series P, Q and R, and parameters from the theory of elliptic functions.The formula reveals a number of properties of the product , for example its lacunarity, the action of the Hecke operator, and sufficient conditions for a coefficient to be zero.     

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.     

Exceptional congruences for the coefficients of certain eta-product newforms

Let F(z)=∑_n=1^∞a(n)qⁿ denote the unique weight 16 normalized cuspidal eigenform on . In the early 1970s, Serre and Swinnerton-Dyer conjectured that

     

Rationality theorems for Hecke operators on GLn

We define n families of Hecke operators for GL_n whose generating series are rational functions of the form q_k(u)⁻¹ where q_k is a polynomial of degree , and whose form is that of the kth exterior product. This work can be viewed as a refinement of work of Andrianov (Math. USSR Sb. 12(3) (1970)), in which he defined Hecke operators the sum of whose generating series was a rational function with nontrivial numerator and whose denominator was essentially .By a careful analysis of the Satake map which defines an isomorphism between a local Hecke algebra and a ring of symmetric polynomials, we define n families of (polynomial) Hecke operators and characterize their generating series as rational functions. We then give an explicit means by which to locally invert the Satake isomorphism, and show how to translate these polynomial operators back to the classical double coset setting. The classical Hecke operators have generating series of exactly the same form as their polynomial counterparts, and hence are of number-theoretic interest. We give explicit examples for GL₃ and GL₄.     

An extension to overpartitions of the Rogers-Ramanujan identities for even moduli

We study a class of well-poised basic hypergeometric series , interpreting these series as generating functions for overpartitions defined by multiplicity conditions on the number of parts. We also show how to interpret the as generating functions for overpartitions whose successive ranks are bounded, for overpartitions that are invariant under a certain class of conjugations, and for special restricted lattice paths. We highlight the cases (a,q)→(1/q,q), (1/q,q²), and (0,q), where some of the functions become infinite products. The latter case corresponds to Bressoud's family of Rogers-Ramanujan identities for even moduli.     

Integral representations for elliptic functions

We derive new integral representations for constituents of the classical theory of elliptic functions: the Eisenstein series, and Weierstrass' ℘ and ζ functions. The derivations proceed from the Laplace-Mellin representation of multipoles, and an elementary lemma on the summation of 2D geometric series. In addition, we present results concerning the analytic continuation of the Eisenstein series to an entire function in the complex plane, and the value of the conditionally convergent series, denoted by below, as a function of summation over increasingly large rectangles with arbitrary fixed aspect ratio.¹     

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.     

On elliptic units and p-adic Galois representations attached to elliptic curves

Let K be a quadratic imaginary number field with discriminant D_K≠-3,-4 and class number one. Fix a prime p?7 which is not ramified in K and write h_p for the class number of the ray class field of K of conductor p. Given an elliptic curve A/K with complex multiplication by K, let be the representation which arises from the action of Galois on the Tate module. Herein it is shown that if then the image of a certain deformation of is “as big as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Z_p). The proof rests on the theory of Siegel functions and elliptic units as developed by Kubert, Lang and Robert.     

Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold

We present simple trace formulas for Hecke operators Tk(p) for all p>3 on Sk(Γ₀(3)) and Sk(Γ₀(9)), the spaces of cusp forms of weight k and levels 3 and 9. These formulas can be expressed in terms of special values of Gaussian hypergeometric series and lend themselves to recursive expressions in terms of traces of Hecke operators on spaces of lower weight. Along the way, we show how to express the traces of Frobenius of a family of elliptic curves equipped with a 3-torsion point as special values of a Gaussian hypergeometric series over Fq, when . As an application, we use these formulas to provide a simple expression for the Fourier coefficients of η⁸(3z), the unique normalized cusp form of weight 4 and level 9, and then show that the number of points on a certain threefold is expressible in terms of these coefficients.     

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.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

Symmetric square L-values and dihedral congruences for cusp forms

Let be a prime, and k=(p+1)/2. In this paper we prove that two things happen if and only if the class number . One is the non-integrality at p of a certain trace of normalised critical values of symmetric square L-functions, of cuspidal Hecke eigenforms of level one and weight k. The other is the existence of such a form g whose Hecke eigenvalues satisfy “dihedral” congruences modulo a divisor of p (e.g. p=23, k=12, g=Δ). We use the Bloch-Kato conjecture to link these two phenomena, using the Galois interpretation of the congruences to produce global torsion elements which contribute to the denominator of the conjectural formula for an L-value. When , the trace turns out always to be a p-adic unit.     

Higher power moments of the Riesz mean error term of symmetric square L-function

Let be the error term of the Riesz mean of the symmetric square L-function. We give the higher power moments of and show that if there exists a real number A₀:=A₀(ρ)>3 such that , then we can derive asymptotic formulas for , 3?h<A₀, h∈N. Particularly, we get asymptotic formulas for , h=3,4,5 unconditionally.     

On tame and wild kernels of special number fields

Special number fields are those number fields F for which the wild kernel properly contains the group of divisible elements of K₂(F). We examine the relationship between the wild kernel, the tame kernel and the group of divisible elements for such number fields. For a special number field F we show that WK₂(F)⊂K₂(F)^2b, but WK₂(F)⊄K₂(F)^2b+2 where . We examine analogous questions for instead of K₂(F). As an application, we determine those number fields for which there exist ‘exotic’ Steinberg symbols with values in a finite cyclic group and we show how to construct these exotic symbols.     

Asymptotic behavior of spectral functions for elliptic operators with non-smooth coefficients

We consider the asymptotic formula of spectral functions for elliptic operators with non-smooth coefficients of order 2m in . If the coefficients of top order are Hölder continuous of exponent τ∈(0,1], we can derive the remainder estimate of the form O(t^(n−θ)/2m) with any θ∈(0,τ). This result holds without the condition 2m>n, which was always assumed in many papers. We also show that the spectral function is differentiable up to order <m.     

Sums of products of Kronecker's double series

Closed expressions are obtained for sums of products of Kronecker's double series of the form , where the summation ranges over all nonnegative integers j₁,…,jN with j₁+?+jN=n. Corresponding results are derived for functions which are an elliptic analogue of the periodic Euler polynomials. As corollaries, we reproduce the formulas for sums of products of Bernoulli numbers, Bernoulli polynomials, Euler numbers, and Euler polynomials, which were given by K. Dilcher.     

On Bayes estimators with uniform priors on spheres and their comparative performance with maximum likelihood estimators for estimating bounded multivariate normal means

For independently distributed observables: X_i∼N(θ_i,σ²),i=1,…,p, we consider estimating the vector θ=(θ₁,…,θ_p)^′ with loss ‖d−θ‖² under the constraint , with known τ₁,…,τ_p,σ²,m. In comparing the risk performance of Bayesian estimators δ_α associated with uniform priors on spheres of radius α centered at (τ₁,…,τ_p) with that of the maximum likelihood estimator , we make use of Stein’s unbiased estimate of risk technique, Karlin’s sign change arguments, and a conditional risk analysis to obtain for a fixed (m,p) necessary and sufficient conditions on α for δ_α to dominate . Large sample determinations of these conditions are provided. Both cases where all such δ_α’s and cases where no such δ_α’s dominate are elicited. We establish, as a particular case, that the boundary uniform Bayes estimator δ_m dominates if and only if m≤k(p) with , improving on the previously known sufficient condition of Marchand and Perron (2001) [3] for which . Finally, we improve upon a universal dominance condition due to Marchand and Perron, by establishing that all Bayesian estimators δ_π with π spherically symmetric and supported on the parameter space dominate whenever m≤c₁(p) with .     

Congruences for Hermitian modular forms of degree 2

We give two congruence properties of Hermitian modular forms of degree 2 over and . The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm?s theorem. Another is the well-definedness of the p-adic weight for Hermitian modular forms.     

Supersequences, rearrangements of sequences, and the spectrum of bases in additive number theory

The set of nonnegative integers is an asymptotic basis of order h if every sufficiently large integer can be represented as the sum of h elements of A. If an∼αnh for some real number α>0, then α is called an additive eigenvalue of order h. The additive spectrum of order h is the set N(h) consisting of all additive eigenvalues of order h. It is proved that there is a positive number ηh?1/h! such that N(h)=(0,ηh) or N(h)=(0,ηh]. The proof uses results about the construction of supersequences of sequences with prescribed asymptotic growth, and also about the asymptotics of rearrangements of infinite sequences. For example, it is proved that there does not exist a strictly increasing sequence of integers such that bn∼n² and B contains a subsequence such that bnk∼k³.