Manuscript XV-F@3 · XV-F-v3.tex · lemma · d4e74afa
Lemma: The fiber map is minus the trace reversal
Source manifest (Gate F0) › Verification of the reproduced displays · lines 1104–1116 · proof included or linked
XV-F@3#lem:fiber
For symmetric , with as in (eq:a1), , where is XII-B's trace reversal. is symmetric in and in , and .
Proof. . The symmetries are read off from (eq:a1).
Nearby in this section
- section: Verification of the reproduced displays
- lemma: Lemma: The kernel R
- lemma: Lemma: The display for R*R
- lemma: Lemma: Taylor reduction of coefficients at a delta derivative
- lemma: Lemma: The reconstruction rule and its coefficient class
- lemma: Lemma: The adapted chart
- proposition: Proposition: The K 5 placements and K 6 have the form of the reconstruction rule
- remark: Remark