BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Matthew Foreman 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
The paper considers the equivalence relation of conjugacy-by-homeomorphism on diffeomorphisms of smooth manifolds. In dimension 2 and above it is shown that there is no Borel method of attaching complete numerical invariants. In dimension 5 and above it is shown that the equivalence relation is not Borel, and in fact is complete analytic.
A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for particular choices of $T$ is equivalent to the validity of well-known number theoretic conjectures including the Riemann Hypothesis and Goldbach's conjecture. Further one can produce computable diffeomorphisms $T$ such that the question of whether $T$ is isomorphic to $T^{-1}$ is independent of ZFC.
Construction sequences are a general method of building symbolic shifts that capture cut-and-stack constructions and are general enough to give symbolic representations of Anosov-Katok diffeomorphisms. We show here that any finite entropy system that has an odometer factor can be represented as a special class of construction sequences, the odometer based construction sequences which correspond to those cut-and-stack constructions that do not use spacers. We also show that any additional property called the "small word condition" can also be satisfied in a uniform way.