On Shalev's Quantitative Version of Thompson's Conjecture

Ohad Sheinfeld

En palabras de los autores

The classical Thompson's conjecture asserts that in any finite nonabelian simple group $G$ , there exists a conjugacy class $S$ whose square is equal to the entire group. Shalev (Annals Math., 2009) conjectured that a much stronger quantitative version holds: there exists $ϵ > 0$ such that for any conjugacy class $S$ with $∣ S ∣ \geq ∣ G ∣^{1 - ϵ}$ , we have $G ∖ {1} \subseteq S^{2}$ . While the conjecture turns out to fail in general, we prove a close variant of the conjecture over $PSL_{n} (2)$ : There exist $ϵ > 0$ and $N \in N$ such that for all $n \geq N$ , every conjugacy class $S \subseteq PSL_{n} (2)$ with $∣ S ∣ \geq ∣ PSL_{n} (2) ∣^{1 - ϵ}$ satisfies ${x \in PSL_{n} (2) : supp (x) \neq = 1} \subseteq S S^{- 1} .$ On the other hand, we show that for each $ϵ > 0$ , there exist conjugacy classes $S \subset PSL_{n} (8)$ of size $> ∣ PSL_{n} (8)) ∣^{1 - ϵ}$ for which $S S^{- 1}$ misses even elements with support size linear in $n$ . In addition, for every odd $n \geq 5$ , we construct an inverse-closed normal set in $PSL_{n} (5)$ with fixed positive density whose square misses a nonidentity element. This answers on the negative a question of Shalev (ECM, 2021) and disproves a conjecture of Pyber (Kourovka notebook, 2022).

Resultado principalLimitación que admiten los autores

On Shalev's Quantitative Version of Thompson's Conjecture

En palabras de los autores

Más de Álgebra y teoría de números ese día

Real quadratic fields and finite quantum dilogarithms I

Alt's Problem

On low-discrepancy sequences and Poissonian pair correlation

Super adaptable graphs and the realization problem

Projection Constants of Polynomial Spaces via Representation Theory