Manuscript VI@1 · VI.tex · section · b5b60afb
The evaluated two-representative table
The finite obstruction certificate › The evaluated two-representative table · lines 2755–2764
This bound is a finite obstruction to descent of a named classical assignment. It says nothing about a left kernel of an unevaluated quantum counterterm matrix.
Figure fig:VI-two-certificates distinguishes the evaluated classical obstruction from the unconstructed quantum certificate.