The derived category of a generalized complex torus

Let X be a compact complex manifold, and consider its Dolbeault algebra \mathbf{A} = (\Omega^{0,\bullet}(X),\bar{\partial},0). Then the homotopy category of cohesive modules {\mathcal{P}}_{\mathbf{A}} is equivalent to {\operatorname{D^b_{coh}}}(X).

\operatorname{Ho} {\mathcal{P}}_{\mathbf{A}(I,0,B)} is equivalent to the bounded derived category of complexes of B-twisted sheaves of {\mathcal{O}}_X-modules with coherent cohomology.

Any GC structure {\mathcal{J}} on \mathbb{V} = V \oplus V^* is a B-field transformation of a direct sum {\mathcal{J}}_1 \oplus {\mathcal{J}}_2, where {\mathcal{J}}_1 = {\mathcal{J}}_J \in \mathrm{O}(V_1 \oplus V_1^*) and {\mathcal{J}}_2 = {\mathcal{J}}_\omega \in \mathrm{O}(V_2 \oplus V_2^*) are associated with a complex structure J on V_1 and a symplectic structure \omega on V_2 for some splitting V = V_1 \oplus V_2. The type of {\mathcal{J}} is \dim_\mathbb{C} (V_1,J).

Let {\mathcal{J}}\in\mathcal{GC}_V be a GC structure of even cotype.

1. There exist B\in\scalebox{1.2}{}^2V^*, \beta\in\scalebox{1.2}{}^2 V and J\in\mathcal C_V, such that

   {\mathcal{J}} = e^{\beta } e^{B } {\mathcal{J}}_J e^{-B } e^{-\beta } .

2. There exist B\in\scalebox{1.2}{}^2V^*, \beta\in\scalebox{1.2}{}^2 V and J\in\mathcal C_V, such that

   {\mathcal{J}} = e^{B } e^{\beta } {\mathcal{J}}_J e^{-\beta } e^{-B } .

Suppose J,J'\in \mathcal{C}_V are complex structures and \omega,\omega'\in\scalebox{1.2}{}^2V^* are symplectic forms. Then for any B\in \scalebox{1.2}{}^2V^*,\beta\in\scalebox{1.2}{}^2V we have

