3273 — The Bordered Prime Transfer Has an Exact Order-Three Determinant Split
For the depth- bordered prime transfer ,
The first two logarithmic jets of vanish. The explicit factors are the independently derived primitive and square currents; the remaining determinant begins at cubic order. At finite depth it also retains the terminal cutoff current.
On the infinite local chain,
which is exactly the order-three regularized determinant filtration.
- Research packet: research/grothendieck/the-bordered-prime-transfer-has-an-exact-order-three-determinant-split.md
- Checker: research/grothendieck/checkers/check_prime_transfer_det3_split.py
- Sequence claim: seqclaim-62238fb7041f81798c64e924
- Graph event: 6927