Abstract:We establish the Miura equivalence of two integrable systems associated to a semi-simple cohomological field theory: the double ramification hierarchy of Buryak and the Dubrovin-Zhang hierarchy. This equivalence was conjectured by Buryak and further refined by Buryak, Dubrovin, Guéré, and Rossi.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the proof of the **Strong DR/DZ Equivalence Conjecture**. Specifically, the authors aim to prove that two integrable systems related to semi - simple cohomological field theory - Buryak's double ramification hierarchy and the Dubrovin - Zhang hierarchy - are equivalent under normal Miura transformations.
### Background Introduction
1. **Cohomological Field Theory (CohFT)**
- CohFT is a system of linear mappings used to describe algebraic structures on moduli spaces. It has wide applications in Gromov - Witten theory and other enumerative problems.
- For a semi - simple CohFT, one can define its potential function \(F\) and partition function \(Z:=\exp(\epsilon^{-2}F)\).
2. **Dubrovin - Zhang Hierarchy**
- This is a Hamiltonian integrable hierarchy related to semi - simple CohFT, proposed by Dubrovin and Zhang.
- It can be represented by new coordinate systems \(w_{\alpha,d}\) and has a polynomial Hamiltonian structure.
3. **Buryak's Double Ramification Hierarchy**
- Buryak proposed another integrable system related to CohFT, which is defined by formal variables \(u_{\alpha,d}\) and differential polynomials \(P_{\alpha}^{\beta,d}\).
- This hierarchy also has a Hamiltonian structure, but its coordinates \(u_{\alpha}\) are not necessarily normal coordinates of the tau - structure.
### Strong DR/DZ Equivalence Conjecture
- **Conjecture Content**
- For any semi - simple CohFT, there exists a differential polynomial \(P\) such that through the normal Miura transformation \(w_{\alpha}\mapsto\tilde{u}_{\alpha}(w) = w_{\alpha}+\eta_{\alpha\gamma}\partial_x\{P,\bar{h}_{DZ}^{\mu,0}\}_{KDZ}\), the Dubrovin - Zhang hierarchy can be transformed into Buryak's double ramification hierarchy.
- Here, \(\bar{h}_{DZ}^{\mu,0}\) is the Hamiltonian of the time flow \(\partial_{t^{\mu,0}}\) of the Dubrovin - Zhang hierarchy, and \(\{\cdot,\cdot\}_{KDZ}\) represents the Poisson bracket of the Dubrovin - Zhang hierarchy.
### Main Contributions of the Paper
- **Main Theorem**
- The authors proved the above - mentioned Strong DR/DZ Equivalence Conjecture.
- They achieved this by proving that a series of generalized \(A = B\) relations hold in Gorenstein quotients.
### Proof Methods
- **A = B Relations**
- The \(A = B\) relations are a series of conjectured relations proposed in the tautological ring of the moduli space of curves.
- The authors proved that these relations hold in Gorenstein quotients, thereby deducing the validity of the Strong DR/DZ Equivalence Conjecture.
- **Master Relation**
- The authors introduced a new master relation and proved that these master relations vanish in Gorenstein quotients.
- Through the equivalence between the master relation and the \(A = B\) relations, the validity of the \(A = B\) relations was further verified.
### Conclusion
- This paper finally proved the \(A = B\) relations in Gorenstein quotients.