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 isThe 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
There are currently no matching articles.