1. e^{B } {\mathcal{J}}_\omega e^{-B } = {\mathcal{J}}_{\omega'} if and only if B=0 and \omega=\omega'.

2. e^{B } {\mathcal{J}}_J e^{-B } = {\mathcal{J}}_{J'} if and only if J=J' and B\in\scalebox{1.2}{}^{1,1}_JV^*.

3. e^{\beta } {\mathcal{J}}_J e^{-\beta } = {\mathcal{J}}_{J'} if and only if J=J' and \beta\in\scalebox{1.2}{}^{1,1}_JV.

4. e^{\beta } {\mathcal{J}}_\omega e^{-\beta } = {\mathcal{J}}_{\omega'} if and only if \beta=0 and \omega=\omega'.

In particular: If the equation

admits a solution (B,\beta), then B is unique and \beta is unique up to addition of a bivector of type (1,1) and if the equation

admits a solution (B,\beta), then \beta is unique and B is unique up to addition of a form of type (1,1).

Let \omega\in\scalebox{1.2}{}^2V^* be a symplectic form and let J\in \mathcal{C}_V be a complex structure on V.

1. The equation

   e^{\beta } e^{B } {\mathcal{J}}_\omega e^{-B } e^{-\beta } = {\mathcal{J}}_J

   admits a solution (B,\beta)\in \scalebox{1.2}{}^2V^*\times\scalebox{1.2}{}^2V if and only if \omega\in (\scalebox{1.2}{}^{2,0}_JV^*+\scalebox{1.2}{}^{0,2}_JV^*)\cap\scalebox{1.2}{}^2V^*. In this case B lies in the subspace (\scalebox{1.2}{}^{2,0}_JV^*+\scalebox{1.2}{}^{0,2}_JV^*)\cap\scalebox{1.2}{}^2V^* and is uniquely determined by

   B = \omega J.

   The general form of \beta is

   \beta = -\frac{1}{2} B^{-1} + \tau

   for an arbitrary \tau\in\scalebox{1.2}{}^{1,1}_JV.

2. The equation

   e^{\beta } e^{B } {\mathcal{J}}_J e^{-B } e^{-\beta } = {\mathcal{J}}_\omega

   admits a solution (B,\beta)\in \scalebox{1.2}{}^2V^*\times\scalebox{1.2}{}^2V if and only if \omega\in (\scalebox{1.2}{}^{2,0}_JV^*+\scalebox{1.2}{}^{0,2}_JV^*)\cap\scalebox{1.2}{}^2V^*. In this case \beta lies in the subspace (\scalebox{1.2}{}^{2,0}_JV+\scalebox{1.2}{}^{0,2}_JV)\cap\scalebox{1.2}{}^2V and is uniquely determined by

   \beta = -J \omega^{-1} = (\omega J)^{-1}.

   The general form of B\in\scalebox{1.2}{}^2V^* is

   B = -\frac{1}{2} \beta^{-1}+ B

   for an arbitrary b\in\scalebox{1.2}{}^{1,1}_JV^*.

Let V be a real vector space of dimension 2n.

1. Let \omega\in\scalebox{1.2}{}^2V^* be a symplectic form. Then there exists a complex structure J\in \mathcal{C}_V, a 2-form B\in\scalebox{1.2}{}^2V^* and a bivector \beta\in\scalebox{1.2}{}^2V such that

   e^{\beta } e^{B } {\mathcal{J}}_{\omega} e^{-B } e^{-\beta } = {\mathcal{J}}_J

   if and only if n is even, i.e. \dim V is divisible by 4.

2. Let J\in\mathcal C_V be a complex structure. Then there exists a symplectic form \omega\in\scalebox{1.2}{}^2V^*, a 2-form B\in\scalebox{1.2}{}^2V^* and a bivector \beta\in\scalebox{1.2}{}^2V such that

   e^{\beta } e^{B } {\mathcal{J}}_{J} e^{-B } e^{-\beta } = {\mathcal{J}}_\omega

   if and only if n is even, i.e. \dim V is divisible by 4.

If M and \tilde{M} are T-dual, then there is an isomorphism of Courant algebroids

Moreover, if {\mathcal{J}} is a T^k-invariant GC structure on M it gets transformed to a T^k-invariant GC structure on \tilde{M} denoted \tilde{{\mathcal{J}}}.

Let

be a GC structure on V/\Gamma and

a GC structure on V^* / \Gamma^*. Then \tilde{{\mathcal{J}}} = {\mathcal{J}}' if and only if

In particular, if \alpha^{-1} := (1-\tilde{\beta} \beta ) is invertible, then \tilde{{\mathcal{J}}} = {\mathcal{J}}' if and only if

Let V/\Gamma and \tilde V/ \tilde \Gamma be affine integral T-dual. Then the induced equivalence of linear Courant algebroids \phi : V \oplus V^* \to \tilde V \oplus \tilde V^* is integral, i.e., \phi(\Gamma \times \Gamma^*) = \tilde \Gamma \times \tilde \Gamma^*. In particular, if we choose an isomorphism \Gamma \cong \tilde \Gamma, then the corresponding automorphism of V \oplus V^* is contained in O(\Gamma, \Gamma^*) \cong O(n,n;\mathbb Z).

Let X be a compact complex manifold, and consider its Dolbeault algebra \mathbf A(X). Then the homotopy category of cohesive modules \operatorname{Ho} {\mathcal{P}}_{\mathbf{A}(X)} is equivalent to {\operatorname{D^b_{coh}}}(X).

Let X = (M,I) be a complex manifold. There is an L_\infty-quasi-isomorphism

In particular,

There is an equivalence of \mathbb C_\epsilon-linear categories

The homotopy category {\rm Ho} {\mathcal{P}}_{\mathbf{A}(I,0,B)} is equivalent to the bounded derived category {\operatorname{D^b_{coh}}}(X,\tilde{B}) of complexes of \exp(2\pi \mathbf{i} B^{0,2})-twisted sheaves of {\mathcal{O}}_X-modules with coherent cohomology.

Up to isomorphism of algebras, C^\infty(V/\Gamma,\beta) and \mathbf{A}(I, \beta, 0) only depend on [\beta] \in \scalebox{1.2}{}^2 V / \scalebox{1.2}{}^2 \Gamma.

Let A be a Fréchet-Fredholm cdg-algebra. Then the morphism complexes in \mathcal P_{A} have finite-dimensional cohomology. More generally, let A, B, C be Fréchet-Fredholm cdg-algebras. Then the tensor product over B induces an A_\infty-functor

The cdg-algebra \mathbf{A}(I, \beta, B) is Fréchet-Fredholm.

The cdg-algebra \mathbf{A}(I, \beta, B) is Fréchet twist-smooth. In particular, there exists a canonical cohesive module

representing the identity functor

Let A and B be Fréchet twist-smooth, Fréchet-Fredholm cdg-algebras. Suppose that A and B are cohesive Morita equivalent. Then their dg-categories of cohesive modules are A_\infty-quasi-equivalent.

The Heisenberg module H(\sigma) carries a canonical projectively flat connection \nabla with curvature

and hence (\Omega^\bullet(V/\Gamma,\sigma) \widehat \otimes_{C^\infty(V/\Gamma,\sigma)} H(\sigma), \nabla) is a cohesive module over the cdg-algebra \Omega(V/\Gamma,\sigma,-\omega).

Let \beta \in \scalebox{1.2}{}^2 V, \tilde{\beta} \in \scalebox{1.2}{}^2 V^* such that 1 - \beta \tilde{\beta} \colon V \to V is invertible. Let I\colon V\to V be a complex structure. Then there exists a cohesive Heisenberg bimodule P, which we call the non-commutative Poincaré line bundle, over

if

is T-dual to

via \varphi (see ?), i.e., if

holds.

Let (V/\Gamma, I, \beta, B) and (V^*/\Gamma^*, \tilde I, \tilde{\beta}, \tilde{B}) be such that

and

are T-dual via \varphi. Moreover, suppose that

is invertible. Then \mathbf{A}(I, \beta, B) is cohesive Morita equivalent to \mathbf{A}(\tilde I, \tilde{\beta}, \tilde{B}). In particular, the non-commutative Poincaré line bundle induces an A_\infty-quasi-equivalence

Let (V/\Gamma,I) be a complex torus and let \sigma \in \scalebox{1.2}{}^{2,0} V. Choose a real bivector \beta \in \scalebox{1.2}{}^2 V such that (\beta)^{2,0} = \sigma. Then \mathcal P_{\mathbf A(I,\beta,0)} does not depend on the choice of \beta up to A_\infty-quasi-equivalence.

If

then the algebras \mathbf{A}(I_1,\beta_1,B_1) and \mathbf{A}(I_2,\beta_2,B_2) are cohesive Morita equivalent. In particular, {\mathcal{D}}({\mathcal{J}}) is well-defined up to A_\infty-quasi-equivalence if {\mathcal{J}} is of even cotype.

Let B_1,B_2 be two forms on V, \beta_1, \beta_2 bivectors on V and I_1,I_2 complex structures such that

Then there is a real two form \Delta \in \scalebox{1.2}{}^{(1,1)_{I_1}} V^*_{\mathbb C} \cap \scalebox{1.2}{}^2 V^* of type (1,1) for I_1, such that the following endomorphisms are invertible

Let V be a real vector space with a complex structure J \colon V \to V and let E \subset V be a real even-dimensional subspace of V. Then there exists a real 2-form of type (1,1), \omega \in \scalebox{1.2}{}^{(1,1)} V^*_{\mathbb C} \cap \scalebox{1.2}{}^2 V^* such that \omega|_{E \times E} is non-degenerate.

Let {\mathcal{J}} be a translation invariant GC structure on T^{2n} of even cotype. Then for any g\in SO(2n, 2n; \mathbb{Z}) there is an A_\infty-quasi-equivalence

{\mathcal{D}}({\mathcal{J}}) is well-defined up to A_\infty-quasi-equivalence and invariant under O(2n,2n;\mathbb{Z}).

The generalized derived category {\mathcal{D}}({\mathcal{J}}) is invariant under integral B-transforms and integral T-duality.

Given any translation invariant GC structure \mathcal J on the torus let \widehat {\mathcal{J}} = S{\mathcal{J}} S^{-1} be its mirror partner. Then

Let X=(V/\Gamma,\omega + \mathbf{i} B) be a B-symplectic torus admitting the structure of an affine Lagrangian fibration with an affine Lagrangian section and let {\mathcal{J}}_{\omega + \mathbf{i} B} = e^{B} {\mathcal{J}}_{\omega} e^{-B} be the associated GC structure. Let \check X be the complex torus mirror to X. Then

Let X be the 2n-torus equipped with a translation-invariant B-symplectic structure \omega + \mathbf{i} B admitting the structure of a Lagrangian fibration with a Lagrangian splitting. If homological mirror symmetry holds then {\mathcal{D}}({\mathcal{J}}_{\omega + \mathbf{i} B}) \simeq {\operatorname{Fuk}}'(X).

Let X be a B-symplectic torus admitting an affine Lagrangian and let {\mathcal{J}}_{\omega + \mathbf{i} B} be the associated GC structure. Then the mirror is a noncommutative torus. Moreover there is a complex torus \check X with a 2-form B' such that {\mathcal{D}}({\mathcal{J}}_{\omega+\mathbf{i} B}) is equivalent to the derived category of coherent B'-twisted sheaves on \check X.

b and \alpha determine a projectively flat connection of curvature

on N^0(L) and \omega_K(L)^{(2,0)_I + (0,2)_I} = \omega_K / 2.

There is an isomorphism

of \mathbf A(I,\omega_K^{-1},-\omega_K/2)-modules.

We have an isomorphism

There is a canonical isomorphism

Hence, Z naturally carries a complex structure induced by I. Moreover, the symplectic form \omega' on Z is of type (1,1) for I.

Let \omega' and I be as in Lemma 8.11. \omega'(I(-),(-)) defines a symmetric form on Z and we have the following:

where n^+ denotes the positive index.

There is a spectral sequence E^{pq}_* converging to the cohomology

Its first page is

where h is a quadratic function on C_1 whose negative index is equal to the Hyperkähler Maslov index \eta_{\mathrm{HK}}(L, \tilde L). It collapses on the second page to

Let (L,b,\alpha) and (\tilde L, \tilde b, \tilde \alpha) be affine Lagrangian objects. Then the derived Hom between \tilde N(L,b,\alpha) and \tilde N(\tilde L,\tilde b, \tilde \alpha) coincides with Floer cohomology:

Let \eta \in \{\eta_{\mathrm{HK}},\eta_{\mathrm{Fuk}} \}. Then

1. \tau^-(L_1,L_2,L_3) = \eta(L_2,L_1) + \eta(L_3,L_2) + \eta(L_1,L_3),

2. \eta(L_1,L_2) + \eta(L_2,L_1) = n - \dim(L_1 \cap L_2).

The indices \eta_{\mathrm{HK}} and \eta_{\mathrm{Fuk}} are cohomologous, i.e., there exists for every L a number \tau(L) \in \mathbb Z such that \eta_{\mathrm{HK}}(L_1,L_2) = \eta_{\mathrm{Fuk}}(L_1,L_2) + \tau(L_1) - \tau(L_2).