Unicity of Types for Supercuspidal Representations of GLN

Let F be a non-Archimedean local field, with the ring of integerso_F. Let G = GL_N(F), K = GL_N (o_F), and be a supercuspidal representationof G. We show that there exists a unique irreducible smoothrepresentation of K, such that the restriction to K of a smoothirreducible representation ' of G contains if and only if 'is isomorphic to ° det, where is an unramified quasicharacterof F^x. Moreover, we show that contains with the multiplicity1. As a corollary we obtain a kind of inertial local Langlandscorrespondence. 2000 Mathematics Subject Classification 22E50.     

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.     

Projection Methods for Discrete Schrodinger Operators

Let H be the discrete Schrödinger operator acting on l² Z⁺, where the potential v is real-valued and v(n) 0 as n . Let P be the orthogonal projection onto a closedlinear subspace l² Z⁺). In a recent paper E. B. Davies definesthe second order spectrum Spec₂(H, ) of H relative to as theset of z C such that the restriction to of the operator P(H- z)²P is not invertible within the space . The purpose of thisarticle is to investigate properties of Spec₂(H, ) when islarge but finite dimensional. We explore in particular the connectionbetween this set and the spectrum of H. Our main result providessharp bounds in terms of the potential v for the asymptoticbehaviour of Spec₂(H, ) as increases towards l² Z⁺). 2000 MathematicsSubject Classification 47B36 (primary), 47B39, 81-08 (secondary).     

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.     

A bifurcation problem governed by the boundary condition II

In this work we consider the problem u = a(x)u^p in on , where is a smooth bounded domain, isthe outward unit normal to , is regarded as a parameter and0 < p < 1. We consider both cases where a(x) > 0 in or a(x) is allowed to vanish in a whole subdomain ₀ of . Ourmain results include existence of non-negative non-trivial solutionsin the range 0 < < ₁, where ₁ is characterized by meansof an eigenvalue problem, uniqueness and bifurcation from infinityof such solutions for small , and the appearance of dead coresfor large enough .     

On the laplace equation with non-linear dynamical boundary conditions

The main part of the paper deals with local existence and globalexistence versus blow-up for solutions of the Laplace equationin bounded domains with a non-linear dynamical boundary condition.More precisely, we study the problem consisting in: (1) theLaplace equation in (0, ) x ; (2) a homogeneous Dirichlet condition(0, ) x ₀; (3) the dynamical boundary condition ; (4) the initial condition u(0, x) = u₀ (x) on . Here is a regular and bounded domain in Rⁿ, with n 1, and₀ and ₁ endow a measurable partition of . Moreover, m>1,2 p < r, where r = 2 (n – 1) / (n – 2) whenn 3, r = when n = 1,2, and u₀ H^1/2 , u₀ = 0 on ₀. The final part of the paper deals with a refinement of a globalnon-existence result by Levine, Park and Serrin, which is appliedto the previous problem. 2000 Mathematics Subject Classification35K55 (primary), 35K90, 35K77 (secondary).     

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.     

Dynamics of projective morphisms having identical canonical heights

Let , :^{N N} be morphisms of degree at least 2 whose canonicalheights and are identical. We draw various conclusions aboutthe Green functions, Julia sets, and canonical local heightsof and . We use this information to completely characterize and in the following cases: (i) and are polynomial mapsin one variable; (ii) is the dth-power map; (iii) is a Lattèsmap.     

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopytypes occurring in a k-parameter semi-algebraic family of setsin R, each defined in terms of m quadratic inequalities. Ourbound is exponential in k and m, but polynomial in . More precisely,we prove the following. Let R be a real closed field and let = {P₁, ... , P_m} R[Y₁, ... ,Y,X₁, ... ,X_k], with deg_Y(P_i) 2, deg_X(P_i) d, 1 i m. Let S R^+k be a semi-algebraic set,defined by a Boolean formula without negations, with atoms ofthe form P 0, P 0, P . Let : R^+k R^k be the projection onthe last k coordinates. Then the number of stable homotopy typesamongst the fibers S_x = ^–1(x) S is bounded by (2^mkd)^O(mk).     

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.     

On Lp boundedness of wave operators for 4-dimensional Schrodinger operators with threshold singularities

Let H=–+V(x) be a Schrödinger operator on L²(R⁴),H₀=–. Assume that |V(x)|+| V(x)|C x ^– for some>8. Let be the wave operators. It is known that W_± extend to bounded operators in L^p(R⁴)for all 1p, if 0 is neither an eigenvalue nor a resonance ofH. We show that if 0 is an eigenvalue, but not a resonance ofH, then the W_± are still bounded in L^p(R⁴) for all psuch that 4/3<p<4.     

Skeletons and Central Sets

