Pith. sign in

REVIEW 4 major objections 4 minor 58 references

Finite Group Reduction of the DR/DZ Hierarchies

T0 review · 4 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Pith's one-line read Finite-group reduction of the DR/DZ hierarchies preserves their bihamiltonian structure and tau structure, and the reduced DR and DZ hierarchies are related by a Miura-type transformation, as shown by applying this to the orbifold Gromov–Wi

desk verdict A substantive, likely-correct generalization of BCFG folding to the DR/DZ setting, with an interesting but under-verified application in Section 5.2.2. read the letter →

arxiv 2607.16607 v1 pith:M4DMSZFL submitted 2026-07-18 math.AG math-phmath.MP

classification math.AGmath-phmath.MP MSC 14H1014N3537K10
keywords finitegroupreductionDR/DZhierarchiesbihamiltonianstructuretaucohomologicalfieldtheoryorbifoldGromov-WittenHurwitzspacetopologicalrecursion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that finite-group reduction is a structure-preserving operation for the two integrable hierarchies associated to any semisimple cohomological field theory: the DR hierarchy and the DZ hierarchy. When a finite group acts on the cohomology, restricting to the invariant flows yields a new hierarchy that still carries a bihamiltonian structure and a tau structure, and the DR/DZ equivalence survives the reduction. The authors exhibit two finite group actions on the orbifold Gromov–Witten theory of P^1_{2,2,2,2} that produce two reduced hierarchies with the same genus-zero data—the Frobenius manifold of the Hurwitz space M_{1;1}—but genuinely different higher-genus completions. One of them is equivalent to genus-one topological recursion after a rescaling; the other has unequal central invariants. The upshot is that a single Frobenius manifold can support inequivalent higher-genus reconstructions.

What carries the argument

The key object is the fixed-sector restriction: the ambient CohFT Λ is restricted to the Γ-invariant subspace of cohomology, producing Λ^Γ, which is a numerically partial CohFT—satisfying all CohFT axioms except the loop-gluing axiom, and with tree-gluing holding only numerically. The transfer is carried by Γ-equivariance of the DR/DZ machinery: the string equation is used to lift the Γ-action to the jet spaces, the DR/DZ Miura-type transformation is shown to be Γ-linearized, and an averaging lemma (Lemma 2.10) ensures that differential-polynomial quantities with a moving-sector leg vanish, which lets the Schouten–Nijenhuis bracket descend to the fixed locus.

What would settle it

Compute the lowest-order nontrivial term in the DR flow commutator for a concrete numerically partial CohFT (satisfying C1, C2, C5, and (3.12) but not C4); if any such term fails to vanish, the weakening of the DR construction used in §3.4 is false. Alternatively, compute the central invariants of the Z2×Z2-reduced hierarchy directly from the formulas in §5.2.2 and check whether they equal {1/12,1/12,1/12}.

Watch

Extended reading notes

Core claim

The central theorem is that finite-group reduction is structure-preserving for the DR/DZ construction. Given a semisimple CohFT with a numerical finite symmetry Γ, the restriction of the CohFT to the Γ-fixed sector is only a numerically partial CohFT—it satisfies the tree-gluing axiom numerically and fails the loop-gluing axiom—yet the associated reduced DR hierarchy still admits the bihamiltonian pair (P_1^{DR,Γ}, P_2^{DR,Γ}) and the reduced DZ hierarchy admits a compatible tau structure. Moreover, the known Miura-type equivalence between the ambient DR and DZ hierarchies restricts to a Miura-type transformation between the reduced hierarchies. In the example, applying this to the natural S

Load-bearing premise

The load-bearing premise is that the DR-hierarchy machinery—commutativity of flows and the second Hamiltonian structure—remains valid when the CohFT axioms are weakened to the numerically partial ones satisfied by the Γ-fixed restriction; the paper refers to earlier proofs for this but does not reproduce them, and if that transfer fails the reduction theorem collapses.

Editorial extensions

