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.     

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 .     

Unknotting Tunnels and Seifert Surfaces

Let K be a knot with an unknotting tunnel and suppose thatK is not a 2-bridge knot. There is an invariant = p/q Q/2Z,with p odd, defined for the pair (K, ). The invariant has interesting geometric properties. It is oftenstraightforward to calculate; for example, for K a torus knotand an annulus-spanning arc, (K, ) = 1. Although is definedabstractly, it is naturally revealed when K is put in thinposition. If 1 then there is a minimal-genus Seifert surfaceF for K such that the tunnel can be slid and isotoped to lieon F. One consequence is that if (K, ) 1 then K > 1. Thisconfirms a conjecture of Goda and Teragaito for pairs (K, )with (K, ) 1. 2000 Mathematics Subject Classification 57M25,57M27.     

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.     

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.     

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 .     

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.     

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.     

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.     

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.     

Weak Covering Properties of Weak Topologies

We consider covering properties of weak topologies of Banachspaces, especially of weak or point-wise topologies of functionspaces C(K), for compact spaces K. We answer questions posedby A. V. Arkhangel'skii, S. P. Gul'ko, and R. W. Hansell. Ourmain results are the following. A Banach space of density atmost ₁ is hereditarily metaLindel of in its weak topology. Ifthe weight of a compact spaceK is at most ₁, then the spacesC_w(K) and C_p(K) are hereditarily metaLindel of. Let be the one-point compactificationof a treeT. Then the space is hereditarily -metacompact. If T is an infinitely branchingfull tree of uncountable height and of cardinality bigger thanc, then the weak topology of the unit sphere of is not -fragmented by any metric. The space C_p(rß₁)is neither metaLindel of nor -relatively metacompact. The spaceC_p(rß₂) is not -relatively metaLindel of. Under theset-theoretic axiom , there exists a scattered compact spaceK₁ such that the space C_p(K₁) is not -relatively metacompact,and under a related axiom , there exists a scattere compactspace K₂ such that the space C_p(K₂) is not -relatively metaLindelof. 1991 Mathematics Subject Classification: 54C35, 46B20, 54E20,54D30.     

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.     

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 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).     

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.     

Ideal Spaces of Banach Algebras

The ideal space Id(A) of a Banach algebra A is studied as abitopological space Id(A), _u, _n, where _u is the weakest topologyfor which all the norm functions I || a + I|| (with a A andI Id(A)) are upper semi-continuous, and _n is the de Groot dualof _u. When A is separable, _nu is either a compact, metrizabletopology, or it is neither Hausdorff nor first countable. TAF-algebrasare shown to exhibit the first type of behaviour. Applicationsto Banach bundles (which motivate the study), and to PI-Banachalgebras, are given. 1991 Mathematics Subject Classification:46H10, 46J20.