Paper I visual guide · Visual 11 of 22 · CONJUGACY / STRUCTURE VERSUS RAW SPARSITY

Move the packets with the coordinates

Main text: Theorem 10.1, Corollary 4.5, and Theorem 10.4

Start reading

Resources & source

Original plate in the monograph PDF · Original atlas source

Skip contents and start reading

Start with \(T={\operatorname{diag}}(1,2)\) and the two coordinate projections. Apply the invertible shear \(U\). The transformed operator is \(T^U=UTU^{-1}\), and the transformed projectors are \(Q_i=UP_iU^{-1}\).

An operator transported with its packet projectors
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

The upper row shows T, the shear U and the conjugated operator. The lower row shows both transported projectors. The changed matrix entries are read relative to the changed packet coordinates.

Drawing labels and data 25 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

\(T\)
RowColumn 1Column 2
Row 1\(1\)\(0\)
Row 2\(0\)\(2\)
\(U\)
RowColumn 1Column 2
Row 1\(1\)\(1\)
Row 2\(0\)\(1\)
\(UTU^{-1}\)
RowColumn 1Column 2
Row 1\(1\)\(1\)
Row 2\(0\)\(2\)
\(Q_1=UP_1U^{-1}\)
RowColumn 1Column 2
Row 1\(1\)\(-1\)
Row 2\(0\)\(0\)
\(Q_2=UP_2U^{-1}\)
RowColumn 1Column 2
Row 1\(0\)\(1\)
Row 2\(0\)\(1\)

Open the full-size drawing

Evidence note from the source edition

The transformed operator has a nonzero entry away from the diagonal in the standard basis. Relative to its transported, oblique packets, however, both blocks between distinct packets remain zero.

Indeed,

\[ Q_1T^UQ_2=Q_2T^UQ_1=0, \qquad Q_iT^UQ_j=U(P_iTP_j)U^{-1}. \]

A change in raw matrix sparsity is therefore not necessarily a change in the packet transfer graph. Conjugacy preserves the exact block identities and their zero pattern. A nonunitary shear need not preserve their Euclidean norms.

When the map is not invertible

For an intertwiner \(\Phi A=\varphi(A)\Phi\), the hull identity uses the image algebra:

\[ \Phi\bigl({\operatorname{Hull}}_{\AA}(S)\bigr)={\operatorname{Hull}}_{\varphi(\AA)}(\Phi S). \]

Replacing \(\varphi(\AA)\) with a larger target algebra can enlarge the target hull. Seed rank need not be equal relative to that larger algebra. A surjective intertwiner gives the appropriate monotonicity inequality, not automatic equality.

Read this as

Transport the space, operators and packet maps together. The invariant is the collection of commuting algebraic relationships, rather than the appearance of the matrix.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the retained monograph PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

Conversion checks and source hashes

Notation in Paper I

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index