Surfaces and other Peano Continua with no Generic Chains
Abstract
The space of chains on a compact connected space encodes all the different ways of continuously growing out of a point until exhausting the space. A chain is generic if its orbit under the action of the underlying homeomorphism group is comeager. In this paper we show that a large family of topological spaces do not have a generic chain: in addition to all manifolds of dimension at least 3, for which the result was already known, our theorem covers all compact surfaces except for the sphere and the real projective plane - for which the question remains open - as well as all other homogeneous Peano continua, circle excluded. If the spaces are moreover strongly locally homogeneous, which is the case for any closed manifold and the Menger curve, we prove that chains cannot be classified up to homeomorphism by countable structures, and that the underlying homeomorphism groups have non-metrizable universal minimal flows, with all orbits meager, in contrast to the case of 1-dimensional manifolds. The proof of the main result is of combinatorial nature, and it relies on the creation of a dictionary between open sets of chains on one side, and walks on finite connected graphs on the other.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.