Manuscript II@2 · II.tex · section · 50d64def

The remaining global function

Meaning of the certificate › The remaining global function · lines 1700–1716

II@2#eq:H

Define

H (β) = m (β) - \frac{2}{3} n_{ℓ_{a}} (β) - \frac{2}{3} n_{ℓ_{b}} (β) .

Exactly the following is proved:

H ∣_{S} = 0.

A new label with $H (β) \neq = 0$ would refute this particular two-contact identity. It would not refute every member of the affine family in Corollary cor:affine-fits.

Displayed formulas in this passage

II@2#eq:H · line 1703
$H (β) = m (β) - \frac{2}{3} n_{ℓ_{a}} (β) - \frac{2}{3} n_{ℓ_{b}} (β) .$
unlabeled · line 1709
$H ∣_{S} = 0.$

Nearby in this section

figure: The remaining function