We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We consider stacks of filtered $\varphi $-modules over rigid analytic spaces and adic spaces. We show that these modules parameterize $p$-adic Galois representations of the absolute Galois group of a $p$-adic field with varying coefficients over an open substack containing all classical points. Further, we study a period morphism (defined by Pappas and Rapoport) from a stack parameterizing integral data, and determine the image of this morphism.
We consider the size of large character sums, proving new lower bounds for Δ(N,q)=sup χ≠χ0 mod q∣∑ n<Nχ(n)∣ in almost all ranges of N. The proofs use the resonance method and saddle point analysis.
Given an elliptic curve E over a field of positive characteristic p, we consider how to efficiently determine whether E is ordinary or supersingular. We analyze the complexity of several existing algorithms and then present a new approach that exploits structural differences between ordinary and supersingular isogeny graphs. This yields a simple algorithm that, given E and a suitable non-residue in 𝔽p2, determines the supersingularity of E in O(n3log 2n) time and O(n) space, where n=O(log p) . Both these complexity bounds are significant improvements over existing methods, as we demonstrate with some practical computations.
From power series expansions of functions on curves over finite fields, one can obtain sequences with perfect or almost perfect linear complexity profile. It has been suggested by various authors to use such sequences as key streams for stream ciphers. In this work, we show how long parts of such sequences can be computed efficiently from short ones. Such sequences should therefore be considered to be cryptographically weak. Our attack leads in a natural way to a new measure of the complexity of sequences which we call expansion complexity.
The chromatic polynomial P(G,λ) gives the number of ways a graph G can be properly coloured in at most λ colours. This polynomial has been extensively studied in both combinatorics and statistical physics, but there has been little work on its algebraic properties. This paper reports a systematic study of the Galois groups of chromatic polynomials. We give a summary of the Galois groups of all chromatic polynomials of strongly non-clique-separable graphs of order at most 10 and all chromatic polynomials of non-clique-separable θ-graphs of order at most 19. Most of these chromatic polynomials have symmetric Galois groups. We give five infinite families of graphs: one of these families has chromatic polynomials with a dihedral Galois group and two of these families have chromatic polynomials with cyclic Galois groups. This includes the first known infinite family of graphs that have chromatic polynomials with the cyclic Galois group of order 3.
We prove that under any projective embedding of an abelian variety A of dimension g, a complete set of addition laws has cardinality at least g+1, generalizing a result of Bosma and Lenstra for the Weierstrass model of an elliptic curve in ℙ2. In contrast, we prove, moreover, that if k is any field with infinite absolute Galois group, then there exists for every abelian variety A/k a projective embedding and an addition law defined for every pair of k-rational points. For an abelian variety of dimension 1 or 2, we show that this embedding can be the classical Weierstrass model or the embedding in ℙ15, respectively, up to a finite number of counterexamples for ∣k∣≤5 .
The aim of this work is to adapt a construction of the so-called $U_{m}$-numbers ($m\gt 1$), which are extended Liouville numbers with respect to algebraic numbers of degree $m$ but not with respect to algebraic numbers of degree less than $m$, to the $p$-adic frame.
In this paper we generalize and extend work by Languasco, Perreli and Zaccagnini on the Montgomery–Hooley theorem in short intervals. We are thus able to obtain asymptotic formulae for the mean-square error in the distribution of general sequences in arithmetic progressions in short intervals. As applications we consider lower and upper bound approximations to the characteristic function of the primes in a short interval and an average over short intervals for the von Mangoldt function.
We consider the Brocard–Ramanujan type Diophantine equation y2=x!+A and ask about values of A∈ℤ for which there are at least three solutions in the positive integers. In particular, we prove that the set 𝒜 consisting of integers with this property is infinite. In fact we construct a two-parameter family of integers contained in 𝒜. We also give some computational results related to this equation.
Given a prime q and a negative discriminant D, the CM method constructs an elliptic curve E/Fq by obtaining a root of the Hilbert class polynomial HD(X) modulo q. We consider an approach based on a decomposition of the ring class field defined by HD, which we adapt to a CRT setting. This yields two algorithms, each of which obtains a root of HD mod q without necessarily computing any of its coefficients. Heuristically, our approach uses asymptotically less time and space than the standard CM method for almost all D. Under the GRH, and reasonable assumptions about the size of log q relative to ∣D∣, we achieve a space complexity of O((m+n)log q) bits, where mn=h(D) , which may be as small as O(∣D∣1/4 log q) . The practical efficiency of the algorithms is demonstrated using ∣D∣>1016 and q≈2256, and also ∣D∣>1015 and q≈233220. These examples are both an order of magnitude larger than the best previous results obtained with the CM method.
For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond to taking characteristic polynomials of a uniform random matrix in some closed subgroup of USp(4); this Sato–Tate group may be obtained from the Galois action on any Tate module of A. We show that the Sato–Tate group is limited to a particular list of 55 groups up to conjugacy. We then classify A according to the Galois module structure on the ℝ-algebra generated by endomorphisms of (the Galois type), and establish a matching with the classification of Sato–Tate groups; this shows that there are at most 52 groups up to conjugacy which occur as Sato–Tate groups for suitable A and k, of which 34 can occur for k=ℚ. Finally, we present examples of Jacobians of hyperelliptic curves exhibiting each Galois type (over ℚ whenever possible), and observe numerical agreement with the expected Sato–Tate distribution by comparing moment statistics.
It is well known that Hurwitz zeta-functions with algebraically independent parameters over the field of rational numbers are universal in the sense that their shifts approximate simultaneously any collection of analytic functions. In this paper we introduce some classes of universal composite functions of a collection of Hurwitz zeta-functions.
In our previous paper [J. Funke and J. Millson, Cycles with local coefficients for orthogonal groups and vector-valued Siegel modular forms, American J. Math. 128 (2006), 899–948], we established a correspondence between vector-valued holomorphic Siegel modular forms and cohomology with local coefficients for local symmetric spaces $X$ attached to real orthogonal groups of type $(p, q)$. This correspondence is realized using theta functions associated with explicitly constructed ‘special’ Schwartz forms. Furthermore, the theta functions give rise to generating series of certain ‘special cycles’ in $X$ with coefficients.
In this paper, we study the boundary behaviour of these theta functions in the non-compact case and show that the theta functions extend to the Borel–Sere compactification $ \overline{X} $ of $X$. However, for the $ \mathbb{Q} $-split case for signature $(p, p)$, we have to construct and consider a slightly larger compactification, the ‘big’ Borel–Serre compactification. The restriction to each face of $ \overline{X} $ is again a theta series as in [J. Funke and J. Millson, loc. cit.], now for a smaller orthogonal group and a larger coefficient system.
As an application we establish in certain cases the cohomological non-vanishing of the special (co)cycles when passing to an appropriate finite cover of $X$. In particular, the (co)homology groups in question do not vanish. We deduce as a consequence a sharp non-vanishing theorem for ${L}^{2} $-cohomology.
Let $\{U_n\}$ be given by $U_0=1$ and $U_n=-2\sum _{k=1}^{[n/2]} \binom n{2k}U_{n-2k}\ (n\ge 1)$, where $[\cdot ]$ is the greatest integer function. Then $\{U_n\}$ is analogous to the Euler numbers and $U_{2n}=3^{2n}E_{2n}(\frac 13)$, where $E_m(x)$ is the Euler polynomial. In a previous paper we gave many properties of $\{U_n\}$. In this paper we present a summation formula and several congruences involving $\{U_n\}$.
The Littlewood conjecture states that for all (α,β)∈ℝ2. We show that with the additional factor of log q⋅log log q, the statement is false. Indeed, our main result implies that the set of (α,β) for which is of full dimension.
Let u(n) and v(n) be the number of representations of a nonnegative integer n in the forms x2+4y2+4z2 and x2+2y2+2z2, respectively, with x,y,z∈ℤ, and let a4(n) and r3(n) be the number of 4-cores of n and the number of representations of n as a sum of three squares, respectively. By employing simple theta-function identities of Ramanujan, we prove that $u(8n+5)=8a_4(n)=v(8n+5)=\frac {1}{3}r_3(8n+5)$. With the help of this and a classical result of Gauss, we find a simple proof of a result on a4 (n) proved earlier by K. Ono and L. Sze [‘4-core partitions and class numbers’, Acta Arith. 80 (1997), 249–272]. We also find some new infinite families of arithmetic relations involving a4 (n) .
We prove that the Brauer–Manin obstruction is the only obstruction to the existence of integral points on affine varieties over global fields of positive characteristic $p$. More precisely, we show that the only obstructions come from étale covers of exponent $p$ or, alternatively, from flat covers coming from torsors under connected group schemes of exponent $p$.
Motivated by mathematical aspects of origami, Erik Demaine asked which points in the plane can be constructed by using lines whose angles are multiples of $\pi /n$ for some fixed $n$. This has been answered for some specific small values of $n$ including $n=3,4,5,6,8,10,12,24$. We answer this question for arbitrary $n$. The set of points is a subring of the complex plane $\mathbf {C}$, lying inside the cyclotomic field of $n$th roots of unity; the precise description of the ring depends on whether $n$is prime or composite. The techniques apply in more general situations, for example, infinite sets of angles, or more general constructions of subsets of the plane.