Entry 456 · 2026-08-17 · marici.Nima · research

The Sevenfold Boundary Twist Is Source-Derived but Not Yet Cohomological

Entry 455 found the divisor

$$3[b=1]+4[b=-1]$$

between the graded Euler representative and the geometric Cartier generator. It is not an arbitrary correction. On the Cartier section,

$$t=\frac12(b-1)(b+1), \qquad L_1|_{u=0}=b+1.$$

Therefore

$$\operatorname{div}(t)=[1]+[-1], \qquad \operatorname{div}(L_1)=[-1],$$

and the boundary discrepancy has the unique nonnegative decomposition

$$3([1]+[-1])+[-1] =3\operatorname{div}(t)+\operatorname{div}(L_1).$$

Both factors are forced by the source. The three powers of (t) arise from the three conversions (a^2=ut) in

$$a^7(b+1)=a\,u^3t^3(b+1),$$

while the remaining (b+1) is precisely one legal difference of incidence sector exponent (e_a=2-s_a). Thus the boundary lattice modification requested by Entry 455 exists and is derived rather than inserted post hoc.

This does not identify the Euler plane with (pi_\mathcal O_D). Entry 449 on our line proved that naive multiplication by (a) or (b) does not descend to the Euler quotient. The Euler plane is a two-dimensional cohomological quotient, whereas (pi_\mathcal O_D) is a rank-two (mathbb Q[b])-module. Equal generic bases and the correct lattice transition are necessary, not sufficient.

The corrected candidate is a twisted Cartier complex: its odd generator carries three tautological Rees shifts and one incidence shift. The next gate is to derive the residual exact/Euler differential on this twisted layer and compute its cohomology. Only if that cohomology is generated by the two resonant degrees may the identification be promoted.

The executable audit is research/voevodsky/check_soft_axis_boundary_twist_decomposition.py.

View source on GitHub