BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Todor Tsankov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Answering a question of Uspenskij, we prove that if $X$ is a closed manifold of dimension $2$ or higher or the Hilbert cube, then the universal minimal flow of $\mathrm{Homeo}(X)$ is not metrizable. In dimension $3$ or higher, we also show that the minimal $\mathrm{Homeo}(X)$-flow consisting of all maximal, connected chains in $X$ has meager orbits.
We show that if $G$ is a non-archimedean, Roelcke precompact, Polish group, then $G$ has Kazhdan's property (T). Moreover, if $G$ has a smallest open subgroup of finite index, then $G$ has a finite Kazhdan set. Examples of such $G$ include automorphism groups of countable $ω$-categorical structures, that is, the closed, oligomorphic permutation groups on a countable set. The proof uses work of the second author on the unitary representations of such groups, together with a separation result for infinite permutation groups. The latter allows the construction of a non-abelian free subgroup of $G$ acting freely in all infinite transitive permutation representations of $G$.
In this paper, we study the descriptive set theoretic complexity of the equivalence relation of conjugacy of Toeplitz subshifts of a residually finite group $G$. On the one hand, we show that if $G = \mathbb{Z}$, then topological conjugacy on Toeplitz subshifts with separated holes is amenable. In contrast, if $G$ is non-amenable, then conjugacy of Toeplitz $G$-subshifts is a non-amenable equivalence relation. The results were motivated by a general question, asked by Gao, Jackson and Seward, about the complexity of conjugacy for minimal, free subshifts of countable groups.
We investigate the automorphism groups of $\aleph\_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if and only if every Roelcke uniformly continuous function on the automorphism group is weakly almost periodic. Analysing the semigroup structure on the weakly almost periodic compactification, we show that continuous surjective homomorphisms from automorphism groups of stable $\aleph\_0$-categorical structures to Hausdorff topological groups are open. We also produce some new WAP-trivial groups and calculate the WAP compactification in a number of examples.
We establish a characterization of extreme amenability of any Polish group in Fraïssé-theoretic terms in the setting of continuous logic, mirroring a theorem due to Kechris, Pestov and Todorcevic for closed subgroups of the permutation group of an infinite countable set.
For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational problem: input are quantifier-free τ-formulas ϕ_0,ϕ_1,...,ϕ_n that define relations R_0,R_1,...,R_n over Γ. The question is whether the relation R_0 is primitive positive definable from R_1,...,R_n, i.e., definable by a first-order formula that uses only relation symbols for R_1,..., R_n, equality, conjunctions, and existential quantification (disjunction, negation, and universal quantification are forbidden). We show decidability of this problem for all structures Γ that have a first-order definition in an ordered homogeneous structure Δ with a finite relational signature whose age is a Ramsey class and determined by finitely many forbidden substructures. Examples of structures Γ with this property are the order of the rationals, the random graph, the homogeneous universal poset, the random tournament, all homogeneous universal C-relations, and many more. We also obtain decidability of the problem when we replace primitive positive definability by existential positive, or existential definability. Our proof makes use of universal algebraic and model theoretic concepts, Ramsey theory, and a recent characterization of Ramsey classes in topological dynamics.
If $G$ is a Polish group and $Γ$ is a countable group, denote by $\Hom(Γ, G)$ the space of all homomorphisms $Γ\to G$. We study properties of the group $\cl{π(Γ)}$ for the generic $π\in \Hom(Γ, G)$, when $Γ$ is abelian and $G$ is one of the following three groups: the unitary group of an infinite-dimensional Hilbert space, the automorphism group of a standard probability space, and the isometry group of the Urysohn metric space. Under mild assumptions on $Γ$, we prove that in the first case, there is (up to isomorphism of topological groups) a unique generic $\cl{π(Γ)}$; in the other two, we show that the generic $\cl{π(Γ)}$ is extremely amenable. We also show that if $Γ$ is torsion-free, the centralizer of the generic $π$ is as small as possible, extending a result of King from ergodic theory.
We obtain a complete classification of the continuous unitary representations of oligomorphic permutation groups (those include the infinite permutation group $S_\infty$, the automorphism group of the countable dense linear order, the homeomorphism group of the Cantor space, etc.). Our main result is that all irreducible representations of such groups are obtained by induction from representations of finite quotients of open subgroups and moreover, every representation is a sum of irreducibles. As an application, we prove that many oligomorphic groups have property (T). We also show that the Gelfand--Raikov theorem holds for topological subgroups of $S_\infty$: for all such groups, continuous irreducible representations separate points in the group.
We show that every homomorphism from the infinite-dimensional unitary or orthogonal group to a separable group is continuous.