I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of Kodaira and Spencer, but some things relating infinitesimal approximations are not clear for me.

Let $\varpi: \mathscr{M} \twoheadrightarrow D$ be a analytic family of compact complex manifolds such that $D \in \mathbb{C}^m$ is disk centered at the origin, $M = M_0$ is covered by coordinate charts $\{ U_i \}$ and the radius of $D$ is small enough to $\{ U_i \times D \}$ cover $\mathscr{M}$. Now, let $(\zeta_i^1 (z_i , t), …,\zeta_i^n(z_i^n, t), t^1, …,t^m)$ denote the coordinates of $U_i \times D$, then, in the literature, without any formal justificative, it's stated that $$\frac{\partial \zeta_i^j}{\overline{\partial z_i}^k} = \sum_{l} \varphi_{lk}^i (t) \frac{\partial \zeta_i^j}{\partial z_i^l}$$ holds. The informal justificative usually done is by saying that if $t$ is close enough to $0$, then $pr^{(0, 1)}|_{T_t^{(0, 1)}} : T_t^{(0, 1)} \rightarrow T^{(0, 1)} $ defines an isomorphism. So it is possible to construct a map $$\varphi(t) = pr^{(1, 0)}\circ (pr^{(0, 1)}|_{T_t^{(0, 1)}})^{-1}: T^{(0, 1)} \longrightarrow T^{(1, 0)} $$ and it satisfies $(1 + \varphi(t)) (v) \in T_t^{(0, 1)}$ for all $v \in T^{(0, 1)}$.

Clearly, $pr^{(0, 1)}|_{T_t^{(0, 1)}} : T_t^{(0, 1)} \rightarrow T^{(0, 1)} $ being an isomorphism is the same as the complex strutcture being the same for all $t$, **so how is possible to make this construction of $\varphi$ more formal? Why the equality above holds?**

Maybe the assumption "t close enough to 0" should be formalized in terms of nilpotent elements, something like a kind of prorepresentable functor, such that $pr^{(0, 1)}|_{T_t^{(0, 1)}} : T_t^{(0, 1)} \rightarrow T^{(0, 1)} $ being an isomorphism makes sense.

Thanks in advance.

**EDIT** As noted by Peter Dalakov, the assertion that the splitting of $T_{\mathbb{C}}$ does not change, is totally wrong. So the remaining question is: why $$\frac{\partial \zeta_i^j}{\overline{\partial z_i}^k} = \sum_{l} \varphi_{lk}^i (t) \frac{\partial \zeta_i^j}{\partial z_i^l}$$ holds?

7more comments