The maximum order of the elements of a finite symplectic group of even characteristic

Pablo Spiga

DOI: https://doi.org/10.48550/arXiv.1302.0359

2013-02-02

Abstract:We give an exact formula, as a function of m and q, for the maximum order of the elements of the finite symplectic group Sp(2m,q), with q even, and of its automorphism group.

Group Theory

What problem does this paper attempt to address?

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Tao Feng,Jianbing Lu

DOI: https://doi.org/10.1007/s10623-023-01203-x

2023-01-01

Abstract: Let $\mathcal{S}$ be a finite thick generalized quadrangle, and suppose that $G$ is an automorphism group of $\mathcal{S}$. If $G$ acts primitively on both the points and lines of $\mathcal{S}$, then it is known that $G$ must be almost simple. In this paper, we show that if the socle of $G$ is $\mathrm{PSL}(2,q)$ with $q\geq4$, then $q=9$ and $\mathcal{S}$ is the unique generalized quadrangle of order $2$.
On finite generalized quadrangles with PSL(2,q) as an automorphism group

Tao Feng,Jianbing Lu

DOI: https://doi.org/10.1007/s10623-023-01203-x

2023-01-01

Abstract:Let 𝒮 be a finite thick generalized quadrangle, and suppose that G is an automorphism group of 𝒮 . If G acts primitively on both the points and lines of 𝒮 , then it is known that G must be almost simple. In this paper, we show that if the socle of G is PSL(2,q) with q≥ 4 , then q=9 and 𝒮 is the unique generalized quadrangle of order 2.
Factorization and Symplectic Uniton Numbers for Harmonic Maps into Symplectic Groups

Qun He,Yibing Shen

DOI: https://doi.org/10.1007/bf02877010

2001-01-01

Science in China Series A Mathematics

Abstract:It is proved that any harmonic map ϕ : Ω →Sp(N) from a simply connected domain Ω ⊆R 2⋃ | ∞ | into the symplectic groupSp(N) ⊂U(2N) with finite uniton number can be factorized into a product of a finite number of symplectic unitons. Based on this factorization, it is proved that the minimal symplectic uniton number of ϕ is not larger thanN, and the minimal uniton number of ϕ is not larger than 2N - 1. The latter has been shown in literature in a quite different way.
On the maximal saddle order of p:-q resonant saddle

Guangfeng Dong,Changjian Liu,Jiazhong Yang

DOI: https://doi.org/10.48550/arXiv.1711.04093

2019-03-15

Abstract:In this paper, we obtain some estimations of the saddle order which is the sole topological invariant of the non-integrable resonant saddles of planar polynomial vector fields of arbitrary degree $n$. Firstly, we prove that, for any given resonance $p:-q$, $(p, q)=1$, and sufficiently big integer $n$, the maximal saddle order can grow at least as rapidly as $n^2$. Secondly, we show that there exists an integer $k_0$, which grows at least as rapidly as $3n^2/2$, such that $L_{k_0}$ does not belong to the ideal generated by the first $k_0-1$ saddle values $L_1, L_2, \cdots, L_{k_0-1}$, where $L_{k}$ means the $k$-th saddle value of the given system. In particular, if $p=1$ (or $q=1$), we obtain a sharper result that $k_0$ can grow at least as rapidly as $2 n^2$.

Classical Analysis and ODEs
Bounding the order of complex linear groups and permutation groups with selected composition factors

Geoffrey R. Robinson

2023-10-01

Abstract:Originally motivated by questions of P. Etingof related to growth rates of tensor powers in symmetric tensor categories, we obtain general bounds on the order of finite subgroups of ${\rm GL}(n,\mathbb{C})$ with restricted composition factors (as usual, modulo Abelian normal subgroups). We place the question in a wider context, and find other applications.

Group Theory
MVW-extensions of Quaternionic Classical Groups

Yanan Lin,Binyong Sun,Shaobin Tan

DOI: https://doi.org/10.1007/s00209-013-1246-6

2013-01-01

Mathematische Zeitschrift

Abstract:We show that inside the real quaternionic symplectic group ${\mathrm {Sp}}(p,q)$, every element is conjugate to its inverse. Similar result is proved for the real quaternionic orthogonal group $\mathrm{O }^{*}(2n)$. We also show that no similar result is possible in the p-adic case.
On Some Subgroups of the Group $psp\left( {2n,q} \Right)$

Eiichi Bannaĭ

DOI: https://doi.org/10.3792/pja/1195519749

1972-01-01

Proceedings of the Japan Academy Series A Mathematical Sciences

Abstract:Introduction.We say that a subgroup H of a group G is of rank 2 if the number of double cosets H\G/H is equal to 2. Any subgroup of rank 2 of G is the stabilizer of a point of some doubly transitive permutation representation of G, and vice versa.In [2] the author has determined the rank 2 subgroups of the symplectic group Sp(2n, 2).After that, a remarkable paper of G. M. Seitz [7] has been appeared, which determined all flag transitive sub- groups of the finite Chevalley groups (among which all simple groups of Lie type are included) and which asserts together with the result of J. A. Green [5] that there exists an integer N (which depends only on the type of the associated Weyl group) such that if q/> N then rank 2 subgroups of the Chevalley group of the type defined over the finite field GF(q) are among the maximal parabolic subgroups.However, any ef- fective bound for the integer N is not obtained at present.The purpose of this note is to give an outline of the proof of the following Theorem 1.The proof is done combining the idea used in [2] and the main result given in Seitz [7].Details will be published elsewhere together with that of [2].Theorem 1.The simple group PSp(2n, q), n >/10 and q 2, has no subgroup of rank 2.Remark.The assumption that n/> 10 is not a serious one but a mere convention not to make the argument so complicated, and it is possible to loosen therestriction a little, say up to n= 7 (or 6).Nevertheless for small values of n some additional special treatments are needed, and it is not yet done completely at the time of writing this note.However, it will be not so difficult to settle those remaining cases.Our method given here is also applicable for any finite Chevalley groups with high rank (as BN-pair)(it is sufficient if we take n>/15, say).These will be treated in a subsequent paper.1.The group $t(2n, q).We may define G-Sp(2n, q), the symplectic group defined over the finite field GF(q), by G= X GL(n, q); tXJX=J, with J-I
Odd Character Degrees for Sp(2n,2)

Marc Cabanes

DOI: https://doi.org/10.48550/arXiv.1102.5208

IF: 0.6

2011-02-25

Representation Theory

Abstract:We check McKay conjecture on character degrees for the case of symplectic groups over the field with two elements Sp(2n,2) and the prime 2. Then we check the inductive McKay condition (Isaacs-Malle-Navarro 2007) for Sp(4,2^m) and all primes.
Finite simple groups with two maximal subgroups of coprime orders

N.V. Maslova

2023-08-07

Abstract:In 1962, V.A. Belonogov proved that if a finite group $G$ contains two maximal subgroups of coprime orders, then either $G$ is one of known solvable groups or $G$ is simple. In this short note based on results by M. Liebeck and J. Saxl on odd order maximal subgroups in finite simple groups we determine possibilities for triples $(G,H,M)$, where $G$ is a finite nonabelian simple group, $H$ and $M$ are maximal subgroups of $G$ with $(|H|,|M|)=1$.

Group Theory
Maximal representations in lattices of the symplectic group

Jacques Audibert

2023-07-13

Abstract:We prove that all lattices of Sp(2n,R), except those commensurable with Sp(4k+2,Z) when n=2k+1, contain the image of infinitely many mapping class group orbits of Zariski-dense maximal representation that are continuous deformations of maximal diagonal representations. In particular, we show that Sp(4k,Z) contain Zariski-dense surface subgroups for all k.

Geometric Topology,Group Theory,Number Theory
Graphs in the 3-Sphere with Maximum Symmetry

Chao Wang,Shicheng Wang,Yimu Zhang,Bruno Zimmermann

DOI: https://doi.org/10.1007/s00454-017-9952-1

2015-01-01

Abstract:We consider the orientation-preserving actions of finite groups G on pairs (S^3, Γ ) , where Γ is a connected graph of genus g>1 , embedded in S^3 . For each g we give the maximum order m_g of such G acting on (S^3, Γ ) for all such Γ⊂ S^3 . Indeed we will classify all graphs Γ⊂ S^3 which realize these m_g in different levels: as abstract graphs and as spatial graphs, as well as their group actions. Such maximum orders without the condition “orientation-preserving” are also addressed.
Powers in finite orthogonal and symplectic groups: A generating function approach

Saikat Panja,Anupam Singh

DOI: https://doi.org/10.1007/s11856-024-2694-x

2024-12-05

Israel Journal of Mathematics

