Showing papers in "arXiv: Number Theory in 2013"

Euler's constant: Euler's work and modern developments

Abstract: This paper has two parts. The first part surveys Euler's work on the constant gamma=0.57721... bearing his name, together with some of his related work on the gamma function, values of the zeta function and divergent series. The second part describes various mathematical developments involving Euler's constant, as well as another constant, the Euler-Gompertz constant. These developments include connections with arithmetic functions and the Riemann hypothesis, and with sieve methods, random permutations and random matrix products. It includes recent results on Diophantine approximation and transcendence related to Euler's constant.

Graphical functions and single-valued multiple polylogarithms

Abstract: Graphical functions are single-valued complex functions which arise from Feynman amplitudes. We study their properties and use their connection to multiple polylogarithms to calculate Feynman periods. For the zig-zag and two more families of phi^4 periods we give exact results modulo products. These periods are proved to be expressible as integer linear combinations of single-valued multiple polylogarithms evaluated at one. For the larger family of 'constructible' graphs we give an algorithm that allows one to calculate their periods by computer algebra. The theory of graphical functions is used to prove the zig-zag conjecture.

Disjointness of Moebius from Horocycle Flows

Abstract: We formulate and prove a finite version of Vinogradov’s bilinear sum inequality. We use it together with Ratner’s joinings theorems to prove that the Moebius function is disjoint from discrete horocycle flows on \(\Gamma \setminus S{L}_{2}(\mathbb{R})\), where \(\Gamma \subset S{L}_{2}(\mathbb{R})\) is a lattice.

The ternary Goldbach conjecture is true

Abstract: The ternary Goldbach conjecture, or three-primes problem, asserts that every odd integer $n$ greater than $5$ is the sum of three primes. The present paper proves this conjecture. Both the ternary Goldbach conjecture and the binary, or strong, Goldbach conjecture had their origin in an exchange of letters between Euler and Goldbach in 1742. We will follow an approach based on the circle method, the large sieve and exponential sums. Some ideas coming from Hardy, Littlewood and Vinogradov are reinterpreted from a modern perspective. While all work here has to be explicit, the focus is on qualitative gains. The improved estimates on exponential sums are proven in the author's papers on major and minor arcs for Goldbach's problem. One of the highlights of the present paper is an optimized large sieve for primes. Its ideas get reapplied to the circle method to give an improved estimate for the minor-arc integral.

Sharp conditional bounds for moments of the Riemann zeta function

