The class of Aronszajn lines under epimorphisms

Basic Information

• Paper ID: 2503.13728
• Title: The class of Aronszajn lines under epimorphisms
• Authors: Lucas Polymeris, Carlos Martinez-Ranero
• Classification: math.LO (Mathematical Logic), math.GN (General Topology)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2503.13728

Abstract

This paper investigates the structural properties of Aronszajn lines under the epimorphism relation. A linear order $A$ is called strongly epic if for every nonempty suborder $B \preceq A$, there exists an epimorphism from $A$ to $B$ (denoted $B \trianglelefteq A$). The authors prove the existence of strongly epic Countryman lines under $\mathsf{MA}_{\aleph_1}$ (Martin's Axiom), answering a question posed by Dániel T. Soukup. The paper also investigates the general structure of the class of Aronszajn lines under the $\trianglelefteq$ relation and compares it with the celebrated embedding relation $\preceq$. Although under $\mathsf{PFA}$ (Proper Forcing Axiom), both the class of Aronszajn lines and the class of countable linear orders are well-quasi-ordered under the embedding relation and possess finite bases, this analogy does not fully hold under the $\trianglelefteq$ relation.

Research Background and Motivation

Importance of the Problem

The embedding theory of linear orders is an important research area in set theory, with profound applications in forcing theory and infinite combinatorics. Aronszajn lines, as a special class of uncountable linear orders that contain no copies of $\omega_1$, $\omega_1^*$, or any uncountable real order, occupy a central position in this theory.

Historical Development

1. Research on the embedding relation $\preceq$:
   • Laver's theorem: The class of countable linear orders is well-quasi-ordered under $\preceq$
   • Baumgartner's theorem: Under PFA, all $\aleph_1$-dense real orders are isomorphic
   • Moore's Five Basis Conjecture: Under PFA, $\{\omega_1, \omega_1^*, C, C^*, R\}$ forms a $\preceq$-basis for uncountable linear orders
2. Research on the epimorphism relation $\trianglelefteq$:
   • Landraitis and Camerlo proved that countable linear orders are also well-quasi-ordered under $\trianglelefteq$
   • The concept of strongly epic linear orders was introduced

Research Motivation

The authors posed six core questions exploring whether the class of Aronszajn lines preserves the favorable properties of countable linear orders under the epimorphism relation:

• Does there exist a finite $\trianglelefteq$-basis?
• Is it well-quasi-ordered?
• Do strongly epic Countryman lines exist?

Core Contributions

1. Proved the existence of strongly epic Countryman lines under $\mathsf{MA}_{\aleph_1}$, answering three questions of Soukup
2. Constructed infinite $\trianglelefteq$-antichains, proving that the class of Aronszajn lines is not well-quasi-ordered already in ZFC
3. Constructed infinite descending chains under $\mathsf{MA}_{\aleph_1}$, further negating the well-quasi-order property
4. Proved the existence of a binary $\trianglelefteq$-basis under PFA, partially preserving the analogy with the countable case
5. Proved that uncountable real orders never have finite $\trianglelefteq$-bases

Detailed Methodology

Core Concept Definitions

Definition 1.1 (Well-quasi-order): A class $C$ is well-quasi-ordered under a preorder relation $R$ if it contains no uncountable antichains and no infinite descending sequences.

Definition 1.3 (Aronszajn line): An uncountable linear order $A$ that contains no copies of $\omega_1$, $\omega_1^*$, or any uncountable real order.

Definition 1.4 (Countryman line): An uncountable linear order $C$ such that $C^2$ under the product order is a union of countably many chains.

Definition 1.8 (Strongly epic): A linear order $A$ is strongly epic if for every suborder $B$ of $A$, we have $B \trianglelefteq A$.

Decomposition Theory

Definition 2.2 (Decomposition): For an Aronszajn line $A$, a decomposition is a $\subseteq$-increasing and continuous sequence $\langle D_\xi : \xi < \omega_1 \rangle$ consisting of countable subsets that covers $A$.

For a decomposition $D$, define:

• $L(A,D)$: The set of $\xi$ such that some complementary interval of $A \setminus D_\xi$ has a left endpoint
• $\hat{L}(A,D)$: The set of $\xi$ such that every complementary interval of $A \setminus D_\xi$ has a left endpoint
• $R(A,D)$ and $\hat{R}(A,D)$: The corresponding versions for right endpoints

Key Technical Theorems

Theorem 1.9: If Aronszajn lines $A$ and $B$ have respective decompositions $D$ and $E$, and $A \trianglerighteq B$, then $\hat{L}(A,D) \setminus \hat{L}(B,E)$ and $\hat{R}(A,D) \setminus \hat{R}(B,E)$ are nonstationary sets.

Theorem 6.2 (Main Forcing Theorem): Under $\mathsf{MA}_{\aleph_1}$, let $A$ and $X$ be $\preceq$-equivalent $\aleph_1$-dense Countryman lines. If for some decompositions $D_A$ and $D_X$, we have $L(A,D_A) \subseteq \hat{L}(X,D_X)$ and $R(A,D_A) \subseteq \hat{R}(X,D_X)$, then $A \trianglerighteq X$.

Experimental Setup and Constructions

Refinement of Moore Forcing

The authors refined Moore's forcing method to introduce epimorphisms between Countryman lines:

Definition 6.9: For a club $E$, define $P_E := P_E(A,X)$ as the set of finite partial functions $p: \bar{A} \to X$, where $\bar{A} = \{(a,b) \in A^2 : a < b\}$, satisfying specific compatibility conditions.

Construction of Antichains and Descending Chains

1. Infinite antichain construction:
   • Utilize a family of pairwise disjoint stationary subsets $\langle S_\xi : \xi < \omega_1 \rangle$ of $\omega_1$
   • For each $Z \subseteq \omega_1$, construct an Aronszajn line $A_Z$ such that $\hat{L}(A_Z, D_Z) = \bigcup_{\xi \in Z} S_\xi$
2. Infinite descending chain construction:
   • Construct a sequence $\langle C_\alpha : \alpha < \omega_1 \rangle$ where $\hat{L}(C_\alpha, D_\alpha) = \bigcup_{\xi < \alpha} S_\xi$
   • Use Theorem 6.2 to prove $C_\alpha \triangleright C_\beta$ when $\alpha < \beta$

Experimental Results

Main Results

Theorem 3.2: Under $\mathsf{MA}_{\aleph_1}$, if $C$ is a regular Countryman line, then for every nonempty $A \preceq C$, we have $A \times C \cong C$. In particular, $C$ is strongly epic.

Theorem 5.3: There exists an $\aleph_1$-dense Aronszajn line $\trianglelefteq$-antichain of size $2^{\aleph_1}$.

Theorem 7.2: Under PFA, $1 + C + 1$ and $1 + C^* + 1$ form a $\trianglelefteq$-basis for the class of Aronszajn lines.

Theorem 7.3: Any $\trianglelefteq$-basis for uncountable real orders has at least $c^+$ elements.

Technical Innovations

1. Endpoint configuration technique: Construct Aronszajn lines with specific properties by precisely controlling the existence of endpoints of complementary intervals in decompositions
2. Refinement of forcing methods: Generalize Moore's isomorphism forcing to the epimorphism setting
3. Combinatorial arguments: Employ properties of stationary and club sets for precise cardinal-theoretic arguments

Related Work

Historical Development

• Aronszajn (1950s): First construction of Aronszajn trees
• Specker (1949): Rediscovery of the Aronszajn line concept
• Shelah (1976): Construction of Countryman lines
• Laver (1971): Well-quasi-order of countable linear orders
• Moore (2006, 2009): Five Basis Theorem and universal Aronszajn lines
• Martínez-Ranero (2011): Well-quasi-order of Aronszajn lines under PFA

Positioning of This Work's Contribution

This paper is the first to systematically investigate the behavior of the epimorphism relation in the class of Aronszajn lines, revealing fundamental differences with the embedding relation and providing new perspectives for linear order theory.

Conclusions and Discussion

Main Conclusions

1. The behavior of the class of Aronszajn lines under the epimorphism relation differs fundamentally from that of countable linear orders
2. Strong epicness is realizable under certain set-theoretic assumptions
3. Although losing well-quasi-order properties, finite bases still exist under strong assumptions

Limitations

1. Many results depend on strong set-theoretic assumptions (MA$_{\aleph_1}$, PFA)
2. The question of strong epicness for universal Aronszajn lines remains open
3. Well-quasi-order of the class of regular Aronszajn lines under PFA remains an open problem

Future Directions

• Investigate results under weaker assumptions
• Explore epimorphism properties of other special classes of linear orders
• Develop more refined forcing techniques

In-Depth Evaluation

Strengths

1. Theoretical depth: Deeply reveals the fundamental differences between embedding and epimorphism in linear order theory
2. Technical innovation: Cleverly refines Moore forcing to solve construction problems
3. Completeness of results: Systematically answers important open questions in the field
4. Generality of methods: The developed techniques are applicable to other linear order problems

Weaknesses

1. Assumption dependence: Main results heavily rely on strong set-theoretic assumptions
2. Construction complexity: Some constructions are overly technical with high barriers to understanding
3. Open problems: Important unresolved questions remain

Impact

This paper provides new research directions for linear order theory, particularly pioneering research on the epimorphism relation. Its technical methods have important reference value for related fields.

Applicable Scenarios

• Set theory and mathematical logic research
• Order theory and combinatorial mathematics
• Forcing theory and independence proofs
• Applications in infinite combinatorics

References

The paper cites important literature in the field, including classical works by Laver, Moore, Shelah, and others, as well as recent research by Soukup and colleagues, reflecting good academic heritage and development trajectory.