In Kechris et al. [J. Symb. Log. 83 (2018), no. 3, 1190–1203], it was asked if equality on the reals is sharp as a lower bound for the complexity of topological isomorphism between oligomorphic groups. We prove that under the assumption of weak elimination of imaginaries, this is indeed the case. Our methods are model theoretic and they also have applications on the classical problem of reconstruction of isomorphisms of permutation groups from (topological) isomorphisms of automorphisms groups. As a concrete application, we give an explicit description of (Formula presented.) for any vector space (Formula presented.) of dimension (Formula presented.) over a finite field, in affinity with the classical description for finite-dimensional spaces due to Schreier and van der Waerden.
The isomorphism problem for oligomorphic groups with weak elimination of imaginaries
Paolini G.
2024-01-01
Abstract
In Kechris et al. [J. Symb. Log. 83 (2018), no. 3, 1190–1203], it was asked if equality on the reals is sharp as a lower bound for the complexity of topological isomorphism between oligomorphic groups. We prove that under the assumption of weak elimination of imaginaries, this is indeed the case. Our methods are model theoretic and they also have applications on the classical problem of reconstruction of isomorphisms of permutation groups from (topological) isomorphisms of automorphisms groups. As a concrete application, we give an explicit description of (Formula presented.) for any vector space (Formula presented.) of dimension (Formula presented.) over a finite field, in affinity with the classical description for finite-dimensional spaces due to Schreier and van der Waerden.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
