Equivariant split generation and mirror symmetry of special isogenous tori (Q1681998): Difference between revisions

The main subject of study in this paper is the investigation of the relationship between the Fukaya category of a symplectic manifold and its finite coverings. Starting from [Mem. Am. Math. Soc. 1116, iii-v, 129 p. (2015; Zbl 1334.53091)] where \textit{P. Seidel} related an equivariant Fukaya category of a branched cover over a quartic surface to the one downstairs. This aspect of Fukaya categories has been previously considered in several different perspectives. For example, \textit{A. F. Ritter} and \textit{I. Smith} [Sel. Math., New Ser. 23, No. 1, 533--642 (2017; Zbl 1359.53068)] showed that for a finite covering \(\pi: X \to \overline X\) with deck transformation \(G\), if \(\overline{\mathcal B}\) is a collection of Lagrangian branes that split-generates the Fukaya category \({\mathcal F}uk(\overline X)\), then their lifts also split-generates \({\mathcal F}uk(X)\) at least in the monotone Fukaya category. The paper under review addresses in general the other direction of the Ritter-Smith result. The answer to this question is expected to hold if one enlarges the Fukaya category by including immersed Lagrangian submanifolds and extends \textit{M. Abouzaid}'s generation result [Publ. Math., Inst. Hautes Étud. Sci. 112, 191--240 (2010; Zbl 1215.53078)]: Note that the projection of embedded Lagrangian submanifolds under the covering is not generally embedded but only immersed. The author of the present paper avoids this issue of non-embeddedness by considering a \(G\)-equivariant Fukaya category instead by replacing these extra immersed objects by \(G\)-orbits of their lifts in \(X\), establishing a \(G\)-equivariant version of Abouzaid's generation criterion and then proving that there is a transfer functor from \({\mathcal F}uk(\overline X)\) to \({\mathcal F}uk(X)^G\) which is fully faithful. As concrete application, the author obtains new cases of homological mirror symmetry for some non-split symplectic tori which the author calls special isogenous tori and extends the work of \textit{M. Abouzaid} and \textit{I. Smith} [Duke Math. J. 152, No. 3, 373--440 (2010; Zbl 1195.14056)] on the 4-torus.