On Fusion in Unipotent Blocks

The context of this note is as follows. One considers a connectedreductive group G and a Frobenius endomorphism F: G G definingG over a finite field of order q. One denotes by G^F the associated(finite) group of fixed points. Let l be a prime not dividing q. We are interested in the l-blocksof the finite group G^F. Such a block is called unipotent ifthere is a unipotent character (see, for instance, [6, Definition12.1]) among its representations in characteristic zero. Roughlyspeaking, it is believed that the study of arbitrary blocksof G^F might be reduced to unipotent blocks (see [2, Théorème2.3], [5, Remark 3.6]). In view of certain conjectures aboutblocks (see, for instance, [9]), it would be interesting tofurther reduce the study of unipotent blocks to the study ofprincipal blocks (blocks containing the trivial character).Our Theorem 7 is a step in that direction: we show that thelocal structure of any unipotent block of G^F is very close tothat of a principal block of a group of related type (notionof ‘control of fusion’, see [13, 49]). 1991 MathematicsSubject Classification 20Cxx.     

The Steinberg Lattice of a Finite Chevalley Group and its Modular Reduction

Let p be a prime and let q = p^a, where a is a positive integer.Let G 7equals; G(F_q) be a Chevalley group over F_q, with associatedsystem of roots and Weyl group W. Steinberg showed in 1957that G has an irreducible complex representation whose degreeequals the p-part of |G| [11]. This representation, now knownas the Steinberg representation, has remarkable properties,which reflect the structure of G, and there have been many researchpapers devoted to its study. The module constructed in [11]is in fact a right ideal in the integral group ring ZG of G,and is thus a ZG-lattice, which we propose to call the Steinberglattice of G. It should be noted that lattices not integrallyisomorphic to the Steinberg lattice may also afford the Steinbergrepresentation, and such lattices may differ considerably intheir properties compared with the Steinberg lattice.     

Intertwining Maps from Certain Group Algebras

