Projective bases of division algebras and groups of central type II

Let G be a finite group and let k be a field. We say that G is a projective basis of a k-algebra A if it is isomorphic to a twisted group algebra k ^α G for some α ∈ H ²(G, k ^×), where the action of G on k ^× is trivial. In a preceding paper by Aljadeff, Haile and the author it was shown that if a group G is a projective basis of a k-central division algebra, then G is nilpotent and every Sylow p-subgroup of G is on the short list of p-groups, denoted by Λ. In this paper we complete the classification of projective bases of division algebras by showing that every group on that list is a projective basis for a suitable division algebra. We also consider the question of uniqueness of a projective basis of a k-central division algebra. We show that basically all groups on the list Λ but one satisfy certain rigidity property. This work was supported in part by the US-Israel Binational Science Foundation Grant 82334. The author would like to thank Louis Rowen and the Department Department of Mathematics at Bar Ilan University, Ramat Gan, Israel, for kind hospitality and support.     

On the Grassmann modules for the unitary groups

Let V be 2n-dimensional vector space over a field 𝕂 equipped with a nondegenerate skew-ψ-Hermitian form f of Witt index n ≥ 1, let 𝕂₀ ? 𝕂 be the fix field of ψ and let G denote the group of isometries of (V, f). For every k ∈ {1, …, 2n}, there exist natural representations of the groups G ? U(2n, 𝕂/𝕂₀) and H = G ∩ SL(V) ? SU(2n, 𝕂/𝕂₀) on the k-th exterior power of V. With the aid of linear algebra, we prove some properties of these representations. We also discuss some applications to projective embeddings and hyperplanes of Hermitian dual polar spaces.     

Reflection sieve obstructions in finite groups of type dn

In [4] we constructed certain homology representations of a finite group G of type A_n, B_n or C_n, and showed that these representations can be used to sift out the reflection compound characters of G. In the present note, we show that for a group G of type D_n, each reflection compound character π^(k), 2 k n − 2, determines a unique “obstruction” character θ^(k), which occurs with positive multiplicity in every homology representation containing π^(k).     

A decomposition theorem for G-groups

Some classical results about linear representations of a finite group G have been also proved for representations of G on non-abelian groups （G-groups）. In this paper we establish a decomposition theorem for irreducible G-groups which expresses a suitable irreducible G-group as a tensor product of two projective G-groups in a similar way to the celebrated theorem of Clifford for linear representations. Moreover, we study the non-abelian minimal normal subgroups of G in which this decomposition is possible.     

On cuspidal representations of general linear groups over discrete valuation rings

We define a new notion of cuspidality for representations of GL _n over a finite quotient o _k of the ring of integers o of a non-Archimedean local field F using geometric and infinitesimal induction functors, which involve automorphism groups G _λ of torsion o-modules. When n is a prime, we show that this notion of cuspidality is equivalent to strong cuspidality, which arises in the construction of supercuspidal representations of GL _n (F). We show that strongly cuspidal representations share many features of cuspidal representations of finite general linear groups. In the function field case, we show that the construction of the representations of GL _n (o _k ) for k ≥ 2 for all n is equivalent to the construction of the representations of all the groups G _λ . A functional equation for zeta functions for representations of GL _n (o _k ) is established for representations which are not contained in an infinitesimally induced representation. All the cuspidal representations for GL₄(o₂) are constructed. Not all these representations are strongly cuspidal.     

Semi-invariant Matrices over Finite Groups

The semi-center of an artinian semisimple module-algebra over a finite group G can be described using the projective representations of G. In particular, the semi-center of the endomorphism ring of an irreducible projective representation over an algebraically closed field has a structure of a twisted group algebra. The following group-theoretic result is deduced: the center of a group of central type embeds into the group of its linear characters.     

A geometric Jacquet-Langlands correspondence for <Emphasis Type="Italic">U</Emphasis>(2) Shimura varieties

Let G be a unitary group over ℚ, associated to a CM-field F with totally real part F ⁺, with signature (1, 1) at all the archimedean places of F ⁺. Under certain hypotheses on F ⁺, we show that Jacquet-Langlands correspondences between certain automorphic representations of G and representations of a group G′ isomorphic to G except at infinity can be realized in the cohomology of Shimura varieties attached to G and G′.     

Krull–Schmidt reduction of principal bundles in arbitrary characteristic

Let M be an irreducible projective variety defined over an algebraically closed field k, and let E_G be a principal G-bundle over M, where G is a connected reductive linear algebraic group defined over k. We show that for E_G there is a naturally associated conjugacy class of Levi subgroups of G. Given a Levi subgroup H in this conjugacy class, the principal G-bundle E_G admits a reduction of structure group to H. Furthermore, this reduction is unique up to an automorphism of E_G.     

