The number of measures on very large measurable cardinals

Die Arbeit nutzt Konsequenzen des Ultrapower-Axioms, um zu zeigen, dass die Anzahl der normalen Maße auf sehr großen messbaren Kardinalzahlen, einschließlich der ersten messbaren Kardinalzahl über einem superkompakten oder eines messbaren Grenzwerts superkompakter Kardinalzahlen, beliebigen vorgegebenen Mustern folgen kann, ohne dabei auf innere Modell-Techniken angewiesen zu sein.

Das Wesentliche

Stellen Sie sich das Universum der Mathematik als eine riesige, unendliche Bibliothek vor. In dieser Bibliothek gibt es nicht nur gewöhnliche Bücher, sondern auch einige extrem seltene und mächtige „Super-Bücher". Diese werden in der Mathematik als große Kardinalzahlen bezeichnet.

Die Autoren dieses Papers (Apter, Kaplan und Poveda) beschäftigen sich mit einer ganz speziellen Art von Super-Büchern, den messbaren Kardinalzahlen. Man kann sich diese wie mächtige Türsteher vorstellen, die entscheiden, welche Mengen von Zahlen „wichtig" sind.

Hier ist die einfache Erklärung dessen, was sie herausgefunden haben, ohne die komplizierte Mathematik:

1. Das Problem: Wie viele Schlüssel hat der Türsteher?

Jeder dieser mächtigen Türsteher (messbare Kardinalzahl) hat einen Schlüsselbund. In der Mathematik nennt man diese Schlüssel Maße (measures).

