Reference pairings, adjoints and parity [fdip-001N]

To compare a field operator's input and output through a bilinear form, a reference pairing represents its adjoint. This is the return operation used later for incidence and weighted energy. The finite field module has a perfect counting pairing over any commutative unital ring. Its represented adjoint is an ordinary linear product-reversing involution; neither positivity nor division by two is required.

A partition of the carrier splits fields by restriction and extension by zero. It also separates operators that preserve the two parts from those that exchange them, giving a parity grading. The four-cycle calculation exhibits an odd invertible shift and a difference with both parity components. This distinguishes parity from the extra requirement of a square-zero differential, before paired differences and elimination of a chosen summand.