ScalingStacks

Lemma 4.8 . [05AN]

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

Lemma 4.8.

Let W2W_{2} be a paracompact strictly KK-analytic space of dimension nn and W1⊆W2W_{1}\subseteq W_{2} a paracompact strictly KK-analytic subdomain of W2W_{2}. Then for formally metrized line bundles L¯1,…,L¯n\overline{L}_{1},...,\overline{L}_{n} on W2W_{2}, we have c1​(L¯1)∧…∧c1​(L¯n)=c1​(L¯1|W1)∧…∧c1​(L¯n|W1)c_{1}(\overline{L}_{1})\wedge...\wedge c_{1}(\overline{L}_{n})=c_{1}\left(\overline{L}_{1}\Big|_{W_{1}}\right)\wedge...\wedge c_{1}\left(\overline{L}_{n}\Big|_{W_{1}}\right) in the topological interior W1∘\overset{\circ}{W_{1}} of W1W_{1} in W2W_{2}.

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