Galois actions on Q-curves and winding quotients

We prove two ``large images' results for the Galois representations attached to a degree d Q-curve E over a quadratic field K: if K is arbitrary, we prove maximality of the image for every prime p>13 not dividing d, provided that d is divisible by q (but d≠q) with q=2 or 3 or 5 or 7 or 13. If K is real we prove maximality of the image for every odd prime p not dividing d D, where D= disc(K), provided that E is a semistable Q-curve. In both cases we make the (standard) assumptions that E does not have potentially good reduction at all primes p∤6 and that d is square free. The first author is supported by BFM2003-06092.     

<Emphasis Type="Italic">p</Emphasis>-adic interpolation of Taylor coefficients of modular forms

In this paper we show that the Taylor coefficients of a Hecke eigenform at a CM-point, suitably modified, form a sequence of algebraic numbers that satisfy the Kubota–Leopoldt generalization of the Kummer congruences for primes that split in the imaginary quadratic field associated with a CM-point. More generally, we show that these numbers are moments of a certain p-adic measure. In addition, we write down explicitly the “Euler factor” at p in terms of the p th Hecke eigenvalue of the modular form in question and certain data of the CM-point. P. Guerzhoy is supported by NSF grant DMS-0700933.     

On mod <Emphasis Type="Italic">p</Emphasis> properties of Siegel modular forms

We prove two results on mod p properties of Siegel modular forms. First, we use theta series in order to construct of a Siegel modular form of weight p−1 which is congruent to 1 mod p. Second, we define a theta operator on q-expansions and show that the algebra of Siegel modular forms mod p is stable under , by exploiting the relation between and generalized Rankin-Cohen brackets.     

The Gleason’s problem for some polyharmonic and hyperbolic harmonic function spaces

Let Ω ⊆ ℝⁿ be a bounded convex domain with C ² boundary. For 0 < p, q ⩽ ∞ and a normal weight φ, the mixed norm space H _k ^p,q,φ (Ω) consists of all polyharmonic functions f of order k for which the mixed norm ∥ · ∥_p,q,φ < ∞. In this paper, we prove that the Gleason’s problem (Ω, a, H _k ^p,q,φ ) is always solvable for any reference point a ∈ Ω. Also, the Gleason’s problem for the polyharmonic φ-Bloch (little φ-Bloch) space is solvable. The parallel results for the hyperbolic harmonic mixed norm space are obtained.     

À propos de l’indice de composition des nombres

 We define the index of composition λ(n) of an integer n ⩾ 2 as λ(n) = log n/log γ(n), where γ(n) stands for the product of the primes dividing n, and first establish that λ and 1/λ both have asymptotic mean value 1. We then establish that, given any ɛ > 0 and any integer k ⩾ 2, there exist infinitely many positive integers n such that . Considering the distribution function F(z,x) := #{n < x : λ(n) > z}, we prove that, given 1 < z < 2 and ɛ > 0, then, if x is sufficiently large,

On a Diophantine Inequality Over Primes (II)

In this short note we prove that if 1 < c < 81/40, c ≠ 2, N is a large real number, then the Diophantine inequality is solvable, where p ₁,···,p ₅ are primes.     

Character Sums in Short Intervals and the Multiplication Table Modulo a Large Prime

We obtain nontrivial estimates of character sums over short intervals for almost all moduli. These bounds and the method of Karatsuba for solving multiplicative ternary problems are used to prove that for π(X)(1 + o(1)) primes p,p ≤ X, there are p(1 + o(1)) residue classes modulo p of the form xy (mod p), where 1 ≤ x, y ≤ p^?(log p)^1,087. We also prove that for any prime p there are p(1 + o(1)) residue classes modulo p of the form xy^* (mod p), where 1 ≤ x, y ≤ p^?(log p)^1+o(1) and y^* is defined by yy^* ≡ 1 (mod p).     

Estimates on binomial sums of partition functions

Let p(n) denote the partition function and define where p(0)= 1. We prove that p(n,k) is unimodal and satisfies for fixed n≥ 1 and all 1≤k≤n. This result has an interesting application: the minimal dimension of a faithful module for a k-step nilpotent Lie algebra of dimension n is bounded by p(n,k) and hence by , independently of k. So far only the bound n ^{n −1} was known. We will also prove that for n≥ 1 and . Received: 17 December 1999     

Multiple blocking sets in finite projective spaces and improvements to the Griesmer bound for linear codes

Belov, Logachev and Sandimirov construct linear codes of minimum distance d for roughly 1/q ^k/2 of the values of d < q ^k-1. In this article we shall prove that, for q = p prime and roughly \frac38{\frac{3}{8}}-th’s of the values of d < q ^k-1, there is no linear code meeting the Griesmer bound. This result uses Blokhuis’ theorem on the size of a t-fold blocking set in PG(2, p), p prime, which we generalise to higher dimensions. We also give more general lower bounds on the size of a t-fold blocking set in PG(δ, q), for arbitrary q and δ ≥ 3. It is known that from a linear code of dimension k with minimum distance d < q ^k-1 that meets the Griesmer bound one can construct a t-fold blocking set of PG(k−1, q). Here, we calculate explicit formulas relating t and d. Finally we show, using the generalised version of Blokhuis’ theorem, that nearly all linear codes over \mathbb F_p{{\mathbb F}_p} of dimension k with minimum distance d < q ^k-1, which meet the Griesmer bound, have codewords of weight at least d + p in subcodes, which contain codewords satisfying certain hypotheses on their supports.     

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

