Bihamiltonian structure of the DR hierarchy in the semisimple case

TL;DR

This paper proves the conjecture that the double ramification (DR) hierarchy of a semisimple CohFT has a bihamiltonian structure, explicitly constructed via a differential operator, linking it to the Dubrovin-Zhang hierarchy.

Contribution

It establishes the bihamiltonian structure of the DR hierarchy for semisimple CohFTs by proving a conjecture and connecting it explicitly to the DZ hierarchy through recent results.

Findings

Proved the conjecture on bihamiltonian structure of the DR hierarchy.

Established the equivalence between DR and DZ hierarchies under Miura transformation.

Provided an explicit formula for the second Poisson bracket of the hierarchy.

Abstract

Of the two approaches to integrable systems associated to semisimple cohomological field theories (CohFTs), the one suggested by Dubrovin and Zhang and the more recent one using the geometry of the double ramification (DR) cycle, the second has the advantage of being very explicit. The Poisson operator of the DR hierarchy is $\eta^{-1} \partial_x$, where $\eta$ is the metric of the CohFT, and the Hamiltonians are explicitly defined as generating functions of intersection numbers of the CohFT with the DR cycle, the top Hodge class $\lambda_g$, and powers of a psi-class. The question whether the DR hierarchy is endowed with a bihamiltonian structure appeared to be much harder. In our previous work in collaboration with S. Shadrin, when the CohFT is homogeneous, we proposed an explicit formula for a differential operator and conjectured that it would provide the required bihamiltonian structure. In this paper, we prove this conjecture. Our proof is based on two recently proved results: the equivalence of the DR hierarchy and the Dubrovin-Zhang hierarchy of a semisimple CohFT under Miura transformation and the polynomiality of the second Poisson bracket of the DZ hierarchy of a homogeneous semisimple CohFT. In particular, our second Poisson bracket coincides through the DR/DZ equivalence with the second Poisson bracket of the DZ hierarchy, hence providing a remarkably explicit approach to their bihamiltonian structure.