Zero-free coordinate lifts of the two Fox--Neuwirth reference maps

This module contains the reference endpoint maps independently of any raw or stable obstruction count. Keeping these definitions in a neutral module separates the stable obstruction API from the raw-count homotopy interface.

noncomputable def NRR.FoxNeuwirthOrderComplex.EquivariantPLPositiveRay.affineZeroFreeMap {p : ℕ} (hp : Nat.Prime p) (F : CoordinateAffineVertexMap p) (heq : ∀ (g : ↥(PrimeSymmetry p)) (x : Realization p), F.globalValue (g • x) = g • F.globalValue x) (hzero : ∀ (x : Realization p), F.globalValue x ≠ 0) : EquivariantCoordinateHomotopy.ZeroFreeMap hp

Continuous coordinate map associated with an original affine vertex map.

Equations

• One or more equations did not get rendered due to their size.

noncomputable def NRR.FoxNeuwirthOrderComplex.EquivariantPLPositiveRay.positiveReferenceZeroFreeMap {p : ℕ} (hp : Nat.Prime p) : EquivariantCoordinateHomotopy.ZeroFreeMap hp

The globally positive equivariant S5 reference lift is zero-free.

Equations

• One or more equations did not get rendered due to their size.

noncomputable def NRR.FoxNeuwirthOrderComplex.EquivariantPLPositiveRay.negativeReferenceZeroFreeMap {p : ℕ} (hp : Nat.Prime p) : EquivariantCoordinateHomotopy.ZeroFreeMap hp

The globally negative equivariant S5 reference lift is zero-free.

Equations

• One or more equations did not get rendered due to their size.