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.     

Algebraic K-Theory In Low Degree and The Novikov Assembly Map

We prove that the Novikov assembly map for a group factorizes,in ‘low homological degree’, through the algebraicK-theory of its integral group ring. In homological degree 2,this answers a question posed by N. Higson and P. Julg. As adirect application, we prove that if is torsion-free and satisfiesthe Baum-Connes conjecture, then the homology group H₁(; Z)injects in and in , for any ring A such that . If moreover B is of dimension lessthan or equal to 4, then we show that H₂(; Z) injects in and in , where A is as before, and ₂ is generated by the Steinberg symbols{,}, for . 2000 Mathematical Subject Classification: primary 19D55, 19Kxx,58J22; secondary: 19Cxx, 19D45, 43A20, 46L85.     

On the Pair Correlation of Zeros of the Riemann Zeta-Function

To study the distribution of pairs of zeros of the Riemann zeta-function,Montgomery introduced the function where is real and T 2, and ' denote the imaginary parts ofzeros of the Riemann zeta-function, and w(u) = 4/(4 + u²). Assumingthe Riemann Hypothesis, Montgomery proved an asymptotic formulafor F() when || 1, and made the conjecture that F() = 1 + o(1)as T for any bounded with || 1. In this paper we use anapproximation for the prime indicator function together witha new mean value theorem for long Dirichlet polynomials andtails of Dirichlet series to prove that, assuming the GeneralizedRiemann Hypothesis for all Dirichlet L-functions, then for any > 0 we have uniformlyfor and all T T₀(). 1991Mathematics Subject Classification: primary 11M26; secondary11P32.     

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.     

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.     

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.     

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.     

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.     

Sommes D'Exponentielles et Entiers Sans Grand Facteur Premier

Let S(x,y) be the set S(x,y)= 1 n x : P(n) y, where P(n) denotesthe largest prime factor of n. We study , where f is a multiplicative function. When f=1and when f=µ, we widen the domain of uniform approximationusing the method of Fouvry and Tenenbaum and making explicitthe contribution of the Siegel zero. Soit S(x,y) l'ensemble S(x,y)= 1 n x : P(n) y, désigne le plus grand facteur premier den. Nous étudions , lorsque f est une fonction multiplicative. Quand f=1 et quand f=µ,nous élargissons le domaine d'approximation uniformeenutilisant la méthode développée par Fouvryet Tenenbaum et en explicitant la contribution du zérode Siegel. 1991 Mathematics Subject Classification: 11N25, 11N99.     

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.     

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.     

A second-order variational problem with a lack of coercivity

For ⁿ and 2n/(n – 2) < p (2n – 4)/(n –4), we study the functional In an appropriate nonlinear space, the minimization problemcan be solved using the direct method. We also construct solutionsof the gradient flow.     

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.     

Weyl-Titchmarsh M-Function Asymptotics for Matrix-valued Schrodinger Operators

We explicitly determine the high-energy asymptotics for Weyl–Titchmarshmatrices corresponding to matrix-valued Schrödinger operatorsassociated with general self-adjoint m x m matrix potentials, where m N. More precisely,assume that for some N N and x₀R, for all c>x₀, and that x x₀ is a right Lebesgue point ofQ^(N–1). In addition, denote by I_m the mxm identity matrixand by C the open sector in thecomplex plane with vertex atzero, symmetry axis along the positive imaginary axis, and openingangle , with 0 < < . Then we prove the following asymptoticexpansion for any point M_+(z,x) of the unique limit point ora point of the limit disk associated with the differential expression in and a Dirichlet boundary condition at x=x₀: The expansion is uniform with respect to arg(z)for |z| in C and uniform in x as long as x varies in compactsubsets of R intersected with the right Lebesgue set of Q^(N–1).Moreover, the m x m expansion coefficients m_+,k(x) can be computedrecursively. Analogous results hold for matrix-valued Schrödinger operatorson the real line. 2000 Mathematics Subject Classification: 34E05,34B20, 34L40, 34A55.     

Trace Inequalities of Sobolev Type in the Upper Triangle Case

We give a new non-capacitary characterization of positive Borelmeasures µ on Rⁿ such that the potential space I*L^p isimbedded in L^q(dµ) for $1qp+, that is, the trace inequality holds, for Riesz potentials I = (- )². A weak-type trace inequality is also characterized. A non-isotropic version on the unit sphere Sⁿ is studied,as well as the holomorphic case for Hardy–Sobolev spaces in the ball. 1991 MathematicsSubject Classification: primary 31C15, 42B20; secondary 32A35.     

Taut Foliations in Punctured Surface Bundles, II

Given a fibered 3-manifold M, we investigate exactly which boundaryslopes can be realized by perturbing fibrations along productdiscs. Since these perturbed fibrations cap off to give tautfoliations in the corresponding surgery manifolds, we obtainsurgery information. For example, recall that a knot k is saidto satisfy Property P if no finite surgery along k yields asimply-connected 3-manifold. We show that if a non-trivial fiberedknot k S³ fails to satisfy Property P, then necessarily k ishyperbolic with degeneracy slope . When k is hyperbolic and (respectively, ), we show that the only candidate for a counterexample to Property P is surgery coefficient (respectively, . 2000 Mathematical Subject Classification: primary57M25; secondary 57R30.     

Root Numbers of Non-Abelian Twists of Elliptic Curves

We study the global root number of the complex L-function oftwists of elliptic curves over Q by real Artin representations.We obtain examples of elliptic curves over Q which, while nothaving any rational points of infinite order, conjecturallymust have points of infinite order over the fields for every cube-free m > 1. We describe analogousphenomena for elliptic curves over the fields , and in the towers and , where r 3 is prime.2000 Mathematics Subject Classification 11G40, 11G05.     

Koszul Complexes and Symmetric Forms over the Punctured Affine Space

Let X be a regular separated scheme of finite Krull dimensionand let be the punctured affine n-space over X. We show that the total graded Witt ring of is a free graded module over the totalgraded Witt ring of X with two generators 1 and . The secondgenerator satisfies the equation ² = 1 when n = 1 and ² = 0when n 2. 2000 Mathematics Subject Classification 11E81, 19G12.     

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.