In [17, 18, 19], we began to investigate the continuity propertiesof homomorphisms from (non-abelian) group algebras. Alreadyin [19], we worked with general intertwining maps [3, 12]. Thesemaps not only provide a unified approach to both homomorphismsand derivations, but also have some significance in their ownright in connection with the cohomology comparison problem [4]. The present paper is a continuation of [17, 18, 19]; this timewe focus on groups which are connected or factorizable in thesense of [26]. In [26], G. A. Willis showed that if G is a connectedor factorizable, locally compact group, then every derivationfrom L¹(G) into a Banach L¹(G)-module is automatically continuous.For general intertwining maps from L¹(G), this conclusion isfalse: if G is connected and, for some nN, has an infinite numberof inequivalent, n-dimensional, irreducible unitary representations,then there is a discontinuous homomorphism from L¹(G into aBanach algebra by [18, Theorem 2.2] (provided that the continuumhypothesis is assumed). Hence, for an arbitrary intertwiningmap from L¹(G), the best we can reasonably hope for is a resultasserting the continuity of on a ‘large’, preferablydense subspace of L¹(G). Even if the target space of is a Banachmodule (which implies that the continuity ideal I() of is closed),it is not a priori evident that is automatically continuous:the proofs of the automatic continuity theorems in [26] relyon the fact that we can always confine ourselves to restrictionsto L¹(G) of derivations from M(G) [25, Lemmas 3.1 and 3.4].It is not clear if this strategy still works for an arbitraryintertwining map from L¹(G) into a Banach L¹(G)-module.     

Maximal Subgroups of Large Rank in Exceptional Groups of Lie Type

Let G = G(q) be a finite almost simple exceptional group ofLie type over the field of q elements, where q = p^a and p isprime. The main result of the paper determines all maximal subgroupsM of G(q) such that M is an almost simple group which is alsoof Lie type in characteristic p, under the condition that rank(M)> rank(G). The conclusion is that either M is a subgroupof maximal rank, or it is of the same type as G over a subfieldof F_q, or (G, M) is one of (, F₄(q)), (, C₄(q)), (E₇(q),³D₄(q)). This completes work of the first author with Saxl andTesterman, in which the same conclusion was obtained under someextra assumptions.     

Beardon's Diophantine Equations and Non-Free Mobius Groups

Let µ be a real number. The Möbius group G_µis the matrix group generated by It is known that G_µ is free if |µ| 2 (see [1])or if µ is transcendental (see [3, 8]). Moreover, thereis a set of irrational algebraic numbers µ which is densein (–2, 2) and for which G_µ is non-free [2, p. 528].We may assume that µ > 0, and in this paper we considerrational µ in (0, 2). The following problem is difficult. Let G^nf denote the set of all rational numbers µ in (0,2) for which G_µ is non-free. In 1969 Lyndon and Ullman[8] proved that G^nf contains the elements of the forms p/(p²+ 1) and 1/(p + 1), where p = 1, 2, ..., and that if µ₀ G^nf, then µ₀/p G^nf for p = 1, 2, .... In 1993 Beardon[2] studied problem (P) by means of the words of the form A^rB^s A^t and A^r B^s A^t B^u A^v, and he obtained a sufficient conditionfor solvability of (P), included implicitly in [2, pp. 530–531],by means of the following Diophantine equations: 1991 Mathematics SubjectClassification 20E05, 20H20, 11D09.     

Serre's Theorem on the Cohomology Algebra of a p-Group

The purpose of this note is to give a proof of a theorem ofSerre, which states that if G is a p-group which is not elementaryabelian, then there exist an integer m and non-zero elementsx₁, ..., x_m H¹ (G, Z/p) such that with ß the Bockstein homomorphism. Denote by m_G thesmallest integer m satisfying the above property. The theoremwas originally proved by Serre [5], without any bound on m_G.Later, in [2], Kroll showed that m_G p^k – 1, with k =dim_Z/pH¹ (G, Z/p). Serre, in [6], also showed that m_G (p^k –1)/(p – 1). In [3], using the Evens norm map, Okuyamaand Sasaki gave a proof with a slight improvement on Serre'sbound; it follows from their proof (see, for example, [1, Theorem4.7.3]) that m_G (p + 1)p^k–2. However, m_G can be sharpenedfurther, as we see below. For convenience, write H^*(G, Z/p) = H^*(G). For every x_i H¹(G),set 1991 Mathematics SubjectClassification 20J06.     

Exceptional Functions and Normality

Yang proved in [10] that if f and f^(k) have no fix-points forevery fF, where F is a family of meromorphic functions in adomain G and k a fixed integer, then F is normal in G. In thispaper we prove normality for families F for which every fF omits₁ and f^(k) omits ₂, where ₁ and ₂ are analytic functions with. 1991 Mathematics SubjectClassification 30D35, 30D45.     

Multistep approximation of linear sectorial evolution equations

This paper concerns the linear multistep approximation of alinear sectorial evolution equation u_t = Au on a complex Banachspace X. Given a strictly A()-stable q-step method of orderp whose stability region includes a sectorial region containingthe spectrum of the operator A, the corresponding evolutionsemigroup for the method is Cⁿ(hA), n 0, defined on X^q, whereC(z) L (C^q) denotes the one-step map associated with the method.It is shown that for appropriately chosen V, Y: C C^q, basedon the principal right and left eigenvectors of C(z), Cⁿ(hA)approximates the semigroup V(hA)e^nhAY^H(hA) with optimal orderp.     

Euler Characteristics of Real Varieties

In this paper we show how to associate to any real projectivealgebraic variety Z RP^n–1 a real polynomial F₁:Rⁿ,0 R, 0 with an algebraically isolated singularity, having theproperty that (Z) = (1 – deg (grad F₁), where deg (gradF₁ is the local real degree of the gradient grad F₁:Rⁿ, 0 Rⁿ,0. This degree can be computed algebraically by the method ofEisenbud and Levine, and Khimshiashvili [5]. The variety Z neednot be smooth. This leads to an expression for the Euler characteristic ofany compact algebraic subset of Rⁿ, and the link of a quasihomogeneousmapping f: Rⁿ, 0 Rⁿ, 0 again in terms of the local degree ofa gradient with algebraically isolated singularity. Similar expressions for the Euler characteristic of an arbitraryalgebraic subset of Rⁿ and the link of any polynomial map aregiven in terms of the degrees of algebraically finite gradientmaps. These maps do involve ‘sufficiently small’constants, but the degrees involved ar (theoretically, at least)algebraically computable.     

Confined Subgroups of Simple Locally Finite Groups and Ideals of their Group Rings

We are concerned in this paper with the ideal structure of grouprings of infinite simple locally finite groups over fields ofcharacteristic zero, and its relation with certain subgroupsof the groups, called confined subgroups. The systematic studyof the ideals in these group rings was initiated by the secondauthor in[15], although some results had been obtained previously(see [3, 1]). Let G be an infinite simple locally finite groupand K a field of characteristic zero. It is expected that inmost cases, the group ring KG will have the smallest possiblenumber of ideals, namely three, (KG itself, {0} and the augmentationideal), and this has been verified in some cases. In some interestingcases, however, the situation is different, and there are moreideals. We mention in particular the infinite alternating groups[3] and the stable special linear groups [9], in which the ideallattice has been completely determined. The second author hasconjectured that the presence of ideals in KG, other than thethree unavoidable ones, is synonymous with the presence in thegroup of proper confined subgroups. Here a subgroup H of a locallyfinite group G is called confined, if there exists a finitesubgroup F of G such that H^gF1 for all gG. This amounts to sayingthat F has no regular orbit in the permutation representationof G on the cosets of H.     

One Cubic Diophantine Inequality

Suppose that G(x) is a form, or homogeneous polynomial, of odddegree d in s variables, with real coefficients. Schmidt [15]has shown that there exists a positive integer s₀(d), whichdepends only on the degree d, so that if s s₀(d), then thereis an x Z^s\{0} satisfying the inequality |G(x)|<1. (1) In other words, if there are enough variables, in terms of thedegree only, then there is a nontrivial solution to (1). Lets₀(d) be the minimum integer with the above property. In thecourse of proving this important result, Schmidt did not explicitlygive upper bounds for s₀(d). His methods do indicate how todo so, although not very efficiently. However, in fact muchearlier, Pitman [13] provided explicit bounds in the case whenG is a cubic. We consider a general cubic form F(x) with realcoefficients, in s variables, and look at the inequality |F(x)|<1. (2) Specifically, Pitman showed that if s(1314)²⁵⁶–1, (3) then inequality (2) is non-trivially soluble in integers. Wepresent the following improvement of this bound.     

The Natural Morphisms between Toeplitz Algebras on Discrete Groups

Let G be a discrete group and (G, G₊) be a quasi-ordered group.Set G₊(G₊)^–1 and G₁= (G₊\){e}. Let F^G₁(G) andF^G₊(G) be the corresponding Toeplitz algebras. In the paper,a necessary and sufficient condition for a representation ofF^G₊(G) to be faithful is given. It is proved that when G isabelian, there exists a natural C*-algebra morphism from F^G₁(G)to F^G₊(G). As an application, it is shown that when G = Z² andG₊ = Z₊ x Z, the K-groups K₀(F^G₁(G)) Z², K₁(F^G₁(G)) Z andall Fredholm operators in F^G₁(G) are of index zero.     

On the Centred Hausdorff Measure

Let v be a measure on a separable metric space. For t, q R,the centred Hausdorff measures µ^h with the gauge functionh(x, r) = r^t(vB(x, r))^q is studied. The dimension defined bythese measures plays an important role in the study of multifractals.It is shown that if v is a doubling measure, then µ^h isequivalent to the usual spherical measure, and thus they definethe same dimension. Moreover, it is shown that this is trueeven without the doubling condition, if q 1 and t 0 or ifq 0. An example in R² is also given to show the surprisingfact that the above assertion is not necessarily true if 0 <q < 1. Another interesting question, which has been askedseveral times about the centred Hausdorff measure, is whetherit is Borel regular. A positive answer is given, using the aboveequivalence for all gauge functions mentioned above.     

The Non-Finite Presentability of the Automorphism Group of the Free Z-Group of Rank Two

Let G be a group, and let F_n[G] be the free G-group of rankn. Then F_n[G] is just the natural non-abelian analogue of thefree ZG-module of rank n, and correspondingly the group _n(G)of equivariant automorphisms of F_n[G] is a natural analogueof the general linear group GL_n(ZG). The groups _n(G) have beenstudied recently in [4, 8, 5]. In particular, in [5] it wasshown that if G is not finitely presentable (f.p.) then neitheris _n(G), and conversely, that _n(G) is f.p. if G is f.p. andn2. It is a common phenomenon that for small ranks the automorphismgroups of free objects may behave unstably (see the survey article[2]), and the main aim of the present paper is to show thatthis turns out to be the case for the groups ₂(G).     

Hypersurface Singularities with 2-Dimensional Critical Locus

Consider an analytic germ f:(C^m, 0)(C, 0) (m3) whose criticallocus is a 2-dimensional complete intersection with an isolatedsingularity (icis). We prove that the homotopy type of the Milnorfiber of f is a bouquet of spheres, provided that the extendedcodimension of the germ f is finite. This result generalizesthe cases when the dimension of the critical locus is zero [8],respectively one [12]. Notice that if the critical locus isnot an icis, then the Milnor fiber, in general, is not homotopicallyequivalent to a wedge of spheres. For example, the Milnor fiberof the germ f:(C⁴, 0)(C, 0), defined by f(x₁, x₂, x₃, x₄) =x₁x₂x₃x₄ has the homotopy type of S¹xS¹xS¹. On the other hand,the finiteness of the extended codimension seems to be the rightgeneralization of the isolated singularity condition; see forexample [9–12, 17, 18]. In the last few years different types of ‘bouquet theorems’have appeared. Some of them deal with germs f:(X, x)(C, 0) wheref defines an isolated singularity. In some cases, similarlyto the Milnor case [8], F has the homotopy type of a bouquetof (dim X–1)-spheres, for example when X is an icis [2],or X is a complete intersection [5]. Moreover, in [13] Siersmaproved that F has a bouquet decomposition FF₀Sⁿ...Sⁿ (whereF₀ is the complex link of (X, x)), provided that both (X, x)and f have an isolated singularity. Actually, Siersma conjecturedand Tibr proved [16] a more general bouquet theorem for thecase when (X, x) is a stratified space and f defines an isolatedsingularity (in the sense of the stratified spaces). In thiscase F_iF_i, where the F_i are repeated suspensions of complexlinks of strata of X. (If (X, x) has the ‘Milnor property’,then the result has been proved by Lê; for details see[6].) In our situation, the space-germ (X, x) is smooth, but f hasbig singular locus. Surprisingly, for dim Sing f^–1(0)2,the Milnor fiber is again a bouquet (actually, a bouquet ofspheres, maybe of different dimensions). This result is in thespirit of Siersma's paper [12], where dim Sing f^–1(0)= 1. In that case, there is only a rather small topologicalobstruction for the Milnor fiber to be homotopically equivalentto a bouquet of spheres (as explained in Corollary 2.4). Inthe present paper, we attack the dim Sing f^–1(0) = 2 case.In our investigation some results of Zaharia are crucial [17,18].     

On Simultaneously Badly Approximable Numbers

For any pair i,j 0 with i+j=1 let Bad(i,j) denote the set ofpairs (,ß) R² for which max{||q||^1/i||qß|^1/j}>c/qfor all q N. Here c=c(,ß) is a positive constant.If i=0 the set Bad(0, 1) is identified with RxBad where Badis the set of badly approximable numbers. That is, Bad(0, 1)consists of pairs (, ß) with R and ß Bad If j=0 the roles of and ß are reversed. It isproved that the set Bad(1,0)Bad (0,1) Bad(i,j) has Hausdorffdimension 2, that is, full dimension. The method easily generalizesto give analogous statements in higher dimensions.     

Binary Quadratic Forms with Large Discriminants and Sums of Two Squareful Numbers II

Let F = (F₁, ..., F_m) be an m-tuple of primitive positive binaryquadratic forms and let U_F(x) be the number of integers notexceeding x that can be represented simultaneously by all theforms F_j, j = 1, ... , m. Sharp upper and lower bounds for U_F(x)are given uniformly in the discriminants of the quadratic forms. As an application, a problem of Erds is considered. Let V(x)be the number of integers not exceeding x that are representableas a sum of two squareful numbers. Then V(x) = x(log x)^–+o(1)with = 1 – 2^–1/3 = 0.206....     

Ramanujan's Eisenstein series and powers of Dedekind's eta-function

In this article, we use the theory of elliptic functions toconstruct theta function identities which are equivalent toMacdonald's identities for A₂, B₂ and G₂. Using these identities,we express, for d = 8, 10 or 14, certain theta functions inthe form ^d()F(P, Q, R), where () is Dedekind's eta-function,and F(P, Q, R) is a polynomial in Ramanujan's Eisenstein seriesP, Q and R. We also derive identities in the case when d = 26.These lead to a new expression for ²⁶(). This work generalizesthe results for d = 1 and d = 3 which were given by Ramanujanon page 369 of ‘The Lost Notebook’.     

On the Global Stability of Cooperative Systems

Suppose that F is a C¹ cooperative vector field on X, whereX = Rⁿ or Int , or [[p, q]].We prove that the unique equilibrium of F is globally asymptoticallystable if and only if every forward semi-orbit has compact closurein X.