1:
2:
3: \section{Natural complex structures on $TM$ with almost Hermitian $M$}
4: \label{CsoTMwaHM}
5:
6: \subsection{The second complex structure, a pair of them}
7: \label{Tscsap}
8:
9:
10: Let $(M,\calJ)$ be an almost Hermitian manifold of real dimension $m=2n$. Let $D$ denote a linear Hermitian connection: a metric connection satisfying $D\calJ=0$. In the following we adopt the notation from the last section.
11:
12: We may define two natural almost complex structures on $TM$, which we denote by $J$ or $J^\pm$: admiting again the decomposition of $TTM$ into $\hnab\oplus\calV$ we write
13: \begin{equation}\label{Jmaisemenos}
14: J^\pm=\calJ\oplus\pm\calJ.
15: \end{equation}
16: And let, as usual, $T'M$ denote the $+i$-eigenbundle of $\calJ$.
17: \begin{teo}\label{integrabilidadedeJ}
18: (i) $J^+$ is integrable if, and only if, $\calJ$ is integrable and the curvature of $D$ verifies $R^D_{u,v}\overline{w}=0,\ \forall u,v,w\in T'M$.\\
19: (ii) $J^-$ is integrable if, and only if, $\calJ$ is integrable and $R^D_{u,v}w=0,\forall u,v,w\in T'M$.\\
20: (iii) $(TM,\omega_{J^\pm})$ is symplectic if, and only if, the Hermitian connection $D$ is flat and its torsion verifies
21: \begin{equation}\label{eqtorTMJsymp}
22: T\in[[{\cal A}]]\oplus[[\XIS_M]].
23: \end{equation}
24: This meaning\footnote{We write $[[\cal A]]={\cal A}'+{\cal A}''$ for a vector space of tensors on $T'M$ plus the conjugate of ${\cal A}'$.} that: $T$ has no totally skew-symmetric part, according to (\ref{decompoftorsion}), and $T$ is $(3,0)+(0,3)$ with respect to $\calJ$.
25: \end{teo}
26: \begin{proof}
27: Let $u,v,w$ denote vectors in the $+i$-eigenbundle of $J$. The integrability equation is $(1+iJ)\na_uv=0,\ \forall u,v$. Equivalently, since $\calJ,J$ are $D,D^*$ parallel, respectively, we have
28: \[ \mbox{(a)}\,\ (1\pm i\calJ)R^*_{u,v}\xi=0\qquad \mbox{and}\qquad \mbox{(b)}\,\ (1+ i\calJ)(A_uv+\tau_uv)=0 \]
29: according to vertical and horizontal types. So the two curvature conditions in (i) and (ii) correspond to (a). With respect to (b), in particular for $u,v\in{\hnab}\,'$ we must have $\tau_uv\in{\hnab}\,'$. By a straightforward argument as in corollary \ref{tauzero}, this is the same as $\pi^*T^D(u,v)\in{\hnab}\,'$, or $\pi^*[\pi_*u,\pi_*v]\in{\hnab}\,'$ --- corresponding on the base manifold $M$ to the integrability of $\calJ$. For $u,w$ horizontal and $v$ vertical, since the metric on $M$ is a (1,1) tensor, (b) reads equivalently as $\langle A_uv,w\rangle=0$. Which is
30: \[ \langle R^*_{u,w}\xi,v\rangle=\tfrac{1}{2}\langle (1\mp i\calJ)R^*_{u,w}\xi,v\rangle=0,\]
31: due to (a). But this is always true since the projection $\tfrac{1}{2}(1\pm i\calJ)v=0$.
32:
33: Now let us see assertion (iii). We first compute,
34: \begin{eqnarray*}
35: \langle(\na_XJ)Y,Z\rangle &=&\langle-\frac{1}{2}[R^*_{X,\cdot}\xi+A_X+\tau_X,J]Y,Z\rangle\\
36: &=& \langle -\frac{1}{2}R^*_{X^h,\calJ Y^h}\xi\pm\frac{1}{2}\calJ R^*_{X^h,Y^h}\xi,Z^v\rangle+\langle \pm A_{X^h}\calJ Y^v+\\
37: & & \qquad +A_{X^v}\calJ Y^h-\calJ A_{X}Y-\calJ\tau_{X^h}Y^h+\tau_{X^h}\calJ Y^h,Z^h\rangle.
38: \end{eqnarray*}
39: We denote $R_{\alpha\beta\gamma}=\langle R^*_{e_\alpha,e_\beta}\xi,e_\gamma\rangle$, with $\calJ e_\alpha$ represented by $\hat\alpha$, for an orthonormal frame $e_1,\ldots,e_{m},e_{1+m}=\theta e_1,\ldots,e_{m+m}=\theta e_{m}$ induced from an orthonormal frame of $M$. Now using the symmetry of $A$,
40: \begin{eqnarray*}
41: \dx\omega_J &=& \sum_{i=1}^{2m}\na_i\omega_J\wedge e^i\ =\ \frac{1}{2}\sum_{i,j,k=1}^{2m}\langle(\na_iJ)e_j,e_k\rangle e^{ijk}\ = \\
42: &=& \sum_{i,j,k=1}^{m}-\frac{1}{4}R_{i\hat{j}k+m}e^{ijk+m}\mp\frac{1}{4} R_{ij\widehat{k+m}}e^{ijk+m}\pm \frac{1}{4}R_{ik\widehat{j+m}}e^{i,j+m,k}+\\
43: & &\qquad\qquad +\frac{1}{4}R_{\hat{j}ki+m}e^{i+m,j,k}+ \frac{1}{2}(\tau_{ij\hat{k}}+\tau_{i\hat{j}k})e^{ijk}\\
44: &=& \sum_{i,j,k=1}^{m}\frac{1}{4} \bigl(-R_{i\hat{j}k+m}\mp R_{ij\widehat{k+m}}\mp R_{ij\widehat{k+m}}-R_{\hat{j}ik+m}\bigr)e^{ijk+m}+
45: \frac{1}{2} (\tau_{ij\hat{k}}-\tau_{ik\hat{j}})e^{ijk}.
46: \end{eqnarray*}
47: Since $\tau_{ijk}$ is skew-symmetric in $j,k$, we get
48: \begin{equation}\label{domegaJ}
49: \begin{split}
50: \dx\omega_J \ =\ \sum_{i,j,k}^{m}\mp \frac{1}{2}R_{ij\widehat{k+m}}e^{ijk+m}+ \tau_{ij\hat{k}}e^{ijk} \ = \hspace{2cm}\\
51: \ =\ \sum_{i<j}\sum_k\mp R_{ij\widehat{k+m}}e^{ijk+m}+ 2\sum_{i<j<k}(\tau_{ij\hat{k}}+\tau_{jk\hat{i}}+\tau_{ki\hat{j}})e^{ijk}.
52: \end{split}
53: \end{equation}
54: Now we are in position to prove (iii). To have $\dx\omega_J=0$ the flatness of $D$ is evident; the cyclic sum in $i,j,k$ of $\tau_{ij\hat{k}}$ above implies
55: \[T_{ji\hat{k}}-T_{\hat{k}ij}+T_{j\hat{k}i}+T_{ik\hat{j}}-T_{\hat{i}jk}+T_{k\hat{i}j}+T_{kj\hat{i}}-T_{\hat{j}ki}+T_{i\hat{j}k}=0 . \]
56: If $i,j,k$ are indices of three vectors in $T'M$, then we simplify this to
57: \[T_{jik}-T_{kij}+T_{kji}=0\]
58: which is the totally skew part of $T$ on $\otimes^3T'M$. If $i,j$ represent vectors in $T'M$ and $k:=\overline{k}$ in $T''M$, then we find
59: \begin{equation*}
60: \begin{split}
61: -T_{ji\overline{k}}+T_{\overline{k}ij}-T_{j\overline{k}i}+T_{i\overline{k}j} -T_{ij\overline{k}}+T_{\overline{k}ij}+T_{\overline{k}ji}-T_{j\overline{k}i}+T_{ij\overline{k}}\ = \hspace{1cm}\\
62: T_{ij\overline{k}}-T_{i\overline{k}j}-3T_{j\overline{k}i}\ =\ 0.
63: \end{split}
64: \end{equation*}
65: Equivalently $3T_{j\overline{k}i}=T_{ij\overline{k}}-T_{i\overline{k}j}$ for \textit{all} indices $i,j,k$. In repeating the equation, we deduce $9T_{j\overline{k}i}=3T_{ij\overline{k}}-T_{ji\overline{k}}+T_{j\overline{k}i}$ or
66: $8T_{j\overline{k}i}=4T_{ij\overline{k}}$. Hence $T_{j\overline{k}i}$ is totally skew-sym\-metric and this same equation says it must be 0.
67:
68: Taking conjugates, since $T$ is real, we see both $T_{\overline{i}jk}$ and $T_{i\overline{j}\overline{k}}=0$. In particular, the whole skew-symmetric part of the torsion must vanish. This proves the result.
69: \end{proof}
70: Notice for the case $J^+$ we see in part (i) of the theorem that the integrability depends on $R^D_{\overline{u},\overline{v}}w=0,\ \forall u,v,w\in T'M$ (the conjugate of the written condition), just like Koszul-Malgrange's theorem prescribes when we see $E=T'M$ with complex structure $J=i$, cf. section \ref{Arocsovb}. Moreover part (i) is stronger than this celebrated theorem since it does not assume integrability on the base space.
71:
72: Let $\omega_\calJ$ denote the 2-form on $M$. It is easy to deduce the formula
73: \[ \dx\omega_\calJ(X,Y,Z)=\omega_\calJ(T(X,Y),Z)+\omega_\calJ(T(Y,Z),X) +\omega_\calJ(T(Z,X),Y) ,\]
74: therefore with little extra work we may show that $T$ satisfies condition (\ref{eqtorTMJsymp}) if, and only if, $(M,\omega_\calJ)$ is a symplectic manifold.
75:
76: The condition found for the torsion in part (iii) is quite interesting if we confront with the ``QKT-connections'' studied in \cite{Iva}; surprisingly those are required to have $T\in\wedge^3$ and to be type (1,2)+(2,1) with respect to $\calJ$.
77:
78:
79: \subsection{The third complex structure on $TM$}
80: \label{TtcsoTM}
81:
82: This work would not be complete if we did not consider the following almost complex structure on the tangent bundle of the Riemannian manifold $M$. Consider the same setting as above and define $J$ to be $J^-$. Consider also the complex structure $I$ from section \ref{AcsoTM}. Then $K=IJ=-JI$ is a new $D^*$-parallel almost complex structure, since $J\theta=-\theta J$, and hence we must do an analysis regarding complex and symplectic geometries just as previously.
83: \begin{teo}\label{integrabilidadedeK}
84: (i) The following three are equivalent: $K$ is integrable; $D$ is flat and torsion free; $(M,\calJ)$ is a flat K\"ahler manifold.\\
85: (ii) $(TM,\omega_K)$ is symplectic if, and only if, $D$ is torsion free. The same is to say $(M,\calJ)$ is K\"ahler.
86: \end{teo}
87: \begin{proof}
88: First we describe $u$ in the $+i$-eigenbundle of $K$. In a decomposition $K(u^h+u^v)=iu^h+iu^v$, this translates in $u^v=i\calJ\theta u^h$. Thence we may write, $T'TM=\{u=X+i\calJ\theta X:\ X\in\hnab\}\otimes\C$. Now the integrability of $K$, as above, is given by $(1+iK)\na_uv=0,\ \forall u,v\in T'TM$. According to types this is simply
89: \[ \mbox{(a)}\,\ (1+iK)R^*_{u,v}\xi=0\qquad \mbox{and}\qquad \mbox{(b)}\,\ (1+ iK)(A_uv+\tau_uv)=0.\]
90: Taking $u\in T'TM$ and $v=Y+i\calJ\theta Y$ alike, we get from (a) the equation $(1+iK)R^*_{X,Y}\xi=0$ and so $D$ is flat. From (b) the condition $\tau_XY=0$ follows. Now let us compute $\dx\omega_K$. It could be seen by a formula, $\sum_{i,j,k=1}^{2m}\langle\na_i(J\theta e_j),e_k\rangle e^{ijk}$, but we shall follow the usual proceedre. First,
91: \begin{eqnarray*}
92: \lefteqn{ \langle(\na_XK)Y,Z\rangle\ =\ \langle[-\frac{1}{2}R^*_{X,\cdot}\xi +A_X+\tau_X,K]Y,Z\rangle} \\
93: &=& \frac{1}{2}\langle R^*_{X^h,\theta^t\calJ Y^v}\xi,Z^v\rangle -\frac{1}{2}\langle\theta^t\calJ R^*_{X^h,Y^h}\xi,Z^h\rangle\\
94: & &-\langle A_{X^h}\theta\calJ Y^h+A_{X^v}\theta^t\calJ Y^v +\tau_{X^h}\theta^t\calJ Y^v,Z^h\rangle+\langle\theta\calJ(A_XY+\tau_XY),Z^v\rangle \\
95: &=& \frac{1}{2}\langle R^*_{X^h,\theta^t\calJ Y^v}\xi+\theta\calJ(A+\tau)_XY,Z^v\rangle +\frac{1}{2}\langle R^*_{X^h,Y^h}\xi,\theta\calJ Z^h\rangle \\
96: & & -\frac{1}{2}\langle R^*_{X^h,Z^h}\xi,\theta\calJ Y^h\rangle-\frac{1}{2}\langle R^*_{\theta^t\calJ Y^v,Z^h}\xi,X^v\rangle -\tau(X^h,\theta^t\calJ Y^v,Z^h).
97: \end{eqnarray*}
98: Now with the notation of theorem \ref{integrabilidadedeJ}, we have
99: \begin{eqnarray*}
100: 2\dx\omega_K &=& \sum_{i,j,k=1}^{2m}\langle(\na_iK)e_j,e_k\rangle e^{ijk} \\
101: &=& \sum_{i,j,k=1}^{m}\frac{1}{2}R_{i\hat{j}k+m}e^{i,j+m,k+m}+\frac{1}{2} R_{ij\widehat{k+m}}e^{ijk}-\frac{1}{2}R_{ik\widehat{j+m}}e^{ijk}\\
102: & &\qquad\qquad -\frac{1}{2}R_{\hat{j}ki+m}e^{i+m,j+m,k}- \tau_{i\hat{j}k}e^{i,j+m,k}-\tau_{ij\hat{k}}e^{ijk+m}\\
103: &=& \sum_{i,j,k=1}^{m}\frac{1}{2} \bigl(R_{i\hat{j}k+m}+ R_{\hat{j}ik+m}\bigr)e^{i,j+m,k+m} +\frac{1}{2}R_{ij\widehat{k+m}}(e^{ijk}-e^{ikj}) \\
104: & & \qquad\quad -\tau_{i\hat{j}k}(e^{i,j+m,k}-e^{ikj+m})\ =\ \sum R_{ij\widehat{k+m}}e^{ijk}+2\tau_{i\hat{j}k}e^{ikj+m}.
105: \end{eqnarray*}
106: Then by simple computation
107: \begin{equation}\label{domegaK}
108: \begin{split}
109: \dx\omega_K \ =\ \sum_{i<j<k}^{m} (R_{ij\widehat{k+m}}+R_{jk\widehat{i+m}}+R_{ki\widehat{j+m}})e^{ijk}+ \sum_{i<k}\sum_j(\tau_{i\hat{j}k}-\tau_{k\hat{j}i})e^{ikj+m}\\
110: =\ \sum_{i<j<k}^{m} \cyclic_{ijk}\,R_{ij\widehat{k+m}}e^{ijk}+ 2\sum_{i<k}\sum_jT_{ik\hat{j}}e^{ikj+m} .
111: \end{split}
112: \end{equation}
113: The result now follows easily, since the vanishing of $T$ implies Bianchi identity and already we had $\calJ R^*\xi=R^*\calJ\xi$. Finally if $T=0$ then $D$ is the Levi-Civita connection and so $\calJ$ is integrable and henceforth K\"ahler.
114: \end{proof}
115: In some sense, the complex structure $I$ plays a preponderant role. Notice (ii) above is also equivalent to (ii) from theorem \ref{integrabilidadedeI}.