If this is right

  • Finite-group reduction is a structure-preserving operation on the DR/DZ hierarchies for every semisimple CohFT with a numerical finite symmetry, so reduced hierarchies inherit bihamiltonian structure, tau structure, and a DR/DZ equivalence.
  • The genus-zero Frobenius manifold of the Hurwitz space M_{1;1} admits at least two inequivalent higher-genus integrable completions, distinguished by their central invariants.
  • The Z2×Z2-reduced hierarchy is, after rescaling, equivalent to the genus-one topological recursion, giving an explicit bridge between DR/DZ hierarchies and topological recursion.
  • The associated numerical partial CohFTs satisfy modified Virasoro constraints rather than the standard ones, so the standard linearization criterion (central invariants all 1/24) is not necessary for a tau function of topological-recursion type.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension the paper leaves implicit: if finite-group reduction is structure-preserving generally, then the classic folding constructions of Lie-algebra hierarchies (BCFG from ADE) can be obtained by DR/DZ reduction from suitable semisimple CohFTs, and the central invariants of the folded hierarchies should match those computed here.
  • Because the same Frobenius manifold accepts two inequivalent higher-genus completions, the genus-zero data alone do not determine the higher-genus structure; a concrete test is whether any other finite subgroup of the S4 symmetry on P^1_{2,2,2,2} yields a third set of central invariants.
  • The equivalence with genus-one topological recursion after rescaling ε suggests that changing the genus-expansion parameter may be the right notion of equivalence between reduced hierarchies and topological recursion; if so, one could test whether higher-genus spectral curves align with reductions of DR/DZ hierarchies under the same rescaling.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper develops a Γ-reduction formalism for the Dubrovin–Zhang and Double Ramification hierarchies associated to a semisimple CohFT with a numerical finite group symmetry. Section 2 introduces Γ-linearized coordinates and proves algebraic lemmas for passing to fixed loci of differential polynomials. Section 3 defines numerically partial CohFTs and associates a DR hierarchy to them, asserting commutativity and bihamiltonicity in this weakened setting. Section 4 proves the main structural theorem: for a semisimple CohFT with numerical symmetry Γ, the Γ-invariant flows of the ambient DR and DZ hierarchies form bihamiltonian hierarchies with inherited tau structures, connected by a Miura-type transformation (Theorems 4.3, 4.11, 4.14). Section 5 applies the result to the orbifold Gromov–Witten theory of P^1_{2,2,2,2}: the natural S_4 reduction has central invariants {1/6, 1/24, 1/24}, while an auxiliary Z_2×Z_2 action yields {1/12, 1/12, 1/12}; the paper then claims that the rescaled reduced hierarchy is equivalent to genus-one topological recursion, producing two distinct higher-genus completions of the Hurwitz-space Frobenius manifold M_{1;1}.

Significance. If the main structural theorem holds, it establishes a general and useful mechanism: finite-group restriction is a structure-preserving operation on the DR/DZ construction for semisimple CohFTs, and the reduced objects inherit the full Hamiltonian and tau-symmetry package. This is a substantial contribution to the DR/DZ programme, connecting the ADE/BCFG folding idea with the recent strong DR/DZ equivalence. The Section 4 argument is credible and non-circular: the reduced structures are obtained by applying ι_* to ambient objects, and the key reduction steps use Lemmas 4.2, 4.7, 4.10 together with independent results [3,5,9]. The application to M_{1;1} is striking: if correct, it gives two canonically constructed, inequivalent integrable hierarchies with the same genus-zero data. However, the advertised equivalence to genus-one topological recursion currently rests on two unverified claims, so the significance of the example is not yet fully established.

major comments (4)
  1. [§5.2.2, after Eq. (5.7)] The central-invariant computation is not displayed. The text says 'One can verify similarly that the central invariants in this case are given by {1/12,1/12,1/12}', but no P_1^{Z_2×Z_2}, P_2^{Z_2×Z_2} expansions, canonical coordinates, or pencil data are given. Moreover, the effect of the rescalings 2^{1-g}Λ and ε→ε/2 on the central-invariant formula of §5.1 must be tracked explicitly. Without this computation, Corollary 5.4 and the claimed inequivalence rest on an unverified assertion.
  2. [§5.2.2, Virasoro uniqueness claim] The identification with topological recursion is asserted through an uncited rigidity statement: 'The Virasoro constraints force them to coincide up to an automorphism...' This is a nontrivial uniqueness theorem for tau functions with fixed dispersionless limit and standard Virasoro symmetries. It is neither proved nor referenced, and it is unclear whether it applies to numerically partial CohFTs that fail the loop-gluing axiom (C4). This claim is load-bearing for Theorem 1.2(2); a proof or precise citation is required.
  3. [§3.4] Two transfer claims are stated without proof: that the flow-commutativity proof of [4] 'does not involve (C4) and remains valid if the axiom (C3) is replaced by (3.12)', and that the proof of [P_1^DR,P_2^DR]=0 in [10] only uses (|φ_α|+|φ_β|−d)η^{αβ}=0. The reduced object Λ^Γ is only a numerically partial CohFT, so these assertions are not immediate. If they are needed for the definition of the reduced DR hierarchy, they require proof; if Theorem 4.3 provides an independent derivation of the reduced bihamiltonian structure, the text should state this explicitly and remove the unproved transfer claims from the logical path.
  4. [§4.1, Lemma 4.2] The proof of Lemma 4.2 ends with the sentence 'As for the term 1/2 θ_{α''} fP_i^{DR,α''β''}(θ_{β''}), it depends quadratically in odd variables θ^s_{α''} with index α'' in J.' This is not a complete verification of condition (2.11) for that term. The intended argument presumably uses that any derivative leaving a J-index odd variable vanishes after ι_*, but this should be written out. Since Lemma 4.2 is a central technical tool, the gap should be filled.
