Peng Zhou

stream of notes

User Tools

Site Tools


notes:fukaya-with-b-field

From B-fields to the Quantum Torus: a Toy Model in Wrapped Fukaya Categories

0. The question

Start with the mirror pair

$$ \operatorname{Coh}( ( \mathbb C^* )^2 ) \quad\leftrightarrow\quad \operatorname{Fuk}(T^*T^2). $$

On the B-side, quantization of $( \mathbb C^* )^2$ should replace the commutative Laurent polynomial algebra

$$ \mathbb C[x^{\pm 1},y^{\pm 1}] $$

by the quantum torus

$$ \mathbb C_q[x^{\pm 1},y^{\pm 1}] = \mathbb C\langle x^{\pm 1},y^{\pm 1}\rangle/(xy=qyx). $$

The question is:

What is the corresponding modification on the A-side?

The answer in this toy model is: twist the wrapped Fukaya category of $T^*T^2$ by a $B$-field whose flux through the base torus is nonzero.

1. The ordinary wrapped Fukaya category of $T^*T^2$

Let

$$ M=T^*T^2. $$

Let $L=T^*_0T^2$ be a cotangent fiber. It is a basic generator of the wrapped Fukaya category.

One expects

$$ HW^0(L,L)\cong \mathbb C[ \pi_1(T^2) ]. $$

Since

$$ \pi_1(T^2)\cong \mathbb Z^2, $$

this gives

$$ HW^0(L,L) \cong \mathbb C[x^{\pm1},y^{\pm1}]. $$

Here $x$ and $y$ correspond to the two basic loops on $T^2$. Since $\mathbb Z^2$ is abelian, the product is commutative:

$$ xy=yx. $$

2. Twisting the product by a multiplicative 2-cocycle

A quantum torus can be viewed as a twisted group algebra of $\mathbb Z^2$.

Let $e_m$ denote the basis element corresponding to

$$ m=(m_1,m_2)\in \mathbb Z^2. $$

Instead of the ordinary product

$$ e_m e_n=e_{m+n}, $$

define

$$ e_m\star e_n=\sigma(m,n)e_{m+n}, $$

where

$$ \sigma:\mathbb Z^2\times\mathbb Z^2\to \mathbb C^* $$

is a multiplicative 2-cocycle. The cocycle condition is

$$ \sigma(m,n)\sigma(m+n,k) = \sigma(n,k)\sigma(m,n+k). $$

This is exactly the condition that $\star$ be associative.

For example, take

$$ \sigma(m,n)=q^{m_1n_2}. $$

Then, if

$$ x=e_{(1,0)},\qquad y=e_{(0,1)}, $$

we get

$$ x\star y=q\,y\star x. $$

Thus the quantum torus is just a twisted group algebra:

$$ \mathbb C_q[x^{\pm1},y^{\pm1}] \cong \mathbb C_\sigma[ \mathbb Z^2 ]. $$

3. How the $B$-field produces the cocycle

Now write

$$ T^*T^2\cong \mathbb R^2_{u,v}\times T^2_{\theta,\phi}. $$

Here $(\theta,\phi)$ are coordinates on the base torus and $(u,v)$ are cotangent fiber coordinates.

Take a $B$-field pulled back from the base:

$$ B=\beta\, d\theta\wedge d\phi. $$

In the wrapped Floer product, multiplying $e_m$ and $e_n$ is geometrically represented by a holomorphic triangle, or morally by a filling of two composable base loops. A $B$-field weights this triangle by

$$ \exp\left(2\pi i\int_{\Delta(m,n)}B\right). $$

Thus the product becomes

$$ e_m\star e_n = \exp\left(2\pi i\int_{\Delta(m,n)}B\right)e_{m+n}. $$

This is the desired multiplicative cocycle.

The commutator phase is the $B$-field holonomy around the parallelogram spanned by $m$ and $n$:

$$ \frac{e_m\star e_n}{e_n\star e_m} = \exp\left(2\pi i\beta(m_1n_2-m_2n_1)\right). $$

In particular,

$$ x\star y = \exp(2\pi i\beta)\, y\star x. $$

So if

$$ q=\exp(2\pi i\beta), $$

then

$$ x\star y=q\,y\star x. $$

4. Why associativity survives

The $A_\infty$-relations come from the boundary of one-dimensional moduli spaces of holomorphic polygons.

With a $B$-field, every polygon is weighted by

$$ \exp\left(2\pi i\int B\right). $$

When two polygons are glued, the integrals add. Therefore the weights multiply.

For three elements $e_m,e_n,e_k$, associativity compares the two decompositions of a quadrilateral into triangles. Since $B$ is closed, the total $B$-field holonomy of the quadrilateral is independent of the triangulation. Algebraically, this gives

$$ \sigma(m,n)\sigma(m+n,k) = \sigma(n,k)\sigma(m,n+k). $$

Thus the $B$-field holonomy automatically gives a multiplicative 2-cocycle.

5. Relation with the logarithmic holomorphic symplectic form

On $( \mathbb C^* )^2$, write

$$ x=e^{u+i\theta},\qquad y=e^{v+i\phi}. $$

The logarithmic holomorphic symplectic form is

$$ \Omega=d\log x\wedge d\log y. $$

Expanding,

$$ \Omega = (du+i\,d\theta)\wedge(dv+i\,d\phi). $$

Therefore

$$ \operatorname{Re}\Omega = du\wedge dv-d\theta\wedge d\phi, $$

and

$$ \operatorname{Im}\Omega = du\wedge d\phi+d\theta\wedge dv. $$

The base part of $\operatorname{Re}\Omega$ is

