Showing papers in "arXiv: Number Theory in 2000"

Distribution of the partition function modulo m

Abstract: Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove that there are infinitely many such congruences for every prime modulus exceeding 3. In addition, we provide a simple criterion guaranteeing the truth of Newman's conjecture for any prime modulus exceeding 3 (recall that Newman's conjecture asserts that the partition function hits every residue class modulo a given integer M infinitely often).

La fonction Zeta de Riemann prend une infinite de valeurs irrationnelles aux entiers impairs

Abstract: We provide a lower bound for the dimension of the vector space spanned by 1 and by the values of the Riemann Zeta function at the first odd integers. As a consequence, the Zeta function takes infinitely many irrational values at odd integers.

Groupes p-divisibles, groupes finis et modules filtr\'es

Abstract: Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these classifications over an arbitrary complete discrete valuation ring A with unequal characteristic (0,p) and residue field k by using "generalized" filtered modules. In particular, there is no restriction on the ramification index. In the case k is included in \bar{F}_p (and p>2), we then use this new classification to prove that any crystalline representation of the Galois group of Frac(A) with Hodge-Tate weights in {0,1} contains as a lattice the Tate module of a p-divisible group over A.

Banach space representations and Iwasawa theory

Abstract: The lack of a $p$-adic Haar measure causes many methods of traditional representation theory to break down when applied to continuous representations of a compact $p$-adic Lie group $G$ in Banach spaces over a given $p$-adic field $K$. For example, Diarra showed that the abelian group $G=\dZ$ has an enormous wealth of infinite dimensional, topologically irreducible Banach space representations. We therefore address the problem of finding an additional ''finiteness'' condition on such representations that will lead to a reasonable theory. We introduce such a condition that we call ''admissibility''. We show that the category of all admissible $G$-representations is reasonable -- in fact, it is abelian and of a purely algebraic nature -- by showing that it is anti-equivalent to the category of all finitely generated modules over a certain kind of completed group ring $K[[G]]$. As an application of our methods we determine the topological irreducibility as well as the intertwining maps for representations of $GL_2(\dZ)$ obtained by induction of a continuous character from the subgroup of lower triangular matrices.

An Elementary Problem Equivalent to the Riemann Hypothesis

Abstract: This paper shows the equivalence of the Riemann hypothesis to an sequence of elementary inequalities involving the harmonic numbers H_n, the sum of the reciprocals of the integers from 1 to n. It is a modification of a criterion due to Guy Robin.

On the frequency of vanishing of quadratic twists of modular L-functions

Abstract: We present theoretical and numerical evidence for a random matrix theoretic approach to a conjecture about vanishings of quadratic twists of certain L-functions

Algebraic estimates, stability of local zeta functions, and uniform estimates for distribution functions

Abstract: A method of ``algebraic estimates'' is developed, and used to study the stability properties of integrals of the form \int_B|f(z)|^{-\d}dV, under small deformations of the function f. The estimates are described in terms of a stratification of the space of functions \{R(z)=|P(z)|^{\e}/|Q(z)|^{\d}\} by algebraic varieties, on each of which the size of the integral of R(z) is given by an explicit algebraic expression. The method gives an independent proof of a result on stability of Tian in 2 dimensions, as well as a partial extension of this result to 3 dimensions. In arbitrary dimensions, combined with a key lemma of Siu, it establishes the continuity of the mapping c\ra \int_B|f(z,c)|^{-\d}dV_1\cdots dV_n when f(z,c) is a holomorphic function of (z,c). In particular the leading pole is semicontinuous in f, strengthening also an earlier result of Lichtin.

Integral Elements in K-Theory and Products of Modular Curves

Abstract: In the first part of this paper we use de Jong’s method of alterations to contruct unconditionally ‘integral’ subspaces of motivic cohomology (with rational coefficients) for Chow motives over local and global fields. In the second part, we investigate the integrality of the elements constructed by Beilinson in the motivic cohomology of the product of two modular curves, completing the discussion in section 6 of his paper [1].

Higher rank case of Dwork's conjecture

Abstract: This is the final version of ANT-0142 ("An embedding approach to Dwork's conjecture"). It reduces the higher rank case of the conjecture over a general base variety to the rank one case over the affine space. The general rank one case is completed in ANT-0235 "Rank one case of Dwork's conjecture". Both papers will appear in JAMS.

