Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates

Download original file

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

Included manuscript sections

• 01_orientation.tex
• 02_foundations.tex
• 03_packets_and_graphs.tex
• 04_transport.tex
• 05_worked_models.tex
• 06_reference.tex

Read the typeset paper

1 \documentclass[11pt]{article}
2 
3 \usepackage[a4paper,margin=23mm,includeheadfoot,headheight=15pt,headsep=15pt,footskip=22pt]{geometry}
4 \usepackage[nopatch=footnote]{microtype}
5 \usepackage{amsmath,amssymb,amsthm,mathtools}
6 \usepackage{aliascnt}
7 \usepackage{booktabs,longtable,array,tabularx}
8 \usepackage{enumitem}
9 \usepackage{fancyhdr}
10 \PassOptionsToPackage{hyphens}{url}
11 \usepackage{hyperref}
12 \usepackage[nameinlink,noabbrev]{cleveref}
13 \usepackage[table]{xcolor}
14 \usepackage{setspace}
15 \usepackage[most]{tcolorbox}
16 \usepackage{needspace}
17 \usepackage{multicol}
18 \usepackage{makecell}
19 \usepackage{graphicx,tikz,titlesec,bookmark,caption,etoolbox,tocloft}
20 \setlength{\cftbeforesecskip}{4pt}
21 \usetikzlibrary{arrows.meta,decorations.pathreplacing,patterns,calc}
22 \graphicspath{{figures/}}
23 \definecolor{accent}{HTML}{137668}\definecolor{muted}{HTML}{536568}
24 \frenchspacing\emergencystretch=2em\clubpenalty=10000\widowpenalty=10000\raggedbottom
25 \titleformat{\section}{\sffamily\bfseries\large\color{accent}}{\thesection}{.7em}{}
26 \titleformat{\subsection}{\sffamily\bfseries\normalsize}{\thesubsection}{.7em}{}
27 \titlespacing*{\section}{0pt}{1.4\baselineskip}{.55\baselineskip}
28 \captionsetup{font=small,labelfont={sf,bf},labelsep=period}
29 \pretocmd{\section}{\Needspace{7\baselineskip}}{}{}
30 \pretocmd{\subsection}{\Needspace{5\baselineskip}}{}{}
31 \newcolumntype{L}[1]{>{\raggedright\arraybackslash}p{#1}}
32 \newcommand{\cA}{\mathcal A}\newcommand{\cB}{\mathcal B}\newcommand{\cP}{\mathcal P}
33 \newcommand{\R}{\mathbb R}\newcommand{\C}{\mathbb C}\newcommand{\Z}{\mathbb Z}\newcommand{\N}{\mathbb N}
34 \newcommand{\Spec}{\operatorname{Spec}}\newcommand{\rank}{\operatorname{rank}}\newcommand{\diag}{\operatorname{diag}}
35 \newcommand{\closure}[1]{\overline{#1}}
36 
37 
38 \allowdisplaybreaks
39 \setstretch{1.055}
40 \setlength{\parskip}{0.30em}
41 \setlength{\parindent}{1.35em}
42 \setlist[itemize]{topsep=0.35em,itemsep=0.15em,leftmargin=1.6em}
43 \setlist[enumerate]{topsep=0.35em,itemsep=0.15em,leftmargin=1.8em}
44 \definecolor{PSCBlue}{RGB}{44,83,118}
45 \definecolor{PSCLightBlue}{RGB}{242,247,251}
46 \definecolor{PSCGreen}{RGB}{49,105,83}
47 \definecolor{PSCLightGreen}{RGB}{243,249,246}
48 \definecolor{PSCAmber}{RGB}{132,91,21}
49 \definecolor{PSCLightAmber}{RGB}{252,248,238}
50 \definecolor{PSCGray}{RGB}{90,96,102}
51 \definecolor{PSCLightGray}{RGB}{247,247,247}
52 
53 \newtcolorbox{readerroadmap}[1][]{
54   enhanced,breakable,colback=PSCLightBlue,colframe=PSCBlue,
55   boxrule=0.65pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
56   fonttitle=\bfseries,title={Reader roadmap},#1}
57 \newtcolorbox{keyidea}[1][]{
58   enhanced,breakable,colback=PSCLightGreen,colframe=PSCGreen,
59   boxrule=0.65pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
60   fonttitle=\bfseries,title={Key idea},#1}
61 \newtcolorbox{interpretation}[1][]{
62   enhanced,breakable,colback=PSCLightGray,colframe=PSCGray,
63   boxrule=0.55pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
64   fonttitle=\bfseries,title={Interpretation},#1}
65 \newtcolorbox{microexample}[1][]{
66   enhanced,breakable,colback=PSCLightAmber,colframe=PSCAmber,
67   boxrule=0.55pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
68   fonttitle=\bfseries,title={Running example},#1}
69 \newtcolorbox{hypothesisguide}[1][]{
70   enhanced,breakable,colback=white,colframe=black!45,
71   boxrule=0.5pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
72   fonttitle=\bfseries,title={Why the hypotheses matter},#1}
73 \newtcolorbox{sectionrecap}[1][]{
74   enhanced,breakable,colback=white,colframe=PSCBlue,
75   borderline west={2pt}{0pt}{PSCBlue},boxrule=0pt,arc=0mm,
76   left=2mm,right=1mm,top=0.8mm,bottom=0.8mm,
77   fonttitle=\bfseries,title={Section recap},#1}
78 \newtcolorbox{warningbox}[1][]{
79   enhanced,breakable,colback=PSCLightAmber,colframe=PSCAmber,
80   boxrule=0.65pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
81   fonttitle=\bfseries,title={Do not conflate},#1}
82 \newcommand{\ProofMap}[1]{\begin{interpretation}[title={Proof map}]#1\end{interpretation}}
83 \newcommand{\ConceptChain}[1]{\begin{center}\fbox{\begin{minipage}{0.92\textwidth}\centering #1\end{minipage}}\end{center}}
84 
85 \hypersetup{
86   pdftitle={Projector Resolved Seed Calculus I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates},
87   pdfauthor={Komorebi P.},
88   pdfsubject={Expanded symbolic and expository foundation},
89   colorlinks=true,
90   linkcolor=black,
91   citecolor=black,
92   urlcolor=black
93 }
94 
95 \pagestyle{fancy}
96 \fancyhf{}
97 \fancyhead[L]{\sffamily\fontsize{8}{10}\selectfont\color{muted}KOMOREBI MATHEMATICS / PAPER I}
98 \fancyhead[R]{\sffamily\fontsize{8}{10}\selectfont\color{muted}TRADITIONAL PAPER}
99 \fancyfoot[L]{\sffamily\fontsize{8}{10}\selectfont\color{muted}Projector-resolved seed calculus}\fancyfoot[R]{\sffamily\small\color{accent}\thepage}
100 \setlength{\headheight}{14pt}
101 
102 \newtheorem{theorem}{Theorem}[section]
103 \newaliascnt{proposition}{theorem}
104 \newtheorem{proposition}[proposition]{Proposition}
105 \aliascntresetthe{proposition}
106 \newaliascnt{lemma}{theorem}
107 \newtheorem{lemma}[lemma]{Lemma}
108 \aliascntresetthe{lemma}
109 \newaliascnt{corollary}{theorem}
110 \newtheorem{corollary}[corollary]{Corollary}
111 \aliascntresetthe{corollary}
112 \theoremstyle{definition}
113 \newaliascnt{definition}{theorem}
114 \newtheorem{definition}[definition]{Definition}
115 \aliascntresetthe{definition}
116 \newaliascnt{classicalinput}{theorem}
117 \newtheorem{classicalinput}[classicalinput]{Classical Input}
118 \aliascntresetthe{classicalinput}
119 \theoremstyle{remark}
120 \newaliascnt{boundary}{theorem}
121 \newtheorem{boundary}[boundary]{Boundary}
122 \aliascntresetthe{boundary}
123 \newaliascnt{remark}{theorem}
124 \newtheorem{remark}[remark]{Remark}
125 \aliascntresetthe{remark}
126 
127 \theoremstyle{definition}\newtheorem{example}[theorem]{Example}
128 \newtheorem{construction}[theorem]{Construction}
129 \crefname{theorem}{theorem}{theorems}
130 \crefname{proposition}{proposition}{propositions}
131 \crefname{lemma}{lemma}{lemmas}
132 \crefname{corollary}{corollary}{corollaries}
133 \crefname{definition}{definition}{definitions}
134 \crefname{classicalinput}{classical input}{classical inputs}
135 \crefname{boundary}{boundary}{boundaries}
136 \crefname{remark}{remark}{remarks}
137 
138 \newcommand{\bbk}{\Bbbk}
139 \newcommand{\A}{\mathcal A}
140 \newcommand{\B}{\mathcal B}
141 \newcommand{\Ccal}{\mathcal C}
142 \newcommand{\Pcal}{\mathcal P}
143 \newcommand{\Qcal}{\mathcal Q}
144 \newcommand{\Rcal}{\mathcal R}
145 \newcommand{\Scal}{\mathcal S}
146 \newcommand{\Hull}{\operatorname{Hull}}
147 \newcommand{\srank}{\operatorname{srank}}
148 \newcommand{\psrank}{\operatorname{psrank}}
149 \newcommand{\End}{\operatorname{End}}
150 \newcommand{\Hom}{\operatorname{Hom}}
151 \newcommand{\im}{\operatorname{im}}
152 \newcommand{\Ker}{\operatorname{Ker}}
153 \newcommand{\Jac}{\operatorname{Jac}}
154 \newcommand{\Irr}{\operatorname{Irr}}
155 \newcommand{\Span}{\operatorname{span}}
156 \newcommand{\alg}{\operatorname{alg}}
157 \newcommand{\Reach}{\operatorname{Reach}}
158 \newcommand{\Supp}{\operatorname{Supp}}
159 \newcommand{\id}{\mathrm{id}}
160 \newcommand{\cl}[1]{\overline{#1}}
161 \newcommand{\RecordID}[1]{\label{record:#1}}
162 \newcommand{\Depends}[1]{}
163 \newcommand{\Exports}[1]{}
164 \newcommand{\BoundaryNote}[1]{\par\noindent\begingroup\footnotesize\color{PSCGray}\raggedright\textbf{Boundary.} #1\par\endgroup}
165 \newcolumntype{Y}{>{\raggedright\arraybackslash}X}
166 
167 
168 \newcommand{\OO}{\mathcal O}\newcommand{\FF}{\mathbb F}\newcommand{\QQ}{\mathbb Q}\newcommand{\ZZ}{\mathbb Z}\newcommand{\RR}{\mathbb R}\newcommand{\CC}{\mathbb C}\newcommand{\kk}{\Bbbk}
169 \renewcommand{\AA}{\mathcal A}\newcommand{\BB}{\mathcal B}
170 \newcommand{\Fitt}{\operatorname{Fitt}}\newcommand{\Ann}{\operatorname{Ann}}\newcommand{\coker}{\operatorname{coker}}\newcommand{\Tr}{\operatorname{Tr}}
171 \newcommand{\whot}{\mathbin{\widehat\otimes}}\newcommand{\m}{\mathfrak m}\newcommand{\p}{\mathfrak p}
172 \newcommand{\head}[1]{\par\vspace{2pt}{\sffamily\bfseries\normalsize #1}\par\vspace{1pt}}
173 \newcommand{\atlasCaption}[1]{\par\noindent{\footnotesize\color{black!70}#1\par}}
174 \newtcolorbox{insight}{colback=black!3,colframe=accent,boxrule=0pt,leftrule=1.1pt,arc=0pt,left=10pt,right=10pt,top=3pt,bottom=3pt,before skip=4pt,after skip=4pt,fontupper=\fontsize{9.7}{11.2}\selectfont}
175 \newcommand{\takeaway}[1]{\begin{insight}\textbf{Read this as:}\ #1\end{insight}}
176 \newcommand{\vfig}[2][.92]{\par\begingroup\centering\setlength{\dimen0}{#1\linewidth}\resizebox{.90\dimen0}{!}{\input{visual_graphics/#2.tex}}\par\endgroup\vspace{2pt}}
177 \newcommand{\vpage}[4]{\clearpage\hypertarget{visual:#1}{}\pdfbookmark[2]{V#1. #2}{PIA.visual#1}{\sffamily\small\bfseries\color{accent}PLATE #1 / #3\par}\vspace{5pt}{\sffamily\bfseries\fontsize{22}{25}\selectfont #2\par}\vspace{5pt}{\sffamily\fontsize{8.7}{11}\selectfont\color{black!65}#4\par}\vspace{6pt}}
178 \newcommand{\pagerefV}[1]{\hyperlink{visual:#1}{Plate~#1}}
179 \newcommand{\norm}[1]{\left\lVert#1\right\rVert}\newcommand{\mat}[1]{\begin{pmatrix}#1\end{pmatrix}}
180 
181 
182 % Operation Komorebi: shared publication profile.
183 \usepackage{komorebi-monograph}
184 \renewcommand{\KomorebiTitle}{Projector Resolved Seed Calculus I}
185 \renewcommand{\KomorebiSubtitle}{Typed operator systems, seed rank, and exact packet coordinates}
186 \renewcommand{\KomorebiSeries}{Core series I}
187 \renewcommand{\KomorebiKind}{Monograph edition}
188 \renewcommand{\KomorebiEdition}{Release edition / 15 October 2026}
189 \renewcommand{\KomorebiShortTitle}{Paper I}
190 \renewcommand{\KomorebiTitleSize}{33}
191 \renewcommand{\KomorebiTitleLeading}{39}
192 \renewcommand{\KomorebiProfile}{monograph}
193 \renewcommand{\KomorebiOrientation}{portrait}
194 \KomorebiSetup
195 \begin{document}
196 \KomorebiCover
197 \begin{abstract}
198 This paper begins with a practical mathematical question. Once a family of operators has been fixed, what can we generate from a few starting vectors, and how can we keep track of the resulting object? The answer has two parts. Seed rank measures how many starting vectors are needed. Packet coordinates describe the components of vectors and the transfers between them.
199 
200 The construction starts with a typed operator grammar and a concrete realization of that grammar. From there we study generated hulls, presentations by seeds and relations, and the number of generators required by a module. The generator results include reduction modulo the Jacobson radical, the semisimple multiplicity formula over division rings, and the formula for a single operator over an arbitrary field.
201 
202 We then resolve vectors and operators using complete families of idempotents. Finite packet reconstruction is exact. Countable reconstruction requires the stated convergence assumptions. Transfer blocks record the action from each input packet to each output packet, and their multiplication exposes both admissible paths and cancellation. Later sections develop quotient descent, coordinate changes, completion, and transport through realization functors.
203 
204 Worked quiver, coordinate ring, matrix, graph, and shift models show how the same language is used in different settings. The visual atlas follows these models through complete calculations. Stable statement identifiers connect this text to the existing machine companion, while the separate Lean guide specifies the scope of the formal certificates. The written proofs and the imported classical results retain their stated hypotheses.
205 \end{abstract}
206 
207 \clearpage
208 \begingroup\small\setstretch{1.0}\tableofcontents\endgroup
209 \clearpage
210 
211 \input{01_orientation.tex}
212 \clearpage\pagenumbering{arabic}
213 \input{02_foundations.tex}
214 \input{03_packets_and_graphs.tex}
215 \input{04_transport.tex}
216 \input{05_worked_models.tex}
217 \input{06_reference.tex}
218 \end{document}

Back to source controls

Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates