Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 93 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
4.4.2
Supposons maintenant que X X soit purement de dimension n n .
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 ∫ X J ( J α ∧ ω ) = ∫ X J α ∧ ω = ⟨ [ 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 S S de bidegré ( p , p ) (p,p)
est symétrique si J S = ( − 1 ) p S \mathrm{J}S=(-1)^{p}S .