ScalingStacks

1.2.5 [01LM]

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.5

On note J\mathrm{J} l’involution de l’algèbre 𝒜V∗,∗​(U)\mathscr{A}_{V}^{*,*}(U) qui induit l’isomorphisme identique de 𝒜V1,0​(U)=𝒜V​(U)⊗𝐑V∗\mathscr{A}_{V}^{1,0}(U)=\mathscr{A}_{V}(U)\otimes_{\mathbf{R}}V^{*} sur 𝒜V0,1​(U)=𝒜V​(U)⊗𝐑V∗\mathscr{A}_{V}^{0,1}(U)=\mathscr{A}_{V}(U)\otimes_{\mathbf{R}}V^{*}. Elle induit une involution, encore notée JJ, du 𝒜V​(U)\mathscr{A}_{V}(U)-module gradué ℱV∗,∗​(U)\mathscr{F}_{V}^{*,*}(U), qui est un automorphisme de ℱV​(U)\mathscr{F}_{V}(U)-algèbre lorsque ℱ\mathscr{F} est stable par multiplication.

En coordonnées, on a

J​ω=∑I,JωI,J​(x)​d′′⁡xI∧d′⁡xJ=(−1)p​q​∑I,JωI,J​(x)​d′⁡xJ∧d′′⁡xI.\mathrm{J}\omega=\sum_{I,J}\omega_{I,J}(x)\,\mathop{\mathrm{d}^{\prime\prime}}x_{I}\wedge\mathop{\mathrm{d^{\prime}}}x_{J}=(-1)^{pq}\sum_{I,J}\omega_{I,J}(x)\,\mathop{\mathrm{d^{\prime}}}x_{J}\wedge\mathop{\mathrm{d}^{\prime\prime}}x_{I}.

Lorsque p=qp=q, on dit qu’une forme ω\omega de type (p,p)(p,p) est symétrique si elle vérifie J​ω=(−1)p​ω\mathrm{J}\omega=(-1)^{p}\omega ; cela revient donc à exiger que ωI,J=ωJ,I\omega_{I,J}=\omega_{J,I} pour tout couple (I,J)(I,J).

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