Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1

Structure dictionary

Second-readout tables and mutation sensitivity › Structure dictionary · lines 836–865

Use

x = a_{1} \cdot a_{1}, y = a_{2} \cdot a_{2}, z = a_{1} \cdot a_{2}, u = a_{1} \cdot p, v = a_{2} \cdot p, Q = p \cdot p, x_{t} = a_{1} \cdot a_{1}, y_{t} = a_{2} \cdot a_{2}, z_{t} = a_{1} \cdot a_{2} .

For $E_{i} = a_{i} \otimes a_{i}$ , the structures are

\begin{array}{c|l@{\qquad}c|l}
1&xyQ^2&8&u^2v^2\\
2&xv^2Q&9&u^2y_tQ\\
3&xy_tQ^2&10&uvz_tQ\\
4&z^2Q^2&11&yx_tQ^2\\
5&zuvQ&12&v^2x_tQ\\
6&zz_tQ^2&13&x_ty_tQ^2\\
7&u^2yQ&14&z_t^2Q^2
\end{array}

and are denoted $B_{1}, \dots, B_{14}$ . Hats and tildes are scheme contractions, not host geometries.

Displayed formulas in this passage

unlabeled · line 839
$x = a_{1} \cdot a_{1}, y = a_{2} \cdot a_{2}, z = a_{1} \cdot a_{2}, u = a_{1} \cdot p, v = a_{2} \cdot p, Q = p \cdot p, x_{t} = a_{1} \cdot a_{1}, y_{t} = a_{2} \cdot a_{2}, z_{t} = a_{1} \cdot a_{2} .$

unlabeled · line 852

\begin{array}{c|l@{\qquad}c|l}
1&xyQ^2&8&u^2v^2\\
2&xv^2Q&9&u^2y_tQ\\
3&xy_tQ^2&10&uvz_tQ\\
4&z^2Q^2&11&yx_tQ^2\\
5&zuvQ&12&v^2x_tQ\\
6&zz_tQ^2&13&x_ty_tQ^2\\
7&u^2yQ&14&z_t^2Q^2
\end{array}