The distribution of spacings between the fractional parts of $n^2 \alpha$

Abstract: We study the distribution of normalized spacings between the fractional parts of an^2, n=1,2,.... We conjecture that if a is "badly approximable" by rationals, then the sequence of fractional parts has Poisson spacings, and give a number of results towards this conjecture. We also present an example of a Diophantine number a for which the higher correlation functions of the sequence blow up.

The Digit Principle

Abstract: A number of constructions in function field arithmetic involve extensions from linear objects using digit expansions. This technique is described here as a method of constructing orthonormal bases in spaces of continuous functions. We illustrate several examples of orthonormal bases from this viewpoint, and we also obtain a concrete model for the continuous functions on the integers of a local field as a quotient of a Tate algebra in countably many variables.

Beyond pair correlation

Abstract: The authors study the distribution of psi(x+h)-psi(x)-h and compare it with numerical data

Sur le th\'eor\`eme de l'indice des \'equations diff\'erentielles p-adiques. III

Abstract: This paper works out the structure of singular points of p-adic differential equations (i.e. differential modules over the ring of functions analytic in some annulus with external radius 1). Surprisingly results look like in the formal case (differential modules over a one variable power series field) but proofs are much more involved. However, unlike in the Turritin theorem, even after ramification, in the p-adic theory there are irreducible objects of rank >1. The first part is devoted to the definition of p-adic slopes and to a decomposition along p-adic slopes theorem. The case of slope 0 (p-adic analogue of the regular singular case) was already studied in the paper with the same title but number II [Ann. of Math. (2) 146 (1997), 345-410]. The second part states several index existence theorems and index formulas. As a consequence, vertices of the Newton polygon built from p-adic slopes are proved to have integral components (analogue of the Hasse-Arf theorem). After the work of the second author, existence of index implies finitness of p-adic (Monsky-Washnitzer) cohomology for affine varieties over finite fields. The end of the paper outlines the construction of a p-adic-coefficient category over curves (over a finite field) with all needed finitness properties. In the paper with the same title but number IV [Invent. Math. 143 (2001), 629-672], further insights are given.

Rational points near curves and small nonzero |x^3-y^2| via lattice reduction

