Profinite nature of Out(G) for all oligomorphic groups

Determine whether, for every oligomorphic permutation group G, the outer automorphism group Out(G) = Aut(G)/Inn(G) is profinite.

Background

The paper proves that for any oligomorphic group G, the group Out(G) is totally disconnected and locally compact, and that an open subgroup of Out(G) is profinite via a natural homomorphism from the normaliser N_G in Sym(ω) (Theorem 3.10). Moreover, Out(G) is shown to be profinite for two broad Borel classes of oligomorphic groups: those with no algebraicity and those with finitely many essential subgroups up to conjugacy (Theorem 4.7 and Theorem 1.3).

These results raise the broader structural question of whether Out(G) must be profinite in full generality, beyond the specific classes treated. The authors explicitly formulate this as a question following their upper bound result on Out(G).