Manuscript VI@1 · VI.tex · section · b5b60afb

The evaluated two-representative table

The finite obstruction certificate › The evaluated two-representative table · lines 2720–2740

Set

a_{f} = \int f \partial_{1} ϕ_{0} d^{4} x \geq \frac{1}{2} .

For the same $f, g, ϕ_{0}$ , the two rows are

Metric input	$g h$	$\int f ϕ_{1, g}$	$\int f X_{w [h]} ϕ_{0}$	$A_{f, g}^{(1)}$
$0$	$0$	$0$	$0$	$0$
$K ξ$	$0$	$0$	$a_{f}$	$- a_{f}$

The free-input metric quotient identifies the rows, while the candidate functional does not.

Displayed formulas in this passage

unlabeled · line 2723
$a_{f} = \int f \partial_{1} ϕ_{0} d^{4} x \geq \frac{1}{2} .$