These are local criteria: multiplying by a smooth bump function extends any local test field or form to a global one without changing it near a chosen point. Assume the Lie bracket of any two sections of again lies in . Because the almost complex structure is real, conjugating this condition shows that the Lie bracket of any two sections of lies in .
For a -form , the exterior derivative formula is
The first two terms vanish because annihilates , and the last vanishes by bracket closure. The component is exactly the restriction of to two arguments in . Thus it is zero. Since the only types of a two-form are , and , the bracket condition implies the stated differential-form condition. This argument uses neither holomorphic coordinates nor an integrability theorem as an unproved intermediate step.

Articles by others on the same topic (0)

There are currently no matching articles.