The generalized continuum hypothesis (GCH) is a statement about the sizes of infinite sets. It says that there is no infinite set whose size sits strictly between the size of a given infinite set and the size of its power set (the collection of all its subsets). This hypothesis has been central to set theory since Cantor first raised it, and mathematicians have long sought to understand when and why it must hold.
Strongly compact cardinals are extraordinarily large infinite numbers whose existence cannot be proven from the standard axioms of mathematics. They possess powerful "compactness" properties, meaning that certain logical principles which normally apply only to finite or small settings extend to cover much larger collections. These large cardinals have deep influence over the mathematical universe around them, and set theorists have suspected for decades that they might force the GCH to hold in their vicinity.
The paper resolves a question that the mathematician Hugh Woodin posed long ago: if a strongly compact cardinal exists and the GCH holds for all infinite sizes smaller than that cardinal, does the GCH then hold everywhere, including above the cardinal? The answer, proven here, is yes. The existence of the strongly compact cardinal, combined with the assumption that GCH holds below it, is enough to guarantee that GCH holds throughout the entire mathematical universe. This is a significant result because it shows that strongly compact cardinals impose a kind of global order on the sizes of infinite sets, not just locally where they sit.