Measure Preserving Diffeomorphisms of the Torus are Unclassifiable

DOI10.4171/JEMS/1151arXiv1705.04414MaRDI QIDQ6286574FDOQ6286574

Authors: Matthew Foreman, Benjamin Weiss 

Publication date: 11 May 2017

Abstract: The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some classes of transformations that have special properties, such as the collection of transformations with discrete spectrum or Bernoulli shifts. This paper shows that a general classification is impossible (even in concrete settings) by showing that the collection $E$ of pairs of ergodic, Lebesgue measure preserving diffeomorphisms $(S,T)$ of the 2-torus that are isomorphic is a complete analytic set in the $C^{i}nfty$- topology (and hence not Borel).

Mathematics Subject Classification ID

Dynamical aspects of measure-preserving transformations (37A05) Topological and differentiable equivalence, conjugacy, moduli, classification of dynamical systems (37C15) Dynamical systems involving homeomorphisms and diffeomorphisms of planes and surfaces (37E30)

This page was built for publication: Measure Preserving Diffeomorphisms of the Torus are Unclassifiable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6286574)