Spectra of graph neighborhoods and scattering

Let (G)_>0 be a family of ‘-thin’ Riemannian manifoldsmodeled on a finite metric graph G, for example, the -neighborhoodof an embedding of G in some Euclidean space with straight edges.We study the asymptotic behavior of the spectrum of the Laplace–Beltramioperator on G, as 0, for various boundary conditions. We obtaincomplete asymptotic expansions for the kth eigenvalue and theeigenfunctions, uniformly for kC^–1, in terms of scatteringdata on a non-compact limit space. We then use this to determinethe quantum graph which is to be regarded as the limit object,in a spectral sense, of the family (G). Our method is a directconstruction of approximate eigenfunctions from the scatteringand graph data, and the use of a priori estimates to show thatall eigenfunctions are obtained in this way.     

BOUNDARY CONCENTRATION IN RADIAL SOLUTIONS TO A SYSTEM OF SEMILINEAR ELLIPTIC EQUATIONS

We study concentration phenomena for the system in the unit ball B₁ of ³ with Dirichlet boundaryconditions. Here , , > 0 and p > 1. We prove the existenceof positive radial solutions (, ) such that concentrates ata distance (/2)|log | away from the boundary B₁ as the parameter tends to 0. The approach is based on a combination of Lyapunov–Schmidtreduction procedure together with a variational method.     

Approximation of Ground State Eigenvalues and Eigenfunctions of Dirichlet Laplacians

Let be a bounded connected open set in R^N, N 2, and let –0be the Dirichlet Laplacian defined in L²(). Let > 0 be thesmallest eigenvalue of –, and let > 0 be its correspondingeigenfunction, normalized by ||||₂ = 1. For sufficiently small>0 we let R() be a connected open subset of satisfying Let – 0 be the Dirichlet Laplacian on R(), and let >0and >0 be its ground state eigenvalue and ground state eigenfunction,respectively, normalized by ||||₂=1. For functions f definedon , we let Sf denote the restriction of f to R(). For functionsg defined on R(), we let Tg be the extension of g to satisfying 1991 Mathematics SubjectClassification 47F05.     

The density of rational points on non-singular hypersurfaces, II

For any integers d,n 2, let X Pⁿ be a non-singular hypersurfaceof degree d that is defined over the rational numbers. The mainresult in this paper is a proof that the number of rationalpoints on X which have height at most B is O(B^{n – 1} +), for any > 0. The implied constant in this estimate dependsat most upon d, and n. 2000 Mathematics Subject Classification11D45 (primary), 11G35, 14G05 (secondary).     

Sums of Connectivity Functions on Rn

A function f: Rⁿ R is a connectivity function if the graphof its restriction f|C to any connected C Rⁿ is connected inRⁿ x R. The main goal of this paper is to prove that every functionf: Rⁿ R is a sum of n + 1 connectivity functions (Corollary2.2). We will also show that if n > 1, then every functiong: Rⁿ R which is a sum of n connectivity functions is continuouson some perfect set (see Theorem 2.5) which implies that thenumber n + 1 in our theorem is best possible (Corollary 2.6). Toprove the above results, we establish and then apply the followingtheorems which are of interest on their own. For every dense G-subset G of Rⁿ there are homeomorphisms h₁,..., h_n of Rⁿ such that Rⁿ = G h₁(G) ... h_n(G) (Proposition2.4). For every n > 1 and any connectivity function f: Rⁿ R, ifx Rⁿ and > 0 then there exists an open set U Rⁿ such thatx U Bⁿ(x, ), f|bd(U) is continuous, and |(x) – f(y)|< for every y bd(U) (Proposition 2.7). 1991 MathematicsSubject Classification: 26B40, 54C30, 54F45.     

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.     

On The Curvature of the Real Milnor Fiber

Let C be a germ at O R² of a real analytic plane curve, andC^C its complexification; let C_t B be a fiber of a real smoothdeformation of C in the ball B = B(O,). The following inequalityis proved between the integrals of real curvature k of C_t andthose of Gaussian curvature K of : The sharpness of this inequality is proved in the case whereC is a real irreducible germ. Similar results are proved foran affine algebraic curve C R² of degree d. 2000 MathematicsSubject Classification 14H20, 14H50, 53A04.     

Almost Frechet Differentiability of Lipschitz Mappings Between Infinite-Dimensional Banach Spaces

We give several sufficient conditions on a pair of Banach spacesX and Y under which each Lipschitz mapping from a domain inX to Y has, for every > 0, a point of -Fréchet differentiability.Most of these conditions are stated in terms of the moduli ofasymptotic smoothness and convexity, notions which have appearedin the literature under a variety of names. We prove, for example,that for > r > p 1, every Lipschitz mapping from a domainin an l_r-sum of finite-dimensional spaces into an l_p-sum offinite-dimensional spaces has, for every > 0, a point of-Fréchet differentiability, and that every Lipschitzmapping from an asymptotically uniformly smooth space to a finite-dimensionalspace has such points. The latter result improves, with a simplerproof, an earlier result of the second and third authors. Wealso survey some of the known results on the notions of asymptoticsmoothness and convexity, prove some new properties, and presentsome new proofs of existing results. 2000 Mathematical Subject Classification: 46G05, 46T20.     

Decomposition of weighted Triebel-Lizorkin and Besov spaces on the ball

Weighted Triebel–Lizorkin and Besov spaces on the unitball B^d in ^d with weights w_µ(x)=(1–|x|²)^µ–1/2,µ0, are introduced and explored. A decomposition schemeis developed in terms of almost exponentially localized polynomialelements (needlets) {}, {} and it is shown that the membershipof a distribution to the weighted Triebel–Lizorkin orBesov spaces can be determined by the size of the needlet coefficients{f, } in appropriate sequence spaces.     

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.     

Hopf C*-Algebras

In this paper we define and study Hopf C^*-algebras. Roughlyspeaking, a Hopf C^*-algebra is a C^*-algebra A with a comultiplication: A M(A A) such that the maps a b (a)(1 b) and a (a 1)(b)have their range in A A and are injective after being extendedto a larger natural domain, the Haagerup tensor product A _hA. In a purely algebraic setting, these conditions on are closelyrelated to the existence of a counit and antipode. In this topologicalcontext, things turn out to be much more subtle, but neverthelessone can show the existence of a suitable counit and antipodeunder these conditions. The basic example is the C^*-algebra C₀(G) of continuous complexfunctions tending to zero at infinity on a locally compact groupwhere the comultiplication is obtained by dualizing the groupmultiplication. But also the reduced group C^*-algebra of a locally compact group with thewell-known comultiplication falls in this category. In factall locally compact quantum groups in the sense of Kustermansand the first author (such as the compact and discrete ones)as well as most of the known examples are included. This theory differs from other similar approaches in that thereis no Haar measure assumed. 2000 Mathematics Subject Classification: 46L65, 46L07, 46L89.     

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.     

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.     

The Singularities of Quantum Groups

If C[G] C[H] is an extension of Hopf domains of degree d, thenH G is an étale map. Equivalently, the variety X^{C}[H]of d-dimensional C[H]-modules compatible with the trace mapof the extension, is a smooth GL_d-variety with quotient G. Ifwe replace C[H] by a non-commutative Hopf algebra H, we constructsimilarly a GL^d-variety and quotient map : X_H G. The smoothlocus of H over C[G] is the set of points g G such that X_His smooth along {^-1}(g). We relate this set to the separabilitylocus of H over C[G] as well as to the (ordinary) smooth locusof the commutative extension C[G] Z where Z is the centre ofH. In particular, we prove that the smooth locus coincides withthe separability locus whenever H is a reflexive Azumaya algebra.This implies that the quantum function algebras O(G) and quantisedenveloping algebras U{g} are as singular as possible. 1991 MathematicsSubject Classification: 16W30, 16R30.     

Second-order operators with degenerate coefficients

We consider properties of second-order operators on ^d with bounded real symmetric measurable coefficients.We assume that C = (c_ij) 0 almost everywhere, but allow forthe possibility that C is degenerate. We associate with H acanonical self-adjoint viscosity operator H₀ and examine propertiesof the viscosity semigroup S⁽⁰⁾ generated by H₀. The semigroupextends to a positive contraction semigroup on the L_p-spaceswith p [1, ]. We establish that it conserves probability andsatisfies L₂ off-diagonal bounds, and that the wave equationassociated with H₀ has finite speed of propagation. Nevertheless,S⁽⁰⁾ is not always strictly positive because separation of thesystem can occur even for subelliptic operators. This demonstratesthat subelliptic semigroups are not ergodic in general and theirkernels are neither strictly positive nor Hölder continuous.In particular, one can construct examples for which both upperand lower Gaussian bounds fail even with coefficients in C^2–(^d)with > 0.     

On the Asphericity of Length Five Relative Group Presentations

We investigate asphericity of the relative group presentation G,t |atbtctdtet=1 and prove it aspherical provided thesubgroupof G generated by ab^–1, bc^–1, cd^–1, de^–1is neither finite cyclic nor a finite triangle group. We alsoprove a similar result for the closely related relative grouppresentation G,s,t | sßst=1=tts^–1. 2000 MathematicsSubject Classification: 20F05, 57M05.     

Sparse Systems of Functions Closed on Large Sets in RN

Let E(Z) = {e^inx}_nZ denote the trigonometrical exponential system.It is well known that E(Z) forms an orthogonal basis in thespace L²(0, 2). In 1964, H. Landau discovered that the trigonometricalsystem has the following property: certain small perturbationsof E(Z) yield exponential systems which are complete in L² onany finite union of 2-periodic translations of any interval(, 2–), 0 < < .     

COMPRESSIONS, CONVEX GEOMETRY AND THE FREIMAN-BILU THEOREM

We note a link between combinatorial results of Bollobásand Leader concerning sumsets in the grid, the Brunn–Minkowskitheorem and a result of Freiman and Bilu concerning the structureof sets A with small doubling. Our main result is the following. If > 0 and if A is a finitenon-empty subset of a torsion-free abelian group with |A + A| K|A|, then A may be covered by e^KO(1) progressions of dimension log ₂ K + and size at most |A|.     

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.     

Finite-Element Approximation of a Plasma Equilibrium Problem

The plasma problem studied is: given R⁺ find (, d, u) R ?R ? H¹() such that Let ₁ < ₂ be the first two eigenvalues of the associatedlinear eigenvalue problem: find $$\left(\lambda ,\phi \right)\in\mathrm{R;}\times {\hbox{ H }}_{0}^{1}\left(\Omega \right)$$such that For ₀(0,₂) it is well known that there exists a unique solution(₀, d₀, u₀) to the above problem. We show that the standard continuous piecewise linear Galerkinfinite-element approximatinon $$\left({\lambda }_{0},{\hbox{d }}_{0}^{k},{u}_{0}^{h}\right)$$, for ₀(0,₂), converges atthe optimal rate in the H¹, L², and L norms as h, the mesh length,tends to 0. In addition, we show that dist (, ^h)Ch² ln 1/h,where $${\Gamma }^{\left(h\right)}=\left\{x\in \Omega :{u}_{0}^{\left(h\right)}\left(x\right)=0\right\}$$.Finally we consider a more practical approximation involvingnumerical integration.