On modular invariants of a vector and a covector

Let GL ₂(F _q ) be the general linear group over a finite field F _q , V be the 2-dimensional natural representation of GL ₂(F _q ) and V ^* be the dual representation. We denote by \({F_{q}[V\oplus V^{\ast}]^{GL_{2}(F_{q})}}\) the corresponding invariant ring of a vector and a covector for GL ₂(F _q ). In this paper, we prove that \({F_{q}[V\oplus V^{\ast}]^{GL_{2}(F_{q})}}\) is a Gorenstein algebra. This result confirms a special case (n = 2) of the recent conjecture of Bonnafé and Kemper (J Algebra 335:96–112, 2011).     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

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.     

Maximal Orders of Abelian Subgroups in Finite Chevalley Groups

In the present paper, for any finite group G of Lie type (except for ² F ₄(q)), the order a(G) of its large Abelian subgroup is either found or estimated from above and from below (the latter is done for the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)). In the groups for which the number a(G) has been found exactly, any large Abelian subgroup coincides with a large unipotent or a large semisimple Abelian subgroup. For the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)), it is shown that if an Abelian subgroup contains a noncentral semisimple element, then its order is less than the order of an Abelian unipotent group. Hence in these groups the large Abelian subgroups are unipotent, and in order to find the value of a(G) for them, it is necessary to find the orders of the large unipotent Abelian subgroups. Thus it is proved that in a finite group of Lie type (except for ² F ₄(q))) any large Abelian subgroup is either a large unipotent or a large semisimple Abelian subgroup.     

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).     

Joint spectrum and the infinite dihedral group

A subgroup H of a group G is called pronormal if, for any element g ∈ G, the subgroups H and H ^g are conjugate in the subgroup <H,H ^g >. We prove that, if a group G has a normal abelian subgroup V and a subgroup H such that G = HV, then H is pronormal in G if and only if U = N _U (H)[H,U] for any H-invariant subgroup U of V. Using this fact, we prove that the simple symplectic group PSp_6n (q) with q ≡ ±3 (mod 8) contains a nonpronormal subgroup of odd index. Hence, we disprove the conjecture on the pronormality of subgroups of odd indices in finite simple groups, which was formulated in 2012 by E.P. Vdovin and D.O. Revin and verified by the authors in 2015 for many families of simple finite groups.     

On the pronormality of subgroups of odd index in finite simple symplectic groups

A subgroup H of a group G is pronormal if the subgroups H and H ^g are conjugate in 〈H,H ^g 〉 for every g ∈ G. It was conjectured in [1] that a subgroup of a finite simple group having odd index is always pronormal. Recently the authors [2] verified this conjecture for all finite simple groups other than PSL _n (q), PSU _n (q), E ₆(q), ² E ₆(q), where in all cases q is odd and n is not a power of 2, and P Sp_2n (q), where q ≡ ±3 (mod 8). However in [3] the authors proved that when q ≡ ±3 (mod 8) and n ≡ 0 (mod 3), the simple symplectic group P Sp²ⁿ (q) has a nonpronormal subgroup of odd index, thereby refuted the conjecture on pronormality of subgroups of odd index in finite simple groups.The natural extension of this conjecture is the problem of classifying finite nonabelian simple groups in which every subgroup of odd index is pronormal. In this paper we continue to study this problem for the simple symplectic groups P Sp_2n (q) with q ≡ ±3 (mod 8) (if the last condition is not satisfied, then subgroups of odd index are pronormal). We prove that whenever n is not of the form 2 ^m or 2 ^m (2^2k +1), this group has a nonpronormal subgroup of odd index. If n = 2 ^m , then we show that all subgroups of P Sp_2n (q) of odd index are pronormal. The question of pronormality of subgroups of odd index in P Sp_2n (q) is still open when n = 2 ^m (2^2k + 1) and q ≡ ±3 (mod 8).     

