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.     

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.     

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.     

The Consistency of Holt's Conjectures on Cohomological Dimension of Locally Finite Groups

Let G be a locally finite group of cardinality _n where n isa natural number. Let (G) be the set of primes p for which Ghas an element of order p. In [5], Holt conjectures that ifk is a finite field with char k (G) then (1) G has cohomological dimension n+1 over k; (2) Hⁿ⁺¹(G, kG) has cardinality 2^_n; (3) Hⁱ(G, kG) = 0 for 0 i n.     

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

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.     

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.     

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 .     

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.     

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.     

Mod p Reducibility of Unramified Representations of Finite Groups of Lie Type

Dedicated to the memory of Professor A. I. Kostrikin The main problem under discussion is to determine, for quasi-simplegroups of Lie type G, irreducible representations of G thatremain irreducible under reduction modulo the natural primep. The method is new. It works only for p >3 and for representations that can be realized over an unramified extension of Q_p, thefield of p -adic numbers. Under these assumptions, the mainresult says that the trivial and the Steinberg representationsof G are the only representations in question provided G isnot of type A1. This is not true for G=SL(2, p). The paper containsa result of independent interest on infinitesimally irrreduciblerepresentations of G over an algebraically closed field ofcharacteristic p. Assuming that G is not of rank 1 and G G₂(5),it is proved that either the Jordan normal form of a root elementcontains a block of size d with 1<d<p -1 or the highestweight of is equal to p -1 times the sum of the fundamentalweights. 2000 Mathematical Subject Classification: 20C33, 20G15.     

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.     

The Series of Norms in a Soluble p-Group

The norm of a group G is the subgroup of elements of G whichnormalise every subgroup of G. We shall denote it (G). An ascendingseries of subgroups _i(G) in G may be defined recursively by:₀(G) = 1 and, for i 0, _i+1(G)/_i(G) = (G/_i(G)). For each i,the section _i+1(G)/i(G) clearly contains the centre of the groupG/_i(G). A result of Schenkman [8] gives a very close connectionbetween this norm series and the upper central series: _i(G) _i(G) _2i(G). 1991 Mathematics Subject Classification 20E15.     

An Index Theorem for Non-Periodic Solutions of Hamiltonian Systems

We consider a Hamiltonian setup M, , H, L, , P, where M, isa symplectic manifold, L is a distribution of Lagrangian subspacesin M, P is a Lagrangian submanifold of M, H is a smooth time-dependentHamiltonian function on M, and :[a,b] M is an integral curveof the Hamiltonian flow starting at P. We do not require any convexity property of the Hamiltonianfunction H. Under the assumption that (b) is not P-focal, weintroduce the Maslov index i_maslov of given in terms of thefirst relative homology group of the Lagrangian Grassmannian;under generic circumstances i_maslov() is computed as a sortof algebraic count of the P-focal points along . We prove thefollowing version of the Index Theorem: under suitable hypotheses,the Morse index of the Lagrangian action functional restrictedto suitable variations of is equal to the sum of i_maslov()and a convexity term of the Hamiltonian H relative to the submanifoldP. When the result is applied to the case of the cotangent bundleM = TM* of a semi-Riemannian manifold (M, g) and to the geodesicHamiltonian , we obtain a semi-Riemannian version of the celebrated Morse Index Theorem for geodesicswith variable endpoints in Riemannian geometry. 2000 MathematicalSubject Classification: 37J05, 53C22, 53C50, 53D12, 70H05.     

On Translation Functors for General Linear and Symmetric Groups

In this paper we study the rational representation theory ofthe general linear group G = GL_n(F) over an algebraically closedfield F of characteristic p. Given Z/pZ, we define functorsTr and Tr, which, roughly speaking, are given by tensoring withthe natural G-module V and its dual V* respectively, and thenprojecting onto certain blocks determined by the residue . Infact, these functors can be viewed as special cases of Jantzen'stranslation functors. We prove a number of fundamental propertiesabout these functors and also certain closely related functorsthat arise in the modular representation theory of the symmetricgroup. 1991 Mathematics Subject Classification: 20G05, 20C05.     

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.     

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.     

Bifurcations of Periodic Points of Holomorphic Maps From C2 into C2

Let F:Cⁿ Cⁿ be a holomorphic map, F^k be the kth iterate ofF, and p Cⁿ be a periodic point of F of period k. That is,F^k(p) = p, but for any positive integer j with j < k, F^j(p) p. If p is hyperbolic, namely if DF^k(p) has no eigenvalue ofmodulus 1, then it is well known that the dynamical behaviourof F is stable near the periodic orbit = {p, F(p),..., F^k–1(p)}.But if is not hyperbolic, the dynamical behaviour of F near may be very complicated and unstable. In this case, a veryinteresting bifurcational phenomenon may occur even though may be the only periodic orbit in some neighbourhood of : forgiven M N\{1}, there may exist a C^r-arc {F_t: t [0,1]} (wherer N or r = ) in the space H(Cⁿ) of holomorphic maps from Cⁿinto Cⁿ, such that F₀ = F and, for t (0,1], F_t has an Mk-periodicorbit _t with as t 0. Theperiod thus increases by a factor M under a C^r-small perturbation!If such an F_t does exist, then , as well as p, is said to beM-tupling bifurcational. This definition is independent of r. For the above F, there may exist a C^r-arc in H(Cⁿ), with t [0,1], such that and, for t (0,1], has two distinct k-periodic orbits _t,1 and _t,2 with d(_t,i, ) 0 as t 0 for i = 1,2. If such an does exist, then , as well as p, is said to be 1-tupling bifurcational. In recent decades, there have been many papers and remarkableresults which deal with period doubling bifurcations of periodicorbits of parametrized maps. L. Block and D. Hart pointed outthat period M-tupling bifurcations cannot occur for M >2 in the 1-dimensional case. There are examples showing thatfor any M N, period M-tupling bifurcations can occur in higher-dimensionalcases. An M-tupling bifurcational periodic orbit as defined here actsas a critical orbit which leads to period M-tupling bifurcationsin some parametrized maps. The main result of this paper isthe following. Theorem. Let k N and M N, and let F: C² C² be a holomorphicmap with k-periodic point p. Then p is M-tupling bifurcationalif and only if DF^k(p) has a non-zero periodic point of periodM. 1991 Mathematics Subject Classification: 32H50, 58F14.