Paper XReading edition

Reading this edition

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

Reading orientation

This reading edition joins the preserved Block 27 manuscript, the subsequent residue-counting continuation, and the final checked conditional occupied-system completion. The live internal ledger is 20/20 at the explicitly amended conditional scope. Historical checkpoint totals remain dated evidence of their own source revisions. Universal companion existence, carrier existence, and nonzero occupancy are not inferred. The final assembly and its exact inputs are in Section Section D.

Abstract

A residual representation is a genuine zeroth-order coordinate. All positive-depth perturbations above it may fill its formal deformation neighborhood, but they cannot move into a different residual class. This paper develops the corresponding universal object: a residual forest whose roots are residual representations, whose finite levels are lifts modulo powers of a uniformizer, and whose infinite branches are complete characteristic-zero objects. We prove the residual partition, no-crossing, inverse-limit reconstruction, finite-branch compactness, exact smooth and singular branch counts, packet decomposition of tangent and obstruction cohomology, a directed minimum-seed theorem, rational seed-zeta formulas, and finite companion-forest completion. The coefficient prime two is represented by a weighted forest in which characteristic-zero packets may merge modulo two and become visible only at later depth. We then define a prime-independent system seed through a common Frobenius spine, prove a compatible-carrier summand theorem under finite Frobenius separation, and reduce finite occupancy in a fixed semisimple carrier to the nonnegative integer trace of an exact joint projector. The paper does not prove that every admissible residual companion exists or that every finite Hecke packet is occupied. Those two existence statements remain the exact horizontal boundary beyond vertical deformation theory.

Source and conversion record

Source SHA-256: ccce6fc50bc2c300d987aa870a199494867a6c52e119b49d7b17c100a0213652

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Paper X

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index