The Projective Cover of the Trivial Module Over a Group Algebra of a Finite Group

We determine all finite groups G such that the Loewy length (socle length) of the projective cover P(k _G ) of the trivial kG-module k _G is four, where k is a field of characteristic p > 0 and kG is the group algebra of G over k, by using previous results and also the classification of finite simple groups. As a by-product we prove also that if p = 2 then all finite groups G such that the Loewy lengths of the principal block algebras of kG are four, are determined.     

Lifting orthogonal representations to spin groups and local root numbers

Representations ofD _k ^* k ^* for a quaternion division algebraD _k over a local fieldk are orthogonal representations. In this note we investigate when these orthogonal representations can be lifted to the corresponding spin group. The results are expressed in terms of local root number of the representation.     

Automorphic Plancherel density theorem

Let F be a totally real field, G a connected reductive group over F, and S a finite set of finite places of F. Assume that G(F ?_? ?) has a discrete series representation. Building upon work of Sauvageot, Serre, Conrey-Duke-Farmer and others, we prove that the S-components of cuspidal automorphic representations of $G\left( {\mathbb{A}_F } \right)$ are equidistributed with respect to the Plancherel measure on the unitary dual of G(F _S ) in an appropriate sense. A few applications are given, such as the limit multiplicity formula for local representations in the global cuspidal spectrum and a quite flexible existence theorem for cuspidal automorphic representations with prescribed local properties. When F is not a totally real field or G(F ?_? ?) has no discrete series, we present a weaker version of the above results.     

Endomorphism algebras of transitive permutation modules for p-groups

Let G be a finite p-group with subgroup H and k a field of characteristic p. We study the endomorphism algebra E = End_kG(k_H ↑^G), showing that it is a split extension of a nilpotent ideal by the group algebra kN_G(H)/H. We identify the space of endomorphisms that factor through a projective kG-module and hence the endomorphism ring of k_H ↑^G in the stable module category, and determine the Loewy structure of E when G has nilpotency class 2 and [G, H] is cyclic. Received: 3 November 2008     

Equivariant Reduction to Torus of a Principal Bundle

Let M be an irreducible projective variety, over an algebraically closed field k of characteristic zero, equipped with an action of a connected algebraic group S over k. Let E _G be a principal G-bundle over M equipped with a lift of the action of S on M, where G is a connected reductive linear algebraic group. Assume that E _G admits a reduction of structure group to a maximal torus TG. We give a necessary and sufficient condition for the existence of a T-reduction of E _G which is left invariant by the action of S on E _G .     

Automorphic equivalence in the varieties of representations of Lie algebras

Abstract

In this paper, we consider the wide class of subvarieties of the variety of all representation of Lie algebras over a field k of characteristic 0. We study the relation between the geometric equivalence and automorphic equivalence of the representations from these subvarieties.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

Op��rateurs d��entrelacement et?alg��bres de Hecke avec param��tres d��un groupe r��ductif p-adique: le cas des groupes classiques

For G, a symplectic or orthogonal p-adic group (not necessarily split) or an inner form of a general linear p-adic group, we compute the endomorphism algebras of some induced projective generators à la Bernstein of the category of smooth representations of G and show that these algebras are isomorphic to the semi-direct product of a Hecke algebra with parameters by a finite group algebra. Our strategy and parts of our intermediate results apply to a general reductive connected p-adic group.     

A remark on divisibility of definable groups

We show that if G is a definably compact, definably connected definable group defined in an arbitrary o‐minimal structure, then G is divisible. Furthermore, if G is defined in an o‐minimal expansion of a field, k ∈ ? and p_k : G → G is the definable map given by p_k (x ) = x^k for all x ∈ G , then we have |(p_k )^–1(x )| ≥ k^r for all x ∈ G , where r > 0 is the maximal dimension of abelian definable subgroups of G . (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Complete reducibility,Külshammer’s question,conjugacy classes: A D4 example

Let k be a nonperfect separably closed field. Let G be a connected reductive algebraic group defined over k. We study rationality problems for Serre’s notion of complete reducibility of subgroups of G. In particular, we present a new example of subgroup H of G of type D₄ in characteristic 2 such that H is G-completely reducible but not G-completely reducible over k (or vice versa). This is new: all known such examples are for G of exceptional type. We also find a new counterexample for Külshammer’s question on representations of finite groups for G of type D₄. A problem concerning the number of conjugacy classes is also considered. The notion of nonseparable subgroups plays a crucial role in all our constructions.