Lifting Galois representations of number fields

Let F be a number field. Given a continuous representation with insoluble image we show, under moderate assumptions at primes dividing ?∞, that for some continuous representation which is unramified outside finitely many primes. We also establish level lowering when F is totally real, is the reduction of a nearly ordinary Hilbert modular form and is distinguished at ?.     

Eisenstein series and theta functions to the septic base

We develop a theory for Eisenstein series to the septic base, which was started by S. Ramanujan in his “Lost Notebook.” We show that two types of septic Eisenstein series may be parameterized in terms of the septic theta function and the eta quotient η⁴(7τ)/η⁴(τ). This is accomplished by constructing elliptic functions which have the septic Eisenstein series as Taylor coefficients. The elliptic functions are shown to be solutions of a differential equation, and this leads to a recurrence relation for the septic Eisenstein series.     

Complete classification of torsion of elliptic curves over quadratic cyclotomic fields

Text

In a previous paper Najman (in press) [9], the author examined the possible torsions of an elliptic curve over the quadratic fields Q(i) and . Although all the possible torsions were found if the elliptic curve has rational coefficients, we were unable to eliminate some possibilities for the torsion if the elliptic curve has coefficients that are not rational. In this note, by finding all the points of two hyperelliptic curves over Q(i) and , we solve this problem completely and thus obtain a classification of all possible torsions of elliptic curves over Q(i) and .

Video

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

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.     

q-Analog of the Möbius function and the cyclotomic identity associated to a profinite group

Let G be a profinite group and q an indeterminate. In this paper, we introduce and study a q-analog of the Möbius function and the cyclotomic identity arising from the lattice of open subgroups of G. When q is any integer, we show that they have close connections with the functors , , and introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 257 (2007) 151-191]. In particular, we interpret the multiplicative property of the inverse of the table of marks and the Möbius function of G as a composition property of certain functors. Classification of , , and up to strict natural isomorphism as q varies over the set of integers and its application will be dealt with, too.     

Scaling group flow and Lefschetz trace formula for laminated spaces with p-adic transversal

