Manuscript IX-C@1 · IX-C.tex · proposition · 03ce8e6b
Proposition: Signs, multiplicities, and degrees
The six placements and the nonconstant outputs › The two-edge expressions · lines 749–781 · proof included or linked
IX-C@1#prop:placementcount
At positive cutoff, (eq:g1223)–(eq:g1323), with the correspondingly regulated kernels and residual fields, are the three two-edge placements. Each has sign from the two insertion signs and assignment multiplicity . Their residual field degree is two. The fully contracted placement has coefficient
Proof. The allowed nonzero edges are the sharp–middle metric edge , the scalar edge , and the middle–sharp metric edge . Each choice of two leaves exactly two field slots.
For , both middle slots are used, leaving the two scalar slots. There are two assignments of the middle slots. For , either middle slot can be used on edge ; the remaining middle slot and third-vertex metric slot survive. The case is the exchanged case. Both sharp insertions contribute one minus sign, so all three coefficients have positive sign.
The inherited tensor cancellation selects the zero vector
component on every sharp–middle metric edge. This gives
and in the latter two placements.
Full contraction uses both metric edges and the scalar edge,
giving the inherited triangle and multiplicity
IXB (prop:unique, eq:T).
Displayed formulas in this passage
unlabeled · line 757