-
Topology and dynamics of a flow that has a non-saddle set or a $W$-set
Authors:
Héctor Barge,
J. J. Sánchez-Gabites,
J. M. R. Sanjurjo
Abstract:
The aim of this paper is to study dynamical and topological properties of a flow in the region of influence of an isolated non-saddle set or a $W$-set in a manifold. These are certain classes of compact invariant sets in whose vicinity the asymptotic behaviour of the flow is somewhat controlled. We are mainly concerned with global properties of the dynamics and establish cohomological relations be…
▽ More
The aim of this paper is to study dynamical and topological properties of a flow in the region of influence of an isolated non-saddle set or a $W$-set in a manifold. These are certain classes of compact invariant sets in whose vicinity the asymptotic behaviour of the flow is somewhat controlled. We are mainly concerned with global properties of the dynamics and establish cohomological relations between the non-saddle set and the manifold. As a consequence we obtain a dynamical classification of surfaces (orientable and non-orientable). We also examine robustness and bifurcation properties of non-saddle-sets and study in detail the behavior of $W$-sets in 2-manifolds.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
A criterion to detect a nontrivial homology of an invariant set of a flow in $\mathbb{R}^3$
Authors:
J. J. Sánchez-Gabites
Abstract:
Consider a flow in $\mathbb{R}^3$ and let $K$ be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set $K$ is often not computable, but the way the flow crosses the boundary of $N$ can provide indirect information about it. For example, classical tools such as Ważewski's principle or the Poincaré-Hopf theorem can be used to detect whether $K$ is nonemp…
▽ More
Consider a flow in $\mathbb{R}^3$ and let $K$ be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set $K$ is often not computable, but the way the flow crosses the boundary of $N$ can provide indirect information about it. For example, classical tools such as Ważewski's principle or the Poincaré-Hopf theorem can be used to detect whether $K$ is nonempty or contains rest points, respectively. We present a criterion that can establish whether $K$ has a nontrivial homology by looking at the subset of the boundary of $N$ along which the flow is tangent to $N$. We prove that the criterion is as sharp as possible with the information it uses as an input. We also show that it is algorithmically checkable.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
A dynamical interpretation of the connection map of an attractor-repeller decomposition
Authors:
J. J. Sánchez-Gabites
Abstract:
In Conley index theory one may study an invariant set $S$ by decomposing it into an attractor $A$, a repeller $R$, and the orbits connecting the two. The Conley indices of $S$, $A$ and $R$ fit into an exact sequence where a certain connection homomorphism $Γ$ plays an important role. In this paper we provide a dynamical interpretation of this map. Roughly, $R$ "emits" an element of its Conley inde…
▽ More
In Conley index theory one may study an invariant set $S$ by decomposing it into an attractor $A$, a repeller $R$, and the orbits connecting the two. The Conley indices of $S$, $A$ and $R$ fit into an exact sequence where a certain connection homomorphism $Γ$ plays an important role. In this paper we provide a dynamical interpretation of this map. Roughly, $R$ "emits" an element of its Conley index as a "wavefront", part of which intersects the connecting orbits in $S$. This subset of the wavefront evolves towards $A$ and is then "received" by it to produce an element in its Conley index.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Using an invariant knot of a flow to find additional invariant structure
Authors:
J. J. Sánchez-Gabites
Abstract:
Consider a continuous flow in $\mathbb{R}^3$ or any orientable $3$-manifold. Let $(Q_1, Q_0)$ be an index pair in the sense of Conley and consider the region $N := \overline{Q_1 - Q_0}$. (An example of this is a compact $3$-manifold $N$ such that trajectories of the flow cross $\partial N$ inwards or outwards transversally, or bounce off it from the outside). Suppose we know there is an invariant…
▽ More
Consider a continuous flow in $\mathbb{R}^3$ or any orientable $3$-manifold. Let $(Q_1, Q_0)$ be an index pair in the sense of Conley and consider the region $N := \overline{Q_1 - Q_0}$. (An example of this is a compact $3$-manifold $N$ such that trajectories of the flow cross $\partial N$ inwards or outwards transversally, or bounce off it from the outside). Suppose we know there is an invariant knot or link $K$ in the interior of $N$. We prove the following: if $K$ is contractible and nontrivial (in the sense of knot theory) in $N$, then every neighbourhood $U$ of $K$ contains a point $p \in N - K$ such that the whole trajectory of $p$ is contained in $N$. In other words, the presence of $K$ forces the existence of additional invariant structure in $N$ (besides $K$), and the latter can actually be found arbitrarily close to $K$.
To prove this result we develop a ``coloured'' handle theory which may be of independent interest to study flows in $3$-manifolds.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Universal bounds on the entropy of toroidal attractors
Authors:
P. Montealegre Macías,
J. J. Sánchez-Gabites
Abstract:
A toroidal set is a compactum $K \subseteq \mathbb{R}^3$ which has a neighbourhood basis of solid tori. We study the topological entropy of toroidal attractors $K$, bounding it from below in terms of purely topological properties of $K$. In particular, we show that for a toroidal set $K$, either any smooth attracting dynamics on $K$ has an entropy at least $\log 2$, or (up to continuation) $K$ adm…
▽ More
A toroidal set is a compactum $K \subseteq \mathbb{R}^3$ which has a neighbourhood basis of solid tori. We study the topological entropy of toroidal attractors $K$, bounding it from below in terms of purely topological properties of $K$. In particular, we show that for a toroidal set $K$, either any smooth attracting dynamics on $K$ has an entropy at least $\log 2$, or (up to continuation) $K$ admits smooth attracting dynamics which are stationary (hence with a zero entropy).
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Knotted toroidal sets, attractors and incompressible surfaces
Authors:
Héctor Barge,
J. J. Sánchez-Gabites
Abstract:
In this paper we give a complete characterization of those knotted toroidal sets that can be realized as attractors for both discrete and continuous dynamical systems globally defined in $\mathbb{R}^3$. We also see that the techniques used to solve this problem can be used to give sufficient conditions to ensure that a wide class of subcompacta of $\mathbb{R}^3$ that are attractors for homeomorphi…
▽ More
In this paper we give a complete characterization of those knotted toroidal sets that can be realized as attractors for both discrete and continuous dynamical systems globally defined in $\mathbb{R}^3$. We also see that the techniques used to solve this problem can be used to give sufficient conditions to ensure that a wide class of subcompacta of $\mathbb{R}^3$ that are attractors for homeomorphisms must also be attractors for flows. In addition we study certain attractor-repeller decompositions of $\mathbb{S}^3$ which arise naturally when considering toroidal sets.
△ Less
Submitted 2 January, 2023; v1 submitted 30 December, 2022;
originally announced December 2022.
-
Integration in Čech theories and a bound on entropy
Authors:
Luis Hernández-Corbato,
David Jesús Nieves-Rivera,
Francisco Romero Ruiz del Portal,
Jaime Jorge Sánchez-Gabites
Abstract:
The evaluation of Alexander-Spanier cochains over formal simplices in a topological space leads to a notion of integration of Alexander-Spanier cohomology classes over Čech homology classes. The integral defines an explicit and non-degenerate pairing between the Alexander-Spanier cohomology and the Čech homology. Instead of working on the limits that define both groups, most of the discussion is c…
▽ More
The evaluation of Alexander-Spanier cochains over formal simplices in a topological space leads to a notion of integration of Alexander-Spanier cohomology classes over Čech homology classes. The integral defines an explicit and non-degenerate pairing between the Alexander-Spanier cohomology and the Čech homology. Instead of working on the limits that define both groups, most of the discussion is carried out "at scale $\mathcal U$", for an open covering $\mathcal U$. As an application, we generalize a result of Manning to arbitrary compact spaces $X$: we prove that the topological entropy of $f \colon X \to X$ is bounded from below by the logarithm of the spectral radius of the map induced in the first Čech cohomology group.
△ Less
Submitted 31 December, 2021; v1 submitted 28 December, 2021;
originally announced December 2021.
-
The geometric index and attractors of homeomorphisms of $\mathbb{R}^3$
Authors:
H. Barge,
J. J. Sánchez-Gabites
Abstract:
In this paper we focus on compacta $K \subseteq \mathbb{R}^3$ which possess a neighbourhood basis that consists of nested solid tori $T_i$. We call these sets toroidal. In \cite{hecyo1} we defined the genus of a toroidal set as a generalization of the classical notion of genus from knot theory. Here we introduce the self-geometric index of a toroidal set $K$, which captures how each torus…
▽ More
In this paper we focus on compacta $K \subseteq \mathbb{R}^3$ which possess a neighbourhood basis that consists of nested solid tori $T_i$. We call these sets toroidal. In \cite{hecyo1} we defined the genus of a toroidal set as a generalization of the classical notion of genus from knot theory. Here we introduce the self-geometric index of a toroidal set $K$, which captures how each torus $T_{i+1}$ winds inside the previous $T_i$. We use this index in conjunction with the genus to approach the problem of whether a toroidal set can be realized as an attractor for a flow or a homeomorphism of $\mathbb{R}^3$. We obtain a complete characterization of those that can be realized as attractors for flows and exhibit uncountable families of toroidal sets that cannot be realized as attractors for homeomorphisms.
△ Less
Submitted 19 September, 2019; v1 submitted 18 September, 2019;
originally announced September 2019.
-
Dynamics and eigenvalues in dimension zero
Authors:
Luis Hernández-Corbato,
David Jesús Nieves-Rivera,
Francisco R. Ruiz Del Portal,
Jaime J. Sánchez-Gabites
Abstract:
Let $X$ be a compact, metric and totally disconnected space and let $f:X\to X$ be a continuos map. We relate the eigenvalues of $f_{*}:\check{H}_{0}(X;\mathbb{C})\to\check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0,1 is an eigenvalue. This stands in contrast with the classical Manni…
▽ More
Let $X$ be a compact, metric and totally disconnected space and let $f:X\to X$ be a continuos map. We relate the eigenvalues of $f_{*}:\check{H}_{0}(X;\mathbb{C})\to\check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0,1 is an eigenvalue. This stands in contrast with the classical Manning's inequality.
△ Less
Submitted 21 November, 2018; v1 submitted 20 July, 2018;
originally announced July 2018.
-
Knots and solenoids that cannot be attractors of self-homeomorphisms of $\mathbb{R}^3$
Authors:
Héctor Barge,
J. J. Sánchez-Gabites
Abstract:
As a first step to understand how complicated attractors for dynamical systems can be, one may consider the following realizability problem: given a continuum $K \subseteq \mathbb{R}^3$, decide when $K$ can be realized as an attractor for a homeomorphism of $\mathbb{R}^3$. In this paper we introduce toroidal sets as those continua $K \subseteq \mathbb{R}^3$ that have a neighbourhood basis comprise…
▽ More
As a first step to understand how complicated attractors for dynamical systems can be, one may consider the following realizability problem: given a continuum $K \subseteq \mathbb{R}^3$, decide when $K$ can be realized as an attractor for a homeomorphism of $\mathbb{R}^3$. In this paper we introduce toroidal sets as those continua $K \subseteq \mathbb{R}^3$ that have a neighbourhood basis comprised of solid tori and, generalizing the classical notion of genus of a knot, give a natural definition of the genus of toroidal sets and study some of its properties. Using these tools we exhibit knots and solenoids for which the answer to the realizability problem stated above is negative.
△ Less
Submitted 28 June, 2018;
originally announced June 2018.
-
Infinite series in cohomology: attractors and Conley index
Authors:
Luis Hernández-Corbato,
Francisco R. Ruiz del Portal,
Jaime J. Sánchez-Gabites
Abstract:
In this paper we study the cohomological Conley index of arbitrary isolated invariant continua for continuous maps $f \colon U \subseteq \mathbb{R}^d \to \mathbb{R}^d$ by analyzing the topological structure of their unstable manifold. We provide a simple dynamical interpretation for the first cohomological Conley index, describing it completely, and relate it to the cohomological Conley index in h…
▽ More
In this paper we study the cohomological Conley index of arbitrary isolated invariant continua for continuous maps $f \colon U \subseteq \mathbb{R}^d \to \mathbb{R}^d$ by analyzing the topological structure of their unstable manifold. We provide a simple dynamical interpretation for the first cohomological Conley index, describing it completely, and relate it to the cohomological Conley index in higher degrees. A number of consequences are derived, including new computations of the fixed point indices of isolated invariant continua in dimensions 2 and 3.
Our approach exploits certain attractor-repeller decomposition of the unstable manifold, reducing the study of the cohomological Conley index to the relation between the cohomology of an attractor and its basin of attraction. This is a classical problem that, in the present case, is particularly difficult because the dynamics is discrete and the topology of the unstable manifold can be very complicated. To address it we develop a new method that may be of independent interest and involves the summation of power series in cohomology: if $Z$ is a metric space and $K \subseteq Z$ is a compact, global attractor for a continuous map $g \colon Z \to Z$, we show how to interpret series of the form $\sum_{j \ge 0} a_j (g^*)^j$ as endomorphisms of the cohomology group of the pair $(Z,K)$.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.
-
Solving the social choice problem under equality constraints
Authors:
J. A. Crespo,
J. J. Sánchez-Gabites
Abstract:
In a context where a decision has to be taken collectively by several agents, the social choice problem consists in deciding whether there exists a socially acceptable rule that aggregates the individual preferences of the agents into a social one. We analyze this problem for sets of alternatives defined by equality constraints and obtain a solution that, in sharp contrast to the classical ones, i…
▽ More
In a context where a decision has to be taken collectively by several agents, the social choice problem consists in deciding whether there exists a socially acceptable rule that aggregates the individual preferences of the agents into a social one. We analyze this problem for sets of alternatives defined by equality constraints and obtain a solution that, in sharp contrast to the classical ones, is expressed in an elementary language and ultimately reduces the social choice problem to a standard constrained optimization problem.
By considering a toy example we shall be able to interpret this general result in terms of the rationality (in the sense of Economics) of the design of the set of alternatives rather than, surprisingly, that of the agents involved in the actual social choice problem.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
-
On the set of wild points of attracting surfaces in $\mathbb{R}^3$
Authors:
J. J. Sánchez-Gabites
Abstract:
Suppose that a closed surface $S \subseteq \mathbb{R}^3$ is an attractor, not necessarily global, for a discrete dynamical system. Assuming that its set of wild points $W$ is totally disconnected, we prove that (up to an ambient homeomorphism) it has to be contained in a straight line. Using this result and a modification of the classical construction of a wild sphere due to Antoine we show that t…
▽ More
Suppose that a closed surface $S \subseteq \mathbb{R}^3$ is an attractor, not necessarily global, for a discrete dynamical system. Assuming that its set of wild points $W$ is totally disconnected, we prove that (up to an ambient homeomorphism) it has to be contained in a straight line. Using this result and a modification of the classical construction of a wild sphere due to Antoine we show that there exist uncountably many different $2$--spheres in $\mathbb{R}^3$ none of which can be realized as an attractor for a homeomorphism.
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
On the shape of attractors of discrete dynamical systems
Authors:
J. J. Sánchez-Gabites
Abstract:
Let $M$ be a manifold or (more generally) a locally compact, metrizable ANR. If $K$ is an attractor for a flow in $M$, with basin of attraction $\mathcal{A}(K)$, it is well known that the inclusion $i : K \subseteq \mathcal{A}(K)$ is always a shape equivalence. In this paper we investigate to what extent this generalizes to discrete dynamical systems generated by homeomorphisms, proving that it ho…
▽ More
Let $M$ be a manifold or (more generally) a locally compact, metrizable ANR. If $K$ is an attractor for a flow in $M$, with basin of attraction $\mathcal{A}(K)$, it is well known that the inclusion $i : K \subseteq \mathcal{A}(K)$ is always a shape equivalence. In this paper we investigate to what extent this generalizes to discrete dynamical systems generated by homeomorphisms, proving that it holds if (and only if) $K$ has polyhedral shape. Then we specialize to the case when $M$ is a manifold of dimension $\leq 3$.
△ Less
Submitted 20 November, 2015;
originally announced November 2015.
-
Arcs, balls and spheres that cannot be attractors in $\mathbb{R}^3$
Authors:
J. J. Sánchez-Gabites
Abstract:
For any compact set $K \subseteq \mathbb{R}^3$ we define a number $r(K)$ that is either a nonnegative integer or $\infty$. Intuitively, $r(K)$ provides some information on how wildly $K$ sits in $\mathbb{R}^3$. We show that attractors for discrete or continuous dynamical systems have finite $r$ and then prove that certain arcs, balls and spheres cannot be attractors by showing that their $r$ is in…
▽ More
For any compact set $K \subseteq \mathbb{R}^3$ we define a number $r(K)$ that is either a nonnegative integer or $\infty$. Intuitively, $r(K)$ provides some information on how wildly $K$ sits in $\mathbb{R}^3$. We show that attractors for discrete or continuous dynamical systems have finite $r$ and then prove that certain arcs, balls and spheres cannot be attractors by showing that their $r$ is infinite.
△ Less
Submitted 20 June, 2014;
originally announced June 2014.
-
On finite-dimensional attractors of homeomorphisms
Authors:
James C. Robinson,
Jaime J. Sanchez-Gabites
Abstract:
Let $E$ be a linear space and suppose that $A$ is the global attractor of either (i) a homeomorphism $F:E\rightarrow E$ or (ii) a semigroup $S(\cdot)$ on $E$ that is injective on $A$. In both cases $A$ has trivial shape, and the dynamics on $A$ can be described by a homeomorphism $F:A\rightarrow A$ (in the second case we set $F=S(t)$ for some $t>0$). If the topological dimension of $A$ is finite w…
▽ More
Let $E$ be a linear space and suppose that $A$ is the global attractor of either (i) a homeomorphism $F:E\rightarrow E$ or (ii) a semigroup $S(\cdot)$ on $E$ that is injective on $A$. In both cases $A$ has trivial shape, and the dynamics on $A$ can be described by a homeomorphism $F:A\rightarrow A$ (in the second case we set $F=S(t)$ for some $t>0$). If the topological dimension of $A$ is finite we show that for any $ε>0$ there is an embedding $e:A\rightarrow{\mathbb R}^k$, with $k\sim{\rm dim}(A)$, and a (dynamical) homeomorphism $f:\R^k\rightarrow\R^k$ such that $F$ is conjugate to $f$ on $A$ (i.e.\ $F|_A=e^{-1}\circ f\circ e$) and $f$ has an attractor $A_f$ with $e(A)\subset A_f\subset N(e(A),ε)$. In other words, we show that the dynamics on $A$ is essentially finite-dimensional.
We characterise subsets of ${\mathbb R}^n$ that can be the attractors of homeomorphisms as cellular sets, give elementary proofs of various topological results connected to Borsuk's theory of shape and cellularity in Euclidean spaces, and prove a controlled homeomorphism extension theorem.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
Embedding of global attractors and their dynamics
Authors:
Eleonora Pinto de Moura,
James C. Robinson,
Jaime J. Sánchez-Gabites
Abstract:
Using shape theory and the concept of cellularity, we show that if $A$ is the global attractor associated with a dissipative partial differential equation in a real Hilbert space $H$ and the set $A-A$ has finite Assouad dimension $d$, then there is an ordinary differential equation in ${\mathbb R}^{m+1}$, with $m >d$, that has unique solutions and reproduces the dynamics on $A$. Moreover, the dyna…
▽ More
Using shape theory and the concept of cellularity, we show that if $A$ is the global attractor associated with a dissipative partial differential equation in a real Hilbert space $H$ and the set $A-A$ has finite Assouad dimension $d$, then there is an ordinary differential equation in ${\mathbb R}^{m+1}$, with $m >d$, that has unique solutions and reproduces the dynamics on $A$. Moreover, the dynamical system generated by this new ordinary differential equation has a global attractor $X$ arbitrarily close to $LA$, where $L$ is a homeomorphism from $A$ into ${\mathbb R}^{m+1}$.
△ Less
Submitted 13 August, 2010;
originally announced August 2010.
-
Unstable attractors in manifolds
Authors:
J. J. Sánchez-Gabites
Abstract:
Let $M$ be a locally compact metric space endowed with a continuous flow $φ: M \times \mathbb{R} \longrightarrow M$. Frequently an attractor $K$ for $φ$ exists which is of interest, not only in itself but also the dynamics in its basin of attraction $\mathcal{A}(K)$. In this paper the class of {\sl attractors with no external explosions}, which is intermediate between the well known {\sl stable…
▽ More
Let $M$ be a locally compact metric space endowed with a continuous flow $φ: M \times \mathbb{R} \longrightarrow M$. Frequently an attractor $K$ for $φ$ exists which is of interest, not only in itself but also the dynamics in its basin of attraction $\mathcal{A}(K)$. In this paper the class of {\sl attractors with no external explosions}, which is intermediate between the well known {\sl stable attractors} and the extremely wild {\sl unstable attractors}, is studied. We are mainly interested in their cohomological properties, as well as in the strong relations which exist between their shape (in the sense of Borsuk) and the topology of the phase space.
△ Less
Submitted 12 May, 2008;
originally announced May 2008.
