TFPT scientific source excerpt
Original repository path: documents/archive--paper-latex--tfpt-42/sections/005-subsection-internal-carrier-stabilizer-and-one-family-pa.tex
Original file SHA-256: 3348bf35cc05750e1ee198a772ff3278ef92797b9a83cd36b6ce2483300205e8
Inclusive original lines: 44-61
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000044 | \[
000045 | \gamma=\tr_EY^2=\frac56,
000046 | \qquad
000047 | B=\frac{\rank E_3}{\rank E_2}=\frac32.
000048 | \]
000049 | \begin{corollary}[Carrier norm from the carrier polynomial]
000050 | The carrier polynomial already fixes
000051 | \[
000052 | \gamma=\tr_EY^2=\frac16\tr_E(Y+\mathbf 1)=\frac56,
000053 | \]
000054 | since $\tr_EY=0$ and $\rank E=5$.
000055 | \end{corollary}
000056 | 
000057 | \begin{corollary}[Minimal carrier compression]
000058 | \label{cor:minimal-carrier-compression}
000059 | On the minimal carrier branch,
000060 | \[
000061 | B\gamma=\frac32\cdot\frac56=\frac54.