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.     

Rational Mackey functors for compact lie groups I

A Mackey functor M is a structure analogous to the representationring functor H R(H) encoding good formal behaviour under inductionand restriction. More explicitly, M associates an abelian groupM(H) to each closed subgroup H of a fixed compact Lie groupG, and to each inclusion K H it associates a restriction map and an induction map . This paper gives an analysis of thecategory of Mackey functors M whose values are rational vectorspaces: such a Mackey functor may be specified by giving a suitablycontinuous family consisting of a Q ₀(W_G(H))-module V(H) foreach closed subgroup H with restriction maps V(K) V(K) wheneverK is normal in K and K/K is a torus (a ‘continuous Weyl-toralmodule’). We show that the category of rational Mackeyfunctors is equivalent to the category of rational continuousWeyl-toral modules. In Part II this will be used to give analgebraic analysis of the category of rational Mackey functors,showing in particular that it has homological dimension equalto the rank of the group. 1991 Mathematics Subject Classification:19A22, 20C99, 22E15, 55N91, 55P42, 55P91.     

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.     

Base sizes for simple groups and a conjecture of Cameron

Let G be a permutation group on a finite set . A base for Gis a subset B with pointwise stabilizer in G that is trivial;we write b(G) for the smallest size of a base for G. In thispaper we prove that b(G) 6 if G is an almost simple group ofexceptional Lie type and is a primitive faithful G-set. Animportant consequence of this result, when combined with otherrecent work, is that b(G) 7 for any almost simple group G ina non-standard action, proving a conjecture of Cameron. Theproof is probabilistic and uses bounds on fixed point ratios.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

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.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.     

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.     

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.     

Geometric Limit Sets of Higher Rank Lattices

Let G be a semisimple Lie group of R-rank at least 2 and adiscrete subgroup of G. We consider the limit set of in thegeometric boundary of the symmetric space associated with G.We define the notion of conical and horospherical limit points.In the case of irreducible non-uniform lattices, by using thetwo Tits building structures, we distinguish the location oftheir conical limit points. The limit sets of generalized Schottkygroups contained in Hilbert modular groups are studied. 2000Mathematics Subject Classification 22E40 (primary), 53C35 (secondary).     

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.     

Chaotic Expansion of Elements of the Universal Enveloping Algebra of a Lie Algebra Associated with a Quantum Stochastic Calculus

The functional Ito formula, in the form df() = f( + d ) –f(),is formulated and proved in the context of a Lie algebra L associatedwith a quantum (non-commutative) stochastic calculus. Here fis an element of the universal enveloping algebra U of L, andf() + d() – f() is given a meaning using the coproductstructure of U even though the individual terms of this expressionhave no meaning. The Ito formula is equivalent to a chaoticexpansion formula for f() which is found explicitly. 1991 MathematicsSubject Classification: primary 81S25; secondary 60H05; tertiary18B25.     

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.     

Smooth Morphisms of Module Schemes

Let :A to B be a homomorphism of finite-dimensional algebrasover an algebraically closed field and the induced morphism of the associated module schemesfor any integer c 1. We prove that if the induced functor modB mod A is hom-controlled then the restriction of ^(c) to anyconnected component of is a composition of a smooth morphism followed by an immersion.Some new results on the types of singularities in the orbitclosures of module schemes are also proved. 2000 Mathematical Subject Classification: 14B05, 14L30, 16G10.     

Uniform Lattice Point Estimates for Co-Finite Fuchsian Groups

In this paper we obtain uniform estimates for the lattice pointproblem in the hyperbolic plane H under the assumption thatthe action is by a Fuchsian group which is co-finite. We fixa point w from H and set N_t(z, w) equal to the number of translatesof w by the group which lie in a geodesic ball of radius tcentred at a point z of H. The behaviour of N_t(z, w) is thenexamined when t is large and z is allowed to vary over H. Weshow that the finite quantity depends crucially on the point w, and indeed can become arbitrarilylarge with w. On the other hand, for the average of this quotientwe derive the estimate as t , where the implied constant is an explicit function ofw. In this formula, vol(F) is the hyperbolic volume of a Dirichletfundamentaldomain F for , and |_w| denotes the number of elements from fixing w. This estimate is then combined with a recent samplingtheorem of K. Seip to obtain an inequality which decides whetheror not the orbit . w forms a set of interpolation for a givenweighted Bergman space in H. 1991 Mathematics Subject Classification:11F72, 11P21, 30D35, 30E05, 30F35.     

Morita Equivalent 3-Blocks of the 3-Dimensional Projective Special Linear Groups

If G is a projective special linear group PSL(3,q) with q 4or 7 (mod 9), then a Sylow 3-subgroup of G is elementary abelianof order 9. We show that the principal 3-blocks of any two suchgroups are Morita equivalent. This result and Okuyama's theoremfor PSL(3,4) prove the Broué conjecture for these blocks.1991 Mathematics Subject Classification: 20C05, 20C20.     

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.     

Witt groups and unipotent elements in algebraic groups

Let G be a semisimple algebraic group defined over an algebraicallyclosed field K of good characteristic p>0. Let u be a unipotentelement of G of order p^t, for some t N. In this paper it isshown that u lies in a closed subgroup of G isomorphic to theit Witt group W^t(K), which is a t-dimensional connected abelianunipotent algebraic group. 2000 Mathematics Subject Classification:20G15.     

Vinogradov's Integral and Bounds for the Riemann Zeta Function

The main result is an upper bound for the Riemann zeta functionin the critical strip: with A = 76.2 and B = 4.45, valid for 1 and |t| 3. The previousbest constant B was 18.5. Tools include a variant of the Korobov–Vinogradovmethod of bounding exponential sums, an explicit version ofT. D. Wooley's bounds for Vinogradov's integral, and explicitbounds for mean values of exponential sums over numbers withoutsmall prime factors, also using methods of Wooley. An auxiliaryresult is the exponential sum bound , where N is a positive integer, t is a real number, = log (t)/(logN) and 2000 Mathematical Subject Classification: primary 11M06, 11N05,11L15; secondary 11D72, 11M35.