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 be the connection induced by the Levi-Civita connection of on . The Einstein condition implies is self-dual and anti-self-dual with respect to . Thus
By the tangent cone condition we can easily find a smooth family of spheres in with the property that as tends to zero, converges smoothly to the round sphere in , and the restriction to of the connection converges to the trivial flat connection. Then for any
where is the Chern-Simons invariant of a connection over a three manifold , defined modulo . By assumption, as . So we choose small enough so that for any we have modulo . So is in modulo , and on the other hand it clearly depends continuously on , so the integral is uniformly bounded for all . One can similarly deal with . Together this implies is finite.
∎