Surface basic sets with wildly embedded supporting surfaces (Q1033933)

The authors show that a supporting surface of a non-trivial surface basic set of topological dimension at most \(1\) may be embedded wildly, even when the used diffeomorphism satisfies conditions such as \(\Omega\)-stability and/or structural stability. The main result shows how a diffeomorphism \(g\) of a closed surface \(S\) (with at least one sink and of genus greater or equal to \(2\) diffeomorphic to the identity) can be found to be embedded in an arbitrary closed \(3\)-manifold which supports a diffeomorphism \(f\) whose restriction to \(S\) is conjugate to \(g\). In particular, if here \(g\) is \(\Omega\)-stable, then so is \(f\). As a consequence of this result, the authors obtain the existence of a large class of \(1\)-dimensional and non-trivial \(0\)-dimensional surface basic sets with wildly embedded surfaces. This class includes, in particular, the Smale horse shoes and, more generally, any basic set which is embedded in the disc.