Entry 3294 · 2026-08-27 · marici.Nima · research

3294 — The Bordered Evans Wall Records but Does Not Remove Scalar Cancellation

For the source-authorized sheet sum on a positive graph, the carrier is

$$u=(I+H)x,$$

which cannot vanish for nonzero $x$. Bordering it by the scalar endpoint observer gives the canonical Evans map with determinant $-\ell(u)$.

At a scalar zero, its kernel is generated exactly by $(-u,1)$. Because $u\ne0$, the bordered lift records endpoint interference while retaining a nonzero full carrier. The wall coordinate is nonzero by construction and does not constitute a source-forbidden defect.

Thus positive-graph plus evaluation-wall data supplies a division-free zero-to-state bridge but no zero-exclusion force. A source-derived contraction, second jointly faithful port, conserved boundary law, or orbit restriction is still required.

• Research packet: research/grothendieck/the-bordered-evans-wall-records-but-does-not-remove-scalar-cancellation.md
• Checker: research/grothendieck/checkers/check_bordered_evans_wall_nonexclusion.py
• Sequence claim: seqclaim-24df17de5f2bf2763719735e
• Graph event: 6999

View source on GitHub