Fiber orders and compact spaces of uncountable weight

We study an order relation on the fibers of a continuous map and its application to the study of the structure of compact spaces of uncountable weight.

💡 Research Summary

The paper introduces a novel preorder, called the “fiber order,” on the fibers of a continuous map (f\colon X\to Y). For points (x_{1},x_{2}) in the same fiber (f^{-1}(y)), the relation (x_{1}\leq_{f}x_{2}) holds precisely when every open set that contains (x_{2}) also contains (x_{1}). This definition captures a fine‑grained internal hierarchy of each fiber that is invisible to the usual topological structure of the map. The authors first verify that (\leq_{f}) is indeed a preorder, and they study the existence of minimal and maximal elements. A minimal element, when it exists, is termed a “fiber core” and endows the fiber with a distinguished central point; a maximal element is called a “fiber apex” and marks an extremal position within the fiber.

The central theme of the work is the interaction between these fiber orders and the weight of compact spaces. While compact spaces of countable weight can be understood through classical inverse‑limit constructions of metric compacta, spaces whose weight is (\aleph_{1}) or larger exhibit phenomena that resist such a description. By tracking the preorder structure of fibers at each stage of an inverse system, the authors show that a compact space of uncountable weight can be decomposed into a “fiber chain” or a “fiber lattice” over a base space (Y). In this picture the whole space (X) appears as a systematic extension of (Y) in which the fibers are glued together according to their order‑theoretic properties.

The main technical result, the Fiber Order Theorem, has two parts. (1) If every fiber of (f) forms a complete lattice under (\leq_{f}), then (X) is a lattice‑extension of (Y); that is, (X) can be recovered from (Y) by attaching to each point a lattice‑shaped fiber in a continuous way. (2) If each fiber possesses a minimal element, then (X) is a “core‑extension” of (Y): the weight and the topological dimension of (X) coincide with those of (Y), and the map (f) behaves like a retraction onto a dense core. These statements give a precise criterion for when a non‑metrizable compact space can be built from simpler pieces while preserving its uncountable weight.

A striking observation is that the fiber order is closely related to the Tukey order on directed sets. Consequently, classical cardinal invariants such as tightness and character can be read off from the order structure of fibers. For example, a fiber that is a complete linear order forces the corresponding point of the compact space to have tightness (\aleph_{1}); a fiber with a minimal element forces the character at that point to be small (often countable).

The authors illustrate the theory with several canonical examples. In the Stone–Čech compactification (\beta\mathbb N), each free ultrafilter fiber is a complete linear order, which explains why (\beta\mathbb N\setminus\mathbb N) has (\aleph_{1})-tightness. In the space (