2
$\begingroup$

Let $(M,J_{M})$ be a almost complex manifold and $(N,J_{N})$ be a complex manifold. I want to prove that $F^{*}(\mathcal{O}_{N})\subset\mathcal{O}_{M}$ implies that $F:M\rightarrow N$ is almost complex. $\mathcal{O}_{M}$ denotes the sheaf of holomorphic functions on $M$ and similarily for $\mathcal{O}_{N}$.

$F:M\rightarrow N$ is almost complex means that $dF\circ J_{M}=J_{N}\circ dF$.

1 Answers 1

1

$F$ is almost complex iff $dF$ maps the $+i$-eigenspace of $J_M$ to the $+i$-eigenspace of $J_N$, or equivalently (by dualization) iff $F^*$ maps $\Omega^{1,0}_N$ to $\Omega^{1,0}_M$. However, for any $\alpha\in\wedge^{1,0}T^*_xN$ there is a holomorphic function $f$ in a neighourhood of $x$ s.t. $\alpha=d_xf$ (it's enough to consider linear combinations of some local holomorhic coordinates around $x$). As $F^*f\in\mathcal{O}_M$, for any $y\in M$ s.t. $F(y)=x$ we have $F^*\alpha=d_y(F^*f)\in\wedge^{1,0}T^*_xM$, hence $F^*$ maps $\Omega^{1,0}_N$ to $\Omega^{1,0}_M$.

  • 0
    If $z^i$ are local holomorphic coordinates and $\alpha=\sum a_i\, dz^i$, you can take $f=\sum a_i\,z^i$ (i.e. $f$ is a linear combination of the coordinates)2011-10-17