On a variance associated with the distribution of primes in arithmetic progressions

As is usual in prime number theory, write It is well known that when q is close to x the averagevalue of is about xlog q,and recently Friedlander and Goldston have shown that if then the first moment of V(x,q)-U(x,q)is small. In this memoir it is shown that the same is true forall moments. 2000 Mathematics Subject Classification: 11N13.     

De Rham Cohomology and Hodge Decomposition For Quantum Groups

Let be one of the N²-dimensionalbicovariant first order differential calculi for the quantumgroups GL_q(N), SL_q(N), SO_q(N), or Sp_q(N), where q is a transcendentalcomplex number and z is a regular parameter. It is shown thatthe de Rham cohomology of Woronowicz' external algebra coincides with the de Rham cohomologiesof its left-coinvariant, its right-coinvariant and its (two-sided)coinvariant subcomplexes. In the cases GL_q(N) and SL_q(N) thecohomology ring is isomorphic to the coinvariant external algebra and to the vector space of harmonic forms. We prove a Hodge decomposition theorem in thesecases. The main technical tool is the spectral decompositionof the quantum Laplace-Beltrami operator. 2000 MathematicalSubject Classification: 46L87, 58A12, 81R50.     

Almost Everywhere Convergence of Bochner-Riesz Means On The Heisenberg Group and Fractional Integration On The Dual

Let L denote the sub-Laplacian on the Heisenberg group H_n and the corresponding Bochner-Riesz operator. Let Q denote the homogeneous dimension and D the Euclideandimension of H_n. We prove convergence a.e. of the Bochner-Rieszmeans as r 0 for > 0and for all f L^p(H_n), provided that . Our proof is based on explicit formulas for the operators with a C, defined on the dual ofH_n by , which may be of independent interest. Here is given by for all (z,u) H_n. 2000 Mathematical Subject Classification: 22E30, 43A80.     

The Approximation Numbers of Hardy-Type Operators on Trees

The Hardy operator T_a on a tree is defined by Properties of T_a as a map from L^p() into itselfare established for 1 p . The main result is that, with appropriateassumptions on u and v, the approximation numbers a_n(T_a) ofT_a satisfy for a specified constant _p and 1 p < . This extends results of Naimark, Newmanand Solomyak for p = 2. Hitherto, for p 2, (*) was unknowneven when is an interval. Also, upper and lower estimates forthe l^q and weak-l^q norms of a_n(T_a) are determined. 2000 MathematicalSubject Classification: 47G10, 47B10.     

Finiteness Properties of Certain Metabelian Arithmetic Groups in the Function Field Case

Consider the group scheme where R is an arbitrary commutative ring with 1 0 and a unitx R* acts on R by multiplication. We will study the finiteness properties of subgroups of G(O_S)where O_S is an S-arithmetic subring of a global function field.The subgroups we are interested in are of the form where Q is a subgroup of O_S*. The finiteness propertiesof these metabelian groups can be expressed in terms of the-invariant due to R. Bieri and R. Strebel. Theorem A. Let S be a finite set of places of a global functionfield (regarded as normalized discrete valuations) and O_S thecorresponding S-arithmetic ring. Let Q be a subgroup of O_S*.Then Q is finitely generated and for all integers n 1 the followingare equivalent:

(1) O_S Q is of type FP_n;

(2) O_S is n-tameas a ZQ-module;

(3) each p S restricts to a non-trivial homomorphism and the set is n-tame.

If these conditions hold for at least one n 1 then the identity holds.} Theorem B. Let r denote the rank of Q. Then the followinghold:

(1) the group O_S Q is not of type FP_r+1};

(2) if Qhas maximum rank r = |S| –1 then the group O_S Q is oftype FP_r.

In particular, is of type FP_{|S| –1} but not of type FP_|S|. 1991 Mathematics SubjectClassification: 20E08, 20F16, 20G30, 52A20.     

Cohomology of Quantized Function Algebras at Roots of Unity

Let G be a simply-connected, semisimple algebraic group overk, an algebraically closed field of characteristic zero. Let O[G] be the quantized function algebra of G at a primitivelth root of unity , and let be the ‘restricted’ quantized function algebra at, a finite-dimensional k-algebra obtained from O[G] by factoringout a centrally generated ideal. It is known that is a Hopf algebra. We study the cohomology ring, a graded commutative algebra, and, for any finite-dimensional -module M, the -module . We prove that for sufficiently large l there isan isomorphism of graded algebras where each X_i is homogeneous of degree $2$, and $2N$ equalsthe number of roots associated to G. Moreover we show that inthis case is a finitely generated -module. We also show under much less restrictive conditions on l that continues to be a finitely generated graded commutativealgebra over which is a finitely generated module. 1991 Mathematics Subject Classification: 16W30,17B37, 17B56.     

Absolute, Relative, and Tate Cohomology of Modules of Finite Gorenstein Dimension

