Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b

The calibrated scalar relation tests

Actual-functional descent of the second stage › The calibrated scalar relation tests · lines 909–924

In particular,

i \sum α_{i} Q_{f_{i}, g_{i}} = 0

requires

i \sum α_{i} N_{c} (f_{i}, g_{i}, f^{'}) = 0 for every f^{'} .

Theorem thm:scalarfactor is an exact equivalence for algebraic scalar descent. It does not verify the conditions for the actual kernels $q_{L}, q_{R}$ , nor does it construct the nonconstant maps.

Displayed formulas in this passage

unlabeled · line 912
$i \sum α_{i} Q_{f_{i}, g_{i}} = 0$
unlabeled · line 916
$i \sum α_{i} N_{c} (f_{i}, g_{i}, f^{'}) = 0 for every f^{'} .$

Nearby in this section

section: The calibrated scalar relation tests
theorem: Theorem: Exact scalar factorization tests