Abstract: We give a new algorithm using linear approximation and lattice reduction to efficiently calculate all rational points of small height near a given plane curve C. For instance, when C is the Fermat cubic, we find all integer solutions of |x^3+y^3-z^3| >N, using only O(log N) space. Since the number of solutions should be asymptotically proportional to M log N (as long as M

Rank frequencies for quadratic twists of elliptic curves

Abstract: We give explicit examples of infinite families of elliptic curves E over Q with (nonconstant) quadratic twists over Q(t) of rank at least 2 and 3. We recover some results announced by Mestre, as well as some additional families. Suppose D is a squarefree integer and let r_E(D) denote the rank of the quadratic twist of E by D. We apply results of Stewart and Top to our examples to obtain results of the form #{D : |D| = 2} >> x^{1/3}, #{D : |D| = 3} >> x^{1/6} for all sufficiently large x.

On the approximation of the values of exponential function and logarithm by algebraic numbers

Abstract: A sharp explicit estimate is proved for the difference $e^\beta-\alpha$ when $\alpha$ and $\beta$ are nonzero algebraic numbers.

Where the Slopes Are

Abstract: Fix a prime number p and choose, once and for all, an embedding of the algebraic closure of Q into Qp. Let k and N be integers, and suppose N is not divisible by p. If f is a modular form of weight k, level N, and trivial character which is an eigenform for the p-th Hecke operator Tp, we define the slope of f to be the p-adic valuation of the eigenvalue of Tp. This paper reports on computations that suggest that there is quite a lot of structure to the set of slopes for eigenforms of varying weight k. In particular, we find that the slopes are often smaller than expected, that they are almost always integers, that there is evidence of a connection between fractional slopes and slopes which are "bigger than usual", and that there are some hints of a connection to the theory of theta-cycles.

On the transcendence degree of the differential field generated by Siegel modular forms

Abstract: It is a classical fact that the elliptic modular functions satisfies an algebraic differential equation of order 3, and none of lower order. We show how this generalizes to Siegel modular functions of arbitrary degree. The key idea is that the partial differential equations they satisfy are governed by Gauss--Manin connections, whose monodromy groups are well-known. Modular theta functions provide a concrete interpretation of our result, and we study their differential properties in detail in the case of degree 2.

U(g)-finite locally analytic representations

Abstract: In this paper we continue the study of locally analytic representations of a $p$-adic Lie group $G$ in vector spaces over a spherically complete non-archimedean field $K$, building on the algebraic approach to such representations introduced in our paper "Locally analytic distributions and p-adic representation theory, with applications to GL_2." In that paper we associated to a representation $V$ a module $M$ over the ring $D(G,K)$ of locally analytic distributions on $G$ and described an admissibility condition on $V$ in terms of algebraic properties of $M$. In this paper we determine the relationship between our admissibility condition on locally analytic modules and the traditional admissibility of Langlands theory. We then analyze the class of locally analytic representations with the property that their associated modules are annihilated by an ideal of finite codimension in the universal enveloping algebra of G, showing under some hypotheses on G that they are sums of representations of the form $X\otimes Y$, with X finite dimensional and Y smooth. The irreducible representations of this type are obtained when X and Y are irreducible. We conclude by analyzing the reducible members of the locally analytic principal series of $SL_2(\Qp)$.

Diophantine properties of elements of SO(3)

Abstract: A number alpha in R is diophantine if it is not well approximable by rationals, i.e. for some C, nu>0 and any relatively prime p, q in Z we have |alpha q -p|>C q^{-1-\vu}. It is well-known and easy to prove that almost every alpha in R is diophantine. In this paper we address a noncommutative version of the question about diophantine properties. Consider a pair A,B in SO(3) and for each n in Z_+ take all possible words in A, A^{-1}, B, and B^{-1} of length n, i.e. for a multiindex I=(i_1,j_1,..., i_s,j_s) put |I|=\sum_{k=1}^s (|i_k|+|j_k|) and W_{A,B}(n)={W_{I}(A,B)= A^{i_1}B^{j_1}... A^{i_s}B^{j_s}}_{|I|=n}. Gamburd-Jakobson-Sarnak raised the problem: prove that for Haar almost every pair A, B in SO(3) the closest distance of the word of length n to the identity, i.e. s_{A,B}(n)=min_{|I|=n} |W_{I}(A,B)-Id|, is bounded from below by an exponential function in n. This is an analog of diophantine property for elements of SO(3). In this paper we make first step toward understanding diophantine properties of SO(3). We prove that s_{A,B}(n) is bounded from below by an exponential function in n^2. We also exhibit obstructions to prove a simple exponential in n estimate.

Galois Groups Over Nonrigid Fields

Abstract: Let F be a field with char F 6 2. We show that F is a nonrigid field if and only if certain small 2-groups occur as Galois groups over F. These results provide new "automatic realizability" results for Galois groups over F. The groups we consider demonstrate the inequality of two particular metabelian 2-extensions of F which are unequal precisely when F is a nonrigid field. Using known results on connections between rigidity and existence of certain valuations, we obtain Galois-theoretic criteria for the existence of these valuations.

The laplace transform of the fourth moment of the zeta-function

Abstract: The Laplace transform of $|\zeta(1/2+it)|$ is investigated, for which a precise expression is obtained, valid in a certain region in the complex plane. The method of proof is based on complex integration and spectral theory of the non-Euclidean Laplacian.

The density of ramified primes in semisimple p-adic Galois representations

Abstract: We prove that the density of ramified primes in semisimple p-adic representations of Galois groups of number fields is 0. Ravi Ramakrishna has produced examples of such representations that are infinitely ramified.

Explicit computation of Galois p-groups unramified at p

Abstract: In this paper we introduce a new method for finding Galois groups by computer. This is particularly effective in the case of Galois groups of p-extensions ramified at finitely many primes but unramified at the primes above p. Such Galois groups have been regarded as amongst the most mysterious objects in number theory. Very little has hitherto been discovered regarding them despite their importance in studying p-adic Galois representations unramified at p. The conjectures of Fontaine-Mazur say that they should have no p-adic analytic quotients (equivalently, the images of the Galois representations should always be finite), and there are generalizations due to the first author, suggesting that they should instead have `large' actions on certain trees. The idea is to modify the p-group generation algorithm so that as it goes along, it uses number-theoretical information to eliminate groups that cannot arise as suitable quotients of the Galois group under investigation. In the best cases we obtain a short list of candidates for the Galois group. This leads to various conjectures.

Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy

Abstract: We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0, with all three quantifiers ranging over N (or Z). (II) Given polynomials f_1,...,f_m in Z[x_1,...,x_n] with m>=n, decide if there is a rational solution to f_1=...=f_m=0. We show that, for almost all inputs, problem (I) can be done within coNP. The decidability of problem (I), over N and Z, was previously unknown. We also show that the Generalized Riemann Hypothesis (GRH) implies that, for almost all inputs, problem (II) can be done via within the complexity class PP^{NP^NP}, i.e., within the third level of the polynomial hierarchy. The decidability of problem (II), even in the case m=n=2, remains open in general. Along the way, we prove results relating polynomial system solving over C, Q, and Z/pZ. We also prove a result on Galois groups associated to sparse polynomial systems which may be of independent interest. A practical observation is that the aforementioned Diophantine problems should perhaps be avoided in the construction of crypto-systems.

On the genera of X_0(N)

Abstract: Let g_0(N) be the genus of the modular curve X_0(N). We record several properties of the sequence {g_0(N)}. Even though the average size of g_0(N) is 1.25N/pi^2, a random positive integer has probability zero of being a value of g_0(N). Also, if N is a random positive integer then g_0(N) is odd with probability one. The smallest non-negative integer not occuring as g_0(N) for any N is 150; the smallest such odd integer is 49267.

S\\éries Gevrey de type arithm\\étique, II. Transcendance sans transcendance

Abstract: In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial coefficients) which annihilates such a series has no non-trivial singularity outside the origin and infinity. We show how to draw from this fact some transcendence properties, and recover in particular the fundamental theorem of the Siegel-Shidlovsky theory on algebraic independence of values of E-functions. The paradox of the title points out the contrast between the qualitative aspect of this new argument and the essentially quantitative aspect of the traditional approach. At last, we discuss q-analogues of the theory (theta-functions, q-exponential,...).

Asymmetries in the Shanks-Renyi Prime Number Race

Abstract: It has been well-observed that an inequality of the type $\pi(x;q,a) > \pi(x;q,b)$ is more likely to hold if $a$ is a non-square modulo $q$ and $b$ is a square modulo $q$ (the so-called ``Chebyshev Bias''). For instance, each of $\pi(x;8,3)$, $\pi(x;8,5)$, and $\pi(x;8,7)$ tends to be somewhat larger than $\pi(x;8,1)$. However, it has come to light that the tendencies of these three $\pi(x;8,a)$ to dominate $\pi(x;8,1)$ have different strengths. A related phenomenon is that the six possible inequalities of the form $\pi(x;8,a_1) > \pi(x;8,a_2) > \pi(x;8,a_3)$ with $\{a_1,a_2,a_3\}=\{3,5,7\}$ are not all equally likely---some orderings are preferred over others. In this paper we discuss these phenomena, focusing on the moduli $q=8$ and $q=12$, and we explain why the observed asymmetries (as opposed to other possible asymmetries) occur.

A comparison of the Carlitz and digit derivatives bases in function field arithmetic

Abstract: In this paper we compare several properties and constructions of the Carlitz polynomials and digit derivatives for continuous functions on $\F_q[[T]].$ In particular, we show a close relation between them as orthonormal bases. Moreover, parallel to Carlitz's coefficient formula, we give the closed formula for the expansion coefficients in terms of the digit derivatives.

Infinitely ramified Galois representations

Abstract: In this paper we show how to construct, for most p >= 5, two types of surjective representations \rho:G_Q=Gal(\bar{Q}/Q) -> GL_2(Z_p) that are ramified at an infinite number of primes. The image of inertia at almost all of these primes will be torsion-free. The first construction is unconditional. The catch is that we cannot say whether \rho|_{G_p=Gal(\bar{Q_p}/Q_p) is crystalline or even potentially semistable. The second construction assumes the Generalized Riemann Hypothesis (GRH). With this assumption we can further arrange that \rho|_{G_p} is crystalline at p. We remark that infinitely ramified *reducible* representations have been previously constructed by more elementary means.