The Ingram conjecture

DOI10.2140/GT.2012.16.2481MaRDI QIDQ1938773zbMATH OpenOpenAlexWikidataFDO

Authors S. Štimac, Marcy Barge, Henk Bruin

Publication date 25 February 2013

Published in Geometry \& Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0912.4645

classification inverse limit space pseudo-isotopy tent map unimodal map

Continua theory in dynamics (37B45) Dynamical systems involving maps of the interval (37E05) Continua and generalizations (54F15)

Abstract: We prove the Ingram Conjecture, i.e., we show that the inverse limit spaces of every two tent maps with different slopes in the interval [1, 2] are non-homeomorphic. Based on the structure obtained from the proof, we also show that every self-homeomorphism of the inverse limit space of the tent map is pseudo-isotopic, on the core, to some power of the shift homeomorphism.

Review text

Continua as inverse limits have been studied for a long time. One reason for such intense research in this area is the fact that inverse sequences with very simple spaces and simple bonding maps can produce as inverse limits extremely complicated continua. This may happen even in the case where all the spaces are unit intervals \([0,1]\) and all the bonding maps are the same. The famous Brouwer-Janiszewski-Knaster continuum, that can be presented as the inverse limit of the inverse sequence of closed unit intervals \([0,1]\) with the standard tent bonding map \(T_{2}:[0,1]\to [0,1]\), \(T_2(t)=\min\{2t,2(1-t)\}\) is an example. One of the most famous problems in the area is the one about classifying the inverse limits of closed unit intervals \([0,1]\) with a single tent map \(T_s\), \(1\leq s\leq 2\), \(T_s(t)=\min\{st,s(1-t)\}\), on \([0,1]\) as the bonding map. In 1991, W.T. Ingram stated the following conjecture for tent maps: If \(1\leq s<s'\leq 2\), then the corresponding inverse limit spaces \(\displaystyle \lim_{\leftarrow}([0,1],T_s)\) and \(\displaystyle \lim_{\leftarrow}([0,1],T_{s'})\) are nonhomeomorphic. This conjecture became known as the Ingram conjecture and it has received a large amount of attention in the last 23 years. It generated a large number of articles, in which certain special cases of the conjecture were proved. Finally, the conjecture was proved in 2009 by the authors of the paper under review. Their proof is presented in this paper. The following is the main result of the paper. { Theorem 1.1.} If \(1\leq s<s'\leq 2\), then the corresponding inverse limit spaces \(\displaystyle \lim_{\leftarrow}([0,1],T_s)\) and \(\displaystyle \lim_{\leftarrow}([0,1],T_{s'})\) are nonhomeomorphic.

Recommendations

Cites work

Cited in

(26)

This page was built for publication: The Ingram conjecture

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