Bounds on smooth matrix coefficients on L 2-spaces

Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and ${\mathfrak k}Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and \mathfrak k{\mathfrak k}-smooth matrix coefficients of the regular representation L ²(X) under an assumption about supp(L²(X)) ?[^(G)]_K{{\rm supp}(L^2(X)) \cap \hat G_K}. Furthermore, we show that this bound holds for unitary representations that are weakly contained in L ²(X). Our result generalizes a result of Cowling–Haagerup–Howe (J Reine Angew Math 387:97–110, 1988). As an example, we discuss the matrix coefficients of the O(p, q) representation L²(\mathbbR^p+q){L^2(\mathbb{R}^{p+q})}.     

The uniqueness of 1-systems of W 5(q) satisfying the BLT-property, with q odd

In the symplectic polar space W ₅(q) every 1-system which satisfies the BLT-property (and then q is odd) defines a generalized quadrangle (GQ) of order (q ²,q ³). In this paper, we show that this 1-system is unique, so that the only GQ arising in this way is isomorphic to the classical GQ H(4,q ²), q odd.     

The graph induced by affine <Emphasis Type="Italic">M</Emphasis>-flats over finite fields II

Let AG(n, F _q) be the n-dimensional affine space over F _q, where F _q is a finite field with q elements. Denote by Γ ^(m) the graph induced by m-flats of AG(n, F _q). For any two adjacent vertices E and F of is studied. In particular, sizes of maximal cliques in Γ ^(m) are determined and it is shown that Γ ^(m) is not edge-regular when m<n−1. Supported by the National Natural Science Foundation of China (19571024) and Hunan Provincial Department of Education (02C512).     

A generalization of the binary Preparata code

A classical binary Preparata code P₂(m) is a nonlinear (2^m+1,2^2(2m-1-m),6)-code, where m is odd. It has a linear representation over the ring Z₄ [Hammons et al., The Z₄-linearity of Kerdock, Preparata, Goethals and related codes, IEEE Trans. Inform. Theory 40(2) (1994) 301-319]. Here for any q=2^l>2 and any m such that (m,q-1)=1 a nonlinear code P_q(m) over the field F=GF(q) with parameters (q(Δ+1),q^2(Δ-m),d?3q), where Δ=(q^m-1)/(q-1), is constructed. If d=3q this set of parameters generalizes that of P₂(m). The equality d=3q is established in the following cases: (1) for a series of initial admissible values q and m such that q^m<2¹⁰⁰; (2) for m=3,4 and any admissible q, and (3) for admissible q and m such that there exists a number m₁ with m₁|m and d(P_q(m₁))=3q. We apply the approach of [Nechaev and Kuzmin, Linearly presentable codes, Proceedings of the 1996 IEEE International Symposium Information Theory and Application Victoria, BC, Canada 1996, pp. 31-34] the code P is a Reed-Solomon representation of a linear over the Galois ring R=GR(q²,4) code P dual to a linear code K with parameters near to those of generalized linear Kerdock code over R.     

Representations of Positive Integers by a Direct Sum of Quadratic forms

The number of representation of positive integers by quadratic forms $ F_{1}=x_{1}^{2}+3x_{1}x_{2}+8x_{2}^{2} $ and $ G_{1}=2x_{1}^{2}+3x_{1}x_{2}+4x_{2}^{2} $ of discriminant —23 are given. Moreover, a basis for the cusp form space S ₄(Γ₀(23), 1) are constructed. Furthermore, formulas for the representation of positive integers by direct sum of copies of F ₁ and G ₁, i.e. formulas for $ r(n; F_{4}), r(n; G_{4}), r(n; F_{3} \oplus G_{1}), r(n; F_{2} \oplus G_{2}), {\rm and}\ r(n; F_{1} \oplus G_{3}) $ , are derived using the elements of the space S ₄(Γ(23), 1).     

Densities for 4-class ranks of quadratic function fields

Let F=Fq(T) be a rational function field of odd characteristic, and fix a positive integer t. In this article we study the family of quadratic function fields , where D is a polynomial over Fq of odd degree having t distinct irreducible factors. The 4-class rank r₄(K) is the rank of the 4-torsion of the group of divisor classes of K, and it is known that 0?r₄(K)?t−1. For fixed r we compute the proportion of such fields K satisfying r₄(K)=r, and in particular we determine the behaviour of this value as t→∞. We will need some asymptotic results for these computations, in particular the number of polynomials D as above whose irreducible factors fulfill certain parity and quadratic residue conditions.     

