Showing papers in "arXiv: Number Theory in 2016"

The sphere packing problem in dimension 8

Abstract: In this paper we prove that no packing of unit balls in Euclidean space $\mathbb{R}^8$ has density greater than that of the $E_8$-lattice packing.

Progression-free sets in Z_4^n are exponentially small

Abstract: We show that for integer $n>0$, any subset $A \subset Z_4^n$ free of three-term arithmetic progressions has size $|A| < 4^{c n}$, with an absolute constant $c \approx 0.926$.

Relative p-adic Hodge theory, II: Imperfect period rings

Abstract: In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a suitable infinite etale cover; in this case, one can decomplete the period sheaves and establish an analogue of the theorem of Cherbonnier-Colmez on the overconvergence of p-adic Galois representations. As an application, we show that relative (phi, Gamma)-modules in our sense coincide with the relative (phi, Gamma)-modules constructed by Andreatta and Brinon in the geometric setting where the latter can be constructed. As another application, we establish that the category of pseudocoherent (phi, Gamma)-modules on an arbitrary rigid analytic space over a p-adic field is abelian, satisfies the ascending chain condition, and is stable under various natural derived functors (including Hom, tensor product, and pullback). Applications to the etale cohomology of pro-etale local systems will be given in a subsequent paper.

Families of L -Functions and Their Symmetry

Abstract: A few years ago the first-named author proposed a working definition of a family of automorphic L-functions. Then the work by the second and third-named authors on the Sato–Tate equidistribution for families made it possible to give a conjectural answer for the universality class introduced by Katz and the first-named author for the distribution of the zeros near s = 1/2. In this article we develop these ideas fully after introducing some structural invariants associated to the arithmetic statistics of a family.

On Kemnitz' Conjecture Concerning Lattice Points in the Plane

Abstract: In 1961, P. Erdős, A. Ginzburg, and A. Ziv proved a remarkable theorem stating that each set of $2n-1$ integers contains a subset of size $n$, the sum of whose elements is divisible by $n$. We will prove a similar result for pairs of integers, i.e., planar lattice points, usually referred to as Kemnitz' conjecture.

Squarefree values of polynomial discriminants I

Abstract: We determine the density of monic integer polynomials of given degree $n>1$ that have squarefree discriminant; in particular, we prove for the first time that the lower density of such polynomials is positive. Similarly, we prove that the density of monic integer polynomials $f(x)$, such that $f(x)$ is irreducible and $\mathbb Z[x]/(f(x))$ is the ring of integers in its fraction field, is positive, and is in fact given by $\zeta(2)^{-1}$. It also follows from our methods that there are $\gg X^{1/2+1/n}$ monogenic number fields of degree $n$ having associated Galois group $S_n$ and absolute discriminant less than $X$, and we conjecture that the exponent in this lower bound is optimal.

Pink's theory of Hodge structures and the Hodge conjecture over function fields

Abstract: In 1997 Richard Pink has clarified the concept of Hodge structures over function fields in positive characteristic, which today are called Hodge-Pink structures. They form a neutral Tannakian category over the underlying function field. He has defined Hodge realization functors from the uniformizable abelian $t$-modules and $t$-motives of Greg Anderson to Hodge-Pink structures. This allows one to associate with each uniformizable $t$-motive a Hodge-Pink group, analogous to the Mumford-Tate group of a smooth projective variety over the complex numbers. It further enabled Pink to prove the analog of the Mumford-Tate Conjecture for Drinfeld modules. Moreover, based on unpublished work of Pink and the first author, the second author proved in her Diploma thesis that the Hodge-Pink group equals the motivic Galois group of the $t$-motive as defined by Papanikolas and Taelman. This yields a precise analog of the famous Hodge Conjecture, which is an outstanding open problem for varieties over the complex numbers. In this report we explain Pink's results on Hodge structures and the proof of the function field analog of the Hodge conjecture. The theory of $t$-motives has a variant in the theory of dual $t$-motives. We clarify the relation between $t$-motives, dual $t$-motives and $t$-modules. We also construct cohomology realizations of abelian $t$-modules and (dual) $t$-motives and comparison isomorphisms between them generalizing Gekeler's de Rham isomorphism for Drinfeld modules.

On the extreme values of the Riemann zeta function on random intervals of the critical line

