ScalingStacks

Theorem 2.12 [014I]

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

Theorem 2.12

If f:X→Bf:X\rightarrow B is as in Theorem 2.1, B≅S3B\cong S^{3}, and C​r​i​t​(f)=⋃SiCrit(f)=\bigcup S_{i} as in Definition 2.9, then

(1) each SiS_{i} is orientable and the canonical orientation is well-defined.

(2) p1​(X)=−2​C​r​i​t​(f)∈H4​(X,𝐐)p_{1}(X)=-2Crit(f)\in H^{4}(X,{\bf Q}).

(3) If XX has an almost complex structure in which c1​(X)=0c_{1}(X)=0, then c2​(X)=C​r​i​t​(f)c_{2}(X)=Crit(f).

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