Additive Patterns in Multiplicative Subgroups

The study of sum and product problems in finite fields motivates the investigation of additive structures in multiplicative subgroups of such fields. A simple known fact is that any multiplicative subgroup of size at least q ^3/4 in the finite field F _q must contain an additive relation x + y = z. Our main result is that there are infinitely many examples of sum-free multiplicative subgroups of size Ω(p ^1/3) in prime fields F _p . More complicated additive relations are studied as well. One representative result is the fact that the elements of any multiplicative subgroup H of size at least q ^3/4+o(1) of F _q can be arranged in a cyclic permutation so that the sum of any pair of consecutive elements in the permutation belongs to H. The proofs combine combinatorial techniques based on the spectral properties of Cayley sum-graphs with tools from algebraic and analytic number theory.     

On the inductive McKay condition in the defining characteristic

This note is concerned with the McKay conjecture in the representation theory of finite groups. Recently, Isaacs–Malle–Navarro have shown that, in order to prove this conjecture in general, it is sufficient to establish certain properties of all finite simple groups. In this note, we develop some new methods for dealing with these properties for finite simple groups of Lie type in the defining characteristic case. We apply these methods to show that the Suzuki and Ree groups, G ₂(q), F ₄(q) and E ₈(q) have the required properties.     

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.     

Decomposition of bipartite graphs into special subgraphs

Let F and G be two graphs and let H be a subgraph of G. A decomposition of G into subgraphs F₁,F₂,…,F_m is called an F-factorization of G orthogonal to H if F_i≅F and |E(F_i∩H)|=1 for each i=1,2,…,m. Gyárfás and Schelp conjectured that the complete bipartite graph K_4k,4k has a C₄-factorization orthogonal to H provided that H is a k-factor of K_4k,4k. In this paper, we show that (1) the conjecture is true when H satisfies some structural conditions; (2) for any two positive integers r?k, K_kr²,kr² has a K_r,r-factorization orthogonal to H if H is a k-factor of K_kr²,kr²; (3) K_2d²,2d² has a C₄-factorization such that each edge of H belongs to a different C₄ if H is a subgraph of K_2d²,2d² with maximum degree Δ(H)?d.     

Equivariant Spectral Triples on the Quantum SU(2) Group

We characterize all equivariant odd spectral triples for the quantum SU(2) group acting on its L ₂-space and having a nontrivial Chern character. It is shown that the dimension of an equivariant spectral triple is at least three, and given any element of the K-homology group of SU_q(2), there is an equivariant odd spectral triple of dimension 3 inducing that element. The method employed to get equivariant spectral triples in the quantum case is then used for classical SU(2), and we prove that for p < 4, there does not exist any equivariant spectral triple with nontrivial K-homology class and dimension p acting on the L ₂-space.The first author would like to acknowledge support from the National Board of Higher Mathematics, India.     

On counting twists of a character appearing in its associated Weil representation

Consider an irreducible, admissible representation π of GL(2,F) whose restriction to GL(2,F)⁺ breaks up as a sum of two irreducible representations π ₊ + π −. If π = r _θ , the Weil representation of GL(2,F) attached to a character θ of K ^* does not factor through the norm map from K to F, then c ? [^(K^*)]\chi\in \widehat{K^*} with (c. q^-1)| _{F ^*} =w _K/F(\chi . \theta ^{-1})\vert _{ F^{ * }}=\omega _{ {K/F}} occurs in r _{θ  +} if and only if e(qc^-1,y₀)=e([`(q)]c^-1,y₀)=1\epsilon(\theta\chi^{-1},\psi_0)=\epsilon(\overline \theta\chi^{-1},\psi_0)=1 and in r _θ− if and only if both the epsilon factors are − 1. But given a conductor n, can we say precisely how many such χ will appear in π? We calculate the number of such characters at each given conductor n in this work.     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).