I'm trying to understand the proof of the holomorphic version of the frobenius integrability theorem given in p. 51-52 of Voisin's text "Hodge Theory and Complex Algebraic Geometry I".

Statement:Let $X$ be a complex manifold of complex dimension $n$ and $E \subset T_X$ an involutive holomorphic subbundle of complex rank $r$. Then $E$ is integrable in the holomorphic sense. Meaning locally there exist holomorphic functions $\varphi : U \to \mathbb{C}^{n-r}$ with $ker(d\varphi_*)=E|_U$.

The idea of the proof there (If I understand it correctly) goes as follows:

- Use the real frobenius theorem for the real part of the distribution $E_\mathbb{R}$ to get locally functions $\varphi : U \to V \subset \mathbb{R}^{2(n-r)}$ with $ker(d\varphi_*)= E_{\mathbb{R}}|_U$
- The almost complex structure $I : T_{U,\mathbb{R}} \to T_{U,\mathbb{R}}$ descends to an endomorphism $I : T_{U,\mathbb{R}}/E_{\mathbb{R}}|_U \to T_{U,\mathbb{R}}/E_{\mathbb{R}}|_U$ which itself descends to an almost complex structure on $V$.
- There exists a complex submanifold transverse to the fibers of $\varphi$ (possibly restricting $U$) which is locally isomorphic to $V$ and whose complex structure agrees with the almost complex structure from (2). In other words there's locally a section of $\varphi$ whose image is a complex manifold whose almost complex structure agrees with the one from (2).
- Due to (3) we can put a complex structure on $V$ making $\varphi : U \to V$ a holomorphic map

QED.

There are several things I'm having trouble understanding.

**Firstly** step (2) isn't elaborated on in the text and it isn't so clear to me why the almost complex structure should descend down to $V$.

**Secondly** given step (3) it's unclear to me why we need step (2). If there's a section whose image is a holomorphic manifold then there's a unique complex structure on $V$ s.t. $\varphi$ is a holomorphic (isn't there?).

**Thirdly** and perhaps the most crucial is that step (3) seems dangerously circular. Part of the conclusion of the theorem is that $E$ has an involutive complement in $T_X$ meaning $E|_U \oplus F|_U = T_X|_U$ for some involutive holomorphic subbundle $F|_U$. The existence of the section in (3) is stronger than that assertion. It may be that (3) relies on a weaker statement but it's unclear to me how to deduce it from what was done up until now in the book.

**Fourthly** Nowhere in the proof is it claimed that the almost complex structure on $V$ makes it isomorphic to an open subset of $\mathbb{C}^{n-r}$. It is not claimed that the almost complex structure is the standard one, nor is it obvious to me that it should be from this perspective.

**Lastly** There's the issue of what the proof uses which I raised in a comment. It doesn't seem very likely to me that one can prove the holomorphic frobenius from the real frobenius theorem alone. The real frobenius is a consequence of the smooth Poincare lemma (closed form is locally exact) therefore a proof of this sort would give the Holomorphic Poincare lemma as a corollary of the smooth Poincare lemma which doesn't sound reasonable to me. The question is therefore what is used in the proof above which goes beyond the smooth Poincare lemma. It most certainly seems to me that this happens somewhere around (3).