Mirror fibrations and root stacks of weighted projective spaces (Q2518876)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mirror fibrations and root stacks of weighted projective spaces
scientific article

    Statements

    Mirror fibrations and root stacks of weighted projective spaces (English)
    0 references
    0 references
    0 references
    20 January 2009
    0 references
    Originally, mirror symmetry was formulated for pairs of Calabi-Yau manifolds, but later was extended to Fano manifolds. For example, the mirror partner of projective \(n\)-space \(\mathbb P^n\) is the function \(f=x_0+\dots+x_n\) on the torus given by \(x_0\cdot\dots\cdot x_n=1\) in affine \((n+1)\)-space. In this situation, mirror symmetry manifests itself through an isomorphism between the Frobenius manifolds obtained by unfolding \(f\) and the quantum cohomology of \(\mathbb P^n\). As a consequence, one obtains an isomorphism between the cohomology ring of \(\mathbb P^n\) and the Jacobian algebra of \(f\) at the fibre over \(0\) of \(\pi=x_0\cdot\dots\cdot x_n\). In this paper, the authors consider the situation in which \(\mathbb P^n\) is replaced by a certain smooth toric Deligne-Mumford stack \({\mathcal X}(p,w)\) whose coarse moduli space is the weighted projective space \(\mathbb P(p)\), where \(p,w\in\mathbb Z^{n+1}\) are certain weights. Their main result is the construction of a flat fibration \({\mathcal Y}(p)\rightarrow{\mathcal C}(p)\) over a rational curve together with a function \(f_w\) on \({\mathcal Y}(p)\), such that the Jacobian algebra of \(f_w\) is isomorphic to the orbifold Chow ring of \({\mathcal X}(p,w)\). This generalises results of \textit{E.\ Mann} [J.\ Algebr.\ Geom.\ 17, No.\ 1, 137--166 (2008; Zbl 1146.14029)] and \textit{T.\ Coates, A.\ Corti, Y.-P.\ Lee} and \textit{H.-H.\ Tseng} [Acta Math.\ 202, No.\ 2, 139--193 (2009; Zbl 1213.53106)] which show that the mirror of the weighted projective space \(\mathbb P(p)\) is the function \(f=x_0+\dots+x_n\) on the torus given by \(x_0^{p_0}\cdot\dots\cdot x_n^{p_n}=1\).
    0 references
    0 references
    0 references
    0 references
    0 references
    mirror partner
    0 references
    toric Deligne-Mumford stack
    0 references
    stacky fan
    0 references
    orbifold Chow ring
    0 references
    SINGULAR
    0 references
    unfolding
    0 references
    0 references
    0 references