Non-residually finite extensions of arithmetic groups

Let G be a simple classical algebraic group over an algebraically closed field K of characteristic p ? 0 with natural module W. Let H be a closed subgroup of G and let V be a nontrivial irreducible tensor indecomposable -restricted rational KG-module such that the restriction of V to H is irreducible. In this paper we classify the triples (G,H,V ) of this form, where H is a closed disconnected almost simple positive-dimensional subgroup of G acting irreducibly on W. Moreover, by combining this result with earlier work, we complete the classifcation of the irreducible triples (G,H,V ) where G is a simple algebraic group over K, and H is a maximal closed subgroup of positive dimension.

Colloquium talk in IISc on October 28, 2005 This article is an exposition on the ‘congruence subgroup problem’. This subject is at a common ground shared by group theory and number theory. It deals with certain groups defined arithmetically and their subgroup structure. This is a relatively modern subject having taken off in the mid 1960’s after Klein’s early investigations on the modular group. Apart from interest in its own right, the subject gains importance also because of connections with the theory of automorphic forms which is central to number theory. This exposition is meant to introduce the subject to professional mathematicians working in other areas. At the end, some recent work by the author is mentioned.

Group Extensions and Cohomology Groups

There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik's trichotomy theorem. The ‘trichotomy’ here is a case division of the generic minimal counterexamples within odd type, that is, groups with a large and divisible Sylow° 2-subgroup. The so-called ‘uniqueness case’ in the trichotomy theorem is the existence of a proper 2-generated core. It is our aim to drive the presence of a proper 2-generated core to a contradiction, and hence bind the complexity of the Sylow° 2-subgroup of a minimal counterexample to the Cherlin–Zilber conjecture. This paper shows that the group in question is a minimal connected simple group and has a strongly embedded subgroup, a far stronger uniqueness case. As a corollary, a tame counterexample to the Cherlin–Zilber conjecture has Prüfer rank at most two.

A residually nilpotent group is k-parafree if all of its lower central series quotients match those of a free group of rank k. Magnus proved that k-parafree groups of rank k are themselves free. In this note we mimic this theory with finite extensions of free groups, with an emphasis on free products of the cyclic group C p , for p an odd prime. We show that for n ≤ p Magnus’ characterization holds for the n-fold free product within the class of finite-extensions of free groups. Specifically, if n ≤ p and G is a finitely generated, virtually free, residually nilpotent group having the same lower central series quotients as , then . We also show that such a characterization does not hold in the class of finitely generated groups. That is, we construct a rank 2 residually nilpotent group G that shares all its lower central series quotients with C p *C p , but is not C p *C p .

Superstability and central extensions of algebraic groups

FIELD AUTOMORPHISMS AND MAXIMAL SUBGROUPS OF FINITE CHEVALLEY GROUPS

On Engel words on simple algebraic groups

A signalizer functor theorem for groups of finite Morley rank

Let be either a simple linear algebraic group over an algebraically closed field of characteristic or a quantum group at an ‐th root of unity. We define a tensor ideal of singular ‐ modules in the category of finite‐dimensional ‐modules and study the associated quotient category , called the regular quotient . For , the Coxeter number of , we establish a ‘linkage principle’ and a ‘translation principle’ for tensor products: Let be the essential image in of the principal block of . We first show that is closed under tensor products in . Then we prove that the monoidal structure of is governed to a large extent by the monoidal structure of . These results can be combined to give an external tensor product decomposition , where denotes the Verlinde category of .

In this paper, we prove the results announced in [L-R] for G = SLn. Let G be a simple algebraic group over the base field k. Let M be a maximal torus in G and B, a Borel subgroup, B ⊃ M. Let W be the Weyl group of G. For w ∈ W, let X(w) = \(\overline {BwB} \) (mod B) be the Schubert variety in G/B associated to w. Let L be an ample line bundle on G/B. We shall denote the restriction of L to X(w) also by just L. Let k[X(w)] = ⊙ H0(X(w),L). In this paper, we construct an algebra kq [X(w)] over k(q), where q is a parameter taking values in k*, as a quantization of k[X(w)], G being SLn. The algebra k q [SL n ]: Let G = SLn. Let T = (tij), 1 ≤ i, j ≤ n. Let Let $$R = \sum\limits_{\mathop {i \ne j}\limits_{i,j = 1} }^n {{e_{ii}}} { \otimes _{jj}} + q\sum\limits_{i \ne i}^n {{e_{ii}}} \otimes {e_{ii}} + \left( {q - {q^{ - 1}}} \right)\sum\limits_{1j < in} {{e_{ij}}} \otimes {e_{ji}}$$ (here, eij’s are the elementary matrices). Let A(R) be the associative algebra (with 1) generated by {tij, 1 ≤ i, j ≤ n}, the relations being given by RT1T2 = T2T1R, where T1 = T ⊗ Id, T2 = Id ⊗ T (cf. [F-R-T]). Then A(R) gives a quantization of k[Mn], Mn being the space of n × n matrices and k[Mn], the coordinate ring of Mn. Now A(R) has a bialgebra structure, then comultiplication being given by Δ: A(R) → A(R) ⊗ A(R), \(\Delta = \left( {{t_{ij}}} \right) = \sum\limits_{k = 1}^n {{t_{ik}}} \otimes {t_{kj}}\) In the sequel, we shall denote A(R) by kq [Mn]. Let $$D = \sum\limits_{\sigma \in {s_n}}^n {{t_{ik}}} {\left( { - q} \right)^{ - l{{\left( \sigma \right)}_t}}}1\sigma {\left( 1 \right)^t}2\sigma {\left( 2 \right)^{...}}n\sigma \left( n \right)$$ . we shall refer to D as the q-determinant (or the quantum determinant) of (tij).

Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general point. As an application, we show that X has the target rigidity property when G is not of type A 1 or C.

Finding characters satisfying a maximal condition for their unipotent support

Let G be a simply connected Chevalley group over an infinite field K, and let $$ \tilde{w} $$ : Gn → G be a word map that corresponds to a nontrivial word w. In 2015, it has been proved that if w = w1w2w3w4 is the product of four words in independent variables, then every noncentral element of G is contained in the image of $$ \tilde{w} $$. A similar result for a word w = w1w2w3, which is the product of three independent words, was obtained in 2019 under the condition that the group G is not of type B2 or G2. In the present paper, it is proved that for a group of type B2 or G2, all elements of the large Bruhat cell B nw0B are contained in the image of the word map $$ \tilde{w} $$, where w = w1w2w3 is the product of three independent words. For a group G of type Ar, Cr, or G2 (respectively, for a group of type Ar) or a group over a perfect field K (respectively, over a perfect field K the characteristic of which is not a bad prime for G) with dim K ≤ 1 (here, dim K is the cohomological dimension of K), it is proved that all split regular semisimple elements (respectively, all regular unipotent elements) of G are contained in the image of $$ \tilde{w} $$, where w = w1w2 is the product of two independent words. Also, for any isotropic (but not necessary split) simple algebraic group G over a field K of characteristic zero, it is shown that for a word map $$ \tilde{w} $$ : G(K)n → G(K), where w = w1w2 is a product of two independent words, all unipotent elements are contained in Im $$ \tilde{w} $$.

A theorem of Cassidy states that any Zariski closed differential algebraic subgroup of a simple linear algebraic group, defined over a differential field, is either the whole group or is conjugate to the subgroup of constant matrices. An arithmetic analogue of this theorem is proved in which usual derivations on fields are replaced by certain nonlinear operators on p -adic rings, called " p -derivations."