We study finitely generated modules M over a ring R, noetherianon both sides. If M has finite Gorenstein dimension G-dim_RMin the sense of Auslander and Bridger, then it determines twoother cohomology theories besides the one given by the absolutecohomology functors . Relative cohomology functors are defined for all non-negative integers n; they treat the modules of Gorensteindimension 0 as projectives and vanish for n > G-dim_RM. Tatecohomology functors are defined for all integers n; all groups vanish if M or N has finite projective dimension. Comparisonmorphisms and link these functors. We give a self-contained treatmentof modules of finite G-dimension, establish basic propertiesof relative and Tate cohomology, and embed the comparison morphismsinto a canonical long exact sequence . We show that these results provide efficient tools for computingold and new numerical invariants of modules over commutativelocal rings. 2000 Mathematical Subject Classification: 16E05, 13H10, 18G25.     

Moduli of McKay quiver representations I: the coherent component

For a finite abelian group G GL (n, ), we describe the coherent component Y of the moduli space of-stable McKay quiver representations. This is a not-necessarily-normaltoric variety that admits a projective birational morphism obtained by variation of GeometricInvariant Theory quotient. As a special case, this gives a newconstruction of Nakamura's G-Hilbert scheme Hilb^G that avoidsthe (typically highly singular) Hilbert scheme of |G|-pointsin . To conclude, we describe the toric fan of Y and hence calculate the quiver representationcorresponding to any point of Y.     

Fock Space and the Poisson Process

Using the Wiener–Poisson isomorphism, we show that if(F_t)_{0 t 1} is a real, bounded, predictable process adaptedto the filtration of a compensated Poisson process (X_t)_{0 t 1}, and if is the operator corresponding to multiplication by , then for any regular self-adjoint quantum semimartingale , the essentially self-adjoint quantumsemimartingale satisfies the quantum Ito formula. We also introduce a generalisation of the Poisson process toa measure space (M, M, µ) as an isometry I: L² (M, M,µ) L²(, F, P) and give a new construction of the generalisedWiener–Poisson isomorphism W_I: F₊ (L²(M)) L² (, F, P)using exponential vectors. Using C^*-algebra theory, given anymeasure space we construct a canonical generalised Poisson process.Unlike other constructions, we make no a priori use of Poissonmeasures. 2000 Mathematics Subject Classification 60G20, 60G35,46L53, 81S25.     

Small Solutions of Quadratic Diophantine Equations

We consider quadratic diophantine equations of the shape for a polynomial Q(X₁, ..., X_s) Z[X₁, ..., X_s] of degree 2.Let H be an upper bound for the absolute values of the coefficientsof Q, and assume that the homogeneous quadratic part of Q isnon-singular. We prove, for all s 3, the existence of a polynomialbound _s(H) with the following property: if equation (1) hasa solution x Z^s at all, then it has one satisfying For s = 3 and s = 4 no polynomial bounds _s(H) were previouslyknown, and for s 5 we have been able to improve existing boundsquite significantly. 2000 Mathematics Subject Classification11D09, 11E20, 11H06, 11P55.     

On the Fredholm Alternative for the p-Laplacian in One Dimension

We investigate the existence of a weak solution u to the quasilineartwo-point boundary value problem We assume that 1 < p < p ¬ = 2, 0 < a < , andthat f L¹(0,a) is a given function. The number _k stands forthe k-th eigenvalue of the one-dimensional p-Laplacian. Let_{p p} x/a) denote the eigenfunction associated with ₁; then _p(k_p x/a) is the eigenfunction associated with _k. We show the existenceof solutions to (P) in the following cases. (i) When k=1 and f satisfies the orthogonality condition the set of solutions is bounded. (ii) If k=1 and f_t L¹(0,a) is a continuous family parametrizedby t [0,1], with then there exists some t^* [0,1] such that (P) has a solutionfor f = f_t^*. Moreover, an appropriate choice of t_* yields asolution u with an arbitrarily large L¹(0,a)-norm which meansthat such f cannot be orthogonal to _pp x/a. (iii) When k 2 and f satisfies a set of orthogonality conditionsto _p(k p x/a) on the subintervals , again, the set of solutions is bounded. is a continuous family satisfying either or another related condition, then there exists some t^* [0,1]such that (P) has a solution for f = f_t*. Prüfer's transformation plays the key role in our proofs.2000 Mathematical Subject Classification: primary 34B16, 47J10;secondary 34L40, 47H30.     

Grothendieck's Inequalities for Real and Complex JBW*-Triples

We prove that, if and >0, if V and W are complex JBW*-triples (with preduals V_* andW_*, respectively), and if U is a separately weak*-continuousbilinear form on V x W, then there exist norm-one functionals₁, ₂ V_* and ₁, ₂ W_* satisfying for all (x, y) V x W. Here, for a norm-one functional on acomplex JB*-triple V, |·| stands for the prehilbertianseminorm on V associated to given by for all x W, where z V^** satisfies z = |z| =1. We arrive at this form of ‘Grothendieck's inequality’through results of C.-H. Chu, B. Iochum, and G. Loupias, andan amended version of the ‘little Grothendieck's inequality’for complex JB*-triples due to T. Barton and Y. Friedman. Wealso obtain extensions of these results to the setting of realJB*-triples. 2000 Mathematical Subject Classification: 17C65,46K70, 46L05, 46L10, 46L70.     

