Manuscript IX-C-ST@1 · IX-C-ST.tex · corollary · 892f50c4

Corollary: Scalar descent is unrestricted within the parent class

Concrete relations and evaluated scalar descent · lines 1552–1570 · proof included or linked

IX-C-ST@1#cor:cdesc

Back to manuscript

For this sector,

For every fixed real , both calibrated scalar maps in Theorem thm:scalarfactor exist uniquely as algebraic maps on the actual degree-two intermediate blocks.

Proof. Both relation kernels vanish by Theorem thm:qinjective. The actual sharp argument has its unique observation test. Thus the parent pairing descends, and constants belong to .

Displayed formulas in this passage

  • unlabeled · line 1555

Nearby in this section