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.     

The G-Fredholm Property of the \bar{\partial} -Neumann Problem

Let G be a unimodular Lie group, X a compact manifold with boundary, and M be the total space of a principal bundle G→M→X so that M is also a strongly pseudoconvex complex manifold. In this work, we show that if G acts by holomorphic transformations in M, then the Laplacian on M has the following properties: The kernel of □ restricted to the forms Λ ^p,q with q>0 is a closed, G-invariant subspace in L ²(M,Λ ^p,q ) of finite G-dimension. Secondly, we show that if q>0, then the image of □ contains a closed, G-invariant subspace of finite G-codimension in L ²(M,Λ ^p,q ). These two properties taken together amount to saying that □ is a G-Fredholm operator. It is a corollary of the first property mentioned that the reduced L ²-Dolbeault cohomology spaces of M are finite G-dimensional for q>0. The boundary Laplacian □ _b has similar properties.      

Aspects of the conjugacy class structure of simple algebraic groups

Let G be an adjoint simple algebraic group over an algebraically closed field of characteristic p; let Φ be the root system of G, and take t∈ℕ. Lawther has proven that the dimension of the set G _[t]={g∈G:g ^t =1} depends only on Φ and t. In particular the value is independent of the characteristic p; this was observed for t small and prime by Liebeck. Since G _[t] is clearly a disjoint union of conjugacy classes the question arises as to whether a similar result holds if we replace G _[t] by one of those classes. This paper provides a partial answer to that question. A special case of what we have proven is the following. Take p,q to be distinct primes and G _p and G _q to be adjoint simple algebraic groups with the same root system and over algebraically closed fields of characteristic p and q respectively. If s∈G _p has order q then there exists an element u∈G _q such that o(u)=o(s) and dimu^G_q=dims^G_p\dim u^{G_{q}}=\dim s^{G_{p}} .     

Finite Schur filtration dimension for modules over an algebra with Schur filtration

Let G = GL _N or SL _N as reductive linear algebraic group over a field k of characteristic p > 0. We prove several results that were previously established only when N ⩽ 5 or p > 2  ^N : Let G act rationally on a finitely generated commutative k-algebra A and let grA be the Grosshans graded ring. We show that the cohomology algebra H ^*(G, grA) is finitely generated over k. If moreover A has a good filtration and M is a Noetherian A-module with compatible G action, then M has finite good filtration dimension and the H ⁱ (G, M) are Noetherian A ^G -modules. To obtain results in this generality, we employ functorial resolution of the ideal of the diagonal in a product of Grassmannians.     

Torsion-Free Space Groups, 2-Cohomology, and Scott Modules

For a subgroupCof orderpof a finite groupG, we find the summandMof thep-adic permutation module ind_C^GZ_psuch thatH²(G, M)≠0, and determine whenMis the Scott module. This is applied to the study of torsion-free space groups.     

A reduction theorem for the McKay conjecture

The McKay conjecture asserts that for every finite group G and every prime p, the number of irreducible characters of G having p’-degree is equal to the number of such characters of the normalizer of a Sylow p-subgroup of G. Although this has been confirmed for large numbers of groups, including, for example, all solvable groups and all symmetric groups, no general proof has yet been found. In this paper, we reduce the McKay conjecture to a question about simple groups. We give a list of conditions that we hope all simple groups will satisfy, and we show that the McKay conjecture will hold for a finite group G if every simple group involved in G satisfies these conditions. Also, we establish that our conditions are satisfied for the simple groups PSL₂(q) for all prime powers q≥4, and for the Suzuki groups Sz(q) and Ree groups R(q), where q=2 ^e or q=3 ^e respectively, and e>1 is odd. Since our conditions are also satisfied by the sporadic simple group J ₁, it follows that the McKay conjecture holds (for all primes p) for every finite group having an abelian Sylow 2-subgroup.     

The Multiplicity Free Permutation Representations of the Ree Groups 2 G 2(q), the Suzuki Groups 2 B 2(q), and Their Automorphism Groups

Abstract

Let G a simple group of type ² B ₂(q) or ² G ₂(q), where q is an odd power of 2 or 3, respectively. The main goal of this paper is to determine the multiplicity free permutation representations of G and A ≤ Aut(G) where A is a subgroup containing a copy of G. Let B be a Borel subgroup of G. If G = ² B ₂(q) we show that there is only one non-trivial multiplicity free permutation representation, namely the representation of G associated to the action on G/B. If G = ² G ₂(q) we show that there are exactly two such non-trivial representations, namely the representations of G associated to the action on G/B and the action on G/M, where M = UC with U the maximal unipotent subgroup of B and C the unique subgroup of index 2 in the maximal split torus of B. The multiplicity free permutation representations of A correspond to the actions on A/H where H is isomorphic to a subgroup containing B if G = ² B ₂(q), and containing M if G = ² G ₂(q). The problem of determining the multiplicity free representations of the finite simple groups is important, for example, in the classification of distance-transitive graphs.     

