Paper XI visual guide · Visual 7 of 47 · PART I / FINITE TAME COORDINATES

Tensor refinement is a diagonal orbit problem

Resources & source

Original source locator: Original Theorem 5.1

This lesson in the original PDF

Skip contents and start reading

Two diagonal orbits on a four by six grid
Original figure from the retained vector PDF.

Reading the figure

Rows are coordinates modulo four and columns coordinates modulo six. Each cell is labelled zero or one. Simultaneous translation preserves that label and partitions the grid into two orbits of twelve cells.

Recorded diagonal orbit labels
Coordinate mod 4Column 0Column 1Column 2Column 3Column 4Column 5
0010101
1101010
2010101
3101010
Selectable labels from the original PDF

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

0
1
2
3
4
5
Z/6Z
0123
Z/4Z
0
1
0
1
0
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
1
0
1
0

Original vector figure PDF · Full-size image

Original figure caption

The \(4\times6\) grid separates into two diagonal translation orbits, labelled 0 and 1.

The simultaneous translation action on \(\mathbb Z/n\mathbb Z\times\mathbb Z/m\mathbb Z\) has

\[ d=\gcd(n,m)\quad\text{orbits, each of length}\quad L=\operatorname{lcm}(n,m). \]

Mackey decomposition then gives

\[ {\operatorname{Ind}}_{W_{K_n}}^{W_K}\xi\otimes{\operatorname{Ind}}_{W_{K_m}}^{W_K}\eta \simeq\bigoplus_{i=0}^{d-1} {\operatorname{Ind}}_{W_{K_L}}^{W_K}\bigl(\xi_{L,n}\eta_{L,m}^{\Phi^i}\bigr). \]

Here the subscripts denote norm lifts and the Frobenius superscript follows the fixed source convention. The dimension identity is exact: \(dL=nm\).

Scope

These are interaction packets before combining isomorphic summands. A refined induced summand need not remain irreducible.

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