Paper XI visual guide · Visual 23 of 47 · PART II / FINITE WILD COMPARISON

Orthogonal breaks become tensor factors

Resources & source

Original source locator: Original Section 15

This lesson in the original PDF

Skip contents and start reading

An orthogonal sum becomes a tensor factorization
Original figure from the retained vector PDF.

Reading the figure

Three break spaces and their representations appear above an orthogonal decomposition and its tensor-product representation. The source gives the hypotheses for that factorization.

Mathematical labels

\(V=V_{s_1}\perp V_{s_2}\perp V_{s_3}\)

\(\omega_V\simeq\omega_{s_1}\otimes\omega_{s_2}\otimes\omega_{s_3}\)

Selectable labels from the original PDF

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

Vs1
ωs1
Vs2
ωs2
Vs3
ωs3
V = Vs1 ⟂ Vs2 ⟂ Vs3
ωV ≃ ωs1 ⊗ ωs2 ⊗ ωs3

Original vector figure PDF · Full-size image

Original figure caption

Symplectic direct sum and Heisenberg tensor product are compatible.

For \(V=\perp_sV_s\) and compatible central characters,

\[ \omega_V\simeq\bigotimes_s\omega_{V_s},\qquad \prod_s\sqrt{|V_s|}=\sqrt{|V|}. \]

The groups combine by a central product. Tensoring the individual intertwiners gives the full finite bridge, once the stabilizer actions and phases agree. Transport-graph compatibility is then the matrix holonomy condition.

Scope

Separate actual type quotients at each break do not, merely by tensoring, become one actual maximal simple type in the source atom's rank. Constructing a common arithmetic carrier and recovering a candidate are the extra realization requirements.

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