• Die Frage, die Mathematiker seit Jahren stellen, lautet: Wie viele Schlüssel kann ein solcher Türsteher haben?
• Früher wusste man: Er hat mindestens einen.
• Später fand man heraus: Er kann sehr viele haben, aber es gab eine große Lücke. Man konnte das nicht für alle Türsteher beweisen, besonders nicht für die, die in der Nähe von noch mächtigeren Riesen (wie „superkompakten" Kardinalzahlen) wohnen.

Das Schwierige daran war, dass die alten Methoden, um diese Fragen zu beantworten, wie ein schwerer, alter Schlüsselbund waren, der nur in bestimmte, gut bekannte Schlösser passte. Für die neuen, riesigen Türsteher passte er einfach nicht.

2. Die neue Methode: Der „Spalt"-Schlüssel (Splitting Forcing)

Die Autoren haben eine neue, viel flexiblere Methode entwickelt, die sie „Splitting Forcing" (Spalt-Forcing) nennen.

• Die Analogie: Stellen Sie sich vor, Sie wollen die Anzahl der Schlüssel an einem Türsteher ändern. Die alte Methode war wie ein schwerer Bagger, der das ganze Gebäude abreißen musste, um die Schlüssel zu tauschen.
• Die neue Methode ist wie ein Spalt-Bohrer. Sie bohrt vorsichtig in das System, ohne das ganze Gebäude (die anderen großen Kardinalzahlen) zu zerstören. Sie können den Türsteher „spalten" und ihm genau so viele Schlüssel geben, wie Sie möchten – ob 1, 100 oder unendlich viele –, während die mächtigen Riesen in der Bibliothek weiterhin friedlich existieren.

3. Was haben sie erreicht? (Die drei großen Siege)

Die Autoren haben gezeigt, dass man mit dieser neuen Methode fast alles kontrollieren kann:

• Sieg 1: Die erste Gruppe von Türstehern.
  Sie können die ersten n messbaren Kardinalzahlen so manipulieren, dass sie alle „stark kompakt" sind (eine sehr starke Eigenschaft) und jeder einzelne davon genau die Anzahl an Schlüsseln hat, die Sie sich wünschen. Es ist, als würden Sie eine Reihe von Wächtern aufstellen und jedem exakt die Anzahl an Rüstungsteilen geben, die Sie vorgeben.

• Sieg 2: Der Türsteher über dem Riesen.
  Oft gibt es einen messbaren Kardinal, der direkt über einem noch mächtigeren „Super-Riesen" (superkompakt) sitzt. Früher konnte man nicht sagen, wie viele Schlüssel dieser spezielle Türsteher hat. Die Autoren zeigen nun: Egal wie viele Schlüssel Sie ihm geben wollen, es ist möglich, ohne den Super-Riesen darunter zu stören.

• Sieg 3: Der Grenzstein.
  Es gibt einen speziellen Punkt, an dem unendlich viele Super-Riesen zusammenkommen (ein messbarer Grenzpunkt). Auch hier konnten sie zeigen, dass man die Anzahl der Schlüssel für diesen Grenzpunkt genau nach Belieben einstellen kann.

4. Warum ist das wichtig? (Die Gold-Regel)

Ein Teil des Papers befasst sich mit einer Theorie namens Ultrapower-Axiom (UA). Man kann sich das wie eine „Goldene Regel" für das Universum vorstellen, die besagt, dass es nur einen einzigen, perfekten Weg gibt, diese Türsteher zu betrachten.

• Unter dieser Regel haben diese Türsteher normalerweise nur einen einzigen Schlüssel.
• Die Autoren zeigen nun: Selbst wenn die Goldene Regel gilt, können wir durch unsere neue Methode das Universum so manipulieren, dass diese Türsteher plötzlich genau die Anzahl an Schlüsseln haben, die wir wollen.

Zusammenfassung in einem Satz

Die Autoren haben einen neuen, geschickten Trick (den „Spalt-Bohrer") entwickelt, mit dem sie die Anzahl der „Schlüssel" (Maße) an den mächtigsten Türstehern des mathematischen Universums genau nach Belieben einstellen können, ohne dabei das gesamte Gebäude der Mathematik zum Einsturz zu bringen – selbst in den Bereichen, die bisher als unzugänglich galten.

Sie haben damit alte, starre Regeln aufgebrochen und gezeigt, dass die Struktur des Unendlichen viel flexibler ist, als man dachte.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „The Number of Measures on Very Large Measurable Cardinals" von Arthur W. Apter, Eyal Kaplan und Alejandro Poveda auf Deutsch.

1. Problemstellung und Motivation

Das zentrale Forschungsziel dieses Papers ist die Untersuchung der möglichen Anzahl normaler Maße auf messbaren Kardinalzahlen, insbesondere in Kontexten, in denen sehr große Kardinalzahlen (wie stark kompakte oder superkompakte Kardinalzahlen) koexistieren.

• Hintergrund: Es ist bekannt, dass jede messbare Kardinalzahl mindestens ein normales Maß trägt. Die Frage, wie viele solche Maße existieren können, wurde in den letzten Jahrzehnten intensiv untersucht.
• Der Stand der Forschung:
  • Kunen-Paris (1970er): Zeigten, dass man von einem messbaren Kardinal $\kappa$ ausgehend eine Forcing-Erweiterung konstruieren kann, in der $\kappa$ genau $\lambda$ normale Maße trägt, sofern $\text{cf}(\lambda) > \kappa^+$.
  • Friedman-Magidor (2014): Lieferten eine vollständige Lösung für den Fall, dass $\lambda \le \kappa^{++}$. Ihre Methode basiert jedoch auf dem Forcing über kanonischen inneren Modellen (insbesondere $L[\vec{U}]$) und nutzt feinstrukturelle Eigenschaften (Fine Structure).
• Das Problem: Die Methoden von Friedman-Magidor sind auf Kardinalzahlen beschränkt, für die innere Modelltheorie (Inner Model Program) verfügbar ist. Für sehr große Kardinalzahlen wie den ersten stark kompakten Kardinal, den ersten messbaren Kardinal über einem superkompakten Kardinal oder den ersten messbaren Grenzwert von superkompakten Kardinalzahlen existieren keine kanonischen inneren Modelle. Daher waren die Methoden von Friedman-Magidor dort nicht anwendbar.
• Ziel des Papers: Die Autoren wollen zeigen, dass man die Anzahl der normalen Maße auf diesen „sehr großen" messbaren Kardinalzahlen beliebig vorschreiben kann, ohne auf innere Modelle oder die feinstrukturelle Analyse zurückzugreifen.

2. Methodik und Techniken

Die Autoren entwickeln eine neue Methodik, die auf dem Ultrapower Axiom (UA) von Goldberg basiert, aber in der Praxis nur eine schwache Konsequenz davon benötigt: Die Existenz eines eindeutigen normalen Maßes mit Mitchell-Ordnung 0 auf jedem messbaren Kardinal.

Die Kernmethoden umfassen:

1. Splitting Forcing (Spaltendes Forcing):

   • Eine Variation des Forcings, das von Kaplan in [28] eingeführt wurde.
   • Es handelt sich um eine nichtstationäre Support-Iteration ($I$-spaced nonstationary support iteration).
   • Funktionsweise: An bestimmten Stationen (inaccessiblen Kardinalzahlen in einer stationären Menge $I$) wird ein atomares Forcing hinzugefügt, das eine „Spaltung" des ursprünglichen Maßes bewirkt.
   • Effekt: Wenn das ursprüngliche Modell ein eindeutiges normales Maß $U$ trägt, erzeugt dieses Forcing im Erweiterungsmodell genau $\tau$ viele normale Maße (für ein vorgegebenes $\tau \le \kappa^{++}$).
   • Vorteil: Es benötigt keine inneren Modelle und umgeht die Komplexität von Prikry-Forcings oder Sacks-Forcings, die in früheren Arbeiten (z.B. Gitik-Kaplan) verwendet wurden.

2. Laver-Indestructibilität (Laver's Indestructibility):

   • Die Autoren verwenden eine modifizierte Version des Laver-Forcings, um Superkompaktheit gegen bestimmte Forcings unzerstörbar (indestructible) zu machen.
   • Im Gegensatz zu klassischen Easton-Support-Iterationen nutzen sie hier nichtstationäre Support-Iterationen. Dies erlaubt eine feinere Kontrolle über die Anzahl der normalen Maße im Ergebnis, da sie das Forcing so strukturieren können, dass es die Mitchell-Ordnung 0 erhält und keine unerwünschten neuen Maße erzeugt.

3. Nicht-reflektierende stationäre Mengen (Non-reflecting stationary sets):

   • Um zu garantieren, dass keine anderen messbaren Kardinalzahlen in bestimmten Intervallen entstehen (oder erhalten bleiben), verwenden sie Forcings, die nicht-reflektierende stationäre Mengen hinzufügen. Dies zerstört die Messbarkeit von Kardinalzahlen, die nicht die Zielkardinalzahlen sind.

4. Hebung von Embeddings (Lifting of Embeddings):

   • Ein zentraler technischer Schritt ist das „Heben" von Ultrapower-Embeddings $j: V \to M$ durch das Forcing. Dank der Eigenschaften der nichtstationären Support-Iterationen und der Spaltungstechnik können die Autoren zeigen, dass sich die Embeddings auf die Forcing-Erweiterung heben lassen und dabei genau die gewünschte Anzahl von Maßen induzieren.

3. Hauptergebnisse (Theoreme)

Die paper beweist mehrere Hauptsätze, die die Kontrolle der Anzahl normaler Maße auf sehr großen Kardinalzahlen etablieren:

• Theorem 3.1 (Die ersten $n$ messbaren Kardinalzahlen):

  • Unter der Annahme von GCH und der Existenz von $n$ superkompakten Kardinalzahlen $\langle \kappa_i : i < n \rangle$ (mit jeweils einem eindeutigen Maß der Mitchell-Ordnung 0) existiert eine Forcing-Erweiterung, in der:
    • Die $\kappa_i$ die ersten $n$ superkompakten und messbaren Kardinalzahlen sind.
    • Jeder $\kappa_i$ trägt genau eine vorgegebene Anzahl $\tau_i \le \kappa_i^{++}$ normaler Maße.
  • Dies kombiniert den klassischen Kimchi-Magidor-Satz (dass die ersten $n$ messbaren Kardinalzahlen stark kompakt sein können) mit der Kontrolle der Maßanzahl.

• Theorem 3.2 (Der erste messbare Kardinal über einem superkompakten):

  • Sei $\kappa$ superkompakt und $\lambda$ der erste messbare Kardinal darüber. Unter der Annahme, dass $\lambda$ ein eindeutiges Maß trägt, kann man eine Erweiterung konstruieren, in der $\kappa$ superkompakt bleibt und $\lambda$ genau $\tau$ normale Maße trägt (für jedes $\tau \le \lambda^{++}$).
  • Dies ist ein Ergebnis, das mit der Friedman-Magidor-Methode nicht erreichbar war, da diese über $L[U]$ arbeitet und Superkompaktheit zerstört.

• Theorem 3.3 (Der erste messbare Grenzwert von superkompakten Kardinalzahlen):

  • Sei $\kappa$ der erste messbare Grenzwert von superkompakten (oder starken) Kardinalzahlen. Unter der Annahme eines eindeutigen Maßes der Mitchell-Ordnung 0 auf $\kappa$, gibt es eine Erweiterung, in der $\kappa$ weiterhin der erste solche Grenzwert ist und genau $\tau$ normale Maße trägt.
  • Dies adressiert Kardinalzahlen, die jenseits des aktuellen inneren Modell-Programms liegen.

• Theorem 3.5 (Verstärkung des Goldberg-Woodin-Theorems):

  • Unter der Annahme von UA (Ultrapower Axiom) und GCH kann man zeigen, dass der erste messbare Kardinal stark kompakt sein kann und eine beliebig vorgegebene Anzahl normaler Maße trägt, ohne auf „anti-large cardinal"-Annahmen (wie das Nicht-Existieren messbarer Kardinalzahlen über einem bestimmten Punkt) zurückgreifen zu müssen. Dies verbessert frühere Ergebnisse von Goldberg und Woodin.

• Theorem 4.4 (HOD-Hypothese und Superkompaktheit):

  • Die Autoren verbessern ein Ergebnis von Goldberg, Osinski und Poveda. Sie konstruieren ein Modell, in dem die HOD-Hypothese gilt, der erste superkompakte Kardinal $\kappa$ superkompakt ist, aber in HOD nur stark kompakt ist und dort genau ein normales Maß trägt. Dies zeigt eine maximale Diskrepanz zwischen $V$ und HOD bezüglich der Struktur der Maße.

4. Signifikanz und Bedeutung

• Umgehung innerer Modelle: Der wichtigste theoretische Beitrag ist die Demonstration, dass man tiefgehende Fragen zur Struktur normaler Maße auf sehr großen Kardinalzahlen beantworten kann, ohne die (derzeit noch nicht existierenden) kanonischen inneren Modelle für Superkompaktheit zu benötigen.
• Flexibilität der Splitting-Forcing-Technik: Die Arbeit etabliert das „Splitting Forcing" als ein mächtiges Werkzeug, das sich mit anderen Forcing-Techniken (wie Laver-Preparation und Magidor-Iteration) kombinieren lässt, um komplexe Konfigurationen von Kardinalzahlen und Maßen zu erzeugen.
• Auflösung offener Fragen: Die Ergebnisse beantworten Fragen, die durch die Grenzen der Friedman-Magidor-Methode und der Prikry-Iterationen offen geblieben waren. Insbesondere wird gezeigt, dass die „Identity Crisis" (die Frage, ob die ersten messbaren Kardinalzahlen stark kompakt sein können) mit beliebigen Maßanzahlen vereinbar ist.
• Bezug zum Ultrapower Axiom (UA): Die Ergebnisse stützen die Plausibilität von Goldbergs UA, indem sie zeigen, dass die Konsequenzen von UA (wie die Linearität der Mitchell-Ordnung) mit einer extremen Vielfalt an Maßkonfigurationen vereinbar sind.

Zusammenfassend bietet das Paper einen Paradigmenwechsel in der Forcing-Theorie großer Kardinalzahlen: Statt feinstruktureller Analyse über innere Modelle nutzen die Autoren kombinatorische Forcing-Techniken, um die Struktur der Maße auf den „Rändern" des großen Kardinalzahlsystems präzise zu steuern.