Descent Calculations for the Elliptic Curves of Conductor 11

Let A be any one of the three elliptic curves over Q with conductor11. We show that A has Mordell–Weil rank zero over itsfield of 5-division points. In each case we also compute the5-primary part of the Tate–Shafarevich group. Our calculationsmake use of the Galois equivariance of the Cassels–Tatepairing. 2000 Mathematics Subject Classification 11G05, 11Y40,11R23.     

Hydrodynamic assist and the dynamic contact angle in the coalescence of liquid drops

^** Email: decentsp{at}for.mat.bham.ac.uk The coalescence of two viscous liquid drops in an inviscid gasor in a vacuum is studied using the interface formation model.In the very early stages of coalescence during the formationof the ‘liquid-bridge’ connecting the two drops,this model predicts a moving contact line and a dynamic contactangle. This paper examines the dynamic evolution of this contactangle, and for small Reynolds number and small Capillary number,relevant particularly in micro-fluidics, a non-linear differentialequation is derived for the contact angle and solved computationally.It is found that the contact angle evolution can only be evaluatedby determining information about the flow away from the contactline. This is a manifestation of so-called hydrodynamic assist,studied experimentally in the context of curtain coating byBlake et al. (1999 Experimental evidence of non-local hydrodynamicinfluence on the dynamic contact angle. Phys. Fluids, 11, 1995–2007).For small Capillary number and small Reynolds number, the free-surfaceevolution is determined for the coalescence of two cylindersof equal radius. Finally, some comments are made on experimentsin coalescence, as well as on issues arising in a computationalsolution of the full model described here.     

Q-Curves and Abelian Varieties of GL2-Type

The relation between Q-curves and certain abelian varietiesof GL₂-type was established by Ribet (‘Abelian varietiesover Q and modular forms’, Proceedings of the KAIST MathematicsWorkshop (1992) 53–79) and generalized to building blocks,the higher-dimensional analogues of Q-curves, by Pyle in herPhD Thesis (University of California at Berkeley, 1995). Inthis paper we investigate some aspects of Q-curves with no complexmultiplication and the corresponding abelian varieties of GL₂-type,for which we mainly use the ideas and techniques introducedby Ribet (op. cit. and ‘Fields of definition of abelianvarieties with real multiplication’, Contemp.\ Math. 174(1994) 107–118). After the Introduction, in Sections 2and 3 we obtain a characterization of the fields where a Q-curveand all the isogenies between its Galois conjugates can be definedup to isogeny, and we apply it to certain fields of type (2,...,2).In Section 4 we determine the endomorphism algebras of all theabelian varieties of GL₂-type having as a quotient a given Q-curvein easily computable terms. Section 5 is devoted to a particularcase of Weil's restriction of scalars functor applied to a Q-curve,in which the resulting abelian variety factors over Q up toisogeny as a product of abelian varieties of GL₂-type. Finally,Section 6 contains examples: we parametrize the Q-curves comingfrom rational points of the modular curves X*N having genuszero, and we apply the results of Sections 2–5 to someof the curves obtained. We also give results concerning theexistence of quadratic Q-curves. 1991 Mathematics Subject Classification:primary 11G05; secondary 11G10, 11G18, 11F11, 14K02.     

Small Deviations of Riemann-Liouville Processes In lq Spaces With Respect To Fractal Measures

We investigate Riemann–Liouville processes R_H, with H> 0, and fractional Brownian motions B_H, for 0 < H <1, and study their small deviation properties in the spacesL_q([0, 1], µ). Of special interest here are thin (fractal)measures µ, that is, those that are singular with respectto the Lebesgue measure. We describe the behavior of small deviationprobabilities by numerical quantities of µ, called mixedentropy numbers, characterizing size and regularity of the underlyingmeasure. For the particularly interesting case of self-similarmeasures, the asymptotic behavior of the mixed entropy is evaluatedexplicitly. We also provide two-sided estimates for this quantityin the case of random measures generated by subordinators. While the upper asymptotic bound for the small deviation probabilityis proved by purely probabilistic methods, the lower bound isverified by analytic tools concerning entropy and Kolmogorovnumbers of Riemann–Liouville operators. 2000 MathematicsSubject Classification 60G15 (primary), 47B06, 47G10, 28A80(secondary).     

The Kissing Numbers of Convex Bodies -- A Brief Survey

Nearly four hundred years ago, the cubic close-packing of equalspheres in R³ was discovered by Kepler [21], in which each spheretouches 12 others. In 1694, Gregory and Newton discussed thefollowing thirteen spheres problem. Can a rigid material spherebe brought into contact with 13 other such spheres of the samesize? Gregory believed ‘yes’, while Newton thought‘no’. 1991 Mathematics Subject Classication 11H31,52C17.     

On the Hecke Equivariance of the Borcherds Isomorphism

The Borcherds isomorphism is proved to be Hecke equivariantif one considers multiplicative Hecke operators acting on theintegral weight meromorphic modular forms. This answers a partof a question of Borcherds (see ‘Automorphic forms onO_{s+2, 2}(R) and infinite products’, Invent. Math. 120 (1995)161–213, 17.10), using his suggestion to define the multiplicativeHecke operators. 2000 Mathematics Subject Classification 11F37.     

