ScalingStacks

Proof. [02CX]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

Let A±A_{\pm} be the connection induced by the Levi-Civita connection of gg on Λg±\Lambda^{\pm}_{g}. The Einstein condition implies A+A_{+} is self-dual and A−A_{-} anti-self-dual with respect to gg. Thus

|R​m​(g)|2​d​v​o​lg=T​r​(FA+∧FA+−FA−∧FA−).|Rm(g)|^{2}dvol_{g}=Tr(F_{A_{+}}\wedge F_{A_{+}}-F_{A_{-}}\wedge F_{A_{-}}).

By the tangent cone condition we can easily find a smooth family of spheres SrS_{r} in B∗B^{*} with the property that as rr tends to zero, (Sr,r−2​g)(S_{r},r^{-2}g) converges smoothly to the round sphere in ℝ4\mathbb{R}^{4}, and the restriction to (Sr,r−2​g)(S_{r},r^{-2}g) of the connection A±A_{\pm} converges to the trivial flat connection. Then for any s<rs<r

∫A⁡(s,r)T​r​FA+∧FA+=C​S​(A+,Sr)−C​S​(A+,Ss)​(m​o​𝑑ℤ),\int_{A(s,r)}TrF_{A_{+}}\wedge F_{A_{+}}=CS(A_{+},S_{r})-CS(A_{+},S_{s})(mod\ \mathbb{Z}),

where C​S​(A,M)=∫M𝑑A∧A+23​A∧A∧ACS(A,M)=\int_{M}dA\wedge A+\frac{2}{3}A\wedge A\wedge A is the Chern-Simons invariant of a connection AA over a three manifold MM, defined modulo ℤ\mathbb{Z}. By assumption, C​S​(A+,Sr)=C​S​(A+,1r​Sr)→0CS(A_{+},S_{r})=CS(A_{+},\frac{1}{r}S_{r})\rightarrow 0 as r→0r\rightarrow 0. So we choose rr small enough so that for any s≤rs\leq r we have |C​S​(A+,Sr)|≤1/8|CS(A_{+},S_{r})|\leq 1/8 modulo ℤ\mathbb{Z}. So ∫A⁡(s,r)T​r​FA+∧FA+\int_{A(s,r)}TrF_{A_{+}}\wedge F_{A_{+}} is in [−1/4,1/4][-1/4,1/4] modulo ℤ\mathbb{Z}, and on the other hand it clearly depends continuously on ss, so the integral is uniformly bounded for all s<rs<r. One can similarly deal with A−A_{-}. Together this implies ∫B∗|R​m​(g)|2​𝑑v​o​lg\int_{B^{*}}|Rm(g)|^{2}dvol_{g} is finite.

∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.