On p-chief factors and extensions of $ \mathbb{K} $ G-modules

The subject of this paper is the relationship between the set of chief factors of a finite group G and extensions of an irreducible \mathbbK \mathbb{K} G-module U ( \mathbbK \mathbb{K} a field). Let H / L be a p-chief factor of G. We prove that, if H / L is complemented in a vertex of U, then there is a short exact sequence of Ext-functors for the module U and any \mathbbK \mathbb{K} G-module V. In some special cases, we prove the converse, which is false in general. We also consider the intersection of the centralizers of all the extensions of U by an irreducible module and provide new bounds for this group.     

Orbits of the Actions of Odd-Order Solvable Groups

Suppose that V is a finite faithful irreducible G-module where G is a finite solvable group of odd order. We prove if the action is quasi-primitive, then either F(G) is abelian or G has at least 212 regular orbits on V. As an application, we prove that when V is a finite faithful completely reducible G-module for a solvable group G of odd order, then there exists v ∈ V such that C _G (v) ? F ₂(G) (where F ₂(G) is the 2nd ascending Fitting subgroup of G). We also generalize a result of Espuelas and Navarro. Let G be a group of odd order and let H be a Hall π-subgroup of G. Let V be a faithful G-module over a finite field of characteristic 2, then there exists v ∈ V such that C _H (v) ? O _π(G).     

Supersoluble and Related Cofinitary Groups

Let D be a division ring (possibly commutative) and V an infinite-dimensional left vector space over D. We consider irreducible subgroups G of GL(V) containing an element whose fixed-point set in V is non-zero but finite dimensional (over D). We then derive conclusions about cofinitary groups, an element of GL(V) being cofinitary if its fixed-point set is finite dimensional and a subgroup G of GL(V) being cofinitary if all its non-identity elements are confinitary. In particular we show that an irreducible cofinitary subgroup G of GL(V) is usually imprimitive if G is supersoluble and is frequently imprimitive if G is hypercyclic. The latter includes the case where G is hypercentral, which apparently is also new.     

Vertex operator algebras,generalized doubles and dual pairs

Let V be a simple vertex operator algebra and G a finite automorphism group. Then there is a natural right G-action on the set of all inequivalent irreducible V-modules. Let be a finite set of inequivalent irreducible V-modules which is closed under the action of G. There is a finite dimensional semisimple associative algebra for a suitable 2-cocycle naturally determined by the G-action on such that and the vertex operator algebra form a dual pair on the sum of V-modules in in the sense of Howe. In particular, every irreducible V-module is completely reducible -module. Received: 10 September, 2001 / Published online: 29 April 2002 RID="*" ID="*" Supported by NSF grants and a research grant from the Committee on Research, UC Santa Cruz. RID="**" ID="**" Supported by DPST grant from government of Thailand.     

A 14-dimensional Module for the Symplectic Group: Orbits on Vectors

Let 𝔽 be a field, V a 6-dimensional 𝔽-vector space and f a nondegenerate alternating bilinear form on V. We consider a 14-dimensional module for the symplectic group Sp(V, f) ? Sp(6, 𝔽) associated with (V, f), and classify the orbits on vectors. For characteristic distinct from 2, this module is irreducible and isomorphic to the Weyl module of Sp(V, f) for the fundamental weight λ₃. If the characteristic is 2, then the module is reducible as it contains an 8-dimensional submodule isomorphic to the spin module of Sp(V, f).     

Absolute Fourth Moments and Finiteness of Linear Groups

Let G be a finite group. Let V be a faithful irreducible complex G-module whose tensor square is nearly irreducible. We answer a question of N. M. Katz by showing that no noncentral element of G has an eigenspace of dimension greater than 7/8 the dimension of V.     

Derived length and conjugacy class sizes

Let G be a finite solvable group, and let F(G) be its Fitting subgroup. We prove that there is a universal bound for the derived length of G/F(G) in terms of the number of distinct conjugacy class sizes of G. This result is asymptotically best possible. It is based on the following result on orbit sizes in finite linear group actions: If G is a finite solvable group and V a finite faithful irreducible G-module of characteristic r, then there is a universal logarithmic bound for the derived length of G in terms of the number of distinct r^′-parts of the orbit sizes of G on V. This is a refinement of the author's previous work on orbit sizes.     

The double Coxeter arrangement

Let V be Euclidean space. Let be a finite irreducible reflection group. Let be the corresponding Coxeter arrangement. Let S be the algebra of polynomial functions on V. For choose such that . The arrangement is known to be free: the derivation module is a free S-module with generators of degrees equal to the exponents of W. In this paper we prove an analogous theorem for the submodule of defined by . The degrees of the basis elements are all equal to the Coxeter number. The module may be considered a deformation of the derivation module for the Shi arrangement, which is conjectured to be free. The proof is by explicit construction using a derivation introduced by K. Saito in his theory of flat generators. Received: March 13, 1997     

