Differential operators on Hilbert modular forms

We investigate differential operators and their compatibility with subgroups of SL₂n(R). In particular, we construct Rankin-Cohen brackets for Hilbert modular forms, and more generally, multilinear differential operators on the space of Hilbert modular forms. As an application, we explicitly determine the Rankin-Cohen bracket of a Hilbert-Eisenstein series and an arbitrary Hilbert modular form. We use this result to compute the Petersson inner product of such a bracket and a Hilbert modular cusp form.     

On the p-adic L-function of Hilbert modular forms at supersingular primes

In this paper, I discuss the construction of the p-adic L-function attached to a Hilbert modular form f, supersingular or ordinary, which turns out to be the non-archimedean Mellin transform of an h-admissible measure. And h is explicitly given. As a special case, when the Fourier coefficient of f at p|p is zero, plus/minus p-adic L-functions are furthermore defined as bounded functions, and they interpolate special values of L(f,χ,s) for cyclotomic characters χ. This can be used to formulate Iwasawa main conjecture for supersingular elliptic curve defined over a totally real field.     

Companion forms over totally real fields

We show that if F is a totally real field in which p splits completely and f is a mod p Hilbert modular form with parallel weight 2 < k < p, which is ordinary at all primes dividing p and has tamely ramified Galois representation at all primes dividing p, then there is a “companion form” of parallel weight k′ := p + 1 − k. This work generalises results of Gross and Coleman–Voloch for modular forms over Q.     

Defining equations of modular curves

We obtain defining equations of modular curves X₀(N), X₁(N), and X(N) by explicitly constructing modular functions using generalized Dedekind eta functions. As applications, we describe a method of obtaining a basis for the space of cusp forms of weight 2 on a congruence subgroup. We also use our model of X₀(37) to find explicit modular parameterization of rational elliptic curves of conductor 37.     

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.     

Some formulas for the coefficients of Drinfeld modular forms

We obtain some formulas for t-expansion coefficients of meromorphic Drinfeld modular forms for GL₂(F_q[T]). Let j(z) be the Drinfeld modular invariant. As an application we show that the values of j(z) at points in the divisor of Drinfeld modular forms for GL₂(F_q[T]) are algebraic over F_q(T).     

On the variation of Tate-Shafarevich groups of elliptic curves over hyperelliptic curves

Let E be an elliptic curve over F=F_q(t) having conductor (p)·∞, where (p) is a prime ideal in F_q[t]. Let d∈F_q[t] be an irreducible polynomial of odd degree, and let . Assume (p) remains prime in K. We prove the analogue of the formula of Gross for the special value L(E⊗_FK,1). As a consequence, we obtain a formula for the order of the Tate-Shafarevich group Ш(E/K) when L(E⊗_FK,1)≠0.     

Arithmetic of the Ramanujan-Göllnitz-Gordon continued fraction

Text

We extend the results of Chan and Huang [H.H. Chan, S.-S. Huang, On the Ramanujan-Göllnitz-Gordon continued fraction, Ramanujan J. 1 (1997) 75-90] and Vasuki, Srivatsa Kumar [K.R. Vasuki, B.R. Srivatsa Kumar, Certain identities for Ramanujan-Göllnitz-Gordon continued fraction, J. Comput. Appl. Math. 187 (2006) 87-95] to all odd primes p on the modular equations of the Ramanujan-Göllnitz-Gordon continued fraction v(τ) by computing the affine models of modular curves X(Γ) with Γ=Γ₁(8)∩Γ₀(16p). We then deduce the Kronecker congruence relations for these modular equations. Further, by showing that v(τ) is a modular unit over Z we give a new proof of the fact that the singular values of v(τ) are units at all imaginary quadratic arguments and obtain that they generate ray class fields modulo 8 over imaginary quadratic fields.

Video

For a video summary of this paper, please visit http://www.youtube.com/watch?v=FWdmYvdf5Jg.     

On the group of modular units and the ideal class group

J.-M. Kim, S. Bae and I.-S. Lee showed that there exists an isomorphism between the p-primary part of the ideal class group and p-primary part of the unit group modulo cyclotomic unit group in Q⁺(ζpn) for all sufficiently large n under some conditions. In the present paper, we shall give an analogue of their result for modular units.     

Extensions of local fields and truncated power series

Let K be a finite tamely ramified extension of Q_p and let L/K be a totally ramified (Z/pⁿZ)-extension. Let π_L be a uniformizer for L, let σ be a generator for Gal(L/K), and let f(X) be an element of O_K[X] such that σ(π_L)=f(π_L). We show that the reduction of f(X) modulo the maximal ideal of O_K determines a certain subextension of L/K up to isomorphism. We use this result to study the field extensions generated by periodic points of a p-adic dynamical system.     

The Galois representations associated to a Drinfeld module in special characteristic—III: Image of the group ring

Let K be a finitely generated field of transcendence degree 1 over a finite field, and set G_K?Gal(K^sep/K). Let φ be a Drinfeld A-module over K in special characteristic. Set E?End_K(φ) and let Z be its center. We show that for almost all primes p of A, the image of the group ring A_p[G_K] in End_A(T_p(φ)) is the commutant of E. Thus, for almost all p it is a full matrix ring over Z⊗_AA_p. In the special case E=A it follows that the representation of G_K on the p-torsion points φ[p] is absolutely irreducible for almost all p.     

