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 study the Gowers norm for periodic binary sequences and relate it to correlation measures for such sequences. The case of periodic binary sequences derived from inversive pseudorandom numbers is considered in detail.
We compute the spherical functions on the symmetric space Sp2n/Spn×Spn and derive a Plancherel formula for functions on the symmetric space. As an application of the Plancherel formula, we prove an identity which amounts to the fundamental lemma of a relative trace identity between Sp2n and .
The main goal of this paper is to provide asymptotic expansions for the numbers #{p≤x:pprime,sq(p)=k} for k close to ((q−1)/2)log qx, where sq(n) denotes the q-ary sum-of-digits function. The proof is based on a thorough analysis of exponential sums of the form (where the sum is restricted to p prime), for which we have to extend a recent result by the second two authors.
An integer may be represented by a quadratic form over each ring of p-adic integers and over the reals without being represented by this quadratic form over the integers. More generally, such failure of a local-global principle may occur for the representation of one integral quadratic form by another integral quadratic form. We show that many such examples may be accounted for by a Brauer–Manin obstruction for the existence of integral points on schemes defined over the integers. For several types of homogeneous spaces of linear algebraic groups, this obstruction is shown to be the only obstruction to the existence of integral points.
Kudla has proposed a general program to relate arithmetic intersection multiplicities of special cycles on Shimura varieties to Fourier coefficients of Eisenstein series. The lowest dimensional case, in which one intersects two codimension one cycles on the integral model of a Shimura curve, has been completed by Kudla, Rapoport and Yang. In the present paper we prove results in a higher dimensional setting. On the integral model of a Shimura surface we consider the intersection of a Shimura curve with a codimension two cycle of complex multiplication points, and relate the intersection to certain cycle classes constructed by Kudla, Rapoport and Yang. As a corollary we deduce that our intersection multiplicities appear as Fourier coefficients of a Hilbert modular form of half-integral weight.
Let K be a real quadratic number field and let p be a prime number which is inert in K. We denote the completion of K at the place p by Kp. We propose a p-adic construction of special elements in Kp× and formulate the conjecture that they should be p-units lying in narrow ray class fields of K. The truth of this conjecture would entail an explicit class field theory for real quadratic number fields. This construction can be viewed as a natural generalization of a construction obtained by Darmon and Dasgupta who proposed a p-adic construction of p-units lying in narrow ring class fields of K.
Let q≥2 and N≥1 be integers. W. Zhang recently proved that for any fixed ε>0 and qε≤N≤q1/2−ε, where the sum is taken over all nonprincipal characters χ modulo q, L(1,χ) denotes the L-functions corresponding to χ, and αq=qo(1) is some explicit function of q. Here we improve this result and show that the same asymptotic formula holds in the essentially full range qε≤N≤q1−ε.
Let E/ℚ be an elliptic curve and p a prime of supersingular reduction for E. Denote by the anticyclotomic ℤp-extension of an imaginary quadratic field K which satisfies the Heegner hypothesis. Assuming that p splits in K/ℚ, we prove that has trivial Λ-corank and, in the process, also show that and both have Λ-corank two.
Suppose that G is an abelian group and that A ⊂ G is finite and contains no non-trivial three-term arithmetic progressions. We show that |A+A| »ε|A|(log|A|)⅓−ε.
A problem posed in the early eighteenth century asks for right-angled triangles, each of whose sides exceeds double the area by a perfect square. We summarize known results and find such triangles with the smallest possible standard generators.
Let $p$ be a prime, and let $f:\mathbb{Z}/p\mathbb{Z}\to \mathbb{R}$ be a function with $\mathbb{E}f=0$ and $||\hat{f}|{{|}_{1}}\le 1$. Then ${{\min }_{x\in \mathbb{Z}/p\mathbb{Z}}}|f\left( x \right)|=O{{\left( \log p \right)}^{-1/3+\in }}$. One should think of $f$ as being “approximately continuous”; our result is then an “approximate intermediate value theorem”.
As an immediate consequence we show that if $A\subseteq \mathbb{Z}/p\mathbb{Z}$ is a set of cardinality $\left\lfloor {p}/{2}\; \right\rfloor $, then ${{\sum }_{r}}\widehat{|\,{{1}_{A}}}\left( r \right)|\gg {{\left( \log p \right)}^{1/3-\in }}$. This gives a result on a “$\,\bmod \,p$” analogue of Littlewood's well-known problem concerning the smallest possible ${{L}^{1}}$-norm of the Fourier transform of a set of $n$ integers.
Another application is to answer a question of Gowers. If $A\,\subseteq \,{\mathbb{Z}}/{p\mathbb{Z}}\;$ is a set of size $\left\lfloor {p}/{2}\; \right\rfloor $, then there is some $x\,\in \,\mathbb{Z}/p\mathbb{Z}$ such that
$$||A\cap \left( A+x \right)\,-\,p/4|\,=o\left( p \right).$$
We prove quantitative versions of the Balog–Szemerédi–Gowers and Freiman theorems in the model case of a finite field geometry 𝔽2n, improving the previously known bounds in such theorems. For instance, if is such that ∣A+A∣≤K∣A∣ (thus A has small additive doubling), we show that there exists an affine subspace H of 𝔽2n of cardinality such that . Under the assumption that A contains at least ∣A∣3/K quadruples with a1+a2+a3+a4=0, we obtain a similar result, albeit with the slightly weaker condition ∣H∣≫K−O(K)∣A∣.
We prove the modularity of minimally ramified ordinary residually reducible p-adic Galois representations of an imaginary quadratic field F under certain assumptions. We first exhibit conditions under which the residual representation is unique up to isomorphism. Then we prove the existence of deformations arising from cuspforms on GL2(AF) via the Galois representations constructed by Taylor et al. We establish a sufficient condition (in terms of the non-existence of certain field extensions which in many cases can be reduced to a condition on an L-value) for the universal deformation ring to be a discrete valuation ring and in that case we prove an R=T theorem. We also study reducible deformations and show that no minimal characteristic 0 reducible deformation exists.
In this article, we explore a beautiful idea of Skinner and Wiles in the context of GSp(4) over a totally real field. The main result provides congruences between automorphic forms which are Iwahori-spherical at a certain place ω, and forms with a tamely ramified principal series at ω, Thus, after base change to a finite solvable totally real extension, one can often lower the level at ω. For the proof, we first establish an analogue of the Jacquet–Langlands correspondence, using the stable trace formula. The congruences are then obtained on inner forms, which are compact at infinity modulo the centre, and split at all the finite places. The crucial ingredient allowing us to do so, is an important result of Roche on types for principal series representations of split reductive groups.
We associate two almost Cp-representations to a (ϕ,Γ)-module, and we compute their dimensions and heights. As a corollary, we get a full faithfulness result for Be-representations.
In this paper we consider the dynamical system involved by the Ricci operator on the space of Kähler metrics of a Fano manifold. Nadel has defined an iteration scheme given by the Ricci operator and asked whether it has some non-trivial periodic points. First, we prove that no such periodic points can exist. We define the inverse of the Ricci operator and consider the dynamical behaviour of its iterates for a Fano Kähler–Einstein manifold. Then we define a finite-dimensional procedure to give an approximation of Kähler–Einstein metrics using this iterative procedure and apply it on ℂℙ2 blown up in three points.
We propose a geometric method to measure the wild ramification of a smooth étale sheaf along the boundary. Using the method, we study the graded quotients of the logarithmic ramification groups of a local field of characteristic p > 0 with arbitrary residue field. We also define the characteristic cycle of an ℓ-adic sheaf, satisfying certain conditions, as a cycle on the logarithmic cotangent bundle and prove that the intersection with the 0-section computes the characteristic class, and hence the Euler number.
Let k be an algebraically closed field of characteristic greater than 2, and let F=k((t)) and G=𝕊p2d. In this paper we propose a geometric analog of the Weil representation of the metaplectic group . This is a category of certain perverse sheaves on some stack, on which acts by functors. This construction will be used by Lysenko (in [Geometric theta-lifting for the dual pair S𝕆2m, 𝕊p2n, math.RT/0701170] and subsequent publications) for the proof of the geometric Langlands functoriality for some dual reductive pairs.
Given a compact p-adic Lie group G over a finite unramified extension L/ℚp let GL/ℚp be the product over all Galois conjugates of G. We construct an exact and faithful functor from admissible G-Banach space representations to admissible locally L-analytic GL/ℚp-representations that coincides with passage to analytic vectors in the case L=ℚp. On the other hand, we study the functor ‘passage to analytic vectors’ and its derived functors over general basefields. As an application we compute the higher analytic vectors in certain locally analytic induced representations.
Using a p-adic analogue of the convolution method of Rankin–Selberg and Shimura, we construct the two-variable p-adic L-function of a Hida family of Hilbert modular eigenforms of parallel weight. It is shown that the conditions of Greenberg–Stevens [R. Greenberg and G. Stevens, p-adic L-functions and p-adic periods of modular forms, Invent. Math. 111 (1993), 407–447] are satisfied, from which we deduce special cases of the Mazur–Tate–Teitelbaum conjecture in the Hilbert modular setting.