A tensor product of the Steinberg module and a certain simple kG(pr)-module

Let G be a connected, semisimple, and simply connected algebraic group defined and split over the finite field of order p, and let G(q) be the corresponding finite Chevalley or twisted group, where q = p^r. Recently, Anwar determines the direct sum decomposition of the tensor product of the rth Steinberg module and a simple G-module with a (p,r)-minuscule highest weight λ. In this paper, we determine that of the tensor product regarded as a module for G(q) under some weak assumptions for λ.     

A constructive approach for the lower bounds on the Ramsey numbers R (s,t)

Graph G is a (k, p)‐graph if G does not contain a complete graph on k vertices K_k, nor an independent set of order p. Given a (k, p)‐graph G and a (k, q)‐graph H, such that G and H contain an induced subgraph isomorphic to some K_k?1‐free graph M, we construct a (k, p + q ? 1)‐graph on n(G) + n(H) + n(M) vertices. This implies that R (k, p + q ? 1) ≥ R (k, p) + R (k, q) + n(M) ? 1, where R (s, t) is the classical two‐color Ramsey number. By applying this construction, and some its generalizations, we improve on 22 lower bounds for R (s, t), for various specific values of s and t. In particular, we obtain the following new lower bounds: R (4, 15) ≥ 153, R (6, 7) ≥ 111, R (6, 11) ≥ 253, R (7, 12) ≥ 416, and R (8, 13) ≥ 635. Most of the results did not require any use of computer algorithms. © 2004 Wiley Periodicals, Inc. J Graph Theory 47: 231–239, 2004     

The phase transition in the cluster‐scaled model of a random graph

For 0 < p < 1 and q > 0 let G_q(n,p) denote the random graph with vertex set [n]={1,…,n} such that, for each graph G on [n] with e(G) edges and c(G) components, the probability that G_q(n,p)=G is proportional to . The first systematic study of G_q(n,p) was undertaken by 6 , who analyzed the phase transition phenomenon corresponding to the emergence of the giant component. In this paper we describe the structure of G_q(n,p) very close the critical threshold. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2006     

On simple modules and normal subgroups of p-solvable groups

Let N be a normal subgroup of a p-solvable group G and let M be a simple FN-module, where F is an algebraically closed field of characteristic p. Next, denote by IRR⁰(FG|M) the set of all simple FG-modules V lying over M such that the p-part of dim_F V is as small as possible. In this paper, |IRR⁰(FG|M)| and the vertices of modules in IRR⁰(FG|M) are determined. The p-blocks of G to which modules in IRR⁰(FG|M) belong are also determined.Received: 5 December 2003     

A new characterization of L 2(q) by its noncommuting graph