Abstract: We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |\zeta(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant. Our proof builds on well known work of Soundararajan, who showed, assuming the Riemann Hypothesis, that \int_{T}^{2T} |\zeta(1/2+it)|^{2k} dt \ll_{k,\epsilon} T log^{k^{2}+\epsilon} T for any fixed k \geq 0 and \epsilon > 0. Whereas Soundararajan bounded \log|\zeta(1/2+it)| by a single Dirichlet polynomial, and investigated how often it attains large values, we bound \log|\zeta(1/2+it)| by a sum of many Dirichlet polynomials and investigate the joint behaviour of all of them. We also work directly with moments throughout, rather than passing through estimates for large values.

Elliptic Curves over Real Quadratic Fields are Modular

Abstract: We prove that all elliptic curves defined over real quadratic fields are modular.

The M\"obius function and distal flows

Abstract: We prove that the M\"{o}bius function is linearly disjoint from an analytic skew product on the $2$-torus. These flows are distal and can be irregular in the sense that their ergodic averages need not exist for all points. The previous cases for which such disjointness has been proved are all regular. We also establish the linear disjointness of M\"{o}bius from various distal homogeneous flows.

Depth-graded motivic multiple zeta values

Abstract: We study the depth filtration on multiple zeta values, the motivic Galois group of mixed Tate motives over $\mathbb{Z}$ and the Grothendieck-Teichmuller group, and its relation to modular forms. Using period polynomials for cusp forms for $\mathrm{SL}_2(\mathbb{Z})$, we construct an explicit Lie algebra of solutions to the linearized double shuffle equations, which gives a conjectural description of all identities between multiple zeta values modulo $\zeta(2)$ and modulo lower depth. We formulate a single conjecture about the homology of this Lie algebra which implies conjectures due to Broadhurst-Kreimer, Racinet, Zagier and Drinfeld on the structure of multiple zeta values and on the Grothendieck-Teichmuller Lie algebra.

Explicit Methods for Hilbert Modular Forms

Abstract: The study of modular forms remains a dominant theme in modern number theory, a consequence of their intrinsic appeal as well as their applications to a wide variety of mathematical problems. This subject has seen dramatic progress during the past half-century in an environment where both abstract theory and explicit computation have developed in parallel. Experiments will remain an essential tool in the years ahead, especially as we turn from classical contexts to less familiar terrain.

Single-valued periods and multiple zeta values

Abstract: The values at 1 of single-valued multiple polylogarithms span a certain subalgebra of multiple zeta values. In this paper, the properties of this algebra are studied from the point of view of motivic periods.

Patching and the p-adic local Langlands correspondence

Abstract: We use the patching method of Taylor--Wiles and Kisin to construct a candidate for the p-adic local Langlands correspondence for GL_n(F), F a finite extension of Q_p. We use our construction to prove many new cases of the Breuil--Schneider conjecture.

Computing isogenies between supersingular elliptic curves over F_p

Abstract: Let p>3 be a prime and let E, E' be supersingular elliptic curves over F_p. We want to construct an isogeny phi: E --> E'. The currently fastest algorithm for finding isogenies between supersingular elliptic curves solves this problem by performing a "meet-in-the-middle" breadth-first search in the full supersingular 2-isogeny graph over F_{p^2}. In this paper we consider the structure of the isogeny graph of supersingular elliptic curves over F_p. We give an algorithm to construct isogenies between such supersingular elliptic curves that works faster than the usual algorithm. We then discuss how this results can be used to obtain an improved algorithm for the general supersingular isogeny problem.

The average size of the 5-Selmer group of elliptic curves is 6, and the average rank is less than 1

Abstract: In this article, we prove that the average rank of elliptic curves over $\mathbb{Q}$, when ordered by height, is less than $1$ (in fact, less than $.885$). As a consequence of our methods, we also prove that at least four fifths of all elliptic curves over $\mathbb{Q}$ have rank either 0 or 1; furthermore, at least one fifth of all elliptic curves in fact have rank 0. The primary ingredient in the proofs of these theorems is a determination of the average size of the $5$-Selmer group of elliptic curves over $\mathbb{Q}$; we prove that this average size is $6$. Another key ingredient is a new lower bound on the equidistribution of root numbers of elliptic curves; we prove that there is a family of elliptic curves over $\mathbb{Q}$ having density at least $55\%$ for which the root number is equidistributed.

On the Eigencurve at classical weight one points

Abstract: We show that the p-adic Eigencurve is smooth at classical weight one points which are regular at p and give a precise criterion for etaleness over the weight space at those points Our approach uses deformations of Galois representations

Analogues elliptiques des nombres multiz\'etas

Abstract: We study functions of an elliptic parameter, which are defined as iterated integrals of elliptic functions. We establish their relation with the "elliptic associators" of our previous work, by means of a functional realization of Lie algebras appearing in that work.

Identifying the Matrix Ring: Algorithms for Quaternion Algebras and Quadratic Forms

Abstract: We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2 ×2-matrix ring M2(R) and, if so, to compute such an embedding. We discuss many variants of this problem, including algorithmic recognition of quaternion algebras among algebras of rank 4, computation of the Hilbert symbol, and computation of maximal orders.

Determination of a Type of Permutation Trinomials over Finite Fields

Abstract: Let $q$ be a prime power We determine all permutation trinomials of $\Bbb F_{q^2}$ of the form $ax+bx^q+x^{2q-1}\in\Bbb F_{q^2}[x]$ The subclass of such permutation trinomials of $\Bbb F_{q^2}$ with $a,b\in\Bbb F_q$ was determined in a recent paper by the author

The circle method and bounds for $L$-functions - III: $t$-aspect subconvexity for GL(3) $L$-functions

Abstract: Let $\pi$ be a Hecke-Maass cusp form for $SL(3,\mathbb Z)$. In this paper we will prove the following subconvex bound $$ L(\tfrac{1}{2}+it,\pi)\ll_{\pi,\varepsilon} (1+|t|)^{3/4-1/16+\varepsilon}. $$

Badly approximable points on manifolds

Abstract: This paper is motivated by two problems in the theory of Diophantine approximation, namely, Davenport's problem regarding badly approximable points on submanifolds of a Euclidean space and Schmidt's problem regarding the intersections of the sets of weighted badly approximable points. The problems have been recently settled in dimension two but remain open in higher dimensions. In this paper we develop new techniques that allow us to tackle them in full generality. The techniques rest on lattice points counting and a powerful quantitative result of Bernik, Kleinbock and Margulis. The main theorem of this paper implies that any finite intersection of the sets of weighted badly approximable points on any analytic nondegenerate submanifold of $R^n$ has full dimension. One of the consequences of this result is the existence of transcendental real numbers badly approximable by algebraic numbers of any degree.

On the length of binary forms

Abstract: The K-length of a form f in \(K[x_{1},\ldots,x_{n}]\), \(K \subset \mathbb{C}\), is the smallest number of d-th powers of linear forms of which f is a K-linear combination. We present many results, old and new, about K-length, mainly for n = 2, and often about the length of the same form over different fields. For example, the K-length of \(3{x}^{5} - 20{x}^{3}{y}^{2} + 10x{y}^{4}\) is three for \(K = \mathbb{Q}(\sqrt{-1})\), four for \(K = \mathbb{Q}(\sqrt{-2})\) and five for \(K = \mathbb{R}\).

Syntomic cohomology and regulators for varieties over p-adic fields

Abstract: We show that the logarithmic version of the syntomic cohomology of Fontaine and Messing for semistable varieties over $p$-adic rings extends uniquely to a cohomology theory for varieties over $p$-adic fields that satisfies $h$-descent. This new cohomology - syntomic cohomology - is a Bloch-Ogus cohomology theory, admits period map to \'etale cohomology, and has a syntomic descent spectral sequence (from an algebraic closure of the given field to the field itself) that is compatible with the Hochschild-Serre spectral sequence on the \'etale side. In relative dimension zero we recover the potentially semistable Selmer groups and, as an application, we prove that Soul\'e's \'etale regulators land in the potentially semistable Selmer groups. Our construction of syntomic cohomology is based on new ideas and techniques developed by Beilinson and Bhatt in their recent work on $p$-adic comparison

p-adic Cohomology and classicality of overconvergent Hilbert modular forms

Abstract: Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke modules.

Most hyperelliptic curves over Q have no rational points

Abstract: By a hyperelliptic curve over Q, we mean a smooth, geometrically irreducible, complete curve C over Q equipped with a fixed map of degree 2 to P^1 defined over Q. Thus any hyperelliptic curve C over Q of genus g can be embedded in weighted projective space P(1,1,g+1) via an equation of the form C : z^2 = f(x,y) = f_0 x^n + f_1 x^{n-1} y + ... + f_n y^n where n=2g+2, the coefficients f_i lie in Z, and f factors into distinct linear factors over Q-bar. Define the height H(C) of C by H(C):=max{|f_i|}, and order all hyperelliptic curves over Q of genus g by height. Then we prove that, as g tends to infinity: 1) a density approaching 100% of hyperelliptic curves of genus g have no rational points; 2) a density approaching 100% of those hyperelliptic curves of genus g that have points everywhere locally fail the Hasse principle; and 3) a density approaching 100% of hyperelliptic curves of genus g have empty Brauer set, i.e., have a Brauer-Manin obstruction to having a rational point. We also prove positive proportion results of this type for individual genera, including g = 1.

