Special Lagrangian and deformed Hermitian Yang-Mills on tropical manifold (Q1794572)

Let \(W\) be an \(m\)-dimensional Kähler manifold with a Kähler form \(\tilde{\omega}\), \(\mathcal{L}\to W\) a complex line bundle with a Hermitian metric \(h\) and \(\theta\in\mathbb{R}\), then a Hermitian connection \(D\) on \(\mathcal{L}\) is called a deformed Hermitian Yang-Mills connection, if \[ F^{(0,2)}=0, \quad \Im\bigl(e^{-i\theta}(\tilde{\omega}+F)^m\bigr)=0. \] where \(F\) is the curvature of \(D\) (Definition 1.1, [\textit{M. Mariño} et al., J. High Energy Phys. 2000, No. 1, Paper No. 01(2000)005, 31 p. (2000; Zbl 0990.81585)]). \textit{N. C. Leung} et al. [Adv. Theor. Math. Phys. 4, No. 6, 1319--1341 (2000; Zbl 1033.53044)], showed that deformed Yang-Mills connections naturally appear as mirror objects of special Lagrangian submanifolds via the Fourier-Mukai transform (the definitions of special Lagrangian and main results of [loc. cit.] are reviewed as Definition 1.2 and Theorem 1.3). In this paper, assuming \(W\) is a tropical manifold, some refinements of results of [loc. cit.] are given. The tropical manifold are triples \((B,\mathcal{D},K)\) explained in \S2, following [\textit{M. Gross}, in: Current developments in mathematics 2012. Papers based on selected lectures given at the current development mathematics conference, Harvard University, Cambridge, MA, USA, November 2012. Somerville, MA: International Press. 133--191 (2013; Zbl 1294.14015)]. Here \(\mathcal{D}=\{(U_\lambda,\psi_\lambda)\}\) is the differential structure of \(B\) such that \(\psi_\lambda\circ\psi_\mu^{-1}\) lie in \(\mathbb{R}^m\rtimes\mathrm{GL}(\mathbb{Z}^m)\) and \(K=\{K_\lambda\}\), a multivalued function on \(B\), that is \(K_\lambda\) is a smooth function on \(U_\lambda\) and \(K_\lambda-K_\mu\) is affine linear on \(U_\lambda\cap U_\mu\). On \(B\), the lattice bundle \(\Lambda\subset TB\) is defined. \(X(B)=TB/\Lambda\) is a complex manifold. It is a torus fibration over \(B\) and the holomorphic \((m,0)\)-form \(\Omega=dz_1\wedge\cdots\wedge dz_m\) is nonvanishing. Using \(K\) as a Kähler potential \(\omega\), \((X(B), \omega,\Omega)\) is an almost Calabi-Yau manifold. Similarly, starting from \(T^\ast B\), the symplectic manifold \(W(B)=T^\ast B/\Lambda^\ast\) is obtained. The Kähler form \(\tilde{\omega}\) and the non-vanishing \((m,0)\)-form \(\tilde{\Omega}\) are similarly defined. The pair \((X(B),\omega,\Omega)\) and \((W(B),\tilde{\omega},\tilde{\Omega})\) are called a mirror pair associated with \((B,\mathcal{D},K)\). Note that this situation is assumed in [Leung, loc. cit.] to derive the main results of [loc. cit.]. Let \(F(k,m)\) be the set of all \(k\)-dimensional subspaces in \(\mathbb{R}^m\). Then \((b,A)\in \mathbb{R}^m\rtimes\mathrm{GL}(\mathbb{Z}^m)\) acts on \(F(k,m)\) by \((b,A)V=AV+b\). Hence we obtain a \(F(k,m)\)-bundle over \(B\). For a constant section \(V\) (cf. Definition 3.1), a submanifold \(B(V)\) is constructed (Proposition 4.2, Definition 4.3). The triple \((k,V,Y)\), with \(Y\) a vector field on \(B(V)\), is called the construction data. An explicit way to construct an \(m\)-dimensional submanifold \(L(V,Y)\) in \(X(B)\) such that the dimension of the image of \(f:X(B)\to B\) is \(k\), from this data is given in \S5. Then it is shown that \(L(V,Y)\) is a Lagrangian submanifold in \(X(B)\) if and only if \(Y\) is locally gradient (Proposition 5.3). In \S6, the last section, a complex manifold \(C(V)\) in \(W(B)\) with complex dimension \(k\) and a Hermitian connection \(D^Y\) on the trivial line bundle \(\underline{\mathbb{C}}\) over \(C(V)\) with the standard metric are constructed. The Kähler metric on \(C(V)\) is given by restricting \(\omega\). Then the following main theorem is proved: Theorem 1.4. \(L(V,Y)\) is a Lagrangian submanifolds in \((X(B),\omega, \Omega)\) with phase \(e^{i\theta}\) if and only if \(D^Y\) is an integrable connection on \(\underline{\mathbb{C}}\to C(V)\). Furthermore \(L(V,Y)\) is a special Lagrangian submanifold in \((X(B),\omega,\Omega)\) with phase \(e^{i\theta}\) if and only if \(D^Y\) is a deformed Yang-Mills connection on \(\underline{\mathbb{C}}\to (C(V),\omega)\) with phase \(e^{i\theta}\).