The small quantum cohomology of a weighted projective space, a mirror \(D\)-module and their classical limits (Q1953079)

Mirror symmetry has made a lot of surprising predictions in algebraic geometry. There are still many wonderful problems to work on. From a mathematical point of view, mirror symmetry is formulated as the correspondence of the A-model and B-model geometry. This paper first studies the mirror partner (B-model) of the small quantum orbifold cohomology of weighted projective spaces \(\mathbb{P}(w):=\mathbb{P}(w_0,w_1,\dots,w_n)\) (A-model) in the framework of differential equations. Following [\textit{H. Iritani}, Adv. Math. 222, 1016--1079 (2009; Zbl 1190.14054)], one can attach a quantum differential system to any proper smooth Deligne-Mumford stack using the quantum orbifold cohomology. By the result \textit{T. Coates} et al., [Acta. Math. 202(2), 139--193 (2009; Zbl 1213.53106)], this construction can be done explicitly in the case of weighted projective spaces and yields a quantum differential system \[ \mathcal{Q}^A=(\mathcal{M}_A,\tilde{H}^{A,\text{sm}},\tilde{\nabla}^{A,\text{sm}},\tilde{S}^{A,\text{sm}},n) \] where \(\mathcal{M}_A\simeq \mathbb{C}^*\), the metric \(\tilde{S}^{A,\text{sm}}\) being constructed with the help of the orbifold Poincaré duality. This quantum differential system is called the ``small A-model quantum differential system'' by the authors. On the other hand, using the method developed in [\textit{E. Mann}, J. Alg. Geom. 17, 137--166 (2008; Zbl 1146.14029)], from the Gauss-Manin system of the function \(F: U\times \mathcal{M}_B\rightarrow\mathbb{C}\) defined by \[ F(u_1,\dots,u_n,x)=u_1+\cdots+u_n+\frac{x}{u_1^{w_1}\cdots u_n^{w_n}} \] where \(U=(\mathbb{C}^*)^n\) and \(\mathcal{M}_B=\mathbb{C}^*\), the authors obtain a quantum differential system \[ \mathcal{Q}^B=(\mathcal{M}_B,H^{B},\nabla^{B},S^{B},n) \] which is called the ``B-model quantum differential system''. Then the authors prove that the quantum differential systems \(\mathcal{Q}^A\) and \(\mathcal{Q}^B\) are isomorphic. Identifying these two models under this isomorphism, the authors finally obtain a quantum differential system \[ \mathcal{S}_w=(\mathcal{M},H,\nabla,S,n) \] where \(\mathcal{M}=\mathbb{C}^*\)(the index \(w\) recalls the weights \(w_0,\dots,w_n\)). Then the associated Frobenius type structure \(F_w\) on \(\mathcal{M}\) is a tuple \[ \mathbb{F}_w=(\mathcal{M},E,R_0,R_\infty,\Phi,\nabla,g). \] In the second part of this paper, the authors study the behavior of these structures at the origin. They construct a limit quantum differential system \[ \overline{\mathcal{S}}_w=(\overline{H},\overline{\nabla},\overline{S},n) \] on \(\mathbb{P}^1\), and also a limit Frobenius type structure \(\overline{\mathbb{F}}_w\). The last part of this paper is devoted to the construction of classical, limit and logarithmic Frobenius manifolds.