Unveiling universality, encloseness, and orthogonality in dynamics
Motivated by Sarnak's conjecture on M\"obius orthogonality, we investigate the general problem of orthogonality for a bounded sequence to topological models of characteristic classes of measure-preserving automorphisms. Our main observation is that whenever a strong form of such orthogonality holds in a system $(X,T)$ then the orthogonality holds for all topological systems in which each ergodic measure yields an automorphism that is measure-theoretically isomorphic to one arising from an ergodic measure in $(X,T)$. This leads us to study two purely dynamical problems: the existence of universal topological models for characteristic classes of measure-preserving automorphisms and the existence of a common ergodic extension for a measurable family of ergodic automorphisms. We show that the class of automorphisms with relative discrete spectrum over the identity factor--as well as several related classes including the weakly mixing case--admit universal models. We also highlight potential applications to the orthogonality phenomena. Moreover, we show that if the set of all measure-theoretic eigenvalues of a zero entropy system $(X,T)$ is countable, then $(X,T)$ satisfies Sarnak's conjecture along a subsequence of full logarithmic density.