To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
This paper gives the classification of the Whittaker unitary dual for affine graded Hecke algebras of type E. By the Iwahori–Matsumoto involution, this is also equivalent to the classification of the spherical unitary dual for type E. Together with some results of Barbasch and Moy (D. Barbasch and A. Moy, Unitary spherical spectrum for p-adic classical groups, Acta Appl. Math. 44 (1996), 3–37; D. Barbasch, The spherical unitary spectrum of split classical real and p-adic groups, Preprint (2006), math/0609828) and Ciubotaru (D. Ciubotaru, The Iwahori spherical unitary dual of the split group of type F4, Represent. Theory 9 (2005), 94–137), this work completes the classification of the Whittaker Iwahori-spherical unitary dual or, equivalently, the spherical unitary dual of any split p-adic group.
Let H be the generic Iwahori–Hecke algebra associated with a finite Coxeter group W. Recently, we have shown that H admits a natural cellular basis in the sense of Graham and Lehrer, provided that W is a Weyl group and all parameters of H are equal. The construction involves some data arising from the Kazhdan–Lusztig basis {Cw} of H and Lusztig's asymptotic ring J}. We attempt to study J and its representation theory from a new point of view. We show that J can be obtained in an entirely different fashion from the generic representations of H, without any reference to {Cw}. We then extend the construction of the cellular basis to the case where W is not crystallographic. Furthermore, if H is a multi-parameter algebra, we see that there always exists at least one cellular structure on H. Finally, the new construction of J may be extended to Hecke algebras associated with complex reflection groups.
We give a qualitative description of the set 𝒪G(H) of overgroups in G of primitive subgroups H of finite alternating and symmetric groups G, and particularly of the maximal overgroups. We then show that certain weak restrictions on the lattice 𝒪G(H) impose strong restrictions on H and its overgroup lattice.
For a fixed parabolic subalgebra 𝔭 of we prove that the centre of the principal block 𝒪0𝔭 of the parabolic category 𝒪 is naturally isomorphic to the cohomology ring H*(ℬ𝔭) of the corresponding Springer fibre. We give a diagrammatic description of 𝒪0𝔭 for maximal parabolic 𝔭 and give an explicit isomorphism to Braden’s description of the category PervB(G(k,n)) of Schubert-constructible perverse sheaves on Grassmannians. As a consequence Khovanov’s algebra ℋn is realised as the endomorphism ring of some object from PervB(G(n,n)) which corresponds under localisation and the Riemann–Hilbert correspondence to a full projective–injective module in the corresponding category 𝒪0𝔭. From there one can deduce that Khovanov’s tangle invariants are obtained from the more general functorial invariants in [C. Stroppel, Categorification of the Temperley Lieb category, tangles, and cobordisms via projective functors, Duke Math. J. 126(3) (2005), 547–596] by restriction.
Let G be a group. A subset N of G is a set of pairwise noncommuting elements if xy⁄=yx for any two distinct elements x and y in N. If ∣N∣≥∣M∣ for any other set of pairwise noncommuting elements M in G, then N is said to be a maximal subset of pairwise noncommuting elements. In this paper we determine the cardinality of a maximal subset of pairwise noncommuting elements in a three-dimensional general linear group. Moreover, we show how to modify a given maximal subset of pairwise noncommuting elements into another maximal subset of pairwise noncommuting elements that contains a given ‘generating element’ from each maximal torus.
Let G be a group and let CAutΦ(G)(Z(Φ(G))) be the set of all automorphisms of G centralizing G/Φ(G) and Z(Φ(G)). For each prime p and finite p-group G, we prove that CAutΦ(G)(Z(Φ(G)))≤Inn(G) if and only if G is elementary abelian or Φ(G)=Z(G) and Z(G) is cyclic.
We extend the group theoretic notions of transfer and stable elements to graded centres of triangulated categories. When applied to the centre Z*(Db(B) of the derived bounded category of a block algebra B we show that the block cohomology H*(B) is isomorphic to a quotient of a certain subalgebra of stable elements of Z*(Db(B)) by some nilpotent ideal, and that a quotient of Z*(Db(B)) by some nilpotent ideal is Noetherian over H*(B).
A subgroup A of a group G has the strong cover-avoidance property inG, or A is a strong CAP-subgroup ofG, if A either covers or avoids every chief factor of every subgroup of G containing A. The main aim of the present paper is to analyse the impact of the strong cover and avoidance property of the members of some relevant families of subgroups on the structure of a group.
We show that if G is any p-group of class at most two and exponent p, then there exist groups G1 and G2 of class two and exponent p that contain G, neither of which can be expressed as a central product, and with G1 capable and G2 not capable. We provide upper bounds for rank(Giab) in terms of rank(Gab) in each case.
A group G satisfies the second Engel condition [X,Y,Y ]=1 if and only if x commutes with xy, for all x,y∈G. This paper considers the generalization of this condition to groups G such that, for fixed positive integers r and s, xr commutes with (xs)y for all x,y∈G. Various general bounds are proved for the structure of groups in the corresponding variety, defined by the law [Xr,(Xs)Y]=1.
In this paper we determine the group of endotrivial modules for certain symmetric and alternating groups in characteristic p. If p = 2, then the group is generated by the class of Ωn(k) except in a few low degrees. If p > 2, then the group is only determined for degrees less than p2. In these cases we show that there are several Young modules which are endotrivial.
We analyse Hecke pairs (G,H) and the associated Hecke algebra when G is a semi-direct product N ⋊ Q and H = M ⋊ R for subgroups M ⊂ N and R ⊂ Q with M normal in N. Our main result shows that, when (G,H) coincides with its Schlichting completion and R is normal in Q, the closure of in C*(G) is Morita–Rieffel equivalent to a crossed product I⋊βQ/R, where I is a certain ideal in the fixed-point algebra C*(N)R. Several concrete examples are given illustrating and applying our techniques, including some involving subgroups of GL(2,K) acting on K2, where K = ℚ or K = ℤ[p−1]. In particular we look at the ax + b group of a quadratic extension of K.
A complete Sylow sequence, 𝒫=P1,…,Pm, of a finite group G is a sequence of m Sylow pi-subgroups of G, one for each pi, where p1,…,pm are all of the distinct prime divisors of |G|. A product of the form P1⋯Pm is called a complete Sylow product of G. We prove that the solvable radical of G equals the intersection of all complete Sylow products of G if, for every composition factor S of G, and for every ordering of the prime divisors of |S|, there exist a complete Sylow sequence 𝒫 of S, and g∈S such that g is uniquely factorizable in 𝒫 . This generalizes our results in Kaplan and Levy [‘The solvable radical of Sylow factorizable groups’, Arch. Math.85(6) (2005), 490–496].
A cover of a group is a finite collection of proper subgroups whose union is the whole group. A cover is minimal if no cover of the group has fewer members. It is conjectured that a group with a minimal cover of nilpotent subgroups is soluble. It is shown that a minimal counterexample to this conjecture is almost simple and that none of a range of almost simple groups are counterexamples to the conjecture.
We make several conjectures, and prove some results, pertaining to conjugacy classes of a given size in finite groups, especially in p-groups and 2-groups.
Let G be isomorphic to a group H satisfying SL(d,q)≤H≤GL(d,q) and let W be an irreducible FqG-module of dimension at most d2. We present a Las Vegas polynomial-time algorithm which takes as input W and constructs a d-dimensional projective representation of G.
Let α be a formation of finite groups which is closed under subgroups and group extensions and which contains the formation of solvable groups. Let G be any finite group. We state and prove equivalences between conditions on chief factors of G and structural characterizations of the α-residual and theα-radical of G. We also discuss the connection of our results to the generalized Fitting subgroup of G.
Let G bea p-group of maximal class of order pn. It isshown that the order of the group of all automorphisms of G centralizing the Frattini quotient takes the maximum value p2n−4 if and only if G is metabelian. A structure theorem is proved for the Sylow p-subgroup, Autp(G), of the automorphism group of G when G is metabelian. For p=2, Aut2(G) is the full automorphism group of G. For p=3, we prove a structure theorem for the full automorphism group of G.
We give a formula for the character of the representation of the symmetric group Sn on each isotypic component of the cohomology of the set of regular elements of a maximal torus of SLn, with respect to the action of the centre.