Abstract:For an integer M ≥ 2 and a finite group G , an element α ∈ G is called an M -th power if it satisfies A M = α for some A ∈ G . In this article, we will deal with the case when G is a finite symplectic or orthogonal group over a field of odd order q . We introduce the notion of M *-power SRIM polynomials. This, amalgamated with the concept of M -power polynomial, we provide the complete classification of the conjugacy classes of regular semisimple, semisimple, cyclic and regular elements in G , which are M -th powers, when ( M , q ) = 1. The approach here is of generating functions, as worked on by Jason Fulman, Peter M. Neumann, and Cheryl Praeger in the memoir "A generating function approach to the enumeration of matrices in classical groups over finite fields". As a byproduct, we obtain the corresponding probabilities, in terms of generating functions.

mathematics
Element orders in extraspecial groups

Mihai-Silviu Lazorec

2024-05-07

Abstract:By using the structure and some properties of extraspecial and generalized/almost extraspecial $p$-groups, we explicitly determine the number of elements of specific orders in such groups. As a consequence, one may find the number of cyclic subgroups of any (generalized/almost) extraspecial group. For a finite group $G$, the ratio of the number of cyclic subgroups to the number of subgroups is called the cyclicity degree of $G$ and is denoted by $cdeg(G)$. We show that the set containing the cyclicity degrees of all finite groups is dense in $[0, 1]$. This is equivalent to giving an affirmative answer to the following question posed by Tóth and Tărnăuceanu: ``For every $a\in [0, 1]$, does there exist a sequence $(G_n)_{n\geq 1}$ of finite groups such that $\displaystyle\lim_{n\to\infty} cdeg(G_n)=a$?". We show that such sequences are formed of finite direct products of extraspecial groups of a specific type.

Group Theory
Element order versus minimal degree in permutation groups: an old lemma with new applications

László Babai,Ákos Seress

DOI: https://doi.org/10.48550/arXiv.1401.0489

2014-01-03

Abstract:In this note we present a simplified and slightly generalized version of a lemma the authors published in 1987. The lemma as stated here asserts that if the order of a permutation of $n$ elements is greater than $n^{\alpha}$ then some non-identity power of the permutation has support size less than $n/{\alpha}$. The original version made an unnecessary additional assumption on the cycle structure of the permutation; the proof of the present cleaner version follows the original proof verbatim. Application areas include parallel and sequential algorithms for permutation groups, the diameter of Cayley graphs of permutation groups, and the automorphisms of structures with regularity constraints such as Latin squares, Steiner 2-designs, and strongly regular graphs. This note also serves as a modest tribute to the junior author whose untimely passing is deeply mourned.

Combinatorics
Even Dimensional Higher Class Groups of Orders

Xuejun Guo

DOI: https://doi.org/10.1007/s00209-008-0343-4

2008-01-01

Mathematische Zeitschrift

Abstract:Let F be a number field, and let ${\mathcal{O}_F}$ denote the ring of integers in F. Let A be a finite-dimensional central simple F-algebra, and let Λ be an ${\mathcal{O}_F}$-order in A. In this paper it is shown that the p-torsion of the even dimensional higher class group Cl 2n (Λ) can only occur for primes p, which lie under prime ideals ${{\mathfrak{p}}}$, at which ${\Lambda_{\mathfrak{p}}}$ is not maximal, or which divide the dimension of A.
A cyclic sieving phenomenon for symplectic tableaux

Graeme Henrickson,Anna Stokke,Max Wiebe

DOI: https://doi.org/10.54550/ECA2024V4S1R8

2024-01-10

Abstract:We give a cyclic sieving phenomenon for symplectic $\lambda$-tableaux $SP(\lambda,2m)$, where $\lambda$ is a partition of an odd integer $n$ and $gcd(m,p)=1$ for any odd prime $p\leq n$. We use the crystal structure on Kashiwara-Nakashima symplectic tableaux to get a cyclic sieving action as the product $\sigma$ of simple reflections in the Weyl group. The cyclic sieving polynomial is the $q$-anologue of the hook-content formula for symplectic tableaux. More generally, we give a CSP for symplectic skew tableaux with analogous conditions on the shape and a cyclic group action that rotates tableaux weights in a way motivated by the $\sigma$-action.

Combinatorics
Counting conjugacy classes of elements of finite order in exceptional Lie groups

Tamar Friedmann,Qidong He

DOI: https://doi.org/10.5070/C64163850

2024-07-08