minor comments (4)
  1. [§5.2.2] The sentence 'which coincides with F^{S_4} where Q=Q^2' uses the same letter Q for two different Novikov variables. Please introduce distinct notation to avoid confusion.
  2. [§5.2.2, Corollary 5.5] The displayed G-function '−log[(t^2)^{1/8} η(Qe^{t^3})]' appears to contain a possible typo or a missing normalization; please verify the formula and define all conventions before comparing it with −1/2 log η(Qe^{t^3}).
  3. [§2.2 and §4.1] The notation 'eustr,α,s', 'A^{wk,t}_eu', and related superscripts is heavy and at times hard to parse. Defining these objects once in a glossary or local table would improve readability.
  4. [§3.4] Definition 3.9 should explicitly state which results for the DR hierarchy in the numerically partial setting are being assumed from [4] and [10] and which are proved in this paper. Currently the reader must infer this from a sentence in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the reduced hierarchies are constructed by restricting ambient objects via ι_*, and the application's central-invariant/topological-recursion claims rest on external computations and rigidity assertions rather than on definitions that presuppose the conclusions.

full rationale

The derivation chain is not circular. The reduced DR/DZ hierarchies are defined as pullbacks/restrictions of the ambient hierarchies under the homomorphism ι_* (Definitions 4.5–4.6, Theorem 4.11), and the bihamiltonian/tau-structure reductions are proved by showing that ι_* intertwines the Schouten–Nijenhuis bracket and the relevant differential polynomials (Lemmas 2.5, 4.2; Theorems 4.3, 4.14). The key identity ι_*(P_i^DR)=P_i^{DR,Γ} is the definition of the reduced Hamiltonian structures, not a hidden assumption of the desired conclusion; the bihamiltonian property is then inherited from the cited ambient theorem [9]. Similarly, the DR/DZ equivalence for the reduced hierarchies is obtained by proving that the ambient DR/DZ Miura transformation is Γ-linearized (Theorem 4.10) and then restricting it (Theorem 4.11). In the application, the central invariants are quoted from the explicit one-loop expansions of [19] or asserted with the phrase 'One can verify similarly', not fitted to force the identification with topological recursion; the rescalings 2^{1-g}Λ and ε→ε/2 are explicitly declared normalizations. The final equivalence to genus-one topological recursion relies on the sentence 'The Virasoro constraints force them to coincide up to an automorphism...', which is an uncited uniqueness assertion, and §3.4's extension of DR-hierarchy facts to numerically partial CohFTs is asserted rather than fully proved. These are correctness/validity gaps, not circular reductions, because neither the hierarchy nor the central invariants are defined in terms of the topological-recursion tau function. Heavy reliance on prior work by the same authors (e.g. [21], [43], [45]) is likewise not circular: those results are invoked with their own stated assumptions, and the paper does not reduce its central claims to a self-citation chain.

Assumptions & free parameters 1 free parameters · 9 assumptions · 1 invented entities

The central claim rests on: (i) two recent independent theorems for the ambient hierarchies ([3],[9]) plus tau-structure results of [5] — external support, not re-derived; (ii) an asserted, unproved transfer of the DR commutativity/bihamiltonian proofs to numerically partial CohFTs (§3.4) — the paper's own structural risk; (iii) prose-level justifications in §5 (S₄-equivariance via Givental–Teleman, g-reduction threshold in Lemma 5.3); (iv) external genus-one computations ([19],[54]) and an unreferenced rigidity statement used to identify the reduced hierarchy with genus-1 TR. No parameters are fitted to data; the only hand-chosen numbers are the normalization rescalings in §5.2.2.

