A quantum Leray-Hirsch theorem for banded gerbes (Q2073267)

The relationship between global and local is an eternal theme of mathematics. The classical Künneth formula expresses the cohomology of a product space as a tensor product of the cohomologies of the direct factors. Furthermore, if \(\pi: E\rightarrow B\) is a fiber bundle with fiber \(F\), the celebrated Leray-Hirsch theorem states that the cohomology of fiber bundle \(E\) is equal to the tensor product of the cohomologies of the base and fiber, i.e. \(H^* (E)\cong H^*(B)\otimes H^*(F)\). With the development of Gromov-Witten theory, a natural question is to ask : What is quantum geometry picture for the Leray-Hirsch theorem? The paper under review tries to answer this question and studies the quantum version of Leray-Hirsch theorem in the context of orbifold Gromov-Witten theory of a gerbe \(\mathcal{Y}\rightarrow \mathcal{B}\) banded by a finite group \(G\), where \(\mathcal{B}\) is a smooth proper (i.e. compact) Deligne-Mumford stack and a \(G\)-gerbe \(\mathcal{Y}\rightarrow \mathcal{B}\) can be regarded as a fiber bundle over complex orbifold \(\mathcal{B}\) with fiber \(BG\). The main result (i.e. quantum Leray-Hirsch theorem) states that the Gromov-Witten theory of \(\mathcal{Y}\) can be expressed in terms of the Gromov-Witten theory of base \(\mathcal{B}\) and the information of fiber \(BG\). The key point of the proof is to analyze the properties and degree for the pushforward map \(\pi: \overline{\mathcal{M}}_{g, n}(\mathcal{Y}, \beta)\rightarrow \overline{\mathcal{M}}_{g, n}(\mathcal{B}, \beta)\). In conclusion, the paper under review presents an important structural decomposition theorem for a banded \(G\)-gerbe over complex orbifold \(\mathcal{B}\) which can be regarded as a quantum Leray-Hirsch style theorem. The combinatorial degree formula and virtual pushforward formula are impressive in the proof.