A non-classical construction of BN-pairs

if i < n and if k is any field with more than two elements. As discussed at this conference, no such stability theorem for other classical groups is known. In this paper, we give a prime-toresidue-characteristic homological stability theorem for classical groups over finite fields (Theorem 2), a stability theorem for the integral homology of classical groups over the algebraic closure of a finite field (Theorem 3), and a stability theorem for the integral homology of the special linear groups for finite fields with more than two elements (Theorem 6). We begin with the following well known stability results for the classical Lie groups. The proof is readily obtained by using , S 4n+3 ~ BSPn and the fibrations S 2n+l * BU n BUn+ 1 ~ BSPn+l, S n . BO n * BOn+ 1.

Let \( \mathbb{F}_q \) be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over \( \mathbb{F}_q \) and \( \mathbb{F}_q \) be the rational function field over \( \mathbb{F}_q \). We seek to understand the structure of the rational invariant subfield \( \mathbb{F}_q \). In this paper, we prove that \( \mathbb{F}_q \) is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.

Classical groups over finite fields, including symplectic groups, unitary groups and orthogonal groups, are finite simple groups of crucial importance. The structure and order of classical groups are the basic problems in group theory. Geometry of classical groups has been found extremely useful in many fields, such as combinatorial mathematics, coding and cryptographic theory. In this paper, a class of quasi-classical groups are introduced, which partially generalize the concepts of symplectic groups and orthogonal groups. We determine the structure and order of quasi-classical groups. As an application, we discuss the relationship between quasi-classical groups and self-dual normal bases over finite fields.

Structure Arising from Induction and Jacquet Modules of Representations of Classical p-Adic Groups

Let A be a linear transformation with minimum polynomial mA(t) and characteristic polynomial cA(t). We say that A is cyclic if mA(t) = cA(t), semisimple if mA(t) has no repeated factors, and separable if it is both cyclic and semisimple. The proportions of elements of GL(d, q) which are cyclic or separable have been investigated by, amongst others, Neumann and Praeger [7], Wall [10], and Fulman [4] who also studies semisimple elements. Making use of their results, we gave estimates in [1] for these proportions in SL(d, q). Fulman, Neumann and Praeger [5] have recently found good estimates for the corresponding proportions in the finite classical groups, U(d, q2), Sp(2m, q) and O±(d, q). They raise the question of whether similar methods may be used to calculate the proportions in various subgroups and supergroups of the classical groups. In a series of three papers, we shall show how this may be done. In this, the first paper, we deal with the special unitary groups SU(d, q2), consisting of unitary transformations with determinant 1. In the second paper [2] we shall focus on the conformal groups GSp(2m, q) and GO±(d, q), and in the third paper [3] we shall consider how the method may be extended to a number of groups of orthogonal type, including the special orthogonal group and the derived group of the orthogonal group. Our method in [1] involved the vector space cycle index of Kung [6] and Stong [8], which we describe briefly in Section 2. Similarly, in the current series

Effective black-box constructive recognition of classical groups

For every integer k there exists a bound B=B(k) such that if the characteristic polynomial of gin textrm{SL}_n(q) is the product of le k pairwise distinct monic irreducible polynomials over mathbb {F}_q, then every element x of textrm{SL}_n(q) of support at least B is the product of two conjugates of g. We prove this and analogous results for the other classical groups over finite fields; in the orthogonal and symplectic cases, the result is slightly weaker. With finitely many exceptions (p, q), in the special case that n=p is prime, if g has order frac{q^p-1}{q-1}, then every non-scalar element x in textrm{SL}_p(q) is the product of two conjugates of g. The proofs use the Frobenius formula together with upper bounds for values of unipotent and quadratic unipotent characters in finite classical groups.

The paper deals with the description of the field of differential rational invariants under simultaneous changing of the differential operator and an action of subgroups of affine transformation group on system of finite points of finite-dimensional differential vector space. In particular, the results in terms of differential geometry mean that we describe the field of differential rational invariants of finite system of geometric curves with respect to various group motions.

Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism Φ, we denote by k(X)Φ its field of invariants, i.e., the set of rational functions f on X such that f º Φ = f. Let n(Φ) be the transcendence degree of k(X)Φ over k. In this paper we study the class of automorphisms Φ of X for which n(Φ) = dim X - 1. More precisely, we show that under some conditions on X, every such automorphism is of the form Φ = ϕg, where ϕ is an algebraic action of a linear algebraic group G of dimension 1 on X, and where g belongs to G. As an application, we determine the conjugacy classes of automorphisms of the plane for which n(Φ) = 1.

There has recently been interest in relating properties of matrices drawn at random from the classical compact groups to statistical characteristics of number-theoretical L-functions. One example is the relationship conjectured to hold between the value distributions of the characteristic polynomials of such matrices and value distributions within families of L-functions. These connections are here extended to non-classical groups. We focus on an explicit example: the exceptional Lie group G_2. The value distributions for characteristic polynomials associated with the 7- and 14-dimensional representations of G_2, defined with respect to the uniform invariant (Haar) measure, are calculated using two of the Macdonald constant term identities. A one parameter family of L-functions over a finite field is described whose value distribution in the limit as the size of the finite field grows is related to that of the characteristic polynomials associated with the 7-dimensional representation of G_2. The random matrix calculations extend to all exceptional Lie groups

In his seminal Lecture Notes in Mathematics published in 1981, Andrey Zelevinsky introduced a new family of Hopf algebras which he called PSH-algebras. These algebras were designed to capture the representation theory of the symmetric groups and of classical groups over finite fields. The gist of this construction is to translate representation-theoretic operations such as induction and restriction and their parabolic variants to algebra and coalgebra operations such as multiplication and comultiplication. The Mackey formula, for example, is then reincarnated as the Hopf axiom on the algebra side. In this paper we take substantial steps to adapt these ideas for general linear groups over compact discrete valuation rings. We construct an analogous bialgebra that contains a large PSH-algebra that extends Zelevinsky's algebra for the case of general linear groups over finite fields. We prove several base change results relating algebras over extensions of discrete valuation rings.

Let ${\mathfrak o}$ be the ring of integers in a finite extension field of ${\mathbb Q}_p$, let $k$ be its residue field. Let $G$ be a split reductive group over ${\mathbb Q}_p$, let ${\mathcal H}(G,I_0)$ be its pro-$p$-Iwahori Hecke ${\mathfrak o}$-algebra. In \cite{dfun} we introduced a general principle how to assign to a certain additionally chosen datum $(C^{(\bullet)},\phi,\tau)$ an exact functor $M\mapsto{\bf D}(\Theta_*{\mathcal V}_M)$ from finite length ${\mathcal H}(G,I_0)$-modules to $(\varphi^r,\Gamma)$-modules. In the present paper we concretely work out such data $(C^{(\bullet)},\phi,\tau)$ for the classical matrix groups. We show that the corresponding functor identifies the set of (standard) supersingular ${\mathcal H}(G,I_0)\otimes_{{\mathfrak o}}k$-modules with the set of $(\varphi^r,\Gamma)$-modules satisfying a certain symmetry condition.

We construct a birational equivalence between certain quotients of s-tuples of equidimensional linear subspaces of $C^n$ and some quotients of products of square matrices modulo diagonal conjugations. In particular, we prove the rationality of the quotient space of s-tuples of linear 2-planes in $C^n$ modulo the diagonal $\gl_n(C)$-action . Furthermore, we compute generators of the field of the rational invariants explicitly.

On natural invariants and equivalence of differential operators

On the Geometricity of Lattices Generated by Orbits of Subspaces Under Finite Classical Groups