Manuscript Oai280-A@1 · Oai280-A.tex · section · 27038823

A locally proved descent test

The separate six-step characteristic-map chain › A locally proved descent test · lines 1882–1903

For instance,

q δ^{'} (q) + δ (q) = 0.

Rec (M_{R}) = δ (q) \otimes R, Rec (i θ M_{R}) = δ^{'} (q) \otimes R,

then

Rec ((q i θ + 1) M_{R}) = 0.

Representative-dependent polynomial degree therefore does not automatically descend to an intrinsic reconstructed symbol.

These are the elementary interfaces in the supplied XIV-J and XV-B texts CheungXIVJ,CheungXVB. They construct no characteristic cross-line product.

Displayed formulas in this passage

unlabeled · line 1885
$q δ^{'} (q) + δ (q) = 0.$
unlabeled · line 1889
$Rec (M_{R}) = δ (q) \otimes R, Rec (i θ M_{R}) = δ^{'} (q) \otimes R,$
unlabeled · line 1894
$Rec ((q i θ + 1) M_{R}) = 0.$