$$ -d\theta\wedge d\phi. $$

This is exactly the kind of $B$-field term that produces the quantum torus phase.

So the quantum torus deformation can be thought of as coming from the base-torus component of the real part of the logarithmic holomorphic symplectic form.

6. What about the extra $du\wedge dv$ term?

The form

$$ du\wedge dv $$

is exact on the cotangent fibers:

$$ du\wedge dv=d(u\,dv). $$

So the fiber-fiber part of the $B$-field is gauge-trivial.

More explicitly, if

$$ B_{\mathrm{fib}}=c\,du\wedge dv, $$

then with

$$ \Lambda=c\,u\,dv $$

we have

$$ B_{\mathrm{fib}}=d\Lambda. $$

A $B$-field gauge transformation sends

$$ B\mapsto B-d\Lambda. $$

Thus $c\,du\wedge dv$ can be gauged away.

At the brane level, one must also change the connection on the Lagrangian. If $L=T^*_0T^2$, then $B_{\mathrm{fib}}|_L\neq 0$. One can choose a connection one-form

$$ A=-2\pi i\,c\,u\,dv $$

so that

$$ F_\nabla=dA=-2\pi i\,c\,du\wedge dv. $$

Then

$$ F_\nabla+2\pi i B_{\mathrm{fib}}|_L=0. $$

After the gauge transformation, both $B_{\mathrm{fib}}$ and this connection term disappear.

By contrast,

$$ d\theta\wedge d\phi $$

is not exact on the base torus. Its period is the invariant quantity, and this is what gives the quantum torus relation.

7. Moral

The ordinary wrapped Fukaya category gives

$$ HW^0(T^*_0T^2,T^*_0T^2) \cong \mathbb C[x^{\pm1},y^{\pm1}]. $$

Turning on a base $B$-field

$$ B=\beta\,d\theta\wedge d\phi $$

twists the wrapped product by a cocycle and gives

$$ HW^0_B(T^*_0T^2,T^*_0T^2) \cong \mathbb C_q[x^{\pm1},y^{\pm1}], $$

where

$$ q=\exp(2\pi i\beta). $$

So, in this toy model,

$$ \boxed{ \text{quantizing } \operatorname{Coh}( ( \mathbb C^* )^2 ) \text{ corresponds on the A-side to a }B\text{-field twist of } \operatorname{Fuk}(T^*T^2). } $$

Or more poetically:

The two wrapped products $xy$ and $yx$ differ by the $B$-field flux through one fundamental parallelogram of the base torus.

8. Branes in the presence of a $B$-field

There is one important brane-level point. In the ordinary Fukaya category, an object is not just a Lagrangian submanifold $L$. One usually equips $L$ with extra data, for example a grading, spin or Pin structure, and a local system. Without a $B$-field, this local system is usually flat. In rank one, we can write it locally as a connection $\nabla=d+A$ on a $U(1)$ line bundle over $L$, with curvature $F_\nabla=dA$. Flatness means $F_\nabla=0$.

In the presence of a $B$-field, a disk contribution contains both an interior term and a boundary term. For a holomorphic disk or polygon $u:(\Sigma,\partial\Sigma)\to (M,L)$, the weight looks like $\exp(2\pi i\int_\Sigma u^*B)\cdot \exp(\int_{\partial\Sigma}A)$.

The reason a non-flat connection may be needed is that $B$-fields have gauge transformations. If $B\mapsto B+d\Lambda$, then $\int_\Sigma B$ changes by the boundary term $\int_\Sigma d\Lambda=\int_{\partial\Sigma}\Lambda$. To keep the total disk weight invariant, one must transform the connection $A$ on the brane at the same time. The gauge-invariant combination is morally $2\pi i\,B+F_\nabla$.

For a Lagrangian brane, the usual compatibility condition is $F_\nabla+2\pi i\,B|_L=0$, or equivalently $F_\nabla=-2\pi i\,B|_L$. Thus the connection on $L$ is flat only when $B|_L=0$ in the relevant sense. If $B|_L$ is nonzero, the brane must carry a possibly non-flat line bundle connection whose curvature cancels the restriction of the $B$-field.

For example, take $L=\mathbb R^2_{u,v}\subset T^*T^2$. Suppose the $B$-field has a fiber-fiber part $B_{\mathrm{fib}}=c\,du\wedge dv$. Then $B_{\mathrm{fib}}|_L=c\,du\wedge dv$. A compatible connection is $\nabla=d+A$, where $A=-2\pi i\,c\,u\,dv$. Indeed, $F_\nabla=dA=-2\pi i\,c\,du\wedge dv$, so $F_\nabla+2\pi i\,B_{\mathrm{fib}}|_L=0$.

This is the concrete meaning of saying that the curvature of the brane line bundle cancels the $B$-field restricted to $L$.

In contrast, if $L$ is one-dimensional, for example a line $L=\mathbb R\subset \mathbb C$, then every two-form restricts to zero on $L$. In that case $B|_L=0$, so there is nothing to cancel, and the brane local system remains flat.

In the example relevant to the quantum torus, the useful $B$-field is $B=\beta\,d\theta\wedge d\phi$. For the cotangent fiber $L=T^*_0T^2$, the coordinates $\theta,\phi$ are constant along $L$. Therefore $B|_L=0$. So the cotangent fiber itself does not need a non-flat connection for this base $B$-field. The effect of the $B$-field instead appears in the holonomy over the holomorphic triangles contributing to the wrapped product. This is what twists $xy=yx$ into $xy=qyx$.

notes/fukaya-with-b-field.txt · Last modified: 2026/06/10 18:08 by pzhou