Thompson's Conjecture for Large Unitary Groups

Michael Larsen,Pham Huu Tiep

2024-03-14

Abstract:We prove that every simple unitary group $S$ of sufficiently large order satisfies Thompson's conjecture, that is, $S$ contains a conjugacy class $C$ such that $C^2 = S$. The proof relies on exponential character bounds recently obtained in

Group Theory

What problem does this paper attempt to address?

On Thompson Problem

Rulin Shen,Wujie Shi,Feng Tang

2023-09-18

Abstract:In 1987, the second author of this paper reported his conjecture, all finite simple groups $S$ can be characterized uniformly using the order of $S$ and the set of element orders in $S$, to Prof. J. G. Thompson. In their communications, Thompson posed his problem about the judgment of solvability of finite groups $G$. In this paper we give a positive answer for Thompson's problem if the prime graph of $G$ is not connection.

Group Theory
Uniform Character Bounds for Finite Classical Groups

Michael Larsen,Pham Huu Tiep

2024-03-14

Abstract:For every finite quasisimple group of Lie type $G$, every irreducible character $\chi$ of $G$, and every element $g$ of $G$, we give an exponential upper bound for the character ratio $|\chi(g)|/\chi(1)$ with exponent linear in $\log_{|G|} |g^G|$, or, equivalently, in the ratio of the support of $g$ to the rank of $G$. We give several applications, including a proof of Thompson's conjecture for all sufficiently large simple symplectic groups, orthogonal groups in characteristic $2$, and some other infinite families of orthogonal and unitary groups

Representation Theory,Group Theory
Variations on the Thompson theorem

Hung P. Tong-Viet

2024-02-28

Abstract:Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain condition on $2$-generated subgroups. We show that a finite group $G$ is solvable if and only if for every pair of two elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $\langle x,y^g\rangle$ is solvable for all $g\in G$. Similarly, a finite group $G$ is nilpotent if and only if for every pair of elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $x$ and $y^g$ commute for some $g\in G.$ Some applications to graphs defined on groups are given.

Group Theory,Combinatorics
The Maximality of $T$ in Thompson's group $V$

James Belk,Collin Bleak,Martyn Quick,Rachel Skipper

2024-09-19

Abstract:We show that R. Thompson's group $T$ is a maximal subgroup of the group $V$. The argument provides examples of foundational calculations which arise when expressing elements of $V$ as products of transpositions of basic clopen sets in Cantor space $\mathfrak{C}$.

Group Theory
The power conjugacy problem in Higman-Thompson groups

Nathan Barker,Andrew J. Duncan,David M. Robertson

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

2015-12-28

