BCFG Drinfeld-Sokolov hierarchies and FJRW-theory (Q493113)

\textit{E. Witten} [in: Surveys in differential geometry. Vol. I: Proceedings of the conference on geometry and topology, held at Harvard University, Cambridge, MA, USA, April 27-29, 1990. Providence, RI: American Mathematical Society; Bethlehem, PA: Lehigh University. 243--310 (1991; Zbl 0757.53049)] gave a remarkable conjecture relating the intersection theory of the (Deligne-Mumford compactified) moduli space \(\overline{\mathcal{M}}_{g,k}\) of genus \(g\) Riemann surfaces with \(k\) punctures and integrable systems in KdV hieracrchies. This was later proved by \textit{M. Kontsevich} [Commun. Math. Phys. 147, No. 1, 1--23 (1992; Zbl 0756.35081)]. More precisely, the generating (partition) function \(\exp\left(\mathcal{F}\right)\) where \( \mathcal{F} = \sum\limits_{g=0}^\infty \hbar^{g-1} \sum\limits_{k=0}^\infty \frac{t_{l_1} \ldots t_{l_k}}{k!} I_g \) with intersection numbers \(I_g = \left< \tau_{l_1}, \ldots, \tau_{l_k} \right>_g = \int_{\overline{\mathcal{M}}_{g,k}} \prod_i \psi_i^{l_i}\) for \(\psi_i \in H^{2i}(\overline{\mathcal{M}}_{g,k})\) being the first Chern class of certain line-bundles, should be a tau-function of the KdV hierarchy. A host of activities ensued in the past 2 decades, in various generalization relating the intersection theory, especially in light of Gromov-Witten invariants and other integrable hierarchies, by \textit{A. Okounkov} and \textit{R. Pandharipande} [Ann. Math. (2) 163, No. 2, 561--605 (2006; Zbl 1105.14077)], \textit{B. Dubrovin} and \textit{Y. Zhang} [Commun. Math. Phys. 198, No. 2, 311--361 (1998; Zbl 0923.58060)], \textit{E. Getzler} [in: Symplectic geometry and mirror symmetry. Proceedings of the 4th KIAS annual international conference, Seoul, South Korea, August 14--18, 2000. Singapore: World Scientific. 51--79 (2001; Zbl 1047.37046)], Fan-Jarvis-Ruan (FJRW) [\textit{H. Fan} et al., Ann. Math. (2) 178, No. 1, 1--106 (2013; Zbl 1310.32032)] et al. This correspondence can be thought of a manifestation of mirror symmetry with the geometry side playing the role of the A-model and the integrable side, the B-model. Of particular note is the beautiful result of FJRW that the Drinfeld-Sokolov hierarchy for affine simply-laced Lie algebras ADE corresponds to geometric orbifolds of ADE-type. However, the Saito-Givental-Dubronvin-Zhang partition functions of the non-simply-laced BCGF singularities have been shown not to be tau-functions of the corresponding Drinfeld-Sokolov hierarchy. The purpose of the current paper is to nicely complete this story (cf.~Theorems 1.3 and 1.4): a correction is needed. In particular, the partition function of the \(\Gamma\)-invariant sectors of \(A,D^T,E_6\) (where the \(D^T\) is a mirror version of the D-type singularity) FJRW theory with maximal diagonal symmetry group is a tau-function of the corresponding \(B,C,F_4\) Drinfeld-Sokolov hierarchy (note the foldings of the respective Dynkin diagrams). Moreover, the partition function of the \(\mathbb{Z}_3\)-invariant sector of a \(D_4\) FJRW theory gives that of the \(G_2\) case.