Abstract: In the present paper, we show that under the Riemann hypothesis, and for fixed $h, \epsilon > 0$, the supremum of the real and the imaginary parts of $\log \zeta (1/2 + it)$ for $t \in [UT -h, UT + h]$ are in the interval $[(1-\epsilon) \log \log T, (1+ \epsilon) \log \log T]$ with probability tending to $1$ when $T$ goes to infinity, if $U$ is uniformly distributed in $[0,1]$. This proves a weak version of a conjecture by Fyodorov, Hiary and Keating, which has recently been intensively studied in the setting of random matrices. We also unconditionally show that the supremum of $\Re \log \zeta(1/2 + it)$ is at most $\log \log T + g(T)$ with probability tending to $1$, $g$ being any function tending to infinity at infinity.

Geometrization of the local Langlands correspondence: an overview

Abstract: This article is an overview of the geometrization conjecture for the local Langlands correspondence formulated by the author.

Local Statistics of Lattice Points on the Sphere

Abstract: A celebrated result of Legendre and Gauss determines which inte- gers can be represented as a sum of three squares, and for those it is typically the case that there are many ways of doing so. These different representations give collections of points on the unit sphere, and a fundamental result, con- jectured by Linnik, is that under a simple condition these become uniformly distributed on the sphere. In this note we survey some of our recent work, which explores what happens beyond uniform distribution, giving evidence to randomness on smaller scales. We treat the electrostatic energy, local statistics such as the point pair statistic (Ripley's function), nearest neighbour statis- tics, minimum spacing and covering radius. We briefly discuss the situation in other dimensions, which is very different. In an appendix we compute the corresponding quantities for random points.

Uniform Sup-Norm Bounds on Average for Cusp Forms of Higher Weights

Abstract: Let \(\Gamma \subset \mathrm{ PSL}_{2}(\mathbb{R})\) be a Fuchsian subgroup of the first kind acting by fractional linear transformations on the upper half-plane \(\mathbb{H}\). Consider the d-dimensional space of cusp forms \(\mathcal{S}_{2k}^{\Gamma }\) of weight 2k for \(\Gamma\), and let {f1, …, f d } be an orthonormal basis of \(\mathcal{S}_{2k}^{\Gamma }\) with respect to the Petersson inner product. In this paper we show that the sup-norm of the quantity \(S_{2k}^{\Gamma }(z):=\sum _{ j=1}^{d}\vert f_{j}(z)\vert ^{2}\,\mathrm{Im}(z)^{2k}\) is bounded as \(O_{\Gamma }(k)\) in the cocompact setting, and as \(O_{\Gamma }(k^{3/2})\) in the cofinite case, where the implied constants depend solely on \(\Gamma\). We also show that the implied constants are uniform if \(\Gamma\) is replaced by a subgroup of finite index.

Computation Methods for combinatorial sums and Euler type numbers related to new families of numbers

Abstract: The aim of this article is to define some new families of the special numbers. These numbers provide some further motivation for computation of combinatorial sums involving binomial coefficients and the Euler kind numbers of negative order. We can show that these numbers are related to the well-known numbers and polynomials such as the Stirling numbers of the second kind and the central factorial numbers, the array polynomials, the rook numbers and polynomials, the Bernstein basis functions and others. In order to derive our new identities and relations for these numbers, we use a technique including the generating functions and functional equations. Finally, we not only give a computational algorithm for these numbers, but also some numerical values of these numbers and the Euler numbers of negative order with tables. We also give some combinatorial interpretations of our new numbers.

Notes on isocrystals

Abstract: For varieties over a perfect field of characteristic p, etale cohomology with Q_l-coefficients is a Weil cohomology theory only when l is not equal to p; the corresponding role for l = p is played by Berthelot's rigid cohomology. In that theory, the coefficient objects analogous to lisse l-adic sheaves are the overconvergent F-isocrystals. This expository article is a brief user's guide for these objects, including some features shared with l-adic cohomology (purity, weights) and some features exclusive to the p-adic case (Newton polygons, convergence and overconvergence). The relationship between the two cases, via the theory of companions, will be treated in a sequel paper.

Torsion points on elliptic curves over number fields of small degree

Abstract: Barry Mazur famously classified the finitely many groups that can occur as a torsion subgroup of an elliptic curve over the rationals. This thesis deals with generalizations of this to higher degree number fields. Merel proved that for all integers d one has that the number of isomorphsim classes of torsion groups of elliptic curves over number fields of degree d is finite. This thesis consists of 4 chapters, the first is introductory and the other tree are research articles. Chapter two deals with the computation of gonalities of modular curves, and the application of these computations to the question which cyclic subgroups can occur as the torsion subgroup of infinitely many non-isomorphic elliptic curves over number fields of degree <7. In the second chapter a general theory for finding rational points on symmetric powers of curves is developed that is similar to symmetric power Chabauty. Application of this theory to symmetric powers of modular curves allows us to determine which primes can divide the order of the torsion subgroup of an elliptic curve over a number field of degree <7. The last chapter studies elliptic curve with a point of order 17 over a number field of degree 4.

Primes with restricted digits

Abstract: Let $a_0\in\{0,\dots,9\}$. We show there are infinitely many prime numbers which do not have the digit $a_0$ in their decimal expansion. The proof is an application of the Hardy-Littlewood circle method to a binary problem, and rests on obtaining suitable `Type I' and `Type II' arithmetic information for use in Harman's sieve to control the minor arcs. This is obtained by decorrelating Diophantine conditions which dictate when the Fourier transform of the primes is large from digital conditions which dictate when the Fourier transform of numbers with restricted digits is large. These estimates rely on a combination of the geometry of numbers, the large sieve and moment estimates obtained by comparison with a Markov process.

An odd variant of multiple zeta values

Abstract: For positive integers $i_1,...,i_k$ with $i_1 > 1$, we define the multiple $t$-value $t(i_1,...,i_k)$ as the sum of those terms in the usual infinite series for the multiple zeta value $\zeta(i_1,...,i_k)$ with odd denominators. Like the multiple zeta values, the multiple $t$-values can be multiplied according to the rules of the harmonic algebra. Using this fact, we obtain explicit formulas for multiple $t$-values of repeated arguments analogous to those known for multiple zeta values. Multiple $t$-values can be written as rational linear combinations of the alternating or "colored" multiple zeta values. Using known results for colored multiple zeta values, we obtain tables of multiple $t$-values through weight 7, suggesting some interesting conjectures, including one that the dimension of the rational vector space generated by weight-$n$ multiple $t$-values has dimension equal to the $n$th Fibonacci number. We express the generating function of the height one multiple $t$-values $t(n,1,...,1)$ in terms of a generalized hypergeometric function. We also define alternating multiple $t$-values and prove some results about them.

Local Theta correspondence of Tempered Representations and Langlands parameters

Abstract: In this paper, we give an explicit determination of the theta lifting for symplectic-orthogonal and unitary dual pairs over a nonarchimedean field $F$ of characteristic $0$. We determine when theta lifts of tempered representations are nonzero, and determine the theta lifts in terms of the local Langlands correspondence.

Modular curves of prime-power level with infinitely many rational points

Abstract: For each open subgroup $G$ of ${\rm GL}_2(\hat{\mathbb{Z}})$ containing $-I$ with full determinant, let $X_G/\mathbb{Q}$ denote the modular curve that loosely parametrizes elliptic curves whose Galois representation, which arises from the Galois action on its torsion points, has image contained in $G$ Up to conjugacy, we determine a complete list of the $248$ such groups $G$ of prime power level for which $X_G(\mathbb{Q})$ is infinite For each $G$, we also construct explicit maps from each $X_G$ to the $j$-line This list consists of $220$ modular curves of genus $0$ and $28$ modular curves of genus $1$ For each prime $\ell$, these results provide an explicit classification of the possible images of the $\ell$-adic Galois representations arising from elliptic curves over $\mathbb{Q}$ that is complete except for a finite set of exceptional $j$-invariants

New families of special numbers for computing negative order Euler numbers

Abstract: The main purpose of this paper is to construct new families of special numbers with their generating functions. These numbers are related to the many well-known numbers, which are the Bernoulli numbers, the Fibonacci numbers, the Lucas numbers, the Stirling numbers of the second kind and the central factorial numbers. Our other inspiration of this paper is related to the Golombek's problem \cite{golombek} \textquotedblleft Aufgabe 1088, El. Math. 49 (1994) 126-127\textquotedblright . Our first numbers are not only related to the Golombek's problem, but also computation of the negative order Euler numbers. We compute a few values of the numbers which are given by some tables. We give some applications in Probability and Statistics. That is, special values of mathematical expectation in the binomial distribution and the Bernstein polynomials give us the value of our numbers. Taking derivative of our generating functions, we give partial differential equations and also functional equations. By using these equations, we derive recurrence relations and some formulas of our numbers. Moreover, we give two algorithms for computation our numbers. We also give some combinatorial applications, further remarks on our numbers and their generating functions.

Additive Energy and the Hausdorff dimension of the exceptional set in metric pair correlation problems

Abstract: For a sequence of integers $\{a(x)\}_{x \geq 1}$ we show that the distribution of the pair correlations of the fractional parts of $\{ \langle \alpha a(x) \rangle \}_{x \geq 1}$ is asymptotically Poissonian for almost all $\alpha$ if the additive energy of truncations of the sequence has a power savings improvement over the trivial estimate. Furthermore, we give an estimate for the Hausdorff dimension of the exceptional set as a function of the density of the sequence and the power savings in the energy estimate. A consequence of these results is that the Hausdorff dimension of the set of $\alpha$ such that $\{\langle \alpha x^d \rangle\}$ fails to have Poissonian pair correlation is at most $\frac{d+2}{d+3} < 1$. This strengthens a result of Rudnick and Sarnak which states that the exceptional set has zero Lebesgue measure. On the other hand, classical examples imply that the exceptional set has Hausdorff dimension at least $\frac{2}{d+1}$. An appendix by Jean Bourgain was added after the first version of this paper was written. In this appendix two problems raised in the paper are solved.

Governing fields and statistics for 4-Selmer groups and 8-class groups

Abstract: Taking A to be an abelian variety with full 2-torsion over a number field k, we investigate how the 4-Selmer rank of the quadratic twist A^d changes with d. We show that this rank depends on the splitting behavior of the primes dividing d in a certain number field L/k. Assuming the grand Riemann hypothesis, we then prove that, given an elliptic curve E/Q with full rational 2-torsion, the quadratic twist family of E usually has the distribution of $4$-Selmer groups predicted by Delaunay's heuristic. Analogously, and still subject to the grand Riemann hypothesis, we prove that the set of quadratic imaginary fields has the distribution of 8-class groups predicted by the Cohen-Lenstra heuristic.

Polignac Numbers, Conjectures of Erdős on Gaps Between Primes, Arithmetic Progressions in Primes, and the Bounded Gap Conjecture

Abstract: In the present work we prove a number of results about gaps between consecutive primes. The proofs need the method of Y. Zhang which led to the proof of infinitely many bounded gaps between primes. Several of the results refer to the so-called Polignac numbers which we define as those even integers which can be written in infinitely many ways as the difference of two consecutive primes. Others refer to several 60–70 years old conjecture of Paul Erdős about the distribution of the normalized gaps between consecutive primes and about the distribution of the ratio of consecutive primegaps. The methods involve an extended version of Zhangs method, a property of the GPY weights proved by the author a few years ago and other ideas as well.

Analysis of the p-adic q-Volkenborn Integrals: an approach to Apostol-type special numbers and polynomials

Abstract: By applying the p-adic q-Volkenborn Integrals including the bosonic and the fermionic p-adic integrals on p-adic integers, we define generating functions, attached to the Dirichlet character, for the generalized Apostol-Bernoulli numbers and polynomials, the generalized Apostol-Euler numbers and polynomials, generalized Apostol-Daehee numbers and polynomials, and also generalized Apostol-Changhee numbers and polynomials. We investigate some properties of these numbers and polynomials with their generating functions. By using these generating functions and their functional equation, we give some identities and relations including the generalized Apostol-Daehee and Apostol-Changhee numbers and polynomials, the Stirling numbers, the Bernoulli numbers of the second kind, Frobenious-Euler polynomials, the generalized Bernoulli numbers and the generalized Euler numbers and the Frobenious-Euler polynomials. By using the bosonic and the fermionic p-adic integrals, we derive integral represantations for the generalized Apostol-type Daehee numbers and the generalized Apostol-type Changhee numbers.

Indefinite theta series and generalized error functions

Abstract: Theta series for lattices with indefinite signature $(n_+,n_-)$ arise in many areas of mathematics including representation theory and enumerative algebraic geometry. Their modular properties are well understood in the Lorentzian case ($n_+=1$), but have remained obscure when $n_+\geq 2$. Using a higher-dimensional generalization of the usual (complementary) error function, discovered in an independent physics project, we construct the modular completion of a class of `conformal' holomorphic theta series ($n_+=2$). As an application, we determine the modular properties of a generalized Appell-Lerch sum attached to the lattice $A_2$, which arose in the study of rank 3 vector bundles on $\mathbb{P}^2$. The extension of our method to $n_+>2$ is outlined.

Rational points and zero-cycles on rationally connected varieties over number fields

Abstract: We report on progress in the qualitative study of rational points on rationally connected varieties over number fields, also examining integral points, zero-cycles, and non-rationally connected varieties. One of the main objectives is to highlight and explain the many recent interactions with analytic number theory.

A generalized cubic moment and the Petersson formula for newforms

Abstract: Using a cubic moment, we prove a Weyl-type subconvexity bound for the quadratic twists of a holomorphic newform of square-free level, trivial nebentypus, and arbitrary even weight. This generalizes work of Conrey and Iwaniec in that the newform that is being twisted may have arbitrary square-free level, and also that the quadratic character may have even conductor. One of the new tools developed in this paper is a more general Petersson formula for newforms of square-free level.

On pair correlation and discrepancy

Abstract: We say that a sequence $\{x_n\}_{n \geq 1}$ in $[0,1)$ has Poissonian pair correlations if \begin{equation*} \lim_{N \rightarrow \infty} \frac{1}{N} \# \left\{ 1 \leq l eq m \leq N \, : \, \left\lVert x_l-x_m \right\rVert < \frac{s}{N} \right\} = 2s \end{equation*} for all $s>0$. In this note we show that if the convergence in the above expression is - in a certain sense - fast, then this implies a small discrepancy for the sequence $\{x_n\}_{n \geq 1}$. As an easy consequence it follows that every sequence with Poissonian pair correlations is uniformly distributed in $[0,1)$.

Burgess-like subconvexity for $GL_1$

Abstract: We generalize our previous method on subconvexity problem for $GL_2 \times GL_1$ with cuspidal representations to Eisenstein series, and deduce a Burgess-like subconvex bound for Hecke characters, i.e. the bound $|L(1/2,\chi)| \ll_{\mathbf{F},\epsilon} \mathbf{C}(\chi)^{1/2-(1-2\theta)/8+\epsilon}$ for a Hecke character $\chi$ of a number field $\mathbf{F}$ with analytic conductor $\mathbf{C}(\chi)$. As a main tool, we develop and extend the theory of regularized integral due to Zagier in the adelic setting, and clear various analytic issue caused by the poles of Eisenstein series.

Weil-\'etale cohomology and Zeta-values of proper regular arithmetic schemes

Abstract: We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-etale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for $\mathcal{X}=\mathrm{Spec}(\mathcal{O}_F)$ and $n=0$ where $F$ is a number field, and of the second author for arbitrary $\mathcal{X}$ and $n=0$ \cite{Morin14}. We show that our conjecture is compatible with the Tamagawa number conjecture of Bloch, Kato, Fontaine and Perrin-Riou \cite{fpr91} if $\mathcal{X}$ is smooth over $\mathrm{Spec}(\mathcal{O}_F)$, and hence that it holds in cases where the Tamagawa number conjecture is known.

Generating Ray Class Fields of Real Quadratic Fields via Complex Equiangular Lines

Abstract: For certain real quadratic fields $K$ with sufficiently small discriminant we produce explicit unit generators for specific ray class fields of $K$ using a numerical method that arose in the study of complete sets of equiangular lines in $\mathbb{C}^d$ (known in quantum information as symmetric informationally complete measurements or SICs). The construction in low dimensions suggests a general recipe for producing unit generators in infinite towers of ray class fields above arbitrary real quadratic $K$, and we summarise this in a conjecture. There are indications [19,20] that the logarithms of these canonical units are related to the values of $L$-functions associated to the extensions, following the programme laid out in the Stark Conjectures.