B型・C型有限単純群のAlperinウェイト条件を証明

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 $\Omega_{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.

For information on the Lean sources and reflections on the use of AI in mathematical research, please see the acknowledgements