The minimal counterexample to James's conjecture

In 2017, Geordie Williamson proved the existence of counterexamples to James’s conjecture on the decomposition matrices of symmetric groups and their Hecke algebras. The smallest counterexample detectable by Williamson’s method occurs in the symmetric group ${\mathfrak{S}}_n$ for $n=1744860$, in characteristic $p=2237$. Those detected by Williamson remain the only known counterexamples to James’s conjecture. In this work, we calculate an explicit new counterexample, occurring in the principal block of the Hecke algebra ${\mathcal{H}}_{24}$ when $q$ is a primitive fourth root of unity, and give explicit graded decomposition numbers in this case. This is the minimal rank counterexample for $e\mathrm{\ne }2$.