Hopf problem: foundations · core 5

Supporting definitions and proofs for this stage of the six-sphere construction.

def Mathoverflow1973.twistOrder (ℓ₀ ℓ₁ ℓ₂ : ℤ) : ℤ

The linear combination of local twisting numbers used by the gluing construction.

Equations

• Mathoverflow1973.twistOrder ℓ₀ ℓ₁ ℓ₂ = 12 * ℓ₀ - 4 * ℓ₁ - 3 * ℓ₂

theorem Mathoverflow1973.main_twist_value : twistOrder 0 1 (-1) = -1