Smooth submanifolds with invariant complex tangent spaces are complex

ID: smooth-submanifolds-with-invariant-complex-tangent-spaces-are-complex

Let be a embedded submanifold of a complex manifold. If its tangent spaces are invariant under the almost complex structure induced by a complex atlas, choose ambient holomorphic coordinates making its tangent space at one point . The first coordinates restrict to a local real diffeomorphism by the inverse function theorem, so is locally the graph of a smooth function . Invariance of the tangent graph gives , the Cauchy-Riemann equations. Thus is holomorphic and these graph coordinates give the induced complex submanifold structure. This proves the result directly, without needing the general integrability theorem as an unproved step.

New to topics? Read the docs here!