ScalingStacks

4.5.11 [01SK]

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

4.5.11

Cette notion de degré intégral s’étend comme suit au cas des espaces analytiques non nécessairement irréductibles. Soit XX un espace kk-analytique purement de dimension nn, soit Y→XY\to X un morphisme fini, soit TT une composante irréductible de XX, et soit ZZ la réunion des autres composantes. Munissons TT de sa structure générique de sous-espace analytique fermé de XX, définie en prenant G-localement l’adhérence schématique de T−ZT-Z. Le degré intégral de Y×XTY\times_{X}T sera appelé plus brièvement le degré intégral de YY au-dessus de TT.

Comme le support d’une (n,n)(n,n)-forme est constitué uniquement de points xx tel que dk​(x)=nd_{k}(x)=n, il ne contient aucun point situé sur deux composantes irréductibles distinctes de XX.

Par conséquent, la formule donnée ci-dessus se généralise comme suit. Soit (Xi)(X_{i}) la famille des composantes irréductibles de XX  ; pour tout ii, soit did_{i} le degré intégral de YY au-dessus de YiY_{i}. Si ω\omega est une (n,n)(n,n)-forme mesurable sur XX à support fortement paracompact dans XX, on a alors ∫Y|f∗​(ω)|=∑idi​∫Xi|ω|\int_{Y}\mathopen{|}{f^{*}(\omega)}\mathclose{|}=\sum_{i}d_{i}\int_{X_{i}}\mathopen{|}{\omega}\mathclose{|}, et la même chose sans les valeurs absolues dans le cas intégrable.

Cela vaut également mutatis mutandis pour les (n−1,n)(n-1,n)-formes.

Si XX est irréductible, si Y→XY\to X est fini de degré intégral dd et si LL est une extension complète de kk alors le degré intégral de YLY_{L} sur chacune des composantes irréductibles de XLX_{L} est égal à dd.

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