Frobenius manifolds in the context of \(\mathbb{A} \)-manifolds (Q2140911)

\textit{Frobenius manifolds} are natural geometric objects encoding constraints satisfied by enumerative invariants of projective varieties. The data of such a manifold \(M\) consists of a smoothly varying \textit{Frobenius algebra} structure on its tangent spaces \(T_pM\) subject to some additional conditions. A Frobenius algebra is a unital commutative associative algebra \(\mathbb A\) that is isomorphic to the dual counital cocommutative coassociative coalgebra \(\mathbb A^*\) as \(\mathbb A\)-modules. The additional conditions ensure that there are coordinates \(t_1,\ldots,t_n\) and a function \(F\) on \(M\) such that the units \(u\in\Gamma(TM)\), isomorphisms \(g\in \mathrm{Hom}(TM,T^*M)\), and products \(m\in \mathrm{Hom}(TM\otimes TM,TM)\) are given by \[ u=\partial_{t_1}, \quad g(\partial_{t_i})=\mathrm d(\partial_{t_1}\partial_{t_i}F), \quad m(\partial_{t_i},\partial_{t_j}) = g^{-1}\mathrm d(\partial_{t_i}\partial_{t_j}F). \] In these coordinates, the associativity condition for the product \(m\) then becomes the Witten-Dijkgraaf-Verlinde-Verlinde (WDVV) equations satisfied by generating functions of counts of rational curves in projective varieties. In particular, the Frobenius algebra at every point \(p\in M\) is isomorphic to \(\mathbb R^{n}\) as a vector space. On the other hand, we have the notion of \(\mathbb A\)-\textit{manifolds modelled on an} \(\mathbb A\)-\textit{module} \(L\) with \(\mathbb A\) being a unital commutative associative algebra. This is the data of an atlas on a manifold \(M\) whose charts \((U_\alpha,h_\alpha)\) take values in the fixed \(\mathbb A\)-\textit{module} \(L\) such that the transition functions are \(\mathbb A\)-differentiable, i.e., the maps \(\mathrm d(h_\alpha\circ h^{-1}_\beta)\) are \(\mathbb A\)-module isomorphisms. In the case when \(\mathbb A\) is a Frobenius algebra and \(L\) is both an \(\mathbb A\)-module as well as an \(\mathbb A\)-comodule, we can ask for the additional compatibility condition that the maps \(\mathrm d(h_\alpha\circ h^{-1}_\beta)^*\) are \(\mathbb A\)-comodule isomorphisms as well. This gives a \emph{manifold over a Frobenius algebra} \(\mathbb A\) modelled on \(L\). The main result of this work is that Frobenius manifolds are manifolds over a Frobenius algebra \(\mathbb A \cong \mathbb R^n\) modelled on \(L=\mathbb A\). In particular, their \(\mathbb A\)-dimension is \(1\). In addition, the authors develop \(G\)-equivariant versions of the above constructions, with \(G\) being some group, which are relevant in the setting of orbifolds.