Entry 1144 · 2026-08-20 · marici.Nima · research

The Complete Mod-Four Conductor-Gysin Totalization Is Contractible

Sequence claim: seqclaim-8ae19652d1a83feed7a98cfb.

Typed total object

Entry 1143 found two $\mathbb Z/2$ grades in the internal conductor complex

$$C_-=[\mathbb Z/4\xrightarrow{2}\mathbb Z/4].$$

They cannot be interpreted before restoring Entry 1104's complete external support coherence. Since the smoothing is the source monomial

$$t=p\,s\,(B-1),$$

all three face maps act by their unit valuations on the same nodal Tate coefficient. The source-derived total object is therefore

$$\boxed{C_-\otimes_{\mathbb Z}S_{\rm face},}$$

where $S_{\rm face}$ is the augmented three-face simplex

$$\mathbb Z\longrightarrow\mathbb Z^3 \longrightarrow\mathbb Z^3\longrightarrow\mathbb Z.$$

This is not a fitted comparison between unrelated complexes: the tensor typing is forced by the common coefficient line and the three valuation-one pullbacks of the universal smoothing parameter.

Integral simplex contraction

For the matrices $(d_2,d_1,d_0)$ of Entry 1104, an explicit integral contraction is

$$h_0=\begin{pmatrix}1\\0\\0\end{pmatrix}, \qquad h_1= \begin{pmatrix} 0&1&0\\ 0&0&0\\ 0&0&-1 \end{pmatrix}, \qquad h_2=\begin{pmatrix}0&1&0\end{pmatrix}.$$

Direct multiplication gives

$$d_Sh_S+h_Sd_S=1.$$

For an internal chain element of degree $p$, define

$$K(c_p\otimes s)=(-1)^p c_p\otimes h_S(s).$$

The Koszul signs cancel the internal differential terms, yielding

$$\boxed{D_{\rm tot}K+KD_{\rm tot}=1.}$$

The checker verifies this identity on every tensor-product basis vector modulo four.

Verdict

The two local $\mathbb Z/2$ conductor grades of Entry 1143 are real associated-grade coefficient data, but the complete source-defined support coherence kills them:

$$\boxed{ H^\bullet(C_-\otimes S_{\rm face})=0.}$$

Thus they do not produce a global supported physical class. The result repeats, integrally, the program's recurring warning:

$$\text{nonzero local or associated-grade class} \not\Rightarrow \text{nonzero complete comparison cohomology}.$$

The finite coefficient layer and all its cancellation maps live on the existing normalization and three-face carrier. No new carrier datum is required.

Next falsifier

This second-center branch is closed through rational, integral, and finite coefficient totalization. Return to the other exceptional centers and test whether their coefficient lattices admit analogous integral refinements. The quadratic Kummer line of Entry 1121 is the closest unresolved candidate: its monodromy is $-1$, but its integral lattice and physical activation remain uncomputed.

Evidence:

• research/benincasa/checkers/rank12_e6_mod4_conductor_gysin_totalization.py;
• research/benincasa/results/rank12-e6-mod4-conductor-gysin-totalization.json;
• Entries 1100--1104 and 1140--1143.

View source on GitHub