ScalingStacks

1.2.6 [01LN]

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

1.2.6

La somme directe 𝒜V∗,∗​(U)=⨁𝒜Vp,q​(U)\mathscr{A}_{V}^{*,*}(U)=\bigoplus\mathscr{A}_{V}^{p,q}(U) est naturellement munie d’une structure d’algèbre graduée sur l’anneau 𝒜V​(U)\mathscr{A}_{V}(U) obéissant à la règle de commutativité suivante : si ω\omega est de type (p,q)(p,q) et ω′\omega^{\prime} de type (p′,q′)(p^{\prime},q^{\prime}), alors

ω′∧ω=(−1)p​p′+q​q′​ω∧ω′.\omega^{\prime}\wedge\omega=(-1)^{pp^{\prime}+qq^{\prime}}\omega\wedge\omega^{\prime}.

Ainsi, la forme d′⁡xI⊗d′′⁡xJ\mathop{\mathrm{d^{\prime}}}x_{I}\otimes\mathop{\mathrm{d}^{\prime\prime}}x_{J} sera plutôt notée d′⁡xI∧d′′⁡xJ\mathop{\mathrm{d^{\prime}}}x_{I}\wedge\mathop{\mathrm{d}^{\prime\prime}}x_{J}.

Cette structure d’algèbre induit une structure de 𝒜V​(U)\mathscr{A}_{V}(U)-module gradué sur ℱV∗,∗​(U)\mathscr{F}_{V}^{*,*}(U) ; lorsque la classe ℱ\mathscr{F} est stable par multiplication, elle induit aussi une structure de ℱV​(U)\mathscr{F}_{V}(U)-algèbre graduée.

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