Manuscript text (TeX)
Strong Artin: source and evidence
main.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
Included manuscript sections
1 \documentclass[11pt]{article}
2 \newcommand{\ShortTitle}{STRONG ARTIN}
3 \input{../shared/preamble}
4 \usepackage[nameinlink,noabbrev]{cleveref}
5 \allowdisplaybreaks
6 \newtheorem{standardfact}[theorem]{Classical input}
7 \crefname{standardfact}{classical input}{classical inputs}
8 \crefname{hypothesis}{hypothesis}{hypotheses}
9 \newcommand{\CC}{\mathbb C}
10 \newcommand{\QQ}{\mathbb Q}
11 \newcommand{\ZZ}{\mathbb Z}
12 \newcommand{\FF}{\mathbb F}
13 \newcommand{\Adele}{\mathbb A}
14 \newcommand{\GL}{\operatorname{GL}}
15 \newcommand{\Gal}{\operatorname{Gal}}
16 \newcommand{\Frob}{\operatorname{Frob}}
17 \newcommand{\Tr}{\operatorname{Tr}}
18 \newcommand{\Hom}{\operatorname{Hom}}
19 \newcommand{\Ind}{\operatorname{Ind}}
20 \newcommand{\Res}{\operatorname{Res}}
21 \newcommand{\Irr}{\operatorname{Irr}}
22 \newcommand{\rec}{\operatorname{rec}}
23 \newcommand{\BC}{\operatorname{BC}}
24 \newcommand{\AI}{\operatorname{AI}}
25 \newcommand{\ord}{\operatorname{ord}}
26 \newcommand{\Supp}{\operatorname{Supp}}
27 \newcommand{\im}{\operatorname{im}}
28 \newcommand{\calJ}{\mathcal J}
29 \newcommand{\calX}{\mathcal X}
30 \newcommand{\calE}{\mathcal E}
31 \newcommand{\calC}{\mathcal C}
32 \newcommand{\calP}{\mathcal P}
33 \newcommand{\calQ}{\mathcal Q}
34 \newcommand{\muP}{\boldsymbol\mu_p}
35 \newcommand{\OO}{\mathcal O}
36 \newcommand{\frakl}{\mathfrak l}
37 \newcommand{\calA}{\mathcal A}
38 \newcommand{\calB}{\mathcal B}
39 \newcommand{\calF}{\mathcal F}
40 \newcommand{\one}{\mathbf 1}
41 \graphicspath{{../visual/figures/}}
42 \hypersetup{pdftitle={Strong Artin: Cyclic Attachment, Finite Alphabets, and the Global Realization Gap},pdfsubject={Conjecture series, finite representation proofs, residual realization, and certified local lifting}}
43 \begin{document}
44 \Cover{03}{Strong Artin}{Cyclic attachment and finite realization}{A detailed account of the representation theory, exact selectors, realization criteria, and certified local lifting sectors. The global automorphic attachment remains open.}
45 \tableofcontents
46 \newpage
47 \input{body}
48 \input{formal_appendix}
49 \begin{figure}[tbp]\centering
50 \includegraphics[width=.90\linewidth]{23_tower.pdf}
51 \caption{Scalar roots of one modulo successive powers of two form a finite prefix tree. A prefix can fail to continue even though other branches persist. An actual inverse limit needs a compatible branch at every depth. The separate matrix Hensel theorem supplies such a branch in its certified sector from one finite test.}
52 \label{fig:inverse_tower}\end{figure}
53 \input{worked_appendix}
54 \begingroup\small\raggedright
55 \input{bibliography}
56 \endgroup
57 \end{document}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 800c37ad0228ce90fc42d0e5189feb94dc2e64cb62bfe6758a43a0ef25f591ce