Fourth Quadrant Ladder Collapse

In the (Hyperbolic, Non-Archimedean) quadrant the Archimedean-elliptic engine is absent: no continuous metric dimension (LC1), no progressive elliptic overdeterminacy (LC2), therefore no dimensional ladder (LC3), and features from multiple classical rungs coexist (LC4).

Fourth Quadrant Ladder Collapse

Summary

In the (Hyperbolic, Non-Archimedean) quadrant the Archimedean-elliptic engine is absent: no continuous metric dimension (LC1), no progressive elliptic overdeterminacy (LC2), therefore no dimensional ladder (LC3), and features from multiple classical rungs coexist (LC4).

Statement

%
\label{thm:ladder-collapse}
The Archimedean-Elliptic Engine (II.D75)
is the necessary driver of the SCV dimensional ladder.
In its absence, the ladder collapses:
\begin{enumerate}
    \item[\textup{(i)}]
          Without Archimedean density,
          there are no ``scales'' between stages
          at which new phenomena could emerge.
    \item[\textup{(ii)}]
          Without elliptic regularity,
          there are no convergent power series
          whose radius of convergence could
          distinguish dimensions.
    \item[\textup{(iii)}]
          The wave equation ($\Box f = 0$)
          propagates along characteristics
          in all coordinate dimensions simultaneously:
          adding dimensions does not create
          new characteristic families.
\end{enumerate}
The dimensional ladder is a feature
of the orthodox ($i^2 = -1$, Archimedean) quadrant,
not a universal property of holomorphic function theory.

Proof / Justification

No immediate manuscript proof block was extracted in this pilot run.

Source Context

• Registry source: book-02.jsonl line 192
• Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part11/ch63-refuses.tex lines 352-378

Lean / Formalization Notes

• Formalization: formalized
• Module: TauLib.BookII.Mirror.DimensionalLadder
• Name: ladder_collapse

Dependencies

• Canonical: II.D73, II.D75, II.D76, II.T47

Related Results

Generated by later projection phases.

Related Publications

Generated by later projection phases.

Revision Notes

• 2026-04-24: Initial pilot migration.