An analogue of the BGG resolution for locally analytic principal series

Let G be a connected reductive quasi-split algebraic group over a field L which is a finite extension of the p-adic numbers. We construct an exact sequence modelled on (the dual of) the BGG resolution involving locally analytic principal series representations for G(L). This leads to an exact sequence involving spaces of overconvergent p-adic automorphic forms for certain groups compact modulo centre at infinity.     

Extension of isometries on the unit sphere of L p spaces

In this paper we study the isometric extension problem and show that every surjective isometry between the unit spheres of Lp (μ) (1 p ∞, p≠2) and a Banach space E can be extended to a linear isometry from Lp(μ) onto E, which means that if the unit sphere of E is (metrically) isometric to the unit sphere of Lp(μ), then E is linearly isometric to Lp(μ). We also prove that every surjective 1-Lipschitz or anti-1-Lipschitz map between the unit spheres of Lp (μ1, H1) and Lp(μ2,H2) must be an isometry and can be extended to a linear isometry from Lp (μ1,H1) to Lp (μ2,H2), where H1 and H2 are Hilbert spaces.     

The Galois representations associated to a Drinfeld module in special characteristic—I: Zariski density

Let ? be a Drinfeld A-module of rank r over a finitely generated field K. Assume that ? has special characteristic p₀ and consider any prime p≠p₀ of A. If End_K^sep(?)=A, we prove that the image of Gal(K^sep/K) in its representation on the p-adic Tate module of ? is Zariski dense in GL_r.     

Restricting Hecke-Siegel operators to Jacobi modular forms

We compute the action of Hecke operators on Jacobi forms of “Siegel degree” n and m×m index M, provided 1?j?n−m. We find they are restrictions of Hecke operators on Siegel modular forms, and we compute their action on Fourier coefficients. Then we restrict the Hecke-Siegel operators T(p), Tj(p²) (n−m<j?n) to Jacobi forms of Siegel degree n, compute their action on Fourier coefficients and on indices, and produce lifts from Jacobi forms of index M to Jacobi forms of index M^′ where detM|detM^′. Finally, we present an explicit choice of matrices for the action of the Hecke operators on Siegel modular forms, and for their restrictions to Jacobi modular forms.     

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).     

Hyperelliptic jacobians with real multiplication

Let K be a field of characteristic p≠2, and let f(x) be a sextic polynomial irreducible over K with no repeated roots, whose Galois group is isomorphic to A₅. If the jacobian J(C) of the hyperelliptic curve C:y²=f(x) admits real multiplication over the ground field from an order of a real quadratic field D, then either its endomorphism algebra is isomorphic to D, or p>0 and J(C) is a supersingular abelian variety. The supersingular outcome cannot occur when p splits in D.     

Torsion points on the jacobian of a Fermat quotient

Let p≥5 be a prime, ζ a primitive pth root of unity and λ=1−ζ. For 1≤s≤p−2, the smooth projective model C_p,s of the affine curve v^p=u^s(1−u) is a curve of genus (p−1)/2 whose jacobian J_p,s has complex multiplication by the ring of integers of the cyclotomic field Q(ζ). In 1981, Greenberg determined the field of rationality of the p-torsion subgroup of J_p,s and moreover he proved that the λ³-torsion points of J_p,s are all rational over Q(ζ). In this paper we determine quite explicitly the λ³-torsion points of J_p,1 for p=5 and p=7, as well as some further p-torsion points which have interesting arithmetical applications, notably to the complementary laws of Kummer’s reciprocity for pth powers.     

On the vanishing of Selmer groups for elliptic curves over ring class fields

Let E/Q be an elliptic curve of conductor N without complex multiplication and let K be an imaginary quadratic field of discriminant D prime to N. Assume that the number of primes dividing N and inert in K is odd, and let Hc be the ring class field of K of conductor c prime to ND with Galois group Gc over K. Fix a complex character χ of Gc. Our main result is that if LK(E,χ,1)≠0 then Selp(E/Hc)χ_⊗W=0 for all but finitely many primes p, where Selp(E/Hc) is the p-Selmer group of E over Hc and W is a suitable finite extension of Zp containing the values of χ. Our work extends results of Bertolini and Darmon to almost all non-ordinary primes p and also offers alternative proofs of a χ-twisted version of the Birch and Swinnerton-Dyer conjecture for E over Hc (Bertolini and Darmon) and of the vanishing of Selp(E/K) for almost all p (Kolyvagin) in the case of analytic rank zero.     

Stark-Heegner points on modular Jacobians

We present a construction which lifts Darmon's Stark-Heegner points from elliptic curves to certain modular Jacobians. Let N be a positive integer and let p be a prime not dividing N. Our essential idea is to replace the modular symbol attached to an elliptic curve E of conductor Np with the universal modular symbol for Γ₀(Np). We then construct a certain torus T over Qp and lattice L⊂T, and prove that the quotient T/L is isogenous to the maximal toric quotient J₀(Np)^p-new of the Jacobian of X₀(Np). This theorem generalizes a conjecture of Mazur, Tate, and Teitelbaum on the p-adic periods of elliptic curves, which was proven by Greenberg and Stevens. As a by-product of our theorem, we obtain an efficient method of calculating the p-adic periods of J₀(Np)^p-new.