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 un espace -analytique purement de dimension , soit un morphisme fini, soit une composante irréductible de , et soit la réunion des autres composantes. Munissons de sa structure générique de sous-espace analytique fermé de , définie en prenant G-localement l’adhérence schématique de . Le degré intégral de sera appelé plus brièvement le degré intégral de au-dessus de .
Comme le support d’une -forme est constitué uniquement de points tel que , il ne contient aucun point situé sur deux composantes irréductibles distinctes de .
Par conséquent, la formule donnée ci-dessus se généralise comme suit. Soit la famille des composantes irréductibles de ; pour tout , soit le degré intégral de au-dessus de . Si est une -forme mesurable sur à support fortement paracompact dans , on a alors , et la même chose sans les valeurs absolues dans le cas intégrable.
Cela vaut également mutatis mutandis pour les -formes.
Si est irréductible, si est fini de degré intégral et si est une extension complète de alors le degré intégral de sur chacune des composantes irréductibles de est égal à .