5
$\begingroup$

First, some motivation. Let $X$ be a complex manifold, and $A$ a Hermitian connection on some complex vector bundle $E$ over $X$. It is known that the existence of $A$ such that the $(0,2)$-part of the curvature form $F_A$ vanishes implies the existence of a holomorphic structure on $E$.

Now let $M$ be an almost complex manifold, and $A$ a Hermitian connection on the tangent bundle $TM$.

Does $F_{A}^{0,2}=0$ imply the existence of a complex structure on $M$?

After discussing this with my professor, he believed that this might not be the case, but I've yet to find a counterexample. The only place one would know to look so far is on an almost complex $4$-manifold that does not admit a complex structure. Otherwise, if the result turns out to be true, is there a standard reference on this matter?

$\endgroup$

1 Answer 1

6
$\begingroup$

Here is an example to think about: Let $S^6 = \mathrm{G}_2/\mathrm{SU}(3)$ be the $6$-sphere endowed with its $\mathrm{G}_2$-invariant almost Hermitian structure. There is a $\mathrm{G}_2$-invariant (special) Hermitian connection $A$ on the tangent bundle of $S^6$ whose curvature is of type $(1,1)$, but the only $\mathrm{G}_2$-invariant almost-complex structures on $S^6$ (and there are exactlty two) are not integrable.

The point is that the (special) Hermitian connection $A$ has torsion of type $(0,2)$, and that is what prevents the almost-complex structure from being integrable.

Of course, there might still exist some complex structure on $S^6$ (whether this is so is not currently known), but the existence of an Hermitian connection on its tangent bundle with curvature of type $(1,1)$ has proved of no help, so far, in finding a complex structure on $S^6$.

Here is an actual counterexample: S. T. Yau has shown that there are compact parallelizable 4-manifolds $M^4$ that support no complex structure. See S. T. Yau, Parallelizable manifolds without complex structure, Topology 15 (1976), 51–53. Since the tangent bundle is trivial, there is an almost-complex structure $J$ on $M$ for which the tangent bundle of $M$ is trivial as a complex vector bundle. Hence, the tangent bundle of $M$ supports a flat $J$-complex connection, i.e., a connection $A$ for which the complex structure is parallel and $F_A = 0$. A fortiori, we have $F^{0,2}_A = 0$, but $M$ does not admit a complex structure. Of course, the torsion of $A$ is non-zero and, in fact, must have a nontrivial $(0,2)$-piece.

$\endgroup$
4
  • $\begingroup$ Thank you, this clarifies a lot for me. In that case, would finding a connection with curvature of type $(1,1)$ without torsion of type $(0,2)$ be enough, or is this simply an obstruction? $\endgroup$ Commented Dec 10, 2022 at 14:08
  • 2
    $\begingroup$ Well, an Hermitian connection on the tangent bundle that was without torsion would already imply that the almost complex structure was integrable. Anyway, I have a better example that I will add to my above answer. $\endgroup$ Commented Dec 10, 2022 at 14:35
  • $\begingroup$ Another question just to make sure I understood your comment. Are you saying that all we need is a Hermitian connection without torsion to imply integrability, or are you also assuming that $F_{A}^{0,2}=0$ as a required condition? $\endgroup$ Commented Jan 18, 2023 at 17:05
  • 1
    $\begingroup$ @PaulCusson: An Hermitian connection $A$ on the tangent bundle that is without torsion wil always have $F_A^{0,2}=0$. This is a consequence of the first Bianchi identity. $\endgroup$ Commented Jan 18, 2023 at 18:16

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .