Showing papers in "arXiv: Number Theory in 2014"

Endoscopic Classification of Representations: Inner Forms of Unitary Groups

Abstract: We classify the automorphic representations (over number fields) and the irreducible admissible representations (over local fields) of unitary groups which are not quasi-split, under the assumption that the same is known for quasi-split unitary groups. The classification of automorphic representations is given in terms of automorphic representations of general linear groups. The classification of irreducible admissible representations is given in terms of Langlands parameters.

The conjectural connections between automorphic representations and Galois representations

Abstract: We state conjectures on the relationships between automorphic representations and Galois representations, and give evidence for them.

Multiple Modular Values and the relative completion of the fundamental group of $M_{1,1}$

Abstract: Multiple modular values are a common generalisation of multiple zeta values and periods of modular forms, and are periods of a hypothetical Tannakian category of mixed modular motives. They are given by regularised iterated integrals on the upper half plane generalising the iterated Shimura integrals of Manin. In this paper, some first properties of the underlying theory are established in the case of the full modular group: in particular, the relationship with special values of L-functions of modular forms at all positive integers; and the action of the conjectural motivic Galois group via a certain group of automorphisms.

A quantitative improvement for Roth's theorem on arithmetic progressions

Abstract: We improve the quantitative estimate for Roth's theorem on three-term arithmetic progressions, showing that if $A\subset\{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert\ll N(\log\log N)^4/\log N$. By the same method we also improve the bounds in the analogous problem over $\mathbb{F}_q[t]$ and for the problem of finding long arithmetic progressions in a sumset.

The geometric sieve and the density of squarefree values of invariant polynomials

Abstract: We develop a method for determining the density of squarefree values taken by certain multivariate integer polynomials that are invariants for the action of an algebraic group on a vector space. The method is shown to apply to the discriminant polynomials of various prehomogeneous and coregular representations where generic stabilizers are finite. This has applications to a number of arithmetic distribution questions, e.g., to the density of small degree number fields having squarefree discriminant, and the density of certain unramified nonabelian extensions of quadratic fields. In separate works, the method forms an important ingredient in establishing lower bounds on the average orders of Selmer groups of elliptic curves.

New equidistribution estimates of Zhang type

Abstract: We prove distribution estimates for primes in arithmetic progressions to large smooth squarefree moduli, with respect to congruence classes obeying Chinese Remainder Theorem conditions, obtaining an exponent of distribution $\frac{1}{2} + \frac{7}{300}$

Rationality and power

Abstract: We produce an infinite family of transcendental numbers which, when raised to their own power, become rational. We extend the method, to investigate positive rational solutions to the equation $x^x = \alpha$, where $\alpha$ is a fixed algebraic number. We then explore the consequences of $x^{P(x)}$ being rational, if $x$ is rational and $P(x)$ is a fixed integer polynomial.

Galois representations from pre-image trees: an arboreal survey

Abstract: Given a global field K and a rational function phi defined over K, one may take pre-images of 0 under successive iterates of phi, and thus obtain an infinite rooted tree T by assigning edges according to the action of phi. The absolute Galois group of K acts on T by tree automorphisms, giving a subgroup G(phi) of the group Aut(T) of all tree automorphisms. Beginning in the 1980s with work of Odoni, and developing especially over the past decade, a significant body of work has emerged on the size and structure of this Galois representation. These inquiries arose in part because knowledge of G(phi) allows one to prove density results on the set of primes of K that divide at least one element of a given orbit of phi. Following an overview of the history of the subject and two of its fundamental questions, we survey cases where G(phi) is known to have finite index in Aut(T). While it is tempting to conjecture that such behavior should hold in general, we exhibit four classes of rational functions where it does not, illustrating the difficulties in formulating the proper conjecture. Fortunately, one can achieve the aforementioned density results with comparatively little information about G(phi), thanks in part to a surprising application of probability theory. Underlying all of this analysis are results on the factorization into irreducibles of the numerators of iterates of phi, which we survey briefly. We find that for each of these matters, the arithmetic of the forward orbits of the critical points of phi proves decisive, just as the topology of these orbits is decisive in complex dynamics.

Dense clusters of primes in subsets

Abstract: We prove a generalization of the author's work to show that any subset of the primes which is `well-distributed' in arithmetic progressions contains many primes which are close together. Moreover, our bounds hold with some uniformity in the parameters. As applications, we show there are infinitely many intervals of length $(\log{x})^{\epsilon}$ containing $\gg_\epsilon \log\log{x}$ primes, and show lower bounds of the correct order of magnitude for the number of strings of $m$ congruent primes with $p_{n+m}-p_n\le \epsilon\log{x}$.