Exponential Sums and the Riemann Zeta Function V

A Van der Corput exponential sum is S = exp (2 i f(m)) wherem has size M, the function f(x) has size T and = (log M) / log T < 1. There are different bounds for S in differentranges for . In the middle range where is near 1/over 2, . This bounds the exponent of growthof the Riemann zeta function on its critical line Re s = 1/over2. Van der Corput used an iteration which changed at each step.The Bombieri–Iwaniec method, whilst still based on meansquares, introduces number-theoretic ideas and problems. TheSecond Spacing Problem is to count the number of resonancesbetween short intervals of the sum, when two arcs of the graphof y = f'(x) coincide approximately after an automorphism ofthe integer lattice. In the previous paper in this series [Proc.London Math. Soc. (3) 66 (1993) 1–40] and the monographArea, lattice points, and exponential sums we saw that coincidenceimplies that there is an integer point close to some ‘resonancecurve’, one of a family of curves in some dual space,now calculated accurately in the paper ‘Resonance curvesin the Bombieri–Iwaniec method’, which is to appearin Funct. Approx. Comment. Math. We turn the whole Bombieri–Iwaniec method into an axiomatisedstep: an upper bound for the number of integer points closeto a plane curve gives a bound in the Second Spacing Problem,and a small improvement in the bound for S. Ends and cusps ofresonance curves are treated separately. Bounds for sums oftype S lead to bounds for integer points close to curves, andanother branching iteration. Luckily Swinnerton-Dyer's methodis stronger. We improve from 0.156140... in the previous paperand monograph to 0.156098.... In fact (32/205 + , 269/410 +) is an exponent pair for every > 0. 2000 Mathematics SubjectClassification 11L07 (primary), 11M06, 11P21, 11J54 (secondary).     

Liftings and Mean Value Theorems for Automorphic L-Functions

A general mean value theorem for Dirichlet series, with a sharperror estimate near the boundary of the critical strip, is proved.Applications of this theorem to various automorphic L-functionsare discussed. Moreover, sharp upper bounds of mean square valuesof L-functions are obtained when they are attached to liftedforms, such as Doi–Naganuma and Ikeda lifts in the theoryof Siegel modular forms. 2000 Mathematics Subject Classification11F66, 11M41.     

On Atkin-Lehner Quotients of Curves

We study the erednik–Drinfeld p-adic uniformization ofcertain Atkin–Lehner quotients of Shimura curves overQ. We use it to determine over which local fields they haverational points and divisors of a given degree. Using a criterionof Poonen and Stoll, we show that the Shafarevich–Tategroup of their jacobians is not of square order for infinitelymany cases. 1991 Mathematics Subject Classification 11G18, 11G20,14G20, 14G35, 14H40.     

Congruences of Modular Forms and Tensor Product L-Functions

Two normalised Hecke eigenforms f and g are considered in thispaper, of level one and weights k' > k, lying in a p-adicfamily, such that f g(mod p^r as q-expansions. Interpretingthe congruence in terms of the associated Galois representationsleads to the existence of non-trivial global p^r-torsion forthe motive associated with the tensor product L-function ats = k' – 1. (It must be assumed that the (mod p) Galoisrepresentation attached to g is irreducible.) This contributesa factor of p^r to the denominator of the Bloch–Kato conjecturalformula for the L-value. The p-part of the numerator is considered,using recent work of Diamond, Flach and Guo. Using Shimura'sRankin–Selberg integral formula and the Clausen–vonStaudt theorem, the ratio of L-values is examined at s = k'– 1, for the tensor product and a quadratic twist; confirmationis given (under certain conditions) that, at p, this is as predictedby Bloch and Kato. 2000 Mathematics Subject Classification 11F33,11F67, 11G40.     

Products of Consecutive Integers

In this paper, a number of results are deduced on the arithmeticstructure of products of integers in short intervals. By wayof an example, work of Saradha and Hanrot, and of Saradha andShorey, is completed by the provision of an answer to the questionof when the product of k out of k + 1 consecutive positive integerscan be an ‘almost’ perfect power. The main new ingredientin these proofs is what might be termed a practical method forresolving high-degree binomial Thue equations of the form axⁿ–byⁿ= ±1, based upon results from the theory of Galois representationsand modular forms. 2000 Mathematics Subject Classification 11D41,11D61.     

Splendid Derived Equivalences for Blocks of Finite Groups

