Fukaya category (of a compact symplectic manifold) in the approach presented here will be in fact an $A_{\infty}$-pre-category. Our definition is not given in the maximal generality, but it will be sufficient for the main application to abelian varieties. For more elaborated definitions see [Fu1], [Ko].

Let $(V,\omega)$ be a compact symplectic manifold of dimension $2n$, such that $c_{1}(T_{V})=0\in H^{2}(V,{{\bf Z}})$. The Fukaya category (with the trivial $B$-field) associated with $(V,\omega)$ depends on some additional data, which we are going to describe below.

We fix an almost complex structure $J$ compatible with $\omega$ and a smooth everywhere non-vanishing differential form $\Omega$, which is $(n,0)$-form with respect to $J$. Let $L$ be an oriented Lagrangian submanifold. Then one has a map $Arg_{L}:=Arg_{\Omega_{|L}}:L\to{{\bf R}}/2\pi{{\bf Z}}$, where $Arg_{\Omega_{|L}}(x)$ is the argument of the non-zero complex number $\Omega(e_{1}\wedge...\wedge e_{n})$, and $e_{1},...,e_{n}$ is an oriented basis of $T_{x}L,x\in L$.

We will sometimes denote the Fukaya category by $F(V,\omega)$, or simply by $F(V)$. We will also often omit from the notation the lifted argument function, thus denoting an object simply by $(L,\rho)$.

Let ${{\bf C}}_{\varepsilon}$ be the field consisting of formal series $f=\sum_{i\geq 0}c_{i}e^{-\lambda_{i}/\varepsilon}$, such that $c_{i}\in{{\bf C}},\lambda_{i}\in{{\bf R}},\lambda_{0}<\lambda_{1}<...,\lambda_{i}\to+\infty$. In the case when $[\omega]\in H^{2}(V,{{\bf Z}})$, one can in fact work over the field ${{\bf C}}((q))$, where $q=exp(-{1\over{\varepsilon}})$. In general we equip ${{\bf C}}_{\varepsilon}$ with the adic topology: a fundamental system of neighborhoods of zero consists of sets $U_{x}=\{f=\sum_{i\geq 0}c_{i}e^{-\lambda_{i}/\varepsilon}|\lambda_{i}\geq x,i\geq 0\},x\in{{\bf R}}$.

Thus morphisms form a finite-dimensional vector space over the field ${{\bf C}}_{\varepsilon}$. There is a ${\bf Z}$-grading of the space of morphisms given in terms of Maslov index $deg:L_{1}\cap L_{2}\to{{\bf Z}}$ (see [Fu2], [Ko], [Se]).

Now we are going to describe the $A_{\infty}$-structure. It is defined by means of a collection of maps (higher compositions) of graded vector spaces $m_{k}^{F(V)}:\otimes_{0\leq i\leq k-1}Hom_{F(V)}((L_{i},\rho_{i}),(L_{i+1},\rho_{i+1}))\to Hom_{F(V)}((L_{0},\rho_{0}),(L_{k},\rho_{k}))[2-k]$, where $k\geq 1$ and the sequence $(L_{0},...,L_{k})$ corresponds to a transversal sequence of objects (the latter notion will be defined below).

In the case, when all local systems are trivial of rank one, the map $m_{k}$ is defined such as follows. Let $D$ be a standard disc $D=\{z\in{{\bf C}}|\,|z|\leq 1\}$. Let us fix a sequence $(L_{0},...,L_{k})$ of supports of objects with pairwise transversal intersections, intersection points $x_{i}\in L_{i}\cap L_{i+1},0\leq i\leq k-1$, $x_{k}\in L_{0}\cap L_{k}$, and $\beta\in\pi_{2}^{free}(V,\cup_{0\leq i\leq k}L_{i})$. We denote by ${\cal M}(L_{0},...,L_{k};x_{0},...,x_{k};\beta)$ the set of collections $(y_{0},...,y_{k};\psi)$, where $y_{i},0\leq i\leq k$ are cyclically ordered pairwise distinct points on the boundary $\partial D$, and $\psi:D\to(V,J)$ a pseudo-holomorphic map such that $\psi(y_{i})=x_{i},\psi(\overline{y_{i}y_{i+1}})\subset L_{i},0\leq i\leq k,y_{0}=y_{k}$, $[\phi]=\beta$. Here $\overline{y_{i}y_{i+1}}$ denotes the arc between $y_{i}$ and $y_{i+1}$. There is a natural action of $PSL(2,{{\bf R}})$ on ${\cal M}(L_{0},...,L_{k};x_{0},...,x_{k};\beta)$ arising from the holomorphic action on $D$ by fractional linear transformations. The action is free except of the case $k=1,x_{0}=x_{1},\beta=0$, which is not relevant for our purposes.

