Carter subgroups of finite almost simple groups

In the paper we work to complete the classification of Carter subgroups in finite almost simple groups. In particular, it is proved that Carter subgroups of every finite almost simple group are conjugate. Based on our previous results, together with those obtained by F. Dalla Volta, A. Lucchini, and M. C. Tamburini, as a consequence we derive that Carter subgroups of every finite group are conjugate. Supported by RFBR grant No. 05-01-00797; by the Council for Grants (under RF President) for Support of Young Russian Scientists via projects MK-1455.2005.1 and MK-3036.2007.1; by SB RAS Young Researchers Support grant No. 29; via Integration Project No. 2006.1.2. __________ Translated from Algebra i Logika, Vol. 46, No. 2, pp. 157–216, March–April, 2007.     

On the existence of isotropic forms of semi-simple algebraic groups over number fields with prescribed local behavior

This note is a follow-up on the paper [A. Borel, G. Harder, Existence of discrete cocompact subgroups of reductive groups over local fields, J. Reine Angew. Math. 298 (1978) 53-64] of A. Borel and G. Harder in which they proved the existence of a cocompact lattice in the group of rational points of a connected semi-simple algebraic group over a local field of characteristic zero by constructing an appropriate form of the semi-simple group over a number field and considering a suitable S-arithmetic subgroup. Some years ago A. Lubotzky initiated a program to study the subgroup growth of arithmetic subgroups, the current stage of which focuses on “counting” (more precisely, determining the asymptotics of) the number of lattices of bounded covolume (the finiteness of this number was established in [A. Borel, G. Prasad, Finiteness theorems for discrete subgroups of bounded covolume in semi-simple groups, Publ. Math. Inst. Hautes Études Sci. 69 (1989) 119-171; Addendum: Publ. Math. Inst. Hautes Études Sci. 71 (1990) 173-177] using the formula for the covolume developed in [G. Prasad, Volumes of S-arithmetic quotients of semi-simple groups, Publ. Math. Inst. Hautes Études Sci. 69 (1989) 91-117]). Work on this program led M. Belolipetsky and A. Lubotzky to ask questions about the existence of isotropic forms of semi-simple groups over number fields with prescribed local behavior. In this paper we will answer these questions. A question of similar nature also arose in the work [D. Morris, Real representations of semisimple Lie algebras have Q-forms, in: Proc. Internat. Conf. on Algebraic Groups and Arithmetic, December 17-22, 2001, TIFR, Mumbai, 2001, pp. 469-490] of D. Morris (Witte) on a completely different topic. We will answer that question too.     

Discrete subgroups of algebraic groups over local fields of positive characteristics

It is shown in this paper that ifG is the group ofk-points of a semisimple algebraic groupG over a local fieldk of positive characteristic such that all itsk-simple factors are ofk-rank 1 and Γ ⊂G is a non-cocompact irreducible lattice then Γ admits a fundamental domain which is a union of translates of Siegel domains. As a consequence we deduce that ifG has more than one simple factor, then Γ is finitely generated and by a theorem due to Venkataramana, it is arithmetic.     

OD-characterization of Almost Simple Groups Related to U3（5）

Let G be a finite group with order ｜G｜=p1^α1p2^α2……pk^αk, where p1 〈 p2 〈……〈 Pk are prime numbers. One of the well-known simple graphs associated with G is the prime graph （or Gruenberg- Kegel graph） denoted .by г（G） （or GK（G））. This graph is constructed as follows： The vertex set of it is π（G） = {p1,p2,…,pk} and two vertices pi, pj with i≠j are adjacent by an edge （and we write pi - pj） if and only if G contains an element of order pipj. The degree deg（pi） of a vertex pj ∈π（G） is the number of edges incident on pi. We define D（G） ：= （deg（p1）, deg（p2）,..., deg（pk））, which is called the degree pattern of G. A group G is called k-fold OD-characterizable if there exist exactly k non- isomorphic groups H such that ｜H｜ = ｜G｜ and D（H） = D（G）. Moreover, a 1-fold OD-characterizable group is simply called OD-characterizable. Let L ：= U3（5） be the projective special unitary group. In this paper, we classify groups with the same order and degree pattern as an almost simple group related to L. In fact, we obtain that L and L.2 are OD-characterizable; L.3 is 3-fold OD-characterizable; L.S3 is 6-fold OD-characterizable.     

On the indices of curves over local fields

Fix a non-negative integer g and a positive integer I dividing 2g − 2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C _/K of genus g and index I. This is obtained via a systematic analysis of local points on arithmetic surfaces with semistable reduction. Applications are discussed to the corresponding problem over number fields.     

Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields II

Let k be a separably closed field. Let G be a reductive algebraic k-group. We study Serre’s notion of complete reducibility of subgroups of G over k. In particular, using the recently proved center conjecture of Tits, we show that the centralizer of a k-subgroup H of G is G-completely reducible over k if it is reductive and H is G-completely reducible over k. We show that a regular reductive k-subgroup of G is G-completely reducible over k. We present examples where the number of overgroups of irreducible subgroups and the number of G(k)-conjugacy classes of k-anisotropic unipotent elements are infinite.     

Measuring the tameness of almost convex groups

A 1-combing for a finitely presented group consists of a continuous family of paths based at the identity and ending at points in the 1-skeleton of the Cayley 2-complex associated to the presentation. We define two functions (radial and ball tameness functions) that measure how efficiently a 1-combing moves away from the identity. These functions are geometric in the sense that they are quasi-isometry invariants. We show that a group is almost convex if and only if the radial tameness function is bounded by the identity function; hence almost convex groups, as well as certain generalizations of almost convex groups, are contained in the quasi-isometry class of groups admitting linear radial tameness functions.

     

On Galois cohomology of semisimple groups over local and global fields of positive characteristic

We treat a case that was omitted from consideration in our article [2] in Math Zeit, 2007.     

A characterization of the finite simple groups with set of indices of their maximal subgroups

We study the problem concerning the influence of indices of maximal subgroups of a simple group on the structure of a group. We obtain a characterization property of all finite simple groups.     

Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields III

Let G be a reductive group over a nonperfect field k. We study rationality problems for Serre’s notion of complete reducibility of subgroups of G. In our previous work, we constructed examples of subgroups H of G that are G-completely reducible but not G-completely reducible over k (and vice versa). In this article, we give a theoretical underpinning of those constructions. Then using Geometric Invariant Theory, we obtain a new result on the structure of G(k)-(and G-) orbits in an arbitrary affine G-variety. We discuss several related problems to complement the main results.     

On some Hasse principles for homogeneous spaces of algebraic groups over global fields of positive characteristic

We extend to global function fields some Hasse principles for homogeneous spaces of connected linear algebraic groups proved earlier by several authors in the case of number fields. We also give some applications.     

Exponent preserving subgroups of the finite simple groups

Given a group G denote with exp(G) its exponent, which is the least common multiple of the order of its elements. In this paper, we solve the problem of finding the finite simple groups having a proper subgroup with the same exponent. For each G with this property we will provide an explicit example of H<G with exp(G)?=?exp(H).     

On Galois cohomology of semisimple groups over local and global fields of positive characteristic, II

We show that the recent results of Prasad and Rapinchuk (Adv. Math. 207(2), 646–660, 2006) on the existence and uniqueness of certain global forms of semisimple algebraic groups with given local behaviour in the case of number fields still hold in the case of global function fields.