free parameters (1)
  • Z₂×Z₂ rescaling factors = CohFT rescaled by 2^{1−g}; dispersion parameter ε → (1/2)ε
    Hand-chosen in §5.2.2 to normalize the computed central invariants {1/12,1/12,1/12} to {1/24,1/24,1/24} so the [45] Virasoro-linearization theorem applies; the values are pinned by the target normalization rather than derived from the geometry. A gauge choice, not fitted to data.
assumptions (9)
  • domain assumption Ambient strong DR/DZ equivalence: for a semisimple CohFT there is a Miura-type transformation of the 2nd kind relating the DR and DZ hierarchies (Theorem 4.8, [3]).
    External result (Blot–Lewanski–Shadrin, arXiv:2405.12334v2) assumed as input; Theorem 4.11 inherits its validity; cited, not proved here.
  • domain assumption The ambient DR hierarchy is bihamiltonian, with the recursion relation of Theorem 4.4 ([9]).
    Buryak–Rossi (Comm. Math. Phys. 406, 2025); the input that Lemma 4.2 reduces via ι_* to the reduced bihamiltonian structure.
  • ad hoc to paper DR hierarchy commutativity and [P1^DR,P2^DR]=0 remain valid when (C3) is weakened to the numerical gluing-tree identity (3.12) and (C4) is dropped (numerically partial CohFTs).
    Asserted in §3.4 ('the proof ... does not involve (C4) and remains valid ...'); load-bearing because the reduced object Λ^Γ satisfies only the partial axioms (Definition 3.7). Not proved in the text.
  • domain assumption The total ancestor potential is a tau function of the DZ hierarchy with the canonical tau structure and free energy F ([5],[21]).
    Framework background used in §4.3 to build the reduced tau structure.
  • domain assumption Givental–Teleman reconstruction: a semisimple CohFT is determined by its Frobenius manifold and calibration; S₄-symmetry of F plus a symmetric calibration implies S₄-equivariance of the full CohFT.
    Used in §5.2.1 to justify the natural S₄ numerical symmetry; standard but asserted in prose with citations [32,53,56].
  • domain assumption g-reduction: a monomial in ψ- and κ-classes of cohomological degree ≥ 2g (g≥1) or ≥ 2 (g=0) is a linear combination of dual graphs with identity component classes.
    Lemma 5.3, cited to [28,29,34]; the exact threshold and hypotheses for this orbifold CohFT are not demonstrated in the text.
  • domain assumption Virasoro rigidity: two tau functions satisfying the usual Virasoro constraints with identical genus-zero data coincide up to an automorphism induced by a Miura-type transformation and multiplication by the exponential of a quadratic polynomial.
    The hinge of Theorem 1.2.2 (§5.2.2, paragraph before Cor. 5.4); asserted without a specific reference.
  • domain assumption Genus-one primary free energies: the G-function of (5.7) is −log[(t²)^{1/8}η(Qe^{t³})] ([19,20]), and the restriction of the P¹_{2,2,2,2} genus-one free energy is −½log η(Qe^{t³}) ([54]).
    Corollary 5.5's nontriviality of the Miura transformation depends on these external computations; normalizations not re-derived here.
  • standard math Standard moduli-space facts: Keel's presentation of M_{0,n} cohomology [38]; tautologicalness of DR cycles [36]; polynomiality of DR integrals with λ_g ([4], Lemma 3.8).
    Assumed background in Section 3.
invented entities (1)
  • (none)
    purpose: No new physical or mathematical entities are postulated.
    The Γ-actions act on existing structures (state space H and the CohFT maps); the 'numerically partial CohFT' (Definition 3.7) is a weakening of an existing axiom system, not a new object with independent falsifiable content; the reduced hierarchies are constructed from existing ingredients (DR/DZ constructions, ι_* restrictions).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite Group Reduction of the DR/DZ Hierarchies." pith.science (2026). https://pith.science/paper/M4DMSZFL

@misc{pith2026260716607,
  author       = {Pith},
  title        = {Pith review of: Finite Group Reduction of the DR/DZ Hierarchies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M4DMSZFL}},
  note         = {Machine review of arXiv:2607.16607}
}
abstract