Let $x_{i}\in L_{i}\cap L_{i+1},0\leq i\leq k-1,x_{k}\in L_{0}\cap L_{k}$ satisfy the condition $deg\,x_{k}=\sum_{0\leq i\leq k-1}deg\,x_{i}+2-k$. Then the matrix element $(m_{k}(x_{0},x_{1},...,x_{k-1}),x_{k})$ is given by the formula $(m_{k}(x_{0},x_{1},...,x_{k-1}),x_{k})=\sum\pm q^{({\beta},[\omega])}$, where sum is taken over all $PSL(2,{{\bf R}})$-orbits of points in ${\cal M}(L_{0},...,L_{k};x_{0},...,x_{k};\beta)$. Signs are derived from orientations of certain cycles in the moduli space ${\cal M}={\cal M}(L_{0},...,L_{k};x_{0},...,x_{k};\beta)/PSL(2,{{\bf R}})$. We will comment on them below (see [Fu1], [Ko] for more details). In the case of non-trivial local systems there is an additional factor for each summand. It corresponds to the holonomies of local system along the arcs.

Now we will describe the transversality condition. Assume that we are given a sequence of objects $(L_{i},\rho_{i}),0\leq i\leq k$ of the Fukaya category. We say that they are transversal if the following conditions hold:

1) There are only pairwise intersections $L_{i}\cap L_{j}$, and they are transversal.

2) For any subsequence $(L_{i_{0}},...,L_{i_{m}}),\,m\geq 1,\,i_{0}<i_{1}<...<i_{m}$, any choice of intersection points $x_{i_{m}}\in L_{i_{0}}\cap L_{i_{m}}$, $x_{i_{p}}\in L_{i_{p}}\cap L_{i_{p+1}},0\leq p\leq m-1$ such that $deg\,x_{i_{m}}-(\sum_{0\leq i\leq m-1}deg\,x_{i_{p}}+2-m)=0$, and any $\beta\in\pi_{2}^{free}(V,\cup_{0\leq p\leq m}L_{i_{p}})$, the corresponding component of the moduli space
${\cal M}(L_{i_{0}},...,L_{i_{m}};x_{i_{0}},...,x_{i_{m}};\beta)/PSL(2,{{\bf R}})$ contains only smooth points, and is zero-dimensional.

3) If $deg\,x_{i_{m}}-(\sum_{0\leq i\leq m-1}deg\,x_{i_{p}}+2-m)<0$ then the corresponding component is empty.

Let us comment on these conditions. The first one is needed to define morphisms. The quotient set ${\cal M}={\cal M}(L_{i_{0}},...,L_{i_{m}};x_{i_{0}},...,x_{i_{m}};\beta)/PSL(2,{{\bf R}})$ which appears in the second condition locally can be identified with the space of solutions of a non-linear elliptic problem. For the linearized problem the corresponding Fredholm operator has index $deg\,x_{i_{m}}-(\sum_{0\leq i\leq m-1}deg\,x_{i_{p}}+2-m)$. We define smooth points ${\cal M}^{sm}$ of ${\cal M}$ as such points where the cokernel of the Fredholm operator is trivial. Then ${\cal M}^{sm}$ is a smooth manifold of the dimension equal to the index. Moreover, one checks that the spaces ${\cal M}^{sm}$ carry natural orientations given by the determinants of the corresponding Fredholm operators. It follows that in the zero-dimensional case what we get is a set of points with multiplicities $\pm 1$ (in particular, the multiplicities are integer numbers). Multiple covers and stable maps which appear in the definition of Gromov-Witten invariants and produce non-trivial denominators, do not appear in our framework for the Fukaya category. Therefore one can define the Fukaya category over the ring ${{\bf Z}}_{\varepsilon}$ (the integral version of ${{\bf C}}_{\varepsilon}$). The number of points counted with signs gives a tensor coefficient of $m_{k}$.

Composition maps satisfy a system of quadratic equations, thus making $F(V,\omega)$ into a non-unital $A_{\infty}$-pre-category. One can check that it is in fact an $A_{\infty}$-pre-category. Proof of the extension property is based on the following result of Fukaya (see [Fu2], [Se]).

For example, a sequence consisting of one object $(L,\rho)$ can be extended to a transversal sequence $((L_{t_{1}},\rho_{t_{1}}),(L,\rho))$. Similarly, one can extend any finite set of transversal sequences.

It is easy to see that the set of connected components of the space of pairs $(J,\Omega)$ (equipped with the natural topology) is a principal homogeneous space over the lattice $H^{1}(V,{{\bf Z}})$. Namely, $f:V\to U(1)$ acts on $(J,\Omega)$ such as follows: $(J,\Omega)\mapsto(J,f\Omega)$. The following theorem can be derived from [Fu2].

Therefore the equivalence class of the Fukaya category depends on the connected component of the space of pairs.