Generalized holomorphic bundles and the B-field action (Q617973)

The concept of a generalized holomorphic bundle on a generalized complex structure [\textit{N. J. Hitchin}, Q. J. Math. 54, No.~3, 281--308 (2003; Zbl 1076.32019)] was introduced in [\textit{M. Gualtieri}, Generalized complex geometry, to appear in Ann. Math. \url{arXiv:math/040122101}]. In this paper, generalized holomorphic bundles on a complex manifold are studied and it is shown that this notion yields an object named co-Higgs bundle, a kind of dual of Simpson's Higgs bundle [\textit{C. T. Simpson}, Publ. Math., Inst. Hautes Étud. Sci. 75, 5--95 (1992; Zbl 0814.32003)]. The \(B\)-field action of a closed \((1,1)\)-form is also treated and vanishing conditions of related cohomology are obtained (Theorem 7, Theorem 8). Definitions of generalized complex structures and generalized holomorphic bundles are reviewed in \S2. A generalized complex structure on \(M^{2m}\) is an isotropic rank-\(2m\) subbundle \(E^{1,0}\subset(T\oplus T^*)\otimes\mathbb{C}\) with \(E^{1,0}\cap\overline E^{1,0}= 0\) and sections of \(E^{1,0}\) are closed under the Courant bracket \[ [X+\xi, Y+\eta]= [X, Y]+{\mathcal L}_X\eta-{\mathcal L}_Y\xi- \tfrac12\, d(i_X\eta- i_Y\xi), \] where \(i_X\xi= [X+\xi, X+\xi]\). Let \(B\) be a closed 2-form, then the \(B\)-field action \(X+ \xi\to X+\xi+ i_XB\) commutes with the Courant bracket. If the generalized complex structure is the ordinary complex structure, and \(B\) is a real \((1,1)\)-form, then the \(B\)-field action preserves the generalized complex structure. A \(B\)-field action is also defined for a 1-cocycle \(B_{\alpha,\beta}\). By the action \(B_{\alpha,\beta}\), \(T\oplus T^*\) on \(U_\alpha\) and on \(U_\beta\) can be identified to obtain a bundle \(E\). Since \(T^*\) is a subbundle of \(E\), we have an exact sequence \(0\to T^*\to E\to T\to 0\). Let \(E\otimes\mathbb{C}= E^{1,0}\oplus E^{0,1}\). Then \(\overline\partial f\) is defined as the component of \(df\) in \(E^{0,1}\). For an ordinary complex structure, this is the usual \(\overline\partial\)-operator. A generalized holomorphic bundle is a vector bundle \(V\) with a differential operator \(\overline D: C^\infty(V)\to C^\infty(V\otimes E^{0,1})\) such that \[ \overline D(fs)= \overline\partial fs+f\overline Ds,\quad\overline D^2= 0. \] As for an ordinary complex structure, \(E^{0,1}=\overline T\) and \[ \overline Ds=\overline\partial_A s+\phi s= \Biggl({\partial s\over\partial\overline z_j}+ A_j s\Biggr)d\overline z_j+\phi^k s\;{\partial\over\partial z_k}. \] If \(T^*\) is replaced by \(T\), this is Simpson's Higgs bundle. By this reason, the author calls a generalized holomorphic bundle for an ordinary complex structure a co-Higgs bundle. Examples of co-Higgs bundles are presented in \S3. Then adopting \textit{C. T. Simpson's} works [Publ. Math., Inst. Hautes Étud. Sci. 80, 5--79 (1995; Zbl 0891.14006); J. Am. Math. Soc. 1, No.~4, 867--918 (1988; Zbl 0669.58008)], the spectral variety and stability of co-Higgs bundles are defined. A stable co-Higgs bundle has a canonical Hermitian metric satisfying a Yang-Mills type equation \[ \omega^{j\overline k}F_{j\overline k}+ \omega_{j\overline k}[\phi^j(\phi^*)^{\overline k}]= \lambda. \] A Hermitian metric on \(V\) has unique unitary connections \(\nabla_{\pm}\), and it is shown that the metric satisfies a Yang-Mills type equation if and only if \[ {1\over 2}(F_++ F_-)\wedge\omega^{m-1}= \lambda I\omega^m \] (\S3,Prop.1). \S4 studies the \(B\)-field action mainly from the point of view of spectral sheafs. Let \(t\) be the tautological section of \(\pi^*T\) and \({\mathcal S}\) be the spectral sheaf of \(TM\) of a co-Higgs bundle. Then, it is shown that the \(B\)-field transform has the spectral sheaf \({\mathcal S}\otimes(L_B)\), where \(L_B\) is the line bundle, and a holomorphic structure defined by \(i_t B\in\Omega^{0,1}_{TM}\) (Prop.3). As for twisted \(B\)-field \(B_{\alpha, \beta}\), the gerbe \({\mathcal G}= g_{\alpha,\beta,\gamma}\), \(g_{\alpha,\beta,\gamma}= \phi_{\alpha,\beta} \phi_{\beta,\gamma} \phi_{\gamma,\alpha}\) is used. Here, \(\phi_{\alpha,\beta}= \exp f_{\alpha,\beta}\), \(\overline\partial f_{\alpha\beta}= A_{\alpha\beta}\), where \(i_XB_{\alpha,\beta}= A_{\alpha,\beta}\). Then, it is shown that a twisted generalized holomorphic bundle defines a spectral sheaf over the gerbe \({\mathcal G}\) on \(TM\) ( Prop.4). In \S5, the last section, vanishing conditions for the \(\overline D\)-cohomology except in degree \(m\) are obtained in terms of spectral sheaves (Th.7 and Th.8). The author remarks that the situation of Th.8 is actually irrelevant for line bundles in the Kähler case [cf. \textit{J. B. Carrel} and \textit{D. I. Lieberman}, Invent. Math. 21, 303--309 (1973; Zbl 0253.32017)].