On compactness of weak square at singulars of uncountable cofinality

This paper demonstrates that while Jensen's square principle is non-compact at $\aleph_\omega$, the weak square principle $\square_\kappa^*$ is actually compact at singular cardinals of uncountable cofinality under mild hypotheses, contrasting with the behavior at $\aleph_\omega$.

The Gist

The Big Picture: The "Lego" Problem

Imagine you are trying to build a massive, perfect tower out of Lego bricks. In the world of mathematics (specifically set theory), these "bricks" are numbers called cardinals, and the "tower" is a structure called a Square Principle (denoted as $\square$).

For a long time, mathematicians knew a strange rule about these towers:

• If you have a tower made of small bricks (finite numbers), you can usually build it perfectly.
• If you have a tower made of medium bricks (infinite numbers with a specific "countable" structure, like $\aleph_\omega$), you can build the small parts perfectly, but the big part might collapse. It's like having a perfect base for every floor, but the top floor refuses to connect to the one below it.

This was proven by Cummings, Foreman, and Magidor. They showed that for a specific type of infinite number ($\aleph_\omega$), you can have perfect "local" rules everywhere, but the "global" rule fails. It's a lack of compactness: the whole doesn't behave like the sum of its parts.

The Question: Does this failure happen for all types of infinite numbers? Or is it just a quirk of the "countable" ones? What if we look at "uncountable" infinite numbers (numbers so big you can't count them one by one, even with infinite time)?

The Answer: Maxwell Levine (the author) says: Surprisingly, no. For these "uncountable" types, the local rules do force the global rule to work. If the small parts are perfect, the whole tower stands tall.

---

The Key Concepts (Translated)

To understand how he proved this, let's break down the jargon into everyday metaphors.

1. The "Square Principle" ($\square$) = The Blueprint

Think of a Square Principle as a master blueprint for a city.

• $\square_\delta$ (Local Blueprints): You have a perfect plan for every neighborhood (every small number $\delta$). The streets connect, the blocks are aligned, and everything makes sense locally.
• $\square_\kappa$ (The Global Blueprint): You want to know if there is a single, unified plan for the entire mega-city (the big number $\kappa$) that connects all those neighborhoods seamlessly.
• The Problem: Usually, just because every neighborhood has a good plan, it doesn't mean the whole city has a coherent plan. The neighborhoods might be slightly misaligned with each other.

2. "Singulars of Uncountable Cofinality" = The "Thick" Infinity

Mathematicians have different types of infinity.

• Countable Infinity ($\aleph_0$): Like counting 1, 2, 3... forever.
• Uncountable Infinity: Like the number of points on a line.
• Cofinality: This is the "speed" at which you reach the top.
  • Countable Cofinality: You can reach the top by taking steps of size 1, 2, 3... (like climbing a ladder with infinite rungs).
  • Uncountable Cofinality: You need "thick" steps. You can't reach the top by just counting; you need a "jump" that is itself uncountably large.

Levine is looking at these "thick" infinities. Previous work showed that for "thin" infinities (countable), the global blueprint often fails. Levine asks: "What about the 'thick' ones?"

3. The "Good Scale" = The Glue

This is the secret ingredient. In the math world, a Scale is a way of ordering things to see how they fit together. A Good Scale is a "super-glue" that ensures the ordering is smooth and predictable.

Levine's main discovery is: If you have the local blueprints (Square Principles) AND you have this "super-glue" (Good Scales) holding the structure together, then the global blueprint ($\square_\kappa$) must exist.

It's like saying: "If every neighborhood has a perfect street grid, AND we have a special GPS system that perfectly aligns every neighborhood with its neighbors, then the whole city grid is perfect."

---

The "Bad News" vs. The "Good News"

The paper contrasts two scenarios to show why his result is special.

Scenario A: The "Thin" Infinity (The Old Result)

• Context: $\aleph_\omega$ (Countable cofinality).
• Result: You can have perfect local blueprints, but the global blueprint fails.
• Analogy: Imagine a chain of islands. Each island has a perfect road system. But because the islands are arranged in a "thin" line, the bridges between them can be built in a way that creates a loop or a dead end at the very end. The whole system is broken, even though every island is fine.

Scenario B: The "Thick" Infinity (Levine's Result)

• Context: Singulars with uncountable cofinality.
• Result: If the local blueprints are perfect, the global blueprint cannot fail (assuming the "super-glue" exists).
• Analogy: Imagine a massive, thick concrete pillar made of layers. If every layer is perfectly flat and aligned, and the "glue" between layers is strong, you cannot build a pillar that suddenly twists and breaks at the top. The structure forces itself to be coherent.

The "Proposition 1.2" Warning

The paper also includes a warning (Proposition 1.2). It says: "Don't get too excited! If you remove the 'super-glue' (the Good Scale), the tower can still collapse even in the 'thick' case."

This is like saying: "If you have perfect bricks but no mortar, the wall might still fall over, even if the bricks are perfect." The "Good Scale" is essential.

Why Does This Matter?

In the world of mathematics, there is a constant tug-of-war between Order (Square Principles, which make things predictable) and Chaos/Complexity (Large Cardinals, which make things wild and flexible).

• Usually, if you have very powerful "Large Cardinals," the Square Principles break (the order collapses).
• Levine shows that for a specific, tricky type of infinity, the Order is surprisingly robust. Even if you try to break the global structure, the local rules and the "glue" force the order to reassemble itself.

Summary in One Sentence

Maxwell Levine proved that for a specific type of massive, "thick" infinity, if every small part of the mathematical universe follows a perfect pattern and is held together by a smooth ordering system, then the entire universe must also follow that perfect pattern—unlike other types of infinity where the pattern can break at the very top.

Technical Summary

1. Problem Statement and Context

The Core Question:
The paper investigates the compactness of square principles at singular cardinals. Specifically, it asks: If the weak square principle $\square^*_\delta$ holds for a "large" (stationary) set of cardinals $\delta < \kappa$, does it necessarily follow that $\square^*_\kappa$ holds?

Background & Motivation:

• The Cummings-Foreman-Magidor (CFM) Phenomenon: It is well-established (via CFM) that square principles are not compact at singular cardinals of countable cofinality (e.g., $\aleph_\omega$). It is consistent that $\square_{\aleph_n}$ holds for all $n < \omega$ while $\square_{\aleph_\omega}$ fails.
• The Gap: The behavior of singular cardinals of uncountable cofinality (e.g., $\aleph_{\omega_1}$) is notoriously different from those of countable cofinality (e.g., Silver's Theorem on GCH). The author asks if the non-compactness phenomenon of $\aleph_\omega$ generalizes to singulars of uncountable cofinality.
• The Hypothesis: The paper explores whether, under mild PCF-theoretic assumptions (specifically the existence of "good scales"), the failure of $\square^*_\kappa$ can be prevented if $\square^*_\delta$ holds on a stationary set below $\kappa$.

2. Methodology

The proof relies on a sophisticated synthesis of PCF theory (Possible Cofinalities) and combinatorial set theory (square sequences).

A. The Framework

• Cardinal Setup: Let $\kappa$ be a singular strong limit cardinal with uncountable cofinality $\lambda > \omega$.
• Stationary Set: Assume there is a stationary set $S \subseteq \kappa$ such that $\square^*_\delta$ holds for all $\delta \in S$.
• PCF Assumption: Assume the product $\prod_{\delta \in S} \delta^+$ carries a good scale.

B. Key Technical Tools

1. Totally Continuous Scales:
   The author constructs a totally continuous scale $\vec{f} = \langle f_\alpha : \alpha < \kappa^+ \rangle$ on the product $\prod_{i \in S} \kappa_i^+$.

   • Continuity Definition: The scale is defined to be continuous in three cases based on the cofinality of the index $\alpha$:
     • $cf(\alpha) < \lambda$: $f_\alpha$ is the pointwise supremum of a cofinal sequence.
     • $cf(\alpha) = \lambda$: $f_\alpha$ is defined via a diagonal supremum ($\Delta$-supremum) over a club.
     • $cf(\alpha) > \lambda$: $\alpha$ is a "good point," and $f_\alpha$ is an exact upper bound.
   • Significance: This continuity ensures that the constructed square sequence behaves coherently even at points where the cofinality matches the singular cardinal's cofinality ($\lambda$), a point where standard constructions often fail.

2. Interleaving Square Sequences:
   The construction of the $\square^*_\kappa$-sequence at $\kappa$ involves "threading" the existing $\square^*_\delta$ sequences (for $\delta \in S$) using the scale $\vec{f}$.

   • For a limit ordinal $\alpha < \kappa^+$, the author defines a set of functions $F_\alpha$ that map indices $i \in S$ to clubs in $\kappa_i^+$.
   • These functions are constrained by the values of the scale $f_\alpha(i)$.
   • The actual clubs $C_\alpha$ in the new square sequence are derived from the limits of these functions.

3. Handling Cofinality $\lambda$:
   A major technical hurdle is the case where $cf(\alpha) = \lambda$. The author uses the diagonal supremum ($\Delta$) and the properties of good scales to ensure that the coherence condition ($C_\alpha \cap \beta \in C_\beta$) holds even when the cofinality of the limit point matches the cofinality of the singular cardinal.

3. Key Contributions and Results

Main Theorem (Theorem 1.1)

Statement: Suppose $\kappa$ is a singular strong limit of cofinality $\lambda > \omega$. If there exists a stationary set $S \subseteq \kappa$ such that:

1. $\square^*_\delta$ holds for all $\delta \in S$, and
2. The product $\prod_{\delta \in S} \delta^+$ carries a good scale,
   Then $\square^*_\kappa$ holds.

Implication: This establishes a form of compactness for weak square at singulars of uncountable cofinality, contrasting sharply with the $\aleph_\omega$ case. The "good scale" hypothesis acts as the necessary glue to prevent the failure of the square principle.

Partial Square Result (Theorem 1.4)

The author proves a similar result for partial square principles ($\square_{\kappa, \lambda}$ restricted to points of high cofinality). If $\square_\delta$ holds on a stationary set and a good scale exists, then a partial square sequence exists on $\kappa^+ \cap \text{cof}(>\lambda)$.

Counter-Examples and Necessity of Hypotheses

• Proposition 1.2: The author shows that the stationarity of the set $S$ is necessary. It is consistent (relative to a supercompact cardinal) that $\square^*_{\aleph_\alpha}$ holds for all double successor ordinals $\alpha < \omega_1$, yet $\square^*_{\aleph_{\omega_1}}$ fails due to the existence of a bad scale.
• Fact 1.3: Even with good scales, compactness fails at $\aleph_\omega$. It is consistent that $\square^*_{\aleph_n}$ holds for all $n$, all scales are good, yet $\square^*_{\aleph_\omega}$ fails. This highlights that the uncountable cofinality assumption ($\lambda > \omega$) is crucial.

4. Significance and Impact

1. Resolution of a Natural Generalization: The paper answers a question regarding whether the non-compactness of square at $\aleph_\omega$ generalizes to higher singulars. The answer is no, provided specific PCF-theoretic conditions (good scales) are met.
2. Connection to Golshani's Question: The result addresses a question by Golshani regarding a "Silver's Theorem for special Aronszajn trees." Since $\square^*_\delta$ is equivalent to the existence of a special $\delta^+$-Aronszajn tree, this theorem suggests that if such trees exist on a stationary set of singulars of uncountable cofinality (and good scales exist), a special tree exists at the limit.
3. Refinement of Coherence: Unlike previous results (like CFM) which might only produce a sequence coherent at points of uncountable cofinality, this construction yields a fully coherent sequence (a true $\square^*_\kappa$-sequence).
4. PCF Theory Application: The paper demonstrates the power of "totally continuous" scales in constructing combinatorial objects, bridging the gap between the behavior of scales and the existence of square sequences.

Summary Conclusion

Maxwell Levine proves that the failure of weak square at singular cardinals is not an inevitable consequence of the failure of square at smaller singulars, provided the singular has uncountable cofinality and the underlying PCF structure supports a good scale. This result delineates a sharp boundary between the combinatorial behavior of singulars of countable cofinality (where compactness fails) and uncountable cofinality (where compactness can be recovered under mild hypotheses).