Related papers: Non-classifiability of mixing zero-entropy diffeom…
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…
We prove that the topological conjugacy relations both for minimal systems and pointed minimal systems are not Borel-reducible to any Borel $S_{\infty}$-action.
The set of automorphisms of a one-dimensional \shift $(X, \sigma)$ forms a countable, but often very complicated, group. For zero entropy shifts, it has recently been shown that the automorphism group is more tame. We provide the first…
In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This…
We study mixing properties of epimorphisms of a compact connected finite-dimensional abelian group $X$. In particular, we show that a set $F$, $|F|>\dim X$, of epimorphisms of $X$ is mixing iff every subset of $F$ of cardinality $(\dim…
We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion…
We extend the formalism of Topological T-duality to spaces which are the total space of a principal $S^1$-bundle $p:E \to W$ with an $H$-flux in $H^3(E,Z)$ together the together with an automorphism of the continuous-trace algebra on $E$…
The main aim of the paper is to introduce a new class of (semigroup-valued) measures that are ultrahomogeneous on the Boolean algebra of all clopen subsets of the Cantor space and to study their automorphism groups. A characterisation, in…
A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…
We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute…
We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…
We prove that the classification of real-analytic vector fields on the two-torus up to orbital topological equivalence does not admit a complete numerical invariant that is a Borel function. Moreover, smooth vector fields that are difficult…
An equivariant Thom isomorphism theorem in operator K-theory is formulated and proven for infinite rank Euclidean vector bundles over finite dimensional Riemannian manifolds. The main ingredient in the argument is the construction of a…
We construct a class of II_1 factors M that admit unclassifiably many Cartan subalgebras in the sense that the equivalence relation of being conjugate by an automorphism of M is complete analytic, in particular non Borel. We also construct…
A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…
Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ defined over $\mathbb C$ such that its center is trivial and $G\not= {\rm PSL}(2,\mathbb{C})$. Take a maximal torus $T \subset G$, and denote by…
We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially…
We prove that the conjugacy problem for the automorphism group of the random graph is Borel complete, and discuss the analogous problem for some other countably categorical structures.
A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…
We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that…