We show that the finite group reduction of the Dubrovin-Zhang/Double Ramification hierarchy associated to a semisimple CohFT preserves its bihamiltonian structure and its tau structure. By applying this result to the orbifold Gromov-Witten theory with the target $\mathbb{P}^1_{2,2,2,2}$, we see that there are two different and interesting integrable hierarchies that can be associated to the Frobenius manifold structure on the Hurwitz space $M_{1;1}$. One of them is equivalent to the genus $1$ topological recursion.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 4 linked inside Pith

  1. [43]

    S.-Q. Liu, Y. Ruan and Y. Zhang, BCFG Drinfeld-Sokolov hierarchies and FJR W-theory, Invent. Math.201(2015), 711-772

  2. [4]

    Buryak, Double ramification cycles and integrable hierarchies, Comm

    A. Buryak, Double ramification cycles and integrable hierarchies, Comm. Math. Phys. 336(2015), 1085-1107

  3. [10]

    A. Y. Buryak, P. Rossi and S. Shadrin, Towards a bihamiltonian structure for the double ramification hierarchy, Lett. Math. Phys.111(2021), 13

  4. [1]

    Abramovich, T

    D. Abramovich, T. Graber and A. Vistoli, Algebraic orbifold quantum products, in Orbifolds in mathematics and physics (Madison, WI, 2001), 1-24, Contemp. Math., 310, Amer. Math. Soc., Providence, RI

  5. [2]

    Abramovich, T

    D. Abramovich, T. Graber and A. Vistoli, Gromov-Witten theory of Deligne-Mumford stacks, Amer. J. Math.130(2008), 1337-1398

  6. [3]

    X. Blot, D. Lewanski and S. Shadrin, On the strong DR/DZ equivalence conjecture. eprint arXiv:math/2405.12334v2

  7. [5]

    Buryak, B

    A. Buryak, B. Dubrovin, J. Gu´ er´ e and P. Rossi, Tau-structure for the double ramifica- tion hierarchies, Comm. Math. Phys.363(2018), 191-260

  8. [6]

    Buryak, B

    A. Buryak, B. Dubrovin, J. Gu´ er´ e and P. Rossi, Integrable systems of double ramifica- tion type, Int. Math. Res. Not. IMRN2020, 10381-10446