The Gross-Prasad conjecture and local theta correspondence

Abstract: We establish the Fourier-Jacobi case of the local Gross-Prasad conjecture for unitary groups, by using local theta correspondence to relate the Fourier-Jacobi case with the Bessel case established by Beuzart-Plessis To achieve this, we prove two conjectures of D Prasad on the precise description of the local theta correspondence for (almost) equal rank unitary dual pairs in terms of the local Langlands correspondence

Arithmetic invariant theory

Abstract: Let k be a field, let G be a reductive algebraic group over k, and let V be a linear representation of G. Geometric invariant theory involves the study of the k-algebra of G-invariant polynomials on V, and the relation between these invariants and the G-orbits on V, usually under the hypothesis that the base field k is algebraically closed. In favorable cases, one can determine the geometric quotient \(V /\!/G = \mathrm{Spec}(\mathrm{Sym}^{{\ast}}(V ^{\vee })^{G})\) and can identify certain fibers of the morphism \(V \rightarrow V/\!/G\) with certain G-orbits on V. In this paper we study the analogous problem when k is not algebraically closed. The additional complexity that arises in the orbit picture in this scenario is what we refer to as arithmetic invariant theory. We illustrate some of the issues that arise by considering the regular semisimple orbits—i.e., the closed orbits whose stabilizers have minimal dimension—in three arithmetically rich representations of the split odd special orthogonal group \(G = \mathrm{SO}_{2n+1}\).

Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time, II

Abstract: We present an algorithm that computes the Hasse-Witt matrix of given hyperelliptic curve over Q at all primes of good reduction up to a given bound N. It is simpler and faster than the previous algorithm developed by the authors.

On Schmidt and Summerer parametric geometry of numbers

Abstract: Recently, W. M. Schmidt and L. Summerer introduced a new theory which allowed them to recover the main known inequalities relating the usual exponents of Diophantine approximation to a point in $\mathbb{R}^n$, and to discover new ones. They first note that these exponents can be computed in terms of the successive minima of a parametric family of convex bodies attached to the given point. Then they prove that the $n$-tuple of these successive minima can in turn be approximated up to bounded difference by a function from a certain class. In this paper, we show that the same is true within a smaller and simpler class of functions which we call rigid systems. We also show that conversely, given a rigid system, there exists a point in $\mathbb{R}^n$ whose associated family of convex bodies has successive minima which approximate that rigid system up to bounded difference. As a consequence, the problem of describing the joint spectrum of a family of exponents of Diophantine approximation is reduced to combinatorial analysis.

The Langlands-Weissman Program for Brylinski-Deligne extensions

Abstract: We describe an evolving and conjectural extension of the Langlands program for a class of nonlinear covering groups of algebraic origin studied by Brylinski-Deligne. In particular, we describe the construction of an L-group extension of such a covering group (over a split reductive group) due to Weissman, study some of its properties and discuss a variant of it. Using this L-group extension, we describe a local Langlands correspondence for covering (split) tori and unramified genuine representations, using work of Savin, McNamara, Weissman and W.W. Li. Finally, we define the notion of automorphic (partial) L-functions attached to genuine automorphic representations of the BD covering groups.

Weyl-type hybrid subconvexity bounds for twisted $L$-functions and Heegner points on shrinking sets

Abstract: We prove a Weyl-type subconvexity bound for the central value of the $L$-function of a Hecke-Maass form or a holomorphic Hecke eigenform twisted by a quadratic Dirichlet character, uniform in the archimedean parameter as well as the twisting parameter. A similar hybrid bound holds for quadratic Dirichlet $L$-functions, improving on a result of Heath-Brown. As a consequence of these new bounds, we obtain explicit estimates for the number of Heegner points of large odd discriminant in shrinking sets.

Arithmetic of positive characteristic L-series values in Tate algebras

Abstract: The second author has recently introduced a new class of L-series in the arithmetic theory of function fields over finite fields. We show that the value at one of these L-series encode arithmetic informations of certain Drinfeld modules defined over Tate algebras. This enables us to generalize Anderson's log-algebraicity Theorem and Taelman's Herbrand-Ribet Theorem.

On the fibration method for zero-cycles and rational points

Abstract: Conjectures on the existence of zero-cycles on arbitrary smooth projective varieties over number fields were proposed by Colliot-Thelene, Sansuc, Kato and Saito in the 1980's We prove that these conjectures are compatible with fibrations, for fibrations into rationally connected varieties over a curve In particular, they hold for the total space of families of homogeneous spaces of linear groups with connected geometric stabilisers We prove the analogous result for rational points, conditionally on a conjecture on locally split values of polynomials which a recent work of Matthiesen establishes in the case of linear polynomials over the rationals

A framework of Rogers-Ramanujan identities and their arithmetic properties

Abstract: The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+\sigma)}}{(1-q)\cdots (1-q^n)}, \] where $\sigma=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers-Ramanujan identities to doubly-infinite families of $q$-series identities. If $a\in\{1,2\}$ and $m,n\geq 1$, then we have \[ \sum_{\substack{\lambda \lambda_1\leq m}} q^{a|\lambda|} P_{2\lambda}(1,q,q^2,\dots;q^n) =\textrm{"infinite product modular function"}, \] where the $P_{\lambda}(x_1,x_2,\dots;q)$ are Hall-Littlewood polynomials. These $q$-series are specialized characters of affine Kac--Moody algebras. Generalizing the Rogers-Ramanujan continued fraction, we prove in the case of $\textrm{A}_{2n}^{(2)}$ that the relevant $q$-series quotients are integral units.

A converse to a theorem of Gross, Zagier, and Kolyvagin

Abstract: Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$ is one and the Tate-Shafarevich group of $E$ has finite order, then $\mathrm{ord}_{s=1}L(E,s)=1$. We also prove the corresponding result for the abelian variety associated with a weight two newform $f$ of trivial character. These, and other related results, are consequences of our main theorem, which establishes criteria for $f$ and $H^1_f(\mathbb{Q},V)$, where $V$ is the $p$-adic Galois representation associated with $f$, that ensure that $\mathrm{ord}_{s=1}L(f,s)=1$. The main theorem is proved using the Iwasawa theory of $V$ over an imaginary quadratic field to show that the $p$-adic logarithm of a suitable Heegner point is non-zero.

Undecidability in Number Theory

Abstract: In these lecture notes we give sketches of classical undecidability results in number theory, like Godel’s first Incompleteness Theorem (that the first order theory of the integers in the language of rings is undecidable), Julia Robinson’s extensions of this result to arbitrary number fields and rings of integers in them, as well as to the ring of totally real integers, and Matiyasevich’s negative solution of Hilbert’s 10th problem, i.e., the undecidability of the existential first-order theory of the integers. As Hilbert’s 10th problem is still open for the rationals (i.e., the question whether the existential theory of the field of rational numbers is decidable) we also present a sketch of the fact that there is a universal definition of the ring of integers inside the field of rationals. In terms of complexity this is the simplest definition known so far. If one had an existential definition instead then Hilbert’s 10th problem over the rationals would reduce to that over the integers (and hence be, as expected, unsolvable), but, modulo a widely believed in conjecture in number theory, we also indicate why there should be no such existential definition. We conclude with a list of nice open questions in the area.

O-minimality and certain atypical intersections

Abstract: We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and Andre-Oort We verify the so-called Zilber-Pink Conjecture in a product of modular curves on assuming a lower bound for Galois orbits and a sufficiently strong modular Ax-Schanuel Conjecture In the context of abelian varieties we obtain the Zilber-Pink Conjecture for curves unconditionally when everything is defined over a number field For higher dimensional subvarieties of abelian varieties we obtain some weaker results and some conditional results

Multiplicative Arithmetic Functions of Several Variables: A Survey

Abstract: We survey general properties of multiplicative arithmetic functions of several variables and related convolutions, including the Dirichlet convolution and the unitary convolution. We introduce and investigate a new convolution, called gcd convolution. We define and study the convolutes of arithmetic functions of several variables, according to the different types of convolutions. We discuss the multiple Dirichlet series and Bell series and present certain arithmetic and asymptotic results of some special multiplicative functions arising from problems in number theory, group theory, and combinatorics. We give a new proof to obtain the asymptotic density of the set of ordered r-tuples of positive integers with pairwise relatively prime components and consider a similar question related to unitary divisors.

The Arithmetic Site

Abstract: We show that the non-commutative geometric approach to the Riemann zeta function has an algebraic geometric incarnation: the "Arithmetic Site". This site involves the tropical semiring viewed as a sheaf on the topos which is the dual of the multiplicative semigroup of positive integers. We prove that the set of points of the arithmetic site over the maximal compact subring of the tropical semifield is the non-commutative space quotient of the adele class space of Q by the action of the maximal compact subgroup of the idele class group. We realize the Frobenius correspondences in the square of the "Arithmetic Site" and compute their composition. This note provides the algebraic geometric space underlying the non-commutative approach to RH.

Iwasawa Main Conjecture for Supersingular Elliptic Curves

Abstract: In this paper we prove the $\pm$-main conjecture formulated by Kobayashi for elliptic curves with supersingular reduction at $p$ such that $a_p=0$, using a new idea of reducing it to another Iwasawa-Greenberg main conjecture, which is more accessible and proved here as a first step. Then we develop some generalized $\pm$ local theory and deduce the main conjecture. The argument uses in an essential way the recent study on explicit reciprocity law for Beilinson-Flach elements by Kings-Loeffler-Zerbes. We also prove as corollaries the $p$-part of the BSD formula at supersingular primes when the analytic rank is $0$ or $1$.

Iwasawa Main Conjecture for Supersingular Elliptic Curves and BSD conjecture

Abstract: In this paper we prove the $\pm$-main conjecture of Iwasawa theory formulated by Kobayashi for elliptic curves with supersingular reduction at an odd prime $p$ such that $a_p=0$, using a key new observation that it can be reduced to another Iwasawa-Greenberg main conjecture, which is more accessible and proved here as a first step. Then we develop some generalized $\pm$ local theory and deduce the main conjecture. The argument uses in an essential way the recent study on explicit reciprocity law for Beilinson-Flach elements by Kings-Loeffler-Zerbes. We also prove as corollaries the $p$-part of the BSD formula at supersingular primes when the analytic rank is $0$ or $1$. The main result enables us to present in the Appendix a number of explicit infinite families of elliptic curves without complex multiplications for which we can now prove the full Birch-Swinnerton-Dyer conjecture. No such infinite families of curves without complex multiplication were known previously.

The eigencurve over the boundary of weight space

Abstract: We prove that the eigencurve associated to a definite quaternion algebra over $\QQ$ satisfies the following properties, as conjectured by Coleman--Mazur and Buzzard--Kilford: (a) over the boundary annuli of weight space, the eigencurve is a disjoint union of (countably) infinitely many connected components each finite and flat over the weight annuli, (b) the $U_p$-slopes of points on each fixed connected component are proportional to the $p$-adic valuations of the parameter on weight space, and (c) the sequence of the slope ratios form a union of finitely many arithmetic progressions with the same common difference. In particular, as a point moves towards the boundary on an irreducible connected component of the eigencurve, the slope converges to zero.

A positive proportion of plane cubics fail the Hasse principle

Abstract: When all ternary cubic forms over $\mathbb Z$ are ordered by the heights of their coefficients, we show that a positive proportion of them fail the Hasse principle, i.e., they have a zero over every completion of $\mathbb Q$ but no zero over $\mathbb Q$. We also show that a positive proportion of all ternary cubic forms over $\mathbb Z$ nontrivially satisfy the Hasse principle, i.e., they possess a zero over every completion of $\mathbb Q$ and also possess a zero over $\mathbb Q$. Analogous results are proven for other genus one models, namely, for equations of the form $z^2=f(x,y)$ where $f$ is a binary quartic form over $\mathbb Z$, and for intersections of pairs of quadrics in $\mathbb P^3$.

On the Howe duality conjecture in classical theta correspondence

Abstract: We give a proof of the Howe duality conjecture for the (almost) equal rank dual pairs in full generality For arbitrary dual pairs, we prove the irreducibility of the (small) theta lifts for all tempered representations Our proof works for any nonarchimedean local field of characteristic not 2 and in arbitrary residual characteristic

Breaking `128-bit Secure' Supersingular Binary Curves (or how to solve discrete logarithms in ${\mathbb F}_{2^{4 \cdot 1223}}$ and ${\mathbb F}_{2^{12 \cdot 367}}$)

Abstract: In late 2012 and early 2013 the discrete logarithm problem (DLP) in finite fields of small characteristic underwent a dramatic series of breakthroughs, culminating in a heuristic quasi-polynomial time algorithm, due to Barbulescu, Gaudry, Joux and Thom\'e. Using these developments, Adj, Menezes, Oliveira and Rodr\'iguez-Henr\'iquez analysed the concrete security of the DLP, as it arises from pairings on (the Jacobians of) various genus one and two supersingular curves in the literature, which were originally thought to be $128$-bit secure. In particular, they suggested that the new algorithms have no impact on the security of a genus one curve over ${\mathbb F}_{2^{1223}}$, and reduce the security of a genus two curve over ${\mathbb F}_{2^{367}}$ to $94.6$ bits. In this paper we propose a new field representation and efficient general descent principles which together make the new techniques far more practical. Indeed, at the `128-bit security level' our analysis shows that the aforementioned genus one curve has approximately $59$ bits of security, and we report a total break of the genus two curve.

Triple Massey products vanish over all fields

Abstract: We show that the absolute Galois group of any field has the vanishing triple Massey product property. Several corollaries for the structure of maximal pro-$p$-quotient of absolute Galois groups are deduced. Furthermore, the vanishing of some higher Massey products is proved.