Uncountably many local isomorphism types of compactly generated simple groups

A major open question in the theory of locally compact groups is the following. Let $\mathcal{S}$ be the class of non-discrete compactly generated totally disconnected locally compact groups that are topologically simple. Is the number of local isomorphism classes of groups in $\mathcal{S}$ uncountable? We have answered this question, showing that there are $2^{{\mathrm{\aleph }}_0}$ local isomorphism classes in $\mathcal{S}$. This preprint is an overview of our forthcoming paper. Our result was obtained without the use of artificial intelligence; it arose from a problem session that ran over several days at the workshop “Branch groups: subgroups, rigidity, topologies” at the Universidad Complutense de Madrid, organised by Dominik Francoeur, Alejandra Garrido and Tatiana Nagnibeda.