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.
Let Q be an infinite set of positive integers. Denote by Wτ,n(Q) (respectively, Wτ,n) the set of points in dimension n≥1 that are simultaneously τ-approximable by infinitely many rationals with denominators in Q (respectively, in ℕ*). When n≥2 and τ>1+1/(n−1) , a non-trivial lower bound for the Hausdorff dimension of the liminf set Wτ,n ∖Wτ,n (Q)is established in the case where the set Q satisfies some divisibility properties. The computation of the actual value of this Hausdorff dimension and the one-dimensional analogue of the problem are also discussed.
For and α, we consider sets of numbers x such that for infinitely many n, x is 2−αn-close to some ∑ ni=1ωiλi, where ωi∈{0,1}. These sets are in Falconer’s intersection classes for Hausdorff dimension s for some s such that −(1/α)(log λ /log 2 )≤s≤1/α. We show that for almost all , the upper bound of s is optimal, but for a countable infinity of values of λ the lower bound is the best possible result.
The well-known fiber dimension theorem in algebraic geometry says that for every morphism f:X→Y of integral schemes of finite type the dimension of every fiber of f is at least dim X−dim Y. This has recently been generalized by Brosnan, Reichstein and Vistoli to certain morphisms of algebraic stacks f:𝒳→𝒴, where the usual dimension is replaced by essential dimension. We will prove a general version for morphisms of categories fibered in groupoids. Moreover, we will prove a variant of this theorem, where essential dimension and canonical dimension are linked. These results let us relate essential dimension to canonical dimension of algebraic groups. In particular, using the recent computation of the essential dimension of algebraic tori by MacDonald, Meyer, Reichstein and the author, we establish a lower bound on the canonical dimension of algebraic tori.
Let k be a positive integer such that k≡3 mod 4, and let N be a positive square-free integer. In this paper, we compute a basis for the two-dimensional subspace Sk/2(Γ0(4N),F) of half-integral weight modular forms associated, via the Shimura correspondence, to a newform F∈Sk−1(Γ0(N)), which satisfies . This is accomplished by using a result of Waldspurger, which allows one to produce a basis for the forms that correspond to a given F via local considerations, once a form in the Kohnen space has been determined.
We study the differential structure of the ring of modular forms for the unit group of the quaternion algebra over ℚ of discriminant 6. Using these results we give an explicit formula for Taylor expansions of the modular forms at the elliptic points. Using appropriate normalizations we show that the Taylor coefficients at the elliptic points of the generators of the ring of modular forms are all rational and 6-integral. This gives a rational structure on the ring of modular forms. We give a recursive formula for computing the Taylor coefficients of modular forms at elliptic points and, as an application, give an algorithm for computing modular polynomials.
We present a practical algorithm to compute models of rational functions with minimal resultant under conjugation by fractional linear transformations. We also report on a search for rational functions of degrees 2 and 3 with rational coefficients that have many integers in a single orbit. We find several minimal quadratic rational functions with eight integers in an orbit and several minimal cubic rational functions with ten integers in an orbit. We also make some elementary observations on possibilities of an analogue of Szpiro’s conjecture in a dynamical setting and on the structure of the set of minimal models for a given rational function.
We obtain lower bounds of the correct order of magnitude for the 2kth moment of the Riemann zeta function for all k≥1. Previously such lower bounds were known only for rational values of k, with the bounds depending on the height of the rational number k. Our new bounds are continuous in k, and thus extend also to the case when k is irrational. The method is a refinement of an approach of Rudnick and Soundararajan, and applies also to moments of L-functions in families.
A natural number $n$ is called multiperfect or $k$-perfect for integer $k\ge 2$ if $\sigma (n)=kn$, where $\sigma (n)$ is the sum of the positive divisors of $n$. In this paper, we establish a theorem on odd multiperfect numbers analogous to Euler’s theorem on odd perfect numbers. We describe the divisibility of the Euler part of odd multiperfect numbers and characterise the forms of odd perfect numbers $n=\pi ^\alpha M^2$ such that $\pi \equiv \alpha ~({\rm mod}~8)$, where $\pi ^\alpha $ is the Euler factor of $n$. We also present some examples to show the nonexistence of odd perfect numbers of certain forms.
We prove that for each positive integer k in the range 2≤k≤10 and for each positive integer k≡79 (mod 120) there is a k-step Fibonacci-like sequence of composite numbers and give some examples of such sequences. This is a natural extension of a result of Graham for the Fibonacci-like sequence.
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of kth invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, that acts compactly on the space of overconvergent modular forms. We also construct the eigencurve.
Given an elliptic curve E and a positive integer N, we consider the problem of counting the number of primes p for which the reduction of E modulo p possesses exactly N points over 𝔽p. On average (over a family of elliptic curves), we show bounds that are significantly better than what is trivially obtained by the Hasse bound. Under some additional hypotheses, including a conjecture concerning the short-interval distribution of primes in arithmetic progressions, we obtain an asymptotic formula for the average.
In the paper we deal with self-approximation of the Riemann zeta function in the half plane $\operatorname {Re} s\gt 1$ and in the right half of the critical strip. We also prove some results concerning joint universality and joint value approximation of functions $\zeta (s+\lambda +id\tau )$ and $\zeta (s+i\tau )$.
Using theta correspondence, we classify the irreducible representations of Mp2n in terms of the irreducible representations of SO2n+1 and determine many properties of this classification. This is a local Shimura correspondence which extends the well-known results of Waldspurger for n=1.
Let X be a Shimura curve of genus zero. In this paper, we first characterize the spaces of automorphic forms on X in terms of Schwarzian differential equations. We then devise a method to compute Hecke operators on these spaces. An interesting by-product of our analysis is the evaluation and other similar identities.
Given an integer $q\ge 2$, a $q$-normal number is an irrational number $\eta $ such that any preassigned sequence of $\ell $ digits occurs in the $q$-ary expansion of $\eta $ at the expected frequency, namely $1/q^\ell $. In a recent paper we constructed a large family of normal numbers, showing in particular that, if $P(n)$ stands for the largest prime factor of $n$, then the number $0.P(2)P(3)P(4)\ldots ,$ the concatenation of the numbers $P(2), P(3), P(4), \ldots ,$ each represented in base $q$, is a $q$-normal number, thereby answering in the affirmative a question raised by Igor Shparlinski. We also showed that $0.P(2+1)P(3+1)P(5+1)\ldots P(p+1)\ldots ,$ where $p$ runs through the sequence of primes, is a $q$-normal number. Here, we show that, given any fixed integer $k\ge 2$, the numbers $0.P_k(2)P_k(3)P_k(4)\ldots $ and $0. P_k(2+1)P_k(3+1)P_k(5+1)\ldots P_k(p+1)\ldots ,$ where $P_k(n)$ stands for the $k{\rm th}$ largest prime factor of $n$, are $q$-normal numbers. These results are part of more general statements.
Given $f(x,y)\in \mathbb Z[x,y]$ with no common components with $x^a-y^b$ and $x^ay^b-1$, we prove that for $p$ sufficiently large, with $C(f)$ exceptions, the solutions $(x,y)\in \overline {\mathbb F}_p\times \overline {\mathbb F}_p$ of $f(x,y)=0$ satisfy $ {\rm ord}(x)+{\rm ord}(y)\gt c (\log p/\log \log p)^{1/2},$ where $c$ is a constant and ${\rm ord}(r)$ is the order of $r$ in the multiplicative group $\overline {\mathbb F}_p^*$. Moreover, for most $p\lt N$, $N$ being a large number, we prove that, with $C(f)$ exceptions, ${\rm ord}(x)+{\rm ord}(y)\gt p^{1/4+\epsilon (p)},$ where $\epsilon (p)$ is an arbitrary function tending to $0$ when $p$ goes to $\infty $.
Given a number field K, we consider families of critically separable rational maps of degree d over K possessing a certain fixed-point and multiplier structure. With suitable notions of isomorphism and good reduction between rational maps in these families, we prove a finiteness theorem which is analogous to Shafarevich’s theorem for elliptic curves. We also define the minimal critical discriminant, a global object which can be viewed as a measure of arithmetic complexity of a rational map. We formulate a conjectural bound on the minimal critical discriminant, which is analogous to Szpiro’s conjecture for elliptic curves, and we prove that a special case of our conjecture implies Szpiro’s conjecture in the semistable case.
In [Gorodnik and Nevo, Counting lattice points, J. Reine Angew. Math. 663 (2012), 127–176] an effective solution of the lattice point counting problem in general domains in semisimple S-algebraic groups and affine symmetric varieties was established. The method relies on the mean ergodic theorem for the action of G on G/Γ, and implies uniformity in counting over families of lattice subgroups admitting a uniform spectral gap. In the present paper we extend some methods developed in [Nevo and Sarnak, Prime and almost prime integral points on principal homogeneous spaces, Acta Math. 205 (2010), 361–402] and use them to establish several useful consequences of this property, including:
(1) effective upper bounds on lifting for solutions of congruences in affine homogeneous varieties;
(2) effective upper bounds on the number of integral points on general subvarieties of semisimple group varieties;
(3) effective lower bounds on the number of almost prime points on symmetric varieties;
(4) effective upper bounds on almost prime solutions of congruences in homogeneous varieties.
It is well known that the regular continued fraction expansion of a quadratic irrational is symmetric about its centre; we refer to this symmetry as horizontal. However, an additional vertical symmetry is exhibited by the continued fraction expansions arising from a family of quadratics known as Schinzel sleepers. This paper provides a method for generating every Schinzel sleeper and investigates their period lengths as well as both their horizontal and vertical symmetries.
We relate a previous result of ours on families of Diophantine equations having only trivial solutions with a result on the approximation of an algebraic number by products of rational numbers and units. We compare this approximation with a Liouville type estimate, and with an estimate arising from a lower bound for a linear combination of logarithms.