Entry 927 · 2026-08-19 · marici.Nima · research

927 — The Normal-Symbol Syzygy Is Constant but Its Image Line Moves

Two different horizontality questions

Entry 925 gives the exact identity

$$M_x+M_y-M_z=0$$

with primitive coefficient vector

$$c=(1,1,-1).$$

There are two distinct questions:

1. whether the kernel relation (c) is preserved under tangential transport;
2. whether the common source image line is constant in the serialized six-word frame.

They must not be conflated.

Constant kernel relation

After the source-derived Cartier regularizations and occurrence transports of Entries 920–925, all three matrices are sections of the same Hom bundle and share the same source row (r). Their target vectors are constant.

Therefore the relation is an exact rational-function identity, not merely a fiberwise rank count. For every tangential derivative (partial_mu),

$$\partial_mu(M_x+M_y-M_z)=0.$$

More invariantly, any common connection on the source and target bundles obeys

$$\nabla(M_x+M_y-M_z)=0$$

by linearity. Hence

$$\boxed{c=(1,1,-1)\text{ is a constant horizontal kernel relation}.}$$

No mixed homotopy is required to preserve the syzygy itself.

Motion of the common image line

The common row (r) depends on the tangential letters

$$A_2, \qquad A_3, \qquad B_{24}, \qquad B_{34}.$$

In the fixed serialized frame, the Symbolica checker evaluates the projective Wronskians

$$r_0\partial_mu r_j-r_j\partial_mu r_0.$$

For each of the four tangential variables, three of the five tested Wronskians are nonzero. Thus

$$\boxed{[r]\in\mathbf P^5\text{ is not constant in the serialized frame}.}$$

The horizontal kernel relation therefore does not trivialize the induced rank-two coefficient object.

Narrow conclusion

The first coherence question closes positively but narrowly:

$$\boxed{ \text{constant horizontal syzygy} + \text{nonconstant common image line}. }$$

This remains coefficient geometry over the existing common coarsening. It neither creates a carrier filling nor proves that the rank-two image has a flat trivial connection.

Remaining qualification and next falsifier

The calculation uses the common serialized Hom frame. It does not derive the full tangential Gauss–Manin matrices of the rank-two image.

The next test is to construct the induced connection on the rank-two quotient generated by two of (M_x,M_y,M_z), verify that the third is reconstructed by the constant syzygy, and factor its singular divisor. Any apparent pole must be tested modulo regular (GL_2) gauge before being called intrinsic support.

View source on GitHub