Left almost split morphisms and generalized weyl algebras

It is proved that the category of modules of finite length over a broad class of generalized Weyl algebras contains no left almost split morphism starting from a simple module. It is shown that a similar assertion holds for the algebraUsl₂(k) over an algebraically closed field k of characteristic 0. As a by-product, a new series of simple modules for such algebras is constructed. Translated fromMatematicheskie Zametki, Vol. 66, No. 5 pp. 734–740, November, 1999.     

K4−‐factor in a graph

Let G be a graph of order 4k and let δ(G) denote the minimum degree of G. Let F be a given connected graph. Suppose that |V(G)| is a multiple of |V(F)|. A spanning subgraph of G is called an F‐factor if its components are all isomorphic to F. In this paper, we prove that if δ(G)≥5/2k, then G contains a K₄^?‐factor (K₄^? is the graph obtained from K₄ by deleting just one edge). The condition on the minimum degree is best possible in a sense. In addition, the proof can be made algorithmic. © 2002 John Wiley & Sons, Inc. J Graph Theory 39: 111–128, 2002     

Classification of skew multiplicity-free modules

Let G be a reductive group defined over \mathbbC \mathbb{C} with a finite dimensional representation V. The action of G is said to be skew multiplicity-free (SMF) if the exterior algebra ⋀V contains no irreducible representation of G with multiplicity > 1. This paper is concerned with a classification of such representations.     

Induced bases of symmetry classes of tensors

Let V^m? denote the mth tensor power of the finite dimensional complex vector space V. Let V_χ(G)?V^m? be the symmetry class of tensors corresponding to the permutation group G and the irreducible character χ of G. Each basis of V induces, in a natural way, a basis of V^m?. The article considers the corresponding problem of inducing bases of V_χ(G).     

Cuspidal Modules as Summands of a Gel'fand–Graev Module

Abstract

Let G = GL _n (q) be the general linear group over a finite field 𝔽 _q with q elements. We call a Gel'fand–Graev module to be the module which affords the Gel'fand–Graev character defined in Definition I.1. It is known that every cuspidal module of G is isomorphic to a (unique) direct summand of a Gel'fand–Graev module. In this article, we investigate a certain endomorphism so that each irreducible cuspidal module is contained in a certain eigenspace corresponding to the cuspidal character. Furthermore, we determine the eigenvalue of that endomorphism by using character theory of finite general linear group.     

The Second Cohomology of Simple SL 3-Modules

Let G be the simple, simply connected algebraic group SL ₃ defined over an algebraically closed field K of characteristic p > 0. In this article, we find H ²(G, V) for any irreducible G-module V. When p > 7, we also find H ²(G(q), V) for any irreducible G(q)-module V for the finite Chevalley groups G(q) = SL(3, q) where q is a power of p.     

A reciprocity theorem for unitary representations of Lie groups

LetG be a Lie group,H a closed subgroup,L a unitary representation ofH andU ^L the corresponding induced representation onG. The main result of this paper, extending Ol’ŝanskii’s version of the Frobenius reciprocity theorem, expresses the intertwining number ofU ^L and an irreducible unitary representationV ofG in terms ofL and the restriction ofV _∞ toH.     

Vertices of simple modules and normal subgroups ofp-solvable groups

Let π be a set of prime numbers andG a finite π-separable group. Let θ be an irreducible π′-partial character of a normal subgroupN ofG and denote by I_π′ (G‖θ), the set of all irreducible π′-partial characters Φ ofG such that θ is a constituent of Φ_N. In this paper, we obtain some information about the vertices of the elements in I_π′ (G‖θ). As a consequence, we establish an analogue of Fong's theorem on defect groups of covering blocks, for the vertices of the simple modules (in characteristicsp) of a finitep-solvable group lying over a fixed simple module of a normal subgroup.     

Proof of Springer’s hypothesis

LetG be a reductive group over a finite fieldk of a characteristicp. Π:G _k → AutU is an irreducible representation ofG in “a general position”. Springer formulated a conjecture about values of the character of Π on unipotent elements. This conjecture is proved in the article.     

Group Actions,k-Derivations,and Finite Morphisms

Let G be an affine algebraic group over an algebraically closed field k of characteristic zero. In this article, we consider finite G-equivariant morphisms F:X → Y of irreducible affine G-varieties. First we determine under which conditions on Y the induced map F ^G :X//G → Y//G of quotient varieties is also finite. This result is reformulated in terms of kernels of derivations on k-algebras A ? B such that B is integral over A. Second we construct explicitly two examples of finite G-equivariant maps F. In the first one, F ^G is quasifinite but not finite. In the second one, F ^G is not even quasifinite.