Show all 58 references
  1. [7]

    Buryak, H

    A. Buryak, H. Posthuma and S. Shadrin, A polynomial bracket for the Dubrovin-Zhang hierarchies, J. Differential Geom.92(2012), 153-185

  2. [8]

    Buryak and P

    A. Buryak and P. Rossi, Recursion relations for double ramification hierarchies, Comm. Math. Phys.342(2016), 533-568

  3. [9]

    A. Y. Buryak and P. Rossi, Bihamiltonian structure of the DR hierarchy in the semisim- ple case, Comm. Math. Phys.406(2025), 205

  4. [11]

    Carlet, B

    G. Carlet, B. Dubrovin and Y. Zhang, The extended Toda hierarchy, Mosc. Math. J.4 (2004), 313-332, 534

  5. [12]

    Chen and Y

    W. Chen and Y. Ruan, A new cohomology theory of orbifold, Comm. Math. Phys.248 (2004), 1-31

  6. [13]

    Chen and Y

    W. Chen and Y. Ruan, Orbifold Gromov-Witten theory, inOrbifolds in mathematics and physics (Madison, WI, 2001), 25-85, Contemp. Math., 310, Amer. Math. Soc., Providence, RI

  7. [14]

    Carlet and J

    G. Carlet and J. W. van de Leur, Hirota equations for the extended bigraded Toda hierarchy and the total descendent potential ofCP 1 orbifolds, J. Phys. A46(2013), 405205

  8. [15]

    Dubrovin, Geometry of 2D topological field theories, in Integrable systems and quan- tum groups, Lecture Notes in Math

    B. Dubrovin, Geometry of 2D topological field theories, in Integrable systems and quan- tum groups, Lecture Notes in Math. 1620, Springer-Verlag, Berlin, 1996, 120–348

  9. [16]

    Dubrovin, S.-Q

    B. Dubrovin, S.-Q. Liu and Y. Zhang, On Hamiltonian perturbations of hyperbolic systems of conservation laws. I. Quasi-triviality of bi-Hamiltonian perturbations, Comm. Pure Appl. Math.59(2006), 559-615. 35

  10. [17]

    Dubrovin, S.-Q

    B. Dubrovin, S.-Q. Liu and Y. Zhang, Frobenius manifolds and central invariants for the Drinfeld-Sokolov biHamiltonian structures, Adv. Math.219(2008), 780–837

  11. [18]

    Dubrovin, S.-Q

    B. Dubrovin, S.-Q. Liu and Y. Zhang, Bihamiltonian cohomologies and integrable hier- archies II: The tau structures, Comm. Math. Phys.361(2018), 467-524

  12. [19]

    Dubrovin and Y

    B. Dubrovin and Y. Zhang, Bi-Hamiltonian hierarchies in 2D topological field theory at one-loop approximation, Comm. Math. Phys.198(1998), 311-361

  13. [20]

    Dubrovin and Y

    B. Dubrovin and Y. Zhang, Frobenius manifolds and Virasoro constraints, Selecta Math. (N.S.)5(1999), 423-466

  14. [21]

    Dubrovin and Y

    B. Dubrovin and Y. Zhang, Normal forms of hierarchies of integrable PDEs, Frobenius manifolds and GromovWitten invariants. eprint arXiv:math/0108160 (2001)

  15. [22]

    Dubrovin and Y

    B. Dubrovin and Y. Zhang, Virasoro symmetries of the extended Toda hierarchy, Comm. Math. Phys.250(2004), 161-193

  16. [23]

    Eynard and N

    B. Eynard and N. Orantin, Invariants of algebraic curves and topological expansion, Commun. Number Theory Phys.1(2007), 347-452

  17. [24]

    H. Fan, T. Jarvis, Y. Ruan, The Witten equation and its virtual fundamental cycle, eprint arXiv: math/0712.4025

  18. [25]

    H. Fan, T. Jarvis and Y. Ruan, The Witten equation, mirror symmetry, and quantum singularity theory, Ann. of Math. (2)178(2013), 1-106

  19. [26]

    Falqui and P

    G. Falqui and P. Lorenzoni, Exact Poisson pencils,τ-structures and topological hierar- chies, Phys. D241(2012), 2178-2187

  20. [27]

    Graber and R

    T. Graber and R. Pandharipande, Constructions of nontautological classes on moduli spaces of curves, Michigan Math. J.51(2003), 93-109

  21. [28]

    Faber and R

    C. Faber and R. Pandharipande, Relative maps and tautological classes, J. Eur. Math. Soc. (JEMS)7(2005), 13-49

  22. [29]

    Faber, S

    C. Faber, S. Shadrin and D. Zvonkine, Tautological relations and ther-spin Witten conjecture, Ann. Sci. ´Ec. Norm. Sup´ er. (4)43(2010), 621-658

  23. [30]

    Getzler, The Toda conjecture, inSymplectic geometry and mirror symmetry (Seoul, 2000), 51–79, World Sci

    E. Getzler, The Toda conjecture, inSymplectic geometry and mirror symmetry (Seoul, 2000), 51–79, World Sci. Publ., River Edge, NJ

  24. [31]

    Getzler, The equivariant Toda lattice, Publ

    E. Getzler, The equivariant Toda lattice, Publ. Res. Inst. Math. Sci.40(2004), 507-536

  25. [32]

    Givental, Gromov-Witten invariants and quantization of quadratic Hamiltonians, Mosc

    A. Givental, Gromov-Witten invariants and quantization of quadratic Hamiltonians, Mosc. Math. J.1(2001), 551-568, 645

  26. [33]

    S. Guo, C. Ji and Q. Zhang, A generalization of the Witten conjecture through spectral curve, eprint arXiv:math/2309.12271

  27. [34]

    Ionel, Topological recursive relations inH 2g(Mg,n), Invent

    E. Ionel, Topological recursive relations inH 2g(Mg,n), Invent. Math.148(2002), 627- 658. 36

  28. [35]

    Johnson, Equivariant GW theory of stacky curves, Comm

    P. Johnson, Equivariant GW theory of stacky curves, Comm. Math. Phys.327(2014), 333-386

  29. [36]

    Janda, R

    F. Janda, R. Pandharipande, A. Pixton, D. Zvonkine, Double ramification cycles on the moduli spaces of curves, Publ. Math. Inst. Hautes ´Etudes Sci.125(2017), 221-266

  30. [37]

    Kac,Infinite-dimensional Lie algebras, third edition, Cambridge Univ

    V. Kac,Infinite-dimensional Lie algebras, third edition, Cambridge Univ. Press, Cam- bridge, 1990

  31. [38]

    Keel, Intersection theory of moduli space of stablen-pointed curves of genus zero, Trans

    S. Keel, Intersection theory of moduli space of stablen-pointed curves of genus zero, Trans. Amer. Math. Soc.330(1992), 545-574

  32. [39]

    Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function, Comm

    M. Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function, Comm. Math. Phys.147(1992), 1-23

  33. [40]

    Kontsevich and Y

    M. Kontsevich and Y. Manin, Gromov-Witten classes, quantum cohomology, and enu- merative geometry, Comm. Math. Phys.164(1994), 525-562

  34. [41]

    Kontsevich and Y

    M. Kontsevich and Y. I. Manin, Relations between the correlators of the topological sigma-model coupled to gravity, Comm. Math. Phys.196(1998), 385-398

  35. [42]

    C.-C. Liu, K. Liu and J. Zhou, A formula of two-partition Hodge integrals, J. Amer. Math. Soc.20(2007), 149-184

  36. [44]

    S.-Q. Liu, Z. Wang and Y. Zhang, Variational bihamiltonian cohomologies and inte- grable hierarchies II: Virasoro symmetries, Comm. Math. Phys.395(2022), 459-519

  37. [45]

    S.-Q. Liu, Z. Wang and Y. Zhang, Linearization of Virasoro symmetries associated with semisimple Frobenius manifolds, Adv. Math.460(2025), 110046

  38. [46]

    Liu and Y

    S.-Q. Liu and Y. Zhang, Deformations of semisimple bihamiltonian structures of hydro- dynamic type, J. Geom. Phys.54(2005), 427-453

  39. [47]

    Liu and Y

    S.-Q. Liu and Y. Zhang, Jacobi structures of evolutionary partial differential equations, Adv. Math.227(2011), 73-130

  40. [48]

    Liu and Y

    S.-Q. Liu and Y. Zhang, Bihamiltonian cohomologies and integrable hierarchies I: A special case, Comm. Math. Phys.324(2013), 897-935

  41. [49]

    Milanov, Y

    T. Milanov, Y. Shen and H.-H. Tseng, Gromov-Witten theory of Fano orbifold curves, gamma integral structures and ADE-Toda hierarchies, Geom. Topol.20(2016), 2135- 2218

  42. [50]

    T. E. Milanov and H.-H. Tseng, Equivariant orbifold structures on the projective line and integrable hierarchies, Adv. Math.226(2011), 641-672

  43. [51]

    Okounkov and R

    A. Okounkov and R. Pandharipande, Virasoro constraints for target curves, Invent. Math.163(2006), 47-108

  44. [52]

    Okounkov and R

    A. Okounkov and R. Pandharipande, The equivariant Gromov-Witten theory ofP 1, Ann. of Math. (2)163(2006), 561-605. 37

  45. [53]

    Pandharipande, A

    R. Pandharipande, A. Pixton and D. Zvonkine, Relations on Mg,n via 3-spin structures, J. Amer. Math. Soc.28(2015), 279-309

  46. [54]

    Satake and A

    I. Satake and A. Takahashi, Gromov-Witten invariants for mirror orbifolds of simple elliptic singularities, Ann. Inst. Fourier (Grenoble)61(2011), 2885-2907

  47. [55]

    Serre,Linear representations of finite groups, translated from the second French edition by Leonard L

    J.-P. Serre,Linear representations of finite groups, translated from the second French edition by Leonard L. Scott, Graduate Texts in Mathematics, Vol. 42, Springer, New York-Heidelberg, 1977

  48. [56]

    Teleman, The structure of 2D semi-simple field theories, Invent

    C. Teleman, The structure of 2D semi-simple field theories, Invent. Math.188(2012), 525-588

  49. [57]

    Witten, Two-dimensional gravity and intersection theory on moduli space, inSurveys in differential geometry (Cambridge, MA, 1990), 243-310, Lehigh Univ., Bethlehem, PA

    E. Witten, Two-dimensional gravity and intersection theory on moduli space, inSurveys in differential geometry (Cambridge, MA, 1990), 243-310, Lehigh Univ., Bethlehem, PA

  50. [58]

    Wu, Tau functions and Virasoro symmetries for Drinfeld-Sokolov hierarchies, Adv

    C.-Z. Wu, Tau functions and Virasoro symmetries for Drinfeld-Sokolov hierarchies, Adv. Math.306(2017), 603-652. 38

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.