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

Back to manuscript

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

Nearby in this section