Square-free orders for CM elliptic curves modulo <Emphasis Type="Italic">p</Emphasis>

Let E be an elliptic curve defined over , of conductor N, and with complex multiplication. We prove unconditional and conditional asymptotic formulae for the number of ordinary primes , p ≤ x, for which the group of points of the reduction of E modulo p has square-free order. These results are related to the problem of finding an asymptotic formula for the number of primes p for which the group of points of E modulo p is cyclic, first studied by Serre (1977). They are also related to the stronger problem about primitive points on E modulo p, formulated by Lang and Trotter (Bull Am Math Soc 83:289–292, 1977), and the one about the primality of the order of E modulo p, formulated by Koblitz [Pacific J. Math. 131(1):157–165, 1988].     

On the exceptional set in Goldbach’s problem in short intervals

Let 1/5 < θ ≤ 1. We prove that there exists a positive constant δ such that the number of even integers in the interval [X, X + X ^θ] which are not a sum of two primes is 《 X ^θ−δ. The proof uses the circle method, a sieve method, exponential sum estimates and zero-density estimates for L-functions. Current address: Department of Mathematics, 20014 University of Turku, Finland. Author’s address: Department of Mathematics, University of London, Royal Holloway, Egham, Surrey TW20 0EX, UK     

A Hybrid of Theorems of Goldbach and Piatetski-Shapiro

It is proved that for almost all sufficiently large even integers n, the prime variable equation n = p1 p2,p1∈Pγis solvable, with 13/15 <γ≤1, where Pγ= {p| p = [mγ/1], for integer to and prime p} is the set of the Piatetski-Shapiro primes.     

Squares of Primes and Powers of 2

 As an extension of the Linnik-Gallagher results on the “almost Goldbach” problem, we prove, among other things, that there exists a positive integer k ₀ such that every large even integer is a sum of four squares of primes and k ₀ powers of 2. (Received 7 September 1998; in revised form 3 May 1999)     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

Additive Latin transversals and group rings

LetA={a ₁, …,a _k} and {b ₁, …,b _k} be two subsets of an abelian groupG, k≤|G|. Snevily conjectured that, when |G| is odd, there is a numbering of the elements ofB such thata _i+b _i,1≤i≤k are pairwise distinct. By using a polynomial method, Alon affirmed this conjecture for |G| prime, even whenA is a sequence ofk<|G| elements. With a new application of the polynomial method, Dasgupta, Károlyi, Serra and Szegedy extended Alon’s result to the groupsZ _p ^r andZ _p ^rin the casek<p and verified Snevily’s conjecture for every cyclic group. In this paper, by employing group rings as a tool, we prove that Alon’s result is true for any finite abelianp-group withk<√2p, and verify Snevily’s conjecture for every abelian group of odd order in the casek<√p, wherep is the smallest prime divisor of |G|. This work has been supported partly by NSFC grant number 19971058 and 10271080.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Residue races

Given a prime p and distinct non-zero integers a₁, a₂,..., a_k (mod p), we investigate the number N = N(a₁, a₂,..., a_k; p) of residues n (mod p) for which (na₁)_p < (na₂)_p < ... < (na_k)_p, where (b)_p is the least non-negative residue of b (mod p). We give complete solutions to the problem when k = 2,3,4, and establish some general results corresponding to k≥5. The first author is a Presidential Faculty Fellow. He is also supported, in part, by the National Science Foundation. 2000 Mathematics Subject Classification Primary—11A07; Secondary—11F20     

Almost-all results on the p λ problem. II

Summary Suppose that 1/2 ≦ λ < 1. Balog and Harman proved that for any real θ there exist infinitely many primes p satisfying p^λ-θ < p^{-(1-λ)/2+ ε} (with an asymptotic result). In the present paper we establish that for almost all θ in the interval 0 ≦ θ < 1 there exist infinitely many primes p such that {p^λ-θ} < p^{-min{(2-λ)/6,(14-9λ)/32}+ε}. Thus we obtain a better result for almost all θ than for a single θ if λ>1/2.     

On the index of composition of integers from various sets

Given an integer n ≥ 2, let λ(n) := (log n)/(log γ(n)), where γ(n) = Π _p|n p, stand for the index of composition of n, with λ(1) = 1. We study the distribution function of (λ(n) – 1) log n as n runs through particular sets of integers, such as the shifted primes, the values of a given irreducible cubic polynomial and the shifted powerful numbers. Research supported in part by a grant from NSERC. Research supported by the Applied Number Theory Research Group of the Hungarian Academy of Science and by a grant from OTKA. Professor M.V. Subbarao passed away on February 15, 2006. Received: 3 March 2006 Revised: 28 October 2006