Paper XI visual guide · Visual 28 of 47 · PART III / ACTUAL ARITHMETIC CONSTRUCTION

Native trace and ambient trace are different

Resources & source

Original source locator: Block 167, exact trace transport

This lesson in the original PDF

Skip contents and start reading

Native trace one can amplify to ambient trace zero
Original figure from the retained vector PDF.

Reading the figure

Native ranks two, four and eight each have trace one. In ambient rank eight their traces are zero, zero and one. Native trace and amplified ambient trace have different roles.

Selectable labels from the original PDF

Native PDF text retains the figure’s extraction order. Equations and data tables above provide the reading order.

Native rank 2: trace 1
In rank 8: trace 0
Native rank 4: trace 1
In rank 8: trace 0
Native rank 8: trace 1
In rank 8: trace 1
Native trace and amplified ambient trace have different roles.

Original vector figure PDF · Full-size image

Original figure caption

A trace-one native matrix amplified by an even multiplicity has ambient trace zero.

For odd \(q\), let \(a=(q+1)/2\) and \(z=t_L^a\alpha\). Then

\[ z^2+t_L^az+t_L=0,\quad {\operatorname{Tr}}_{E/L}\alpha=1, \quad\operatorname{Lift}_E(C)=(z^2/t_L)CP_0. \]

The trace identity is

\[ {\operatorname{tr}}_L\operatorname{Lift}_E(C)={\operatorname{Tr}}_{E/L}(\alpha{\operatorname{tr}}_EC). \]

It sends inner trace 1 to outer trace 1. At native rank \(2^j\), every constructor has trace 1; its next native correction has trace \(1-2\cdot1=1\). In rank 8, the earlier amplified approximations instead have traces \(0,0\), and the final matrix has trace 1.

Reading the diagram

Only the appropriate native trace establishes the scalar-character compatibility at each recursive stage.

Source and conversion record

This edition preserves all 47 lessons, the opening orientation and both route sections. Figures are rendered from retained vector PDFs. Descriptions and recorded-data tables are reading aids. No mathematical generator, TeX build, proof audit or Lean replay was run for this conversion.

Source hashes and conversion checks