Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-22/1/a/solution

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.

New to topics? Read the docs here!