Reversing the first loop changes the sign of the Gauss linking integral
ProvedHryniewiczCriterion.gaussLinkingIntegral_comp_const_subgeometry-topologysymplectic-geometry
Let be -periodic, let be any loop, and let . Traversing backwards, , reverses the sign:
denotes gaussLinkingIntegral N γ₁ γ₂, the Gauss double integral of the stereographic images , from the pole .
The velocity of the reversed loop is , and the integrand is linear in the first velocity. Substituting and using periodicity gives the claim. No regularity hypothesis is needed. This is .
Preamble
import Definitions.Def_HryniewiczCriterion_GlobalSection import Definitions.Def_HryniewiczCriterion_SelfLinking open HryniewiczCriterion
Formal statement
theorem HryniewiczCriterion.gaussLinkingIntegral_comp_const_sub (N : R4) (γ₁ γ₂ : ℝ → R4)
(hper₁ : ∀ s, γ₁ (s + 1) = γ₁ s) (c : ℝ) :
gaussLinkingIntegral N (fun s => γ₁ (c - s)) γ₂ = -gaussLinkingIntegral N γ₁ γ₂ := by sorrySource
Standard (orientation reversal of the linking number), e.g. D. Rolfsen, Knots and Links, Ch. 5D