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

The Conductor Difference Complex Is the Universal Mixed-Variance Kernel

Entry 432 proved that the left leg cannot be an ordinary ringed-space map. The replacement is the standard normalization–conductor recollement complex

$$\mathcal K_{\rm cond}= \left[ A_+\oplus A_- \xrightarrow{\epsilon_+-\epsilon_-} C \right],$$

placed in consecutive degrees. It is an (A_{ m node})-module complex via

$$A_{\rm node}=A_+\times_C A_-.$$

This is the required mixed-variance bimodule: its two sheet terms are covariant along normalization, while its conductor differential uses the contravariant restriction maps $A_\pm\to C$.

The universal truncated node audit makes its integral properties explicit. For degree-$n$ truncations of $A_+=\mathbb Z[x]$ and $A_-=\mathbb Z[y]$, the difference row has entries $(1,-1)$ on the two constant terms. It is primitive and surjective, so

$$H^0(\mathcal K_{\rm cond})=A_+\times_C A_-, \qquad H^1(\mathcal K_{\rm cond})=0,$$

with rank $2n+1$ and no torsion.

Reflection exchanges the two sheet summands and negates the conductor difference. Thus the conductor term carries the odd orientation line. Pulling the kernel across the unique V-labeling of Entry 430 gives the endpoint matrix

$$\begin{pmatrix}0&1\\1&0\end{pmatrix},$$

of determinant $-1$, exactly the independently forced comparison of Entry 400.

The exceptional relative interval has complex

$$\mathbb Z^2\xrightarrow{(-1,-1)}\mathbb Z$$

and primitive kernel generated by $(-1,1)$. Tensoring $\mathcal K_{\rm cond}$ with its absolute unit and this relative line gives one copy of the node kernel in the unshifted grade and one in the shifted grade. These are precisely the retained Tor-zero and Tor-one packets, both torsion-free.

Forgetting endpoint framing restores the absolute V-tree boundary

$$\begin{pmatrix}-1&-1\\1&0\\0&1\end{pmatrix}.$$

It is injective, and the relative class maps to the nonzero endpoint boundary $(0,-1,1)$; hence it ceases to be a cycle. This is the required ordinary- forgetting contraction, obtained geometrically rather than imposed.

Therefore the universal mixed-variance kernel is constructed and has every frozen endpoint, parity, Tor, and ablation signature. The remaining gate is instantiation: replace the universal node rings by the actual occurrence and multi-Rees localized normalization/conductor stalks, then verify the difference maps commute with all 522 PC face localizations and the three-chart Čech descent.

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

View source on GitHub