ScalingStacks

6.1.7 [01V0]

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

6.1.7

Soit (𝖫1,…,𝖫n)(\mathsf{L}_{1},\dots,\mathsf{L}_{n}) une famille de faisceaux localement libres de rang un sur l’espace 𝐏F/K\mathbf{P}_{F/K}. Supposons que FF soit de degré de transcendance nn sur KK. Soit VV un prémodèle de FF sur KK ; pour tout ii, soit MiM_{i} un fibré en droites sur VV tel que (V,Mi)(V,M_{i}) soit un prémodèle de 𝖫i\mathsf{L}_{i}. D’après la formule de projection, le nombre d’intersection

(c1​(M1)​…​c1​(Mn)∩[V])(c_{1}(M_{1})\dots c_{1}(M_{n})\cap[V])

multiplié par le degré [F:K(V)][F:K(V)] ne dépend pas du choix de VV et des MiM_{i}. On le notera

∫𝐏F/Kc1​(𝖫1)​…​c1​(𝖫n).\int_{\mathbf{P}_{F/K}}c_{1}(\mathsf{L}_{1})\dots c_{1}(\mathsf{L}_{n}).

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