In his approach to analytic number theory C. Deninger has suggested that to the Riemann zeta function (resp. the zeta function ζY(s) of a smooth projective curve Y over a finite field Fq, q=pf)) one could possibly associate a foliated Riemannian laminated space (SQ,F,g,?t) (resp. (SY,F,g,?t)) endowed with an action of a flow ?t whose primitive compact orbits should correspond to the primes of Q (resp. Y). Precise conjectures were stated in our report [E. Leichtnam, An invitation to Deninger's work on arithmetic zeta functions, in: Geometry, Spectral Theory, Groups, and Dynamics, in: Contemp. Math. vol. 387, Amer. Math. Soc., Providence, RI, 2005, pp. 201-236] on Deninger's work. The existence of such a foliated space and flow ?t is still unknown except when Y is an elliptic curve (see Deninger [C. Deninger, On the nature of explicit formulas in analytic number theory, a simple example, in: Number Theoretic Methods, Iizuka, 2001, in: Dev. Math., vol. 8, Kluwer Acad. Publ., Dordrecht, 2002, pp. 97-118]). Being motivated by this latter case, we introduce a class of foliated laminated spaces () where L is locally , D being an open disk of C. Assuming that the leafwise harmonic forms on L are locally constant transversally, we prove a Lefschetz trace formula for the flow ?t acting on the leafwise Hodge cohomology (0?j?2) of (S,F) that is very similar to the explicit formula for the zeta function of a (general) smooth curve over Fq. We also prove that the eigenvalues of the infinitesimal generator of the action of ?t on have real part equal to .Moreover, we suggest in a precise way that the flow ?t should be induced by a renormalization group flow “à la K. Wilson”. We show that when Y is an elliptic curve over Fq this is indeed the case. It would be very interesting to establish a precise connection between our results and those of Connes (p. 553 in [A. Connes, Noncommutative Geometry Year 2000, in: Special Volume GAFA 2000 Part II, pp. 481-559], p. 90 in [A. Connes, Symétries Galoisiennes et Renormalisation, in: Séminaire Bourbaphy, Octobre 2002, pp. 75-91]) and Connes-Marcolli [A. Connes, M. Marcolli, Q-lattices: quantum statistical mechanics and Galois theory, in: Frontiers in Number Theory, Physics and Geometry, vol. I, Springer-Verlag, 2006, pp. 269-350; A. Connes, M. Marcolli, From physics to number theory via noncommutative geometry. Part II: renormalization, the Riemann-Hilbert correspondence, and motivic Galois theory, in: Frontiers in Number Theory, Physics and Geometry, vol. II, Springer-Verlag, 2006, pp. 617-713] on the Galois interpretation of the renormalization group.     

Perturbation from an elliptic Hamiltonian of degree four—III global centre

The paper deals with Liénard equations of the form , with P and Q polynomials of degree, respectively, 3 and 2. Attention goes to perturbations of the Hamiltonian vector fields with an elliptic Hamiltonian of degree four, exhibiting a global centre. It is proven that the least upper bound of the number of zeros of the related elliptic integral is four, and this is a sharp one.This result permits to prove the existence of Liénard equations of type (3,2) with a quadruple limit cycle, with both a triple and a simple limit cycle, with two semistable limit cycles, with one semistable and two simple limit cycles or with four simple limit cycles.     

Moduli spaces and multiple polylogarithm motives

In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors A and B in the moduli spaces of n-pointed stable curves of genus 0, and prove that the cohomology of the pair is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple ζ-values. Then we apply our construction to the dilogarithm and calculate the period matrix which turns out to be same with the canonical one of Deligne.     

Formal paths, iterated integrals and the center problem for ordinary differential equations

We continue the study of the center problem for the ordinary differential equation started in [A. Brudnyi, An explicit expression for the first return map in the center problem, J. Differential Equations 206 (2004) 306-314; A. Brudnyi, On the center problem for ordinary differential equations, Amer. J. Math. 128 (2006) 419-451; A. Brudnyi, An algebraic model for the center problem, Bull. Sci. Math. 128 (2004) 839-857; A. Brudnyi, On center sets of ODEs determined by moments of their coefficients, Bull. Sci. Math. 130 (2006) 33-48; A. Brudnyi, Vanishing of higher-order moments on Lipschitz curves, Bull. Sci. Math. 132 (3) (2008) 165-181]. In this paper we present the highlights of the algebraic theory of centers.     

Distribution of Selmer groups of quadratic twists of a family of elliptic curves

We study the distribution of the size of the Selmer groups arising from a 2-isogeny and its dual 2-isogeny for quadratic twists of elliptic curves with full 2-torsion points in Q. We show that one of these Selmer groups is almost always bounded, while the 2-rank of the other follows a Gaussian distribution. This provides us with a small Tate-Shafarevich group and a large Tate-Shafarevich group. When combined with a result obtained by Yu [G. Yu, On the quadratic twists of a family of elliptic curves, Mathematika 52 (1-2) (2005) 139-154 (2006)], this shows that the mean value of the 2-rank of the large Tate-Shafarevich group for square-free positive integers n less than X is , as X→∞.     

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

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.     

A remark on continued fractions with sequences of partial quotients

Given any infinite set B of positive integers , let τ(B) denote the exponent of convergence of the series . Let E(B) be the set . Hirst [K.E. Hirst, Continued fractions with sequences of partial quotients, Proc. Amer. Math. Soc. 38 (1973) 221-227] proved the inequality and conjectured (see Hirst [K.E. Hirst, Continued fractions with sequences of partial quotients, Proc. Amer. Math. Soc. 38 (1973), p. 225] and Cusick [T.W. Cusick, Hausdorff dimension of sets of continued fractions, Quart. J. Math. Oxford Ser. (2) 41 (1990), p. 278]) that equality holds in general. In [Bao-Wei Wang, Jun Wu, A problem of Hirst on continued fractions with sequences of partial quotients, Bull. London Math. Soc., in press], we gave a positive answer to this conjecture. In this note, we further show that the result in [Bao-Wei Wang, Jun Wu, A problem of Hirst on continued fractions with sequences of partial quotients, Bull. London Math. Soc., in press] is sharp.     

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.     

A description of continued fraction expansions of quadratic surds represented by polynomials

The principal thrust of this investigation is to provide families of quadratic polynomials , where e_k²−f_k²C=n (for any given nonzero integer n) satisfying the property that for any , the period length of the simple continued fraction expansion of is constant for fixed k and lim_k→∞?_k=∞. This generalizes, and completes, numerous results in the literature, where the primary focus was upon |n|=1, including the work of this author, and coauthors, in Mollin (Far East J. Math. Sci. Special Vol. 1998, Part III, 257-293; Serdica Math. J. 27 (2001) 317) Mollin and Cheng (Math. Rep. Acad. Sci. Canada 24 (2002) 102; Internat Math J 2 (2002) 951) and Mollin et al. (JP J. Algebra Number Theory Appl. 2 (2002) 47).     

Sun-Wong type theorems for second order damped elliptic equations

The oscillation criteria of Sun and Wong [Y.G. Sun, J.S.W. Wong, Oscillation criteria for second order forced ordinary differential equations with mixed nonlinearities, J. Math. Anal. Appl. 334 (2007) 549-560] are extended to the forced second order damped elliptic differential equation with mixed nonlinearities

     

Bernoulli-Hurwitz numbers, Wieferich primes and Galois representations

Let K be a quadratic imaginary number field with discriminant DK≠−3,−4 and class number one. Fix a prime p?7 which is unramified in K. Given an elliptic curve A/Q 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, for all but finitely many inert primes p, the image of a certain deformation of is “as large as possible”, that is, it is the full inverse image of a Cartan subgroup of SL(2,Zp). If p splits in K, then the same result holds as long as a certain Bernoulli-Hurwitz number is a p-adic unit which, in turn, is equivalent to a prime ideal not being a Wieferich place. The proof rests on the theory of elliptic units of Robert and Kubert-Lang, and on the two-variable main conjecture of Iwasawa theory for quadratic imaginary fields.     

On the de Rham-Witt complex in mixed characteristic

The purpose of this paper is twofold. Firstly, it gives a thorough treatment of the de Rham-Witt complex for -algebras, a construction we first considered in [L. Hesselholt, I. Madsen, Ann. of Math. 158 (2003) 1-113]. This complex is the natural generalization to -algebras of the de Rham-Witt complex for -algebras of Bloch-Deligne-Illusie [L. Illusie, Ann. Sci. École Norm. Sup. 12 (4) (1979) 501-661] (for p odd). We also give an explicit formula for the de Rham-Witt complex of a polynomial ring in terms of that of the coefficient ring. Secondly, we generalize the main Theorem C of [L. Hesselholt, I. Madsen, Ann. of Math. 158 (2003) 1-113] to smooth algebras over a discrete valuation ring of mixed characteristic (0,p) with perfect residue field and p odd.     

On linear congruence relations for Kubota-Leopoldt 2-adic L-functions

Our purpose in the paper is to find the most general linear congruence relation of the Hardy-Williams type for linear combinations of special values of Kubota-Leopoldt 2-adic L-functions L₂(k,χω^1−k) with k running over any finite subset of not necessarily consisting of consecutive integers (see Acta Arith. 47 (1986) 263; Publ. Math. Fac. Sci. Besançon, Théorie des Nombres, 1995/1996; Publ. Math. Debrecen 56 (2000) 677 and cf. Mathematics and Its Applications, Vol. 511, Kluwer Academic Publishers, Dordrecht, Boston, London, 2000). If k runs over finite subsets of consisting of consecutive integers see Compositio Math. 111 (1998) 289; Publ. Math. Debrecen 56 (2000) 677; Hardy and Williams, 1986; Compositio Math. 75 (1990) 271; Acta Arith. 71 (1995) 273; 52 (1989) 147; J. Number Theory 34 (1990) 362. In order to obtain the most general congruences of this type we make use of divisibility properties of the generalized Vandermonde determinants obtained in Spie? et al. (Divisibility properties of generalized Vandermonde and Cauchy determinants, Preprint 627, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 2002). This allows us to simplify our main Theorem 2 and obtain Theorem 3 where the most general form of the linear congruence relation is given.     

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.