Abstract:An introduction to the universal algebra approach to Higman-Thompson groups (including Thompson's group $V$) is given, following a series of lectures by Graham Higman in 1973. In these talks, Higman outlined an algorithm for the conjugacy problem; which although essentially correct fails in certain cases, as we show here. A revised and complete version of the algorithm is written out explicitly. From this, we construct an algorithm for the power conjugacy problem in these groups. Python implementations of these algorithms can be found at [26].

Group Theory
Thompson-like characterization of solubility for products of finite groups

P. Hauck,L. S. Kazarin,A. Martínez-Pastor,M. D. Pérez-Ramos

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

2019-08-09

Abstract:A remarkable result of Thompson states that a finite group is soluble if and only if its two-generated subgroups are soluble. This result has been generalized in numerous ways, and it is in the core of a wide area of research in the theory of groups, aiming for global properties of groups from local properties of two-generated (or more generally, $n$-generated) subgroups. We contribute an extension of Thompson's theorem from the perspective of factorized groups. More precisely, we study finite groups $G = AB$ with subgroups $A,\ B$ such that $\langle a, b\rangle$ is soluble for all $a \in A$ and $b \in B$. In this case, the group $G$ is said to be an $\cal S$-connected product of the subgroups $A$ and $B$ for the class $\cal S$ of all finite soluble groups. Our main theorem states that $G = AB$ is $\cal S$-connected if and only if $[A,B]$ is soluble. In the course of the proof we derive a result of own interest about independent primes regarding the soluble graph of almost simple groups.

Group Theory
Large subgroups of simple groups

S. Hassan Alavi,Timothy C. Burness

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

2014-07-03

Abstract:Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an analogous result for simple algebraic groups (in this context, largeness is defined in terms of dimension). An application to triple factorisations of simple groups (both finite and algebraic) is discussed.

Group Theory
Thompson's group $T$ is $\frac{3}{2}$-generated

Collin Bleak,Scott Harper,Rachel Skipper

2023-07-13

Abstract:Every finite simple group can be generated by two elements and, in fact, every nontrivial element is contained in a generating pair. Groups with this property are said to be $\frac{3}{2}$-generated, and the finite $\frac{3}{2}$-generated groups were recently classified. Turning to infinite groups, in this paper, we prove that the finitely presented simple group $T$ of Thompson is $\frac{3}{2}$-generated. Moreover, we exhibit an element $\zeta \in T$ such that for any nontrivial $\alpha \in T$, there exists $\gamma \in T$ such that $\langle \alpha, \zeta^\gamma \rangle = T$.

Group Theory
Random Unitary Representations of Surface Groups II: The large $n$ limit

Michael Magee

2024-05-11

Abstract:Let $\Sigma_{g}$ be a closed surface of genus $g\geq 2$ and $\Gamma_{g}$ denote the fundamental group of $\Sigma_{g}$. We establish a generalization of Voiculescu's theorem on the asymptotic $*$-freeness of Haar unitary matrices from free groups to $\Gamma_{g}$. We prove that for a random representation of $\Gamma_{g}$ into $\mathsf{SU}(n)$, with law given by the volume form arising from the Atiyah-Bott-Goldman symplectic form on moduli space, the expected value of the trace of a fixed non-identity element of $\Gamma_{g}$ is bounded as $n\to\infty$. The proof involves an interplay between Dehn's work on the word problem in $\Gamma_{g}$ and classical invariant theory.

Representation Theory,Mathematical Physics,Geometric Topology,Operator Algebras
Uniform boundedness of torsion subgroups of linear groups

Bin Yong Sun

DOI: https://doi.org/10.1007/s10114-007-1016-7

2008-01-01

Abstract:The torsion conjecture says: for any abelian variety A defined over a number field k , the order of the torsion subgroup of A ( k ) is bounded by a constant C ( k, d ) which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over ℚ, Γ is a torsion subgroup of G ( k ). Then the order of Γ is bounded by a constant C ′( k, d ) which depends only on k and the dimension d of G .
The Largest Volume Conjugacy Class in Most Compact Simple Lie Groups

Woody Lichtenstein

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

2021-06-16

Abstract:We provide some details about the largest volume conjugacy class in compact simple Lie groups of types An, Bn, Cn, Dn, and G2.

Group Theory
Diameter of classical groups generated by transvections

Sean Eberhard

DOI: https://doi.org/10.1016/j.jalgebra.2024.05.009

2024-05-03

Abstract:Let $G$ be a finite classical group generated by transvections, i.e., one of $\operatorname{SL}_n(q)$, $\operatorname{SU}_n(q)$, $\operatorname{Sp}_{2n}(q)$, or $\operatorname{O}^\pm_{2n}(q)$ ($q$ even), and let $X$ be a generating set for $G$ containing at least one transvection. Building on work of Garonzi, Halasi, and Somlai, we prove that the diameter of the Cayley graph $\operatorname{Cay}(G, X)$ is bounded by $(n \log q)^C$ for some constant $C$. This confirms Babai's conjecture on the diameter of finite simple groups in the case of generating sets containing a transvection. By combining this with a result of the author and Jezernik it follows that if $G$ is one of $\operatorname{SL}_n(q)$, $\operatorname{SU}_n(q)$, $\operatorname{Sp}_{2n}(q)$ and $X$ contains three random generators then with high probability the diameter $\operatorname{Cay}(G, X)$ is bounded by $n^{O(\log q)}$. This confirms Babai's conjecture for non-orthogonal classical simple groups over small fields and three random generators.

Group Theory,Combinatorics
Quillen's conjecture and unitary groups

Antonio Díaz Ramos

2024-03-31

Abstract:We prove Quillen's conjecture for finite simple unitary groups and obtain, as a consequence of the Aschbacher-Smith work, Quillen's conjecture for all odd primes.

Group Theory
Characters of p'-degree and Thompson's character degree theorem

Nguyen Ngoc Hung

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

2015-06-22

Group Theory

Abstract:A classical theorem of John Thompson on character degrees asserts that if the degree of every ordinary irreducible character of a finite group $G$ is 1 or divisible by a prime $p$, then $G$ has a normal $p$-complement. We obtain a significant improvement of this result by considering the average of $p'$-degrees of irreducible characters. We also consider fields of character values and prove several improvements of earlier related results.
A new lower bound for the number of conjugacy classes

Burcu Çınarcı,Thomas Michael Keller

2023-11-14

Abstract:In 2003, Héthelyi and Külshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those primes $p$ for which $\sqrt{p-1}$ is an integer. This initiated a flurry of activity, leading to many generalizations and variations of the result; in particular, today the conjecture is known to be true for all finite groups. In this note, we put forward a natural new and stronger conjecture, which is sharp for all primes $p$, and we prove it for solvable groups, and when $p$ is large, also for arbitrary groups.

Group Theory
A central limit theorem in the framework of the Thompson group $F$

Arundhathi Krishnan

2024-09-24

Abstract:We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.

Operator Algebras,Combinatorics,Group Theory,Probability
Finite Groups With Many Conjugate Elements

J. P. Zhang

DOI: https://doi.org/10.1006/jabr.1994.1356

IF: 0.908

1994-01-01

Journal of Algebra

Abstract:In this paper we prove the following long-standing conjecture in the theory of finite groups: Finite solvable groups with no two distinct conjugacy classes of the same length are isomorphic to the symmetric group of degree 3.
Zassenhaus conjecture for cyclic-by-abelian groups

Mauricio Caicedo,Leo Margolis,Ángel del Río

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

2012-02-17

Abstract:Zassenhaus Conjecture for torsion units states that every augmentation one torsion unit of the integral group ring of a finite group G is conjugate to an element of G in the units of rational group algebra QG. This conjecture has been proved for nilpotent groups, metacyclic groups and some other families of groups. We prove the conjecture for cyclic-by-abelian groups.

Representation Theory,Group Theory,Rings and Algebras
CAT(0) geometry for the Thompson Group

Dan-Titus Salajan

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

2012-03-27

Abstract:We investigate Farley's CAT(0) cubical model for Thompson's group F (we adopt the classical language of F, using binary trees and piecewise linear maps). Main results include: in general, Thompson's group elements are parabolic; we find simple, exact formulas for the CAT(0) translation lengths, in particular the elements of F are ballistic and uniformly bounded away from zero; there exist flats of any dimension and we construct explicitly many of them; we reveal large regions in the Tits Boundary, for example the positive part of a non-separable Hilbert sphere, but also more complicated objects. En route, we solve several open problems proposed in Farley's papers.

Group Theory,Metric Geometry
Thompson's group T has quadratic Dehn function

Matteo Migliorini

2024-10-30

Abstract:We prove that Thompson's group $T$ and, more generally, all the Higman-Thompson groups $T_n$ have quadratic Dehn function.

Group Theory

Thompson's Conjecture for Large Unitary Groups

On Thompson Problem

Uniform Character Bounds for Finite Classical Groups

Variations on the Thompson theorem

The Maximality of $T$ in Thompson's group $V$

The power conjugacy problem in Higman-Thompson groups

Thompson-like characterization of solubility for products of finite groups

Large subgroups of simple groups

Thompson's group $T$ is $\frac{3}{2}$-generated

Random Unitary Representations of Surface Groups II: The large $n$ limit

Uniform boundedness of torsion subgroups of linear groups

The Largest Volume Conjugacy Class in Most Compact Simple Lie Groups

Diameter of classical groups generated by transvections

Quillen's conjecture and unitary groups

Characters of p'-degree and Thompson's character degree theorem

A new lower bound for the number of conjugacy classes

A central limit theorem in the framework of the Thompson group $F$

Finite Groups With Many Conjugate Elements

Zassenhaus conjecture for cyclic-by-abelian groups

CAT(0) geometry for the Thompson Group

Thompson's group T has quadratic Dehn function