The p-adic local Langlands correspondence for GL_2(Q_p)

Abstract: The p-adic local Langlands correspondence for GL_2(Q_p) is given by an exact functor from unitary Banach representations of GL_2(Q_p) to representations of the absolute Galois group G_{Q_p} of Q_p. We prove, using characteristic 0 methods, that this correspondence induces a bijection between absolutely irreducible non-ordinary representations of GL_2(Q_p) and absolutely irreducible 2-dimensional representations of G_{Q_p}. This had already been proved, by characteristic p methods, but only for p\geq 5.

Some identities of q-Euler polynomials arising from q-umbral calculus

Abstract: Recently, Araci-Acikgoz-Sen derived some interesting identities on weighted q-Euler polynomials and higher-order q-Euler polynomials from the applications of umbral calculus (See [1]). In this paper, we develop the new method of q-umbral calculus due to Roman and we study new q-extension of Euler numbers and polynomials which are derived from q-umbral calculus. Finally, we give some interesting identities on our q-Euler polynomials related to the q-Bernoulli numbers and polynomials of Hegazi and Mansour.

The Ambiguous Class Number Formula Revisited

Abstract: We will give a simple proof of the ambiguous class number formula.

Modeling the distribution of ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves

Abstract: Using maximal isotropic submodules in a quadratic module over Z_p, we prove the existence of a natural discrete probability distribution on the set of isomorphism classes of short exact sequences of co-finite type Z_p-modules, and then conjecture that as E varies over elliptic curves over a fixed global field k, the distribution of 0 --> E(k) tensor Q_p/Z_p --> Sel_{p^infty} E --> Sha[p^infty] --> 0 is that one We show that this single conjecture would explain many of the known theorems and conjectures on ranks, Selmer groups, and Shafarevich-Tate groups of elliptic curves We also prove the existence of a discrete probability distribution of the set of isomorphism classes of finite abelian p-groups equipped with a nondegenerate alternating pairing, defined in terms of the cokernel of a random alternating matrix over Z_p, and we prove that the two probability distributions are compatible with each other and with Delaunay's predicted distribution for Sha Finally, we prove new theorems on the fppf cohomology of elliptic curves in order to give further evidence for our conjecture

