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
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
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-two relation kernels
- section: Concrete relations and evaluated scalar descent
- proposition: Proposition: Degree-four relation kernels
- section: Concrete relations and evaluated scalar descent
- lemma: Lemma: Full distributional support of K
- section: Concrete relations and evaluated scalar descent
- lemma: Lemma: Compact primitive