Hopf problem: threefold · special periods 10 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.SpecialPeriods.EllipticAttachingMeridians.homotopic_conjugate_map_eq
{X : Type u_1}
[TopologicalSpace X]
{b : X}
{G : Type u_2}
[Group G]
{p q : Path b b}
(K : Path b b)
(h : p.Homotopic (K.trans (q.trans K.symm)))
(φ : FundamentalGroup X b →* G)
(hcomm : ∀ (g h : G), Commute g h)
: