English
Related papers

Related papers: Non-classifiability of mixing zero-entropy diffeom…

200 papers

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…

Logic · Mathematics 2025-12-18 Jialiang He , Lili Shen , Yi Zhou

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.

Logic · Mathematics 2024-12-31 Ruiwen Li , Bo Peng

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…

Dynamical Systems · Mathematics 2017-08-11 Van Cyr , John Franks , Bryna Kra , Samuel Petite

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…

Combinatorics · Mathematics 2020-01-16 Rémi Bottinelli , Laura Grave de Peralta , Alexander Kolpakov

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…

Dynamical Systems · Mathematics 2007-05-23 Vitaly Bergelson , Alexander Gorodnik

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…

Number Theory · Mathematics 2017-01-03 Pascal Boyer

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$…

Mathematical Physics · Physics 2014-06-06 Ashwin S. Pande

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…

Dynamical Systems · Mathematics 2025-06-27 Piotr Niemiec

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…

Logic · Mathematics 2025-08-12 Maciej Malicki

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…

General Topology · Mathematics 2020-12-15 Jan Dudák , Benjamin Vejnar

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…

Logic · Mathematics 2016-04-01 Richard Rast

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…

Dynamical Systems · Mathematics 2025-05-12 Nataliya Goncharuk

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…

K-Theory and Homology · Mathematics 2007-05-23 Jody Trout

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…

Operator Algebras · Mathematics 2012-08-20 An Speelman , Stefaan Vaes

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…

Group Theory · Mathematics 2019-02-08 Andre Nies

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…

Algebraic Geometry · Mathematics 2015-07-01 Indranil Biswas , S. Senthamarai Kannan , D. S. Nagaraj

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…

Logic · Mathematics 2014-08-19 Dominique Lecomte , John D. Clemens , Benjamin D. Miller

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.

Logic · Mathematics 2019-08-16 Samuel Coskey , Paul Ellis , Scott Schneider

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…

Discrete Mathematics · Computer Science 2022-03-01 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

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…

Logic · Mathematics 2019-08-16 John Clemens , Samuel Coskey , Stephanie Potter