Let G be a non-abelian group and associate a non-commuting graph ∇(G) with G as follows: the vertex set of ∇(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In this short paper we prove that if G is a finite group with ∇(G) ≅ ∇(M), where M = L ₂(q) (q = p ⁿ , p is a prime), then G ≅ M.      

Free discontinuity problems with unbounded data: The two dimensional case

We prove the existence of a minimizing pair for the functionalG defined for every closed setK ⊂R ² and for every functionu ∈C ¹(ω/K) by where ω is an open set inR ², λ, μ>0,q≥1,g ∈L ^q (ω) ∩L ^p (ω) withp>2q andH ¹ is the 1-dimensional Hausdorff measure.     

The Virtual Poincaré Polynomials of Homogeneous Spaces

We factor the virtual Poincaré polynomial of every homogeneous space G/H, where G is a complex connected linear algebraic group and H is an algebraic subgroup, as t^2u (t²–1)^r Q_G/H(t²) for a polynomial Q_G/H with nonnegative integer coefficients. Moreover, we show that Q_G/H(t²) divides the virtual Poincaré polynomial of every regular embedding of G/H, if H is connected.     

Stability of semilinear ill-posed problems with a prescribed energy bound

In the present paper we discuss the stability of semilinear problems of the form A^αu + G^α(u) = ? under assumption of an a priori bound for an energy functional E^α(u) ? E, where α is a parameter in a metric space M. Following [11] the problem A^αu + G^α(u) = ?, E^α(u) ? E is called stable in a Hilbert space H at a point α ? M if for any ??H, E, ? > 0 there exists δ > 0 such that for any functions u^α1, u^α2 satisfying A^αju^αj + G^αj(u^αj) = ?^αj, E^αj(u^αj) ? E, j = 1,2 we have ‖u^α1 ? u^α2_H ? ? provided ρ_M(α_j, α) ? δ, ‖?^αj ? ?‖_H ? δ, j = 1,2. In the present paper we obtain stability conditions for the problem A^αu + G^α(u) = ?, E^α(u) ? E.     

An extension of a theorem of Alan Camina on conjugacy class sizes

Let G be a finite group. Let n be a positive integer and p a prime coprime to n. In this paper we prove that if the set of conjugacy class sizes of primary and biprimary elements of group G is {1,p ^a , p ^a n}, then G ≌ G ₀ × H, where H is abelian and G ₀ contains a normal subgroup M × P ₀ of index p. Moreover, M × P ₀ is the set of all elements of G ₀ of conjugacy class sizes p ^a or 1, where M is an abelian π(n)-subgroup of G ₀ and P ₀ is an abelian p-subgroup of G ₀, neither being central in G. Finally, p ^a = p and P/P ₀ acts fixed-point-freely on M and ?(P) ≤ Z(P). This is an extension of Alan Camina’s theorems on the structure of groups whose set of conjugacy class size is {1,p ^a , p ^a q ^b }, where p and q are two distinct primes.     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .     

OD-Characterization of Some Projective Special Linear Groups Over the Binary Field and Their Automorphism Groups

The Gruenberg–Kegel graph GK(G) = (V _G , E _G ) of a finite group G is a simple graph with vertex set V _G  = π(G), the set of all primes dividing the order of G, and such that two distinct vertices p and q are joined by an edge, {p, q} ∈ E _G , if G contains an element of order pq. The degree deg _G (p) of a vertex p ∈ V _G is the number of edges incident to p. In the case when π(G) = {p ₁, p ₂,…, p _h } with p ₁ < p ₂ < … <p _h , we consider the h-tuple D(G) = (deg _G (p ₁), deg _G (p ₂),…, deg _G (p _h )), which is called the degree pattern of G. The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying condition (|H|, D(H)) = (|G|, D(G)). Especially, a 1-fold OD-characterizable group is simply called OD-characterizable. In this paper, we prove that the simple groups L ₁₀(2) and L ₁₁(2) are OD-characterizable. It is also shown that automorphism groups Aut(L _p (2)) and Aut(L _p+1(2)), where 2 ^p  ? 1 is a Mersenne prime, are OD-characterizable. Finally, a list of finite (simple) groups which are presently known to be k-fold OD-characterizable, for certain values of k, is presented.     

Elementary abelian p-subgroups of algebraic groups

Let be an algebraically closed field and let G be a finite-dimensional algebraic group over which is nearly simple, i.e. the connected component of the identity G ⁰ is perfect, C _G(G ⁰)=Z(G ⁰) and G ⁰/Z(G ⁰) is simple. We classify maximal elementary abelian p-subgroups of G which consist of semisimple elements, i.e. for all primes p char .Call a group quasisimple if it is perfect and is simple modulo the center. Call a subset of an algebraic group toral if it is in a torus; otherwise nontoral. For several quasisimple algebraic groups and p=2, we define complexity, and give local criteria for whether an elementary abelian 2-subgroup of G is toral.For all primes, we analyze the nontoral examples, include a classification of all the maximal elementary abelian p-groups, many of the nonmaximal ones, discuss their normalizers and fusion (i.e. how conjugacy classes of the ambient algebraic group meet the subgroup). For some cases, we give a very detailed discussion, e.g. p=3 and G of type E ₆, E ₇ and E ₈. We explain how the presence of spin up and spin down elements influences the structure of projectively elementary abelian 2-groups in Spin(2n, ). Examples of an elementary abelian group which is nontoral in one algebraic group but toral in a larger one are noted.Two subsets of a maximal torus are conjugate in G iff they are conjugate in the normalizer of the torus; this observation, with our discussion of the nontoral cases, gives a detailed guide to the possibilities for the embedding of an elementary abelian p-group in G. To give an application of our methods, we study extraspecial p-groups in E ₈( ).Dedicated to Jacques Tits for his sixtieth birthday     

Irreducible algebraic sets over divisible decomposed rigid groups

A soluble group G is said to be rigid if it contains a normal series of the form G = G ₁ > G ₂ > …> G _p > G _p+1 = 1, whose quotients G _i /G _i+1 are Abelian and are torsion-free when treated as right ℤ[G/G _i ]-modules. Free soluble groups are important examples of rigid groups. A rigid group G is divisible if elements of a quotient G _i /G _i+1 are divisible by nonzero elements of a ring ℤ[G/G _i ], or, in other words, G _i /G _i+1 is a vector space over a division ring Q(G/G _i ) of quotients of that ring. A rigid group G is decomposed if it splits into a semidirect product A ₁ A ₂…A _p of Abelian groups A _i ≅ G _i /G _i+1. A decomposed divisible rigid group is uniquely defined by cardinalities α _i of bases of suitable vector spaces A _i , and we denote it by M(α₁,…, α _p ). The concept of a rigid group appeared in [arXiv:0808.2932v1 [math.GR], ], where the dimension theory is constructed for algebraic geometry over finitely generated rigid groups. In [11], all rigid groups were proved to be equationally Noetherian, and it was stated that any rigid group is embedded in a suitable decomposed divisible rigid group M(α₁,…, α _p ). Our present goal is to derive important information directly about algebraic geometry over M(α₁,… α _p ). Namely, irreducible algebraic sets are characterized in the language of coordinate groups of these sets, and we describe groups that are universally equivalent over M(α₁,…, α _p ) using the language of equations.