Related papers: Computer Assisted Proof for Normally Hyperbolic In…
We describe an example of a $C^\infty$ diffeomorphism on a 7--manifold which has a compact invariant set such that uncountably many of its connected components are pseudocircles. (Any 7--manifold will suffice.) Furthermore, any…
We study the geometric and topological properties of strange non-chaotic attractors created in non-smooth saddle-node bifurcations of quasiperiodically forced interval maps. By interpreting the attractors as limit objects of the iterates of…
We present and implement an algorithm for computing the invariant circle and the corresponding stable manifolds for 2-dimensional maps. The algorithm is based on the parameterization method, and it is backed up by an a-posteriori theorem…
The existence of translated curves for quasiperiodically forced maps is established, under very mild regularity hypotheses, for rotation numbers of constant type. Among the translated curves, the invariant curves are characterized as the…
We prove that uniform hyperbolicity is invariant under topological conjugacy for dissipative polynomial automorphisms of C^2. Along the way we also show that a sufficient condition for hyperbolicity is that local stable and unstable…
We propose a general mechanism by which strange non-chaotic attractors (SNA) are created during the collision of invariant curves in quasiperiodically forced systems. This mechanism is first discussed on an heuristic level and by means of…
We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can.
In this paper we take an approach similar to that in [M] to establish a positive mass theorem for asymptotically hyperbolic spin manifolds admitting corners along a hypersurface. The main analysis uses an integral representation of a…
We prove the existence of normally hyperbolic invariant cylinders in nearly integrable hamiltonian systems.
We study bifurcation mechanisms for the appearance of hyperchaotic attractors in three-dimensional diffeomorphisms, i.e., such attractors whose orbits have two positive Lyapunov exponents in numerical experiments. In order to possess this…
The computer program SnapPea can approximate whether or not a three manifold whose boundary consists of tori has a complete hyperbolic structure, but it can not prove conclusively that this is so. This article provides a method for proving…
This paper has a double goal, the first one is to make a slight survey of some theoretical results about the existence of positively invariant curves that allow to describe important properties of the set of bounded orbits and its boundary…
We prove that, under a mild condition on the hyperbolicity of its periodic points, a map $g$ which is topologically conjugated to a hyperbolic map (respectively, an expanding map) is also a hyperbolic map (respectively, an expanding map).…
In four-dimensional symplectic maps complex instability of periodic orbits is possible, which cannot occur in the two-dimensional case. We investigate the transition from stable to complex unstable dynamics of a fixed point under parameter…
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…
We present and analyze rigorously a quadratically convergent algorithm to compute an invariant circle for 2-dimensional maps along with the corresponding foliation by stable manifolds. We prove that when the algorithm starts from an initial…
In this work, we study ergodic properties of certain partially hyperbolic attractors whose central direction has a neutral behavior, the main feature is a condition of transversality between unstable leaves when projected by the stable…
Impulsive dynamical systems, modeled by a continuous semiflow and an impulse function, may be discontinuous and may have non-intuitive topological properties, as the non-invariance of the non-wandering set or the non-existence of invariant…
We outline a rigorous algorithm, first suggested by Casson, for determining whether a closed orientable 3-manifold M is hyperbolic, and to compute the hyperbolic structure, if one exists. The algorithm requires that a procedure has been…
We show that the Thurston seminorms of all finite covers of an aspherical 3-manifold determine whether it is a graph manifold, a mixed 3-manifold or hyperbolic.