ScalingStacks

0NAR

Lemma 4.3. The parallel transport isomorphisms KhRN​(ϕt)\mathrm{KhR}_{N}(\phi_{t}) define a flat connection on T⁡(B,L)T(B,L).

0NAS

Proof. Lemma 4.1 (1) implies that we have such parallel transport maps KhRN​(ϕt)\mathrm{KhR}_{N}(\phi_{t}) between the fibers over any pair of points ϕ0\phi_{0} and ϕ1\phi_{1} in the base. Note that π1​(M⁡(B),ϕ0)≅π1​(S​O​(3))≅ℤ/2​ℤ\pi_{1}(M(B),\phi_{0})\cong\pi_{1}(SO(3))\cong{\mathbb{Z}}/2{\mathbb{Z}} is generated by the class of the loop obtained from ϕ0\phi_{0} by rotating through 360360 degrees around the zz-axis, to which KhRN\mathrm{KhR}_{N} assigns the identity map, see also Section 6.4. Lemma 4.1 (2) and Theorem 2.4 thus imply that the parallel transport maps between the fibers do not depend on the choice of the path ϕt\phi_{t}. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Scott Morrison, Kevin Walker, Paul Wedrich

Original source: arXiv:1907.12194v5