Let be an open proper subset of Rⁿ. Its skeleton is the setof points with more than one nearest neighbour in the complementof its central set is the set of centres in maximal open ballsincluded in . Intuitively, if we think of as a land mass inwhich height is proportional to distance from the sea, its skeletonand central set can be thought of as corresponding to ridgesin the mountains of . In this note I discuss the metric andtopological properties of such sets. I show that any skeletonin Rⁿ is F, and has dimension at most n – 1, by any ofthe usual measures of dimension; that if is bounded and connected,its skeleton and central set are connected; and that separatesRⁿ iff its skeleton does iff its central set does. Any centralset in Rⁿ is a G set of topological dimension at most n –1. In the plane, I show that both skeletons and central setsare locally path-connected, and indeed include many paths offinite length. For any , its central set includes its skeleton;I give examples to show that the central set can be significantlylarger than the skeleton. 1991 Mathematics Subject Classification:54F99.     

Filtrations on G1T-Modules

Let G be an almost simple algebraic group defined over F_p forsome prime p. Denote by G₁ the first Frobenius kernel in G andlet T be a maximal torus. In this paper we study certain Jantzentype filtrations on various modules in the representation theoryof G₁T. We have such filtrations on the baby Verma modules Z,where is a character of T. They are obtained via a certaindeformation of the natural homomorphism from Z into its contravariantdual Z. Using the same deformation we construct for each projectiveG₁T-module Q a filtration of the vector space . We then prove that this filtration may also bedescribed in terms of the above-mentioned homomorphism Z() Z() and this leads us to a sum formula for our filtrations.When Q is indecomposable with highest weight in the bottom alcove(with respect to some special point) we are able to computethe filtrations on F(Q) explicitly for all . This is then thestarting point of an induction which proceeds via wall crossingsto higher alcoves. If our filtrations behave as expected undersuch wall crossings then we obtain a precise relation betweenthedimensions of the layers in the filtrations of F(Q) for an arbitraryindecomposable projective Q and the coefficients in the correspondingKazhdan–Lusztig polynomials. We conclude the paper byproving that the above results in the G₁T theory have some analoguesin the representation theory of G (where, however, we have towork with representations of bounded highest weights) and thecorresponding theory for quantum groups at roots of unity. Theseresults extend previous work by the first author. 2000 MathematicsSubject Classification: 20G05, 20G10, 17B37.     

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.     

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.     

Strength of convergence and multiplicities in the spectrum of a C*-dynamical system

We consider separable C*-dynamical systems (A, G,) for whichthe induced action of the group G on the primitive ideal spacePrim A of the C*-algebra A is free. We study how the representationtheory of the associated crossed product C*-algebra A G dependson the representation theory of A and the properties of theaction of G on Prim A and the spectrum Â. Our main toolsinvolve computations of upper and lower bounds on multiplicitynumbers associated to irreducible representations of A G. Weapply our techniques to give necessary and sufficient conditions,in terms of A and the action of G, for AG to be (i) a continuous-traceC*-algebra, (ii) a Fell C*-algebra and (iii) a bounded-traceC*-algebra. When G is amenable, we also give necessary and sufficientconditions for the crossed product C*-algebra AG to be (iv)a liminal C*-algebra and (v) a Type I C*-algebra. The resultsin (i), (iii)–(v) extend some earlier special cases inwhich A was assumed to have the corresponding property.     

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.     

The Isolated Points of G{rho} and the w*-Strongly Exposed Points of P{rho}(G)0

Let G be a separable locally compact group and let be its dualspace with Fell's topology. It is well known that the set P(G)of continuous positive-definite functions on G can be identifiedwith the set of positive linear functionals on the group C^*-algebraC^*(G). We show that if is discrete in , then there exists anonzero positive-definite function associated with such that is a w^*-strongly exposed point of P(G)₀, where P(G)₀={f P(G):f(e)1. Conversely, if some nonzero positive-definite function associatedwith is a w^*-strongly exposed point of P(G)₀, then is isolatedin . Consequently, G is compact if and only if, for every ,there exists a nonzero positive-definite function associatedwith that is a w^*-strongly exposed point of P(G)₀. If, in addition,G is unimodular and , then is isolated in if and only if somenonzero positive-definite function associated with is a w^*-stronglyexposed point of P(G)₀, where is the left regular representationof G and is the reduced dual space of G. We prove that if B(G)has the Radon–Nikodym property, then the set of isolatedpoints of (so square-integrable if G is unimodular) is densein . It is also proved that if G is a separable SIN-group, thenG is amenable if and only if there exists a closed point in. In particular, for a countable discrete non-amenable groupG (for example the free group F₂ on two generators), there isno closed point in its reduced dual space .