Whittaker periods, motivic periods, and special values of tensor product L-functions

Abstract: Let $\mathcal K$ be an imaginary quadratic field. Let $\Pi$ and $\Pi'$ be irreducible generic cohomological automorphic representation of $GL(n)/{\mathcal K}$ and $GL(n-1)/{\mathcal K}$, respectively. Each of them can be given two natural rational structures over number fields. One is defined by the rational structure on topological cohomology, the other is given in terms of the Whittaker model. The ratio between these rational structures is called a {\it Whittaker period}. An argument presented by Mahnkopf and Raghuram shows that, at least if $\Pi$ is cuspidal and the weights of $\Pi$ and $\Pi'$ are in a standard relative position, the critical values of the Rankin-Selberg product $L(s,\Pi \times \Pi')$ are essentially algebraic multiples of the product of the Whittaker periods of $\Pi$ and $\Pi'$. We show that, under certain regularity and polarization hypotheses, the Whittaker period of a cuspidal $\Pi$ can be given a motivic interpretation, and can also be related to a critical value of the adjoint $L$-function of related automorphic representations of unitary groups. The resulting expressions for critical values of the Rankin-Selberg and adjoint $L$-functions are compatible with Deligne's conjecture.

A relative Szemer\'edi theorem

Abstract: The celebrated Green-Tao theorem states that there are arbitrarily long arithmetic progressions in the primes. One of the main ingredients in their proof is a relative Szemer\'edi theorem which says that any subset of a pseudorandom set of integers of positive relative density contains long arithmetic progressions. In this paper, we give a simple proof of a strengthening of the relative Szemer\'edi theorem, showing that a much weaker pseudorandomness condition is sufficient. Our strengthened version can be applied to give the first relative Szemer\'edi theorem for $k$-term arithmetic progressions in pseudorandom subsets of $\mathbb{Z}_N$ of density $N^{-c_k}$. The key component in our proof is an extension of the regularity method to sparse pseudorandom hypergraphs, which we believe to be interesting in its own right. From this we derive a relative extension of the hypergraph removal lemma. This is a strengthening of an earlier theorem used by Tao in his proof that the Gaussian primes contain arbitrarily shaped constellations and, by standard arguments, allows us to deduce the relative Szemer\'edi theorem.

Small gaps between primes

Abstract: We introduce a refinement of the GPY sieve method for studying prime $k$-tuples and small gaps between primes. This refinement avoids previous limitations of the method, and allows us to show that for each $k$, the prime $k$-tuples conjecture holds for a positive proportion of admissible $k$-tuples. In particular, $\liminf_{n}(p_{n+m}-p_n)<\infty$ for any integer $m$. We also show that $\liminf(p_{n+1}-p_n)\le 600$, and, if we assume the Elliott-Halberstam conjecture, that $\liminf_n(p_{n+1}-p_n)\le 12$ and $\liminf_n (p_{n+2}-p_n)\le 600$.