Principal blocks for different primes. II (Q6073855)

In [J. Algebra 610, 632--654 (2022; Zbl 1511.20044)], the authors proposed new conjectures about the relationship between the principal blocks of finite groups for different primes. In particular: Conjecture B. Let \(G\) be a finite group and let \(p,q \in \pi(G)\). If \(\mathrm{Irr}_{p'}(B_{p}(G)) = \mathrm{Irr}_{q'}(B_{q}(G))\), then \(p=q\). Conjecture C. Let \(G\) be a finite group, and let \(p\) and \(q\) be different primes. Then \(q\) does not divide \(\chi(1)\) for all \(\chi \in \mathrm{Irr}_{p'}(B_{p}(G))\) and \(p\) does not divide \(\chi(1)\) for all \(\chi \in \mathrm{Irr}_{q'}(B_{q}(G))\) if and only if there are a Sylow \(p\)-subgroup \(P\) of \(G\) and a Sylow \(q\)-subgroup \(Q\) of \(G\) such that \([P,Q]=1\). In the paper under review, the authors (using the classification of finite simple groups) prove the following two theorems. Theorem D: Conjecture C implies Conjecture B. Theorem E: Conjecture C holds for finite simple groups.