Hopf-Cyclic Homology and Relative Cyclic Homology of Hopf-Galois Extensions

Let H be a Hopf algebra and let M_s (H) be the category of allleft H-modules and right H-comodules satisfying appropriatecompatibility relations. An object in M_s (H) will be calleda stable anti-Yetter–Drinfeld module (over H) or a SAYDmodule, for short. To each M M_s (H) we associate, in a functorialway, a cyclic object Z_* (H, M). We show that our constructioncan be used to compute the cyclic homology of the underlyingalgebra structure of H and the relative cyclic homology of H-Galoisextensions. Let K be a Hopf subalgebra of H. For an arbitrary M M_s (K)we define a right H-comodule structure on so that becomes an object in M_s (H). Under some assumptions on K and M we computethe cyclic homology of . As a direct application of this result, we describe the relativecyclic homology of strongly graded algebras. In particular,we calculate the cyclic homology of group algebras and quantumtori. Finally, when H is the enveloping algebra of a Lie algebra g,we construct a spectral sequence that converges to the cyclichomology of H with coefficients in a given SAYD module M. Wealso show that the cyclic homology of almost symmetric algebrasis isomorphic to the cyclic homology of H with coefficientsin a certain SAYD module. 2000 Mathematics Subject Classification16E40 (primary), 16W30 (secondary).     

Asymptotic Singular Homology of a Complete Hyperbolic 3-Manifold of Finite Volume

Let V be a complete connected hyperbolic 3-manifold of finitevolume, with Liouville measure m, geodesic flow _t and Brownianmotion Z_t. Let be a smooth 1-form, closed in the cusps of V.Then the limit laws as t of under m and of are calculated, and seen to be Gaussian, and equal. The geodesic flow case isstudied via the Brownian case. 1991 Mathematics Subject Classification:60J65, 58F17, 51M10.     

Global Branch of Solutions for Non-Linear Schrodinger Equations with Deepening Potential Well

We consider the stationary non-linear Schrödinger equation where > 0 and the functionsf and g are such that and for some bounded open set R^N. We use topological methods to establish the existenceof two connected sets D^± of positive/negative solutionsin R x W², ^p R^N where that cover the interval (, ()) in the sense that and furthermore, The number () is characterized as the unique value of in theinterval (, ) for which the asymptotic linearization has a positiveeigenfunction. Our work uses a degree for Fredholm maps of indexzero. 2000 Mathematics Subject Classification 35J60, 35B32,58J55.     

Quantum Deformations of Imaginary Verma Modules

We construct quantum deformations of imaginary Verma modulesover and show that, for generic q, imaginary Verma modules over can be deformed to those over the quantum group in such a way that the dimensions of the weightspaces are invariant under the deformation. We also prove thePBW theorem for with respect to the triangular decomposition induced from the root partitioncorresponding to the imaginary Verma modules. 1991 MathematicsSubject Classification: 17B67, 17B65, 17B10.     

The Ramifications of the Centres: Quantised Function Algebras at Roots of Unity

This paper continues the study of quantised function algebrasO[G] of a semisimple group G at an lth root of unity . Thesealgebras were introduced by De Concini and Lyubashenko in 1994,and studied further by De Concini and Procesi and by Gordon,amongst others. Our main purpose here is to increase understandingof the finite-dimensional factor algebras O[G](g), for g G.We determine the representation type and block structure ofthese factors, and (for many g) describe them up to isomorphism.A series of parallel results is obtained for the quantised Borelalgebras and . 2000 Mathematical Subject Classification: 16W35,17B37.     

Metrical Theorems on Prime Values of the Integer Parts of Real Sequences

Let a_n be an increasing sequence of positive reals with a_n as n . Necessary and sufficient conditions are obtained foreach of the sequences to take on infinitely many prime values for almost all > rß.For example, the sequence a_n is infinitely often prime for almostall > 0 if and only if there is a subsequence of the a_n,say b_n, with b_{n + 1} > b_n + 1 and with the series divergent. Asymptotic formulae areobtained when the sequences considered are lacunary. An earlierresult of the author reduces the problem to estimating the measureof overlaps of certain sets, and sieve methods are used to obtainthe correct order upper bounds. 1991 Mathematics Subject Classification:primary 11N05; secondary 11K99, 11N36.     

Toroidal and Annular Dehn Fillings

Suppose that M is a hyperbolic 3-manifold which admits two Dehnfillings M(r₁) and M(r₂) such that M(r₁) contains an essentialannulus, and M(r₂) contains an essential torus. It is knownthat = (r₁, r₂) 5. We will show that if = 5 then M is theWhitehead sister link exterior, and if = 4 then M is the exteriorof either the Whitehead link or the 2-bridge link associatedto the rational number . There are infinitely many examples with = 3. 1991 Mathematics SubjectClassification: 11D25, 11G05, 14G05.