On almost $p$-rational characters of $p'$-degree

Nguyen Ngoc Hung,Gunter Malle,Attila Maróti
DOI: https://doi.org/10.48550/arXiv.2104.02994
2021-04-07
Abstract:Let $p$ be a prime and $G$ a finite group. A complex character of $G$ is called almost $p$-rational if its values belong to a cyclotomic field $\mathbb{Q}(e^{2\pi i/n})$ for some $n\in \mathbb{Z}^+$ prime to $p$ or precisely divisible by $p$. We prove that, in contrast to usual $p$-rational characters, there are always "many" almost $p$-rational irreducible characters in finite groups. We obtain both explicit and asymptotic bounds for the number of almost $p$-rational irreducible characters of $G$ in terms of $p$. In fact, motivated by the McKay-Navarro conjecture, we obtain the same bound for the number of such characters of $p'$-degree and prove that, in the minimal situation, the number of almost $p$-rational irreducible $p'$-characters of $G$ coincides with that of $N_G(P)$ for $P\in\mathrm{Syl}_p(G)$. Lastly, we propose a new way to detect the cyclicity of Sylow $p$-subgroups of a finite group $G$ from its character table, using almost $p$-rational irreducible $p'$-characters and the blockwise refinement of the McKay-Navarro conjecture.
Representation Theory,Group Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the number of almost \( p \)-rational characters and their distribution in finite groups. Specifically, the paper focuses on the following points: 1. **The number of almost \( p \)-rational characters**: - The paper proves that for any finite group \( G \) and a prime number \( p \), the number of almost \( p \)-rational irreducible characters is always "large". More specifically, the author gives explicit and asymptotic lower bounds, which are related to \( p \). - The specific result is as stated in Theorem 1.1: for any finite group \( G \) and prime number \( p \), the number of almost \( p \)-rational irreducible characters \( |{\rm Irr}_{p\text{-ar}}(G)| \geq 2\sqrt{p - 1} \). The equality holds if and only if \( p - 1 \) is a perfect square and \( G \) is isomorphic to a certain Frobenius group \( C_{p^n} \rtimes C_{\sqrt{p - 1}} \). 2. **The relationship with the McKay - Navarro conjecture**: - The paper further explores the relationship between almost \( p \)-rational characters and the McKay - Navarro conjecture. The McKay - Navarro conjecture involves the relationship between the \( p' \)-degree irreducible characters of a finite group \( G \) and the normalizer \( N_G(P) \) of a Sylow \( p \)-subgroup \( P \). - Theorem 1.3 shows that under certain conditions, the number of almost \( p \)-rational \( p' \)-degree irreducible characters is the same in \( G \) and \( N_G(P) \). This is consistent with the McKay - Navarro conjecture. 3. **Detecting the cyclicity of Sylow \( p \)-subgroups**: - The paper proposes a new method to detect whether the Sylow \( p \)-subgroups of a finite group \( G \) are cyclic through almost \( p \)-rational \( p' \)-degree irreducible characters. This method makes use of the block - wise refinement of almost \( p \)-rational characters and the McKay - Navarro conjecture. 4. **Other motivations**: - Besides the above main problems, the paper also explores the applications of almost \( p \)-rational characters in other mathematical problems, such as the lower bound estimation of the number of conjugacy classes, and problems related to the action of Galois groups. In conclusion, the main objective of this paper is to deeply study the properties of almost \( p \)-rational characters and solve some important problems in the representation theory of finite groups through these characters.