Realization Calculus

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \phantomsection\pdfbookmark[0]{Reading map and evidence boundary}{release-map}
2 \section*{A reading map}
3 This volume develops the algebraic steps in conditional automorphic completion. Read its support and packet theorems as deductions for the rings, modules, complexes, and arithmetic inputs that are actually supplied. They do not create missing residual occupancy or missing classicality.
4 
5 The companion visual guide gives 27 worked lessons. The formal companion exposes the production sources, the 49-claim crosswalk, and the hypotheses of the formal interfaces. The links below are reading routes, not additional theorem certificates.
6 
7 \begin{center}\begin{tabular}{>{\raggedright\arraybackslash}p{.30\linewidth}lll}\toprule
8 Topic & Main statement & Visual & Lean section\\\midrule
9 Local conditions & 3.1 & \href{p12-route:main-v-3}{Plate XII.3} & \href{p12-route:main-l-3.1}{4}\\
10 Support and quotients & 6.9 & \href{p12-route:main-v-10}{Plate XII.10} & \href{p12-route:main-l-6.9}{8}\\
11 Derived support & 6.16 & \href{p12-route:main-v-11}{Plate XII.11} & \href{p12-route:main-l-6.16}{9}\\
12 Hecke packets & 8.2 & \href{p12-route:main-v-12}{Plate XII.12} & \href{p12-route:main-l-8.2}{10}\\
13 Stable cores & 8.11 & \href{p12-route:main-v-15}{Plate XII.15} & \href{p12-route:main-l-8.11}{11}\\
14 Companion completion & 10.5 & \href{p12-route:main-v-23}{Plate XII.23} & \href{p12-route:main-l-10.5}{11}\\
15 Conditional realization & 12.6 & \href{p12-route:main-v-17}{Plate XII.17} & \href{p12-route:main-l-12.6}{12}\\
16 \bottomrule\end{tabular}\end{center}
17 \subsection*{What the verification record means}
18 The inherited formal record covers all 49 revised internal claims. The ledger of original wording remains separate: 41 complete, seven partial, and one unchecked. Amended statements are distinguished from their stronger predecessors.
19 
20 The formal companion identifies the recorded Lean compilation and the separate source, computation and correspondence checks. Representability, applicable patching, classicality, attached representations, Frobenius density, and the comparison inputs retain their stated external status.
21 
22 The final theorem requires a compatible Hecke point over the stated field. The propagation step compares two already existing families associated with the same automorphic object. Chapter XI's general realization conjecture is not an input to this chapter.
23 \clearpage
24 {\setlength{\parskip}{0pt}\tableofcontents}
25 \clearpage

Back to source controls

Back to Realization Calculus