Abstract:This paper continues the study of two numbers that are associated with Lie groups. The first number is $N(G,m)$, the number of conjugacy classes of elements in $G$ whose order divides $m$. The second number is $N(G,m,s)$, the number of conjugacy classes of elements in $G$ whose order divides $m$ and which have $s$ distinct eigenvalues, where we view $G$ as a matrix group in its smallest-degree faithful representation. We describe systematic algorithms for computing both numbers for $G$ a connected and simply-connected exceptional Lie group. We also provide explicit results for all of $N(G,m)$, $N(G_2,m,s)$, and $N(F_4,m,s)$. The numbers $N(G,m,s)$ were previously known only for the classical Lie groups; our results for $N(G,m)$ agree with those already in the literature but are obtained differently.

Combinatorics
Finite Groups of Symplectic Automorphisms of Supersingular K3 surfaces in Odd Characteristics

Bin Wang,Zhiwei Zheng

2024-07-25

Abstract:In 2009, Dolgachev-Keum show that finite groups of tame symplectic automorphisms of K3 surfaces in positive characteristics are subgroups of the Mathieu group of degree 23 under mild conditions. In this paper, we utilize lattice-theoretic methods to investigate symplectic actions of finite groups G on K3 surfaces in odd characteristics. In the tame cases (i.e., the order of G is coprime with p) and all the superspecial cases, one can associate with the action a Leech pair which can be detected via Höhn-Mason's list. Notice that the superspecial cases have been resolved by Ohashi-Schütt. If the K3 surface is supersingular with Artin invariant at least two, we develop a new machinery called p-root pairs to detect possible symplectic finite group actions (without the assumption of tameness). The concept of p-root pair is closely related to root systems and Weyl groups. In particular, we recover many results by Dolgachev-Keum with a different method and give an upper bound for the exponent of p in |G|.

Algebraic Geometry,Group Theory
Schur rings over ${\bf {\rm Sp}(n,2)}$ and multiplicity one subgroups

Stephen P. Humphries

2024-04-11

Abstract:We study commutative Schur rings over the symplectic groups Sp$(n,2)$ containing the class $\mathcal C$ of symplectic transvections. We find the possible partitions of $\mathcal C$ determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp$(n,2)$.

Group Theory,Combinatorics
The excedance quotient of the Bruhat order, quasisymmetric varieties, and Temperley–Lieb algebras

Nantel Bergeron,Lucas Gagnon

DOI: https://doi.org/10.1112/jlms.13007

2024-10-09

Journal of the London Mathematical Society

Abstract:Abstract Let be the ring of polynomials in variables and consider the ideal generated by quasisymmetric polynomials without constant term. It was shown by J. C. Aval, F. Bergeron, and N. Bergeron that the th Catalan number. In the present work, we explain this phenomenon by defining a set of permutations with the following properties: first, is a basis of the Temperley–Lieb algebra , and second, when considering as a collection of points in , the top‐degree homogeneous component of the vanishing ideal is . Our construction has a few byproducts that are independently noteworthy. We define an equivalence relation on the symmetric group using weak excedances and show that its equivalence classes are naturally indexed by noncrossing partitions. Each equivalence class is an interval in the Bruhat order between an element of and a 321‐avoiding permutation. Furthermore, the Bruhat order induces a well‐defined order on . Finally, we show that any section of the quotient gives an (often novel) basis for .

mathematics

The maximum order of the elements of a finite symplectic group of even characteristic

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

On finite generalized quadrangles with PSL(2,q) as an automorphism group

Factorization and Symplectic Uniton Numbers for Harmonic Maps into Symplectic Groups

On the maximal saddle order of p:-q resonant saddle

Bounding the order of complex linear groups and permutation groups with selected composition factors

MVW-extensions of Quaternionic Classical Groups

On Some Subgroups of the Group $psp\left( {2n,q} \Right)$

Odd Character Degrees for Sp(2n,2)

Finite simple groups with two maximal subgroups of coprime orders

Maximal representations in lattices of the symplectic group

Graphs in the 3-Sphere with Maximum Symmetry

Powers in finite orthogonal and symplectic groups: A generating function approach

Element orders in extraspecial groups

Element order versus minimal degree in permutation groups: an old lemma with new applications

Even Dimensional Higher Class Groups of Orders

A cyclic sieving phenomenon for symplectic tableaux

Counting conjugacy classes of elements of finite order in exceptional Lie groups

Finite Groups of Symplectic Automorphisms of Supersingular K3 surfaces in Odd Characteristics

Schur rings over ${\bf {\rm Sp}(n,2)}$ and multiplicity one subgroups

The excedance quotient of the Bruhat order, quasisymmetric varieties, and Temperley–Lieb algebras