A central issue in finite group modular representation theoryis the relationship between the p-local structure and the p-modularrepresentation theory of a given finite group. In [5], Brouéposes some startling conjectures. For example, he conjecturesthat if e is a p-block of a finite group G with abelian defectgroup D and if f is the Brauer correspondent block of e of thenormalizer, N_G(D), of D then e and f have equivalent derivedcategories over a complete discrete valuation ring with residuefield of characteristic p. Some evidence for this conjecturehas been obtained using an important Morita analog for derivedcategories of Rickard [11]. This result states that the existenceof a tilting complex is a necessary and sufficient conditionfor the equivalence of two derived categories. In [5], Brouéalso defines an equivalence on the character level between p-blockse and f of finite groups G and H that he calls a ‘perfectisometry’ and he demonstrates that it is a consequenceof a derived category equivalence between e and f. In [5], Brouéalso poses a corresponding perfect isometry conjecture betweena p-block e of a finite group G with an abelian defect groupD and its Brauer correspondent p-block f of N_G(D) and presentsseveral examples of this phenomena. Subsequent research hasprovided much more evidence for this character-level conjecture. In many known examples of a perfect isometry between p-blockse, f of finite groups G, H there are also perfect isometriesbetween p-blocks of p-local subgroups corresponding to e andf and these isometries are compatible in a precise sense. In[5], Broué calls such a family of compatible perfectisometries an ‘isotypy’. In [11], Rickard addresses the analogous question of defininga p-locally compatible family of derived equivalences. In thisimportant paper, he defines a ‘splendid tilting complex’for p-blocks e and f of finite groups G and H with a commonp-subgroup P. Then he demonstrates that if X is such a splendidtilting complex, if P is a Sylow p-subgroup of G and H and ifG and H have the same ‘p-local structure’, thenp-local splendid tilting complexes are obtained from X via theBrauer functor and ‘lifting’. Consequently, in thissituation, we obtain an isotypy when e and f are the principalblocks of G and H. Linckelmann [9] and Puig [10] have also obtained important resultsin this area. In this paper, we refine the methods and program of [11] toobtain variants of some of the results of [11] that have widerapplicability. Indeed, suppose that the blocks e and f of Gand H have a common defect group D. Suppose also that X is asplendid tilting complex for e and f and that the p-local structureof (say) H with respect to D is contained in that of G, thenthe Brauer functor, lifting and ‘cutting’ by blockindempotents applied to X yield local block tilting complexesand consequently an isotypy on the character level. Since thep-local structure containment hypothesis is satisfied, for example,when H is a subgroup of G (as is the case in Broué'sconjectures) our results extend the applicability of these ideasand methods.     

The Accurate Numerical Inversion of Laplace Transforms

Numerical inversion of almost arbitrary Laplace transforms,for any value of t, to any prescribed accuracy up to atleastthree-quarters of the computer precision, is effected by trapezoidalintegration along a special contour. The required number ofpoints depends on t, the accuracy, and the transform singularitypositions, and for moderate t is typically 11 for errors oforder 10^–6, 18 for order 10^–10, 35 for order 10^–20(withdouble precision working).     

On a Problem of Brocard

It is proved that, if P is a polynomial with integer coefficients,having degree 2, and 1 > > 0, then n(n – 1) ...(n – k + 1) = P(m) has only finitely many natural solutions(m,n,k), n k > n, provided that the abc conjecture is assumedto hold under Szpiro's formulation. 2000 Mathematics SubjectClassification 11D75, 11J25, 11N13.     

The Computation of all the Derivatives of a B-spline Basis

Splines are currently much used in the field of interpolationto functions and their derivatives. In this context for a givenargument two relationships between derivatives of B-spline basesof consecutive orders are derived. Using these relationshipsit is shown there are (K—1)!((K—m1)!m!) schemesfor the evaluation of the mth derivative of a B-spline basisof order k. Analyses of error growth in terms of a matrix notationare carried out in order to see which of the schemes is themost numerically stable, for uniform or highly non-uniform knotsets. The computation of the B-spline basis of order ^K and its(K—1)th derivative are shown to have small a priori relativeerror bounds.     

A generalised Skolem-Mahler-Lech theorem for affine varieties

We give a corrected and strengthened statement and proof ofthe ‘p-adic analytic arc lemma’ in a paper of theauthor (J. London Math. Soc. (2) 73 (2006) 367–379). Weshow that the analytic arc is guaranteed to exist for p 5 andgive a counterexample showing that this sometimes cannot bedone when p = 2. Footnotes 2000 Mathematics Subject Classification 11D45 (primary), 14R10,11D88 (secondary). Received September 16, 2007; revised January 22, 2008; published online March 30, 2008.     

Un Theoreme De Finitude Dans Le Spectre Automorphe Pour Les Formes Interieures De GLn Sur Un Corps Global

A proof is given to show that for an inner form of GL_n overa global field of zero characteristic, there exist only a finitenumber of automorphic representations with fixed local factor(up to equivalence) at almost every place. What is new in comparisonto earlier work (see A. I. Badulescu and P. Broussous, ‘Unthéorème de finitude’, Compositio Math.132 (2002) 177–190) is the case when the local factorsare not fixed at the infinite places, as well as the statementof the result for the automorphic spectrum, rather than thecuspidal one. 2000 Mathematics Subject Classification 11F70.     

On the Number of Sums and Products

A new lower bound on max{|A + A|, |A · A|} is given,where A is a finite set of complex numbers. 2000 MathematicsSubject Classification 11B75 (primary), 52C10 (secondary).