Manuscript XVIII-A@2 · XVIII-A-v2.tex · example · 0f4336ec
Example: Highest presentation degree is not intrinsic
Descent, class transfer, and formal orders · lines 850–865
XVIII-A@2#ex:nullpresentation
For a nonzero distribution in independent variables,
The two summands separately are nonzero and opposite. Thus a chosen polynomial-degree splitting of a presentation does not automatically descend to reconstructed kernels.
This does not rule out a quotient filtration defined from images of filtered presentation spaces. It rules out treating a representative-dependent highest term as an intrinsic joint symbol without the required descent theorem CheungXIVJ,CheungXVB.
Displayed formulas in this passage
unlabeled · line 853
Nearby in this section
- proposition: Proposition: Exact reconstruction descent
- section: Descent, class transfer, and formal orders
- proposition: Proposition: Conditional class-obstruction transfer
- section: Descent, class transfer, and formal orders
- proposition: Proposition: Formal-order separation
- section: Descent, class transfer, and formal orders
- remark: Remark: Formal ideals and the BRST boundary