SearcharxivSearch

arXiv subjects

Baoyu Zhang

Publications and source records attributed to Baoyu Zhang.

3 recordsLinked to original sources

On the inductive blockwise Alperin weight condition for type $\mathsf B$ and type $\mathsf C$

The purpose of this paper is to prove that every finite simple group of type $\mathsf B$ or $\mathsf C$ satisfies the inductive blockwise Alperin weight condition at every prime $\ell$ dividing its order. For ${\rm PSp}_{2n}(q)$, where $q$ is odd and $n\geq3$, a permutation lattice argument based on Conlon's induction theorem removes the unitriangularity assumption from earlier results on the inductive condition at odd nondefining primes. At $\ell=2$ in odd defining characteristic, errors and omissions in the underlying classification of radical $2$-subgroups affect an earlier parametrisation of weights for arbitrary blocks. We verify the required weight parametrisation for principal blocks and use Jordan reduction to establish the inductive condition for all blocks. At odd $\ell$ in even defining characteristic and rank at least four, we prove the inductive condition using generic weights and Jordan reduction, without assuming unitriangularity. For $Ω_{2n+1}(q)$, where $q$ is odd and $n\geq3$, we remove the unitriangularity assumption at odd nondefining primes using Conlon's induction theorem. At $\ell=2$, we prove the stabiliser and extension property for Brauer characters of $\operatorname{Spin}_{2n+1}(q)$ that was assumed in earlier work on the inductive condition. We also give proofs of the inductive condition for the remaining sporadic groups $J_4$, $Fi'_{24}$, the Baby Monster and the Monster, without making a priority claim. Together with the previously established cases, these results imply that the blockwise Alperin weight conjecture holds at $\ell$ for every finite group each of whose nonabelian simple sections of order divisible by $\ell$ is of type $\mathsf B$, of type $\mathsf C$, or sporadic.

math.GR

A Proof of Gluck's Conjecture

For a finite group $H$, let $ν(H)$ denote the maximum order of a nilpotent subgroup of $H$. We prove that every finite solvable transitive permutation group $P$ on a finite set $Ω$ has a subset $Δ\subseteqΩ$ such that $|P:P_Δ|\geν(P_Δ)$. We also prove that if a finite solvable group $H$ acts faithfully and completely reducibly on a finite module $V$, then some $x\in V$ satisfies $|H:H_x|\geν(H_x)$. Consequently, we settle Gluck's well-known conjecture, open since 1985: every finite solvable group $G$ satisfies $|G:\mathbf{F}(G)|\le b(G)^2$, where $\mathbf{F}(G)$ is the largest normal nilpotent subgroup of $G$ and $b(G)$ is the largest degree of an irreducible complex character of $G$.

math.GR

A further generalization of the Glauberman-Thompson $p$-nilpotency criterion in fusion systems

Let $p$ be a prime and $\mathcal{F}$ be a saturated fusion system over a finite $p$-group $P$. The fusion system $\mathcal{F}$ is said to be nilpotent if $\mathcal{F}=\mathcal{F}_{P}(P)$. We provide new criteria for a saturated fusion system $\mathcal{F}$ to be nilpotent, which may be viewed as extending the Glauberman-Thompson $p$-nilpotency criterion to fusion systems.

math.GR