ScalingStacks

4.4.2 [01S3]

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

Supposons maintenant que XX soit purement de dimension nn. On définit l’opérateur de symétrie J\mathrm{J} sur les courants par la formule :

⟨J​S,ω⟩=(−1)n​⟨S,J​ω⟩.\langle\mathrm{J}S,\omega\rangle=(-1)^{n}\langle S,\mathrm{J}\omega\rangle.

De la sorte, J⁡[α]=[J​α]J[\alpha]=[J\alpha] pour toute forme α∈𝒜(p,q)​(X)\alpha\in\mathscr{A}^{(p,q)}(X). En effet,

⟨J⁡[α],ω⟩=(−1)n​∫Xα∧J​ω=(−1)n​∫XJ⁡(J​α∧ω)=∫XJ​α∧ω=⟨[J​α],ω⟩.\langle\mathrm{J}[\alpha],\omega\rangle=(-1)^{n}\int_{X}\alpha\wedge\mathrm{J}\omega=(-1)^{n}\int_{X}\mathrm{J}(\mathrm{J}\alpha\wedge\omega)=\int_{X}\mathrm{J}\alpha\wedge\omega=\langle[\mathrm{J}\alpha],\omega\rangle.

On dit qu’un courant SS de bidegré (p,p)(p,p) est symétrique si J​S=(−1)p​S\mathrm{J}S=(-1)^{p}S.

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