all mixed identities are singular in groups with no algebraicity

We show that if a group admits an action with no algebraicity, then all of its mixed identities are singular. This generalises a theorem of Abért showing such groups are lawless. Our result confirms a conjecture of Bodirsky, Schneider, and Thom for a large class of oligomorphic permutation groups, and it also applies to several groups arising in topological contexts. I'll also discuss how ideas from independence relations in model theory arise in the proof and yield more general results, also applying to infinite-dimensional general (and projective) linear groups over arbitrary fields, recovering results of Bradford, Schneider, and Thom.

This is joint work with Michael Pinsker.