Can the higher order $A_{\infty}$ multiplications defined by Fukaya be made trivial(by perturbing gradient trees) when Morse cochain complex is isomorphic to Morse cohomology, in which case the cup product is associative, e.g. $S^n, \mathbb{C}P^n$ with the standard Morse funcitons on them?
$\begingroup$
$\endgroup$
3

1$\begingroup$ Typically one needs to choose more data (e.g. several Morse functions or some other perturbation data on Stasheff trees) to define these operations? Probably the answer to your question will depend on how you choose this data... $\endgroup$ – Daniel Pomerleano Apr 2 '19 at 16:16

$\begingroup$ We fix the Morse function and perturb the gradient flow trees, thx. $\endgroup$ – Arun Apr 4 '19 at 8:33

$\begingroup$ Just a note about the degree condition: If the coefficient of $m_k(x_1,\dotsc, x_k)$ at $x_{k+1}$ is nonzero, then the Morse indices satisfy $\mu(x_1) + \dotsb + \mu(x_k)  \mu(x_{k+1}) + k  2 = 0$, which is the dimension$0$condition on the moduli space of Morse trees. Assuming that the Morse complex of $S^n$ is generated by one generator $S$ in degree $0$ and one generator $N$ in degree $n$, the only solution of this equation for $k\ge 3$ is for $k = n+2$ and $x_1 = \dots = x_k = S$, $x_{k+1}=N$. I would guess that this must be also zero for some geometric reasons. $\endgroup$ – Pavel Jun 12 '20 at 13:57
Add a comment
