pith. sign in

arxiv: 2605.22236 · v1 · pith:WF2APTUWnew · submitted 2026-05-21 · 🧮 math.AG · hep-th· math-ph· math.MP· nlin.SI

Beyond descendants: integrable observables for cohomological field theories

Pith reviewed 2026-05-22 02:46 UTC · model grok-4.3

classification 🧮 math.AG hep-thmath-phmath.MPnlin.SI
keywords integrable observablescohomological field theoriesDubrovin-Zhang hierarchiesdouble ramification hierarchiesΠ-classWitten conjectureMiura equivalenceintegrable systems
5
0 comments X

The pith

Integrable observables replace psi classes in cohomological field theories while preserving integrability.

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

The paper introduces integrable observables as alternatives to the standard Witten psi classes for coupling with cohomological field theories and their generalizations. The defining property is that these observables keep the integrability of the associated hierarchies. Three concrete examples are developed: the first two recover the Dubrovin-Zhang and double ramification hierarchies while uncovering new features, and the third extends the recently studied Π-class into the integrable-systems setting. The framework then proves that the resulting Π-hierarchies are Miura equivalent to both the Dubrovin-Zhang hierarchies and the double ramification hierarchies. It simultaneously supplies a very short new proof of Witten's conjecture.

Core claim

Coupling cohomological field theories with integrable observables instead of ordinary descendants yields integrable hierarchies; in particular the new Π-hierarchies are Miura equivalent both to the Dubrovin-Zhang hierarchies and to the double ramification hierarchies, and the same construction produces a short proof of Witten's conjecture.

What carries the argument

Integrable observables: classes coupled to a cohomological field theory that automatically retain the integrability properties of the resulting hierarchies.

If this is right

  • The Π-hierarchies are Miura equivalent to the Dubrovin-Zhang hierarchies.
  • The Π-hierarchies are Miura equivalent to the double ramification hierarchies.
  • A short new proof of Witten's conjecture follows directly from the framework.
  • New structural features appear in the Dubrovin-Zhang and double ramification hierarchies when viewed through integrable observables.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same observables might generate previously unknown integrable hierarchies from other enumerative-geometric classes.
  • Miura equivalence established this way could simplify computations of higher-genus invariants in related theories.
  • The approach suggests that integrability is more robust under changes of coupling than previously assumed in 2D gravity models.

Load-bearing premise

Integrable observables can be introduced consistently for general cohomological field theories while automatically preserving the integrability of the hierarchies they produce.

What would settle it

An explicit computation of the first few flows of the Π-hierarchy that fails to match the Dubrovin-Zhang hierarchy after any Miura transformation would disprove the claimed equivalence.

Figures

Figures reproduced from arXiv: 2605.22236 by Danilo Lewa\'nski, Sergey Shadrin, Xavier Blot.

Figure 1
Figure 1. Figure 1: A stable rooted graph with root vertex v0 of genus g0. The vertex v2 of genus g2 is descendant of the vertices v1 of genus g1 and of course of the root v0. Half-edges (both leaves and half-edges of edges) decorated with polynomials in the ai are positive; those decorated with bj (frozen legs, represented by wavy lines) and the remaining half-edges of the edges are negative. A leveled stable rooted tree is … view at source ↗
Figure 2
Figure 2. Figure 2: A leveled stable rooted tree with a degree function and decorated with cohomological classes O(vi) involved in the definition of OBm=2 g,n=6, where g = g0+g1+g2+g3. The level function is represented with the dashed lines: the root is assigned level 0, the vertex 1 lies at level 1, and the vertices 2 and 3 are at level 2. The degrees d(vi) are degrees of the homogeneous polynomials in the a1, . . . , an ext… view at source ↗
Figure 3
Figure 3. Figure 3: Miura transformations for P-CohFTs Each arrow represents a Miura transformation, and the arrow (3.70) is furthermore a normal Miura transformation. Note that the explicit formula (3.70) requires {Og,n} to be integrable observables of type 1 and type 2 simultaneously, while for (3.69) type 1 is sufficient. In the F-CohFT case, the transformation indicated by the lower arrow does not hold any longer. The upp… view at source ↗
Figure 4
Figure 4. Figure 4: Miura transformations for F-CohFTs Finally, in the exceptional case of {Og,n = Ag,n}, the integrable observables are only of type 1, but we have identified the A-hierarchy with the DR hierarchy in the normal coordinates, so, in the P-CohFT case ( [PITH_FULL_IMAGE:figures/full_fig_p041_4.png] view at source ↗
read the original abstract

We introduce the concept of integrable observables and propose them as alternatives to the standard Witten's psi classes (a.k.a. descendants in $2D$ quantum gravity) to be coupled with cohomological field theories and their generalisations. The main property of integrable observables is that they retain the integrability properties. We present three examples of integrable observables. The first two recover the Dubrovin-Zhang and double ramification hierarchies, while revealing new structural features in this framework. The third, a new example, builds on recently established properties of the so-called $\mathbb{\Pi}$-class, extending them and placing this class naturally within the theory of integrable systems. Notably, our integrable observables framework yields a proof that the new $\mathbb{\Pi}$-hierarchies are Miura equivalent both to the Dubrovin-Zhang hierarchies and to the double ramification hierarchies. A new very short proof of Witten's conjecture is also provided.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces integrable observables as alternatives to Witten's psi classes for coupling to cohomological field theories and their generalizations. The central claim is that these observables retain integrability properties. Three concrete examples are developed: the first two recover the Dubrovin-Zhang and double ramification hierarchies (with new structural observations), while the third constructs new Π-hierarchies from the Π-class. The framework is then used to prove that the Π-hierarchies are Miura equivalent to both the Dubrovin-Zhang and double ramification hierarchies, and to supply a short proof of Witten's conjecture.

Significance. If the general retention of integrability holds, the work supplies a unified conceptual framework for producing and relating integrable hierarchies from cohomological field theories, together with explicit Miura equivalences and a streamlined proof of Witten's conjecture. The explicit recovery of known hierarchies plus the new Π-class example demonstrates concrete utility and may streamline future computations in the area.

major comments (2)
  1. [§2] §2 (definition of integrable observables and main property): The assertion that the observables 'retain the integrability properties' when coupled to a general cohomological field theory is stated as the main property, yet the manuscript appears to verify the required Poisson structure, Hamiltonian flows, and bi-Hamiltonian property only through the three explicit examples rather than a parameter-free general theorem. This is load-bearing for the Miura-equivalence statements and the Witten-conjecture proof that follow.
  2. [§5] §5 (Miura equivalence proofs): The argument that the Π-hierarchies are Miura equivalent to both the Dubrovin-Zhang and double ramification hierarchies relies on the general retention property; if that property is established only by direct computation in the examples, the equivalence claims require an additional general lemma or explicit reduction that is currently missing.
minor comments (2)
  1. [§3] Notation for the coupling map between observables and the underlying cohomological field theory should be introduced once and used consistently; several ad-hoc symbols appear in the example sections without prior definition.
  2. The manuscript would benefit from a short table comparing the three examples with respect to the preserved Poisson bracket and the form of the Hamiltonians.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive evaluation of its significance. We address the two major comments below and indicate the revisions we will make to clarify the scope of our claims.

read point-by-point responses
  1. Referee: [§2] §2 (definition of integrable observables and main property): The assertion that the observables 'retain the integrability properties' when coupled to a general cohomological field theory is stated as the main property, yet the manuscript appears to verify the required Poisson structure, Hamiltonian flows, and bi-Hamiltonian property only through the three explicit examples rather than a parameter-free general theorem. This is load-bearing for the Miura-equivalence statements and the Witten-conjecture proof that follow.

    Authors: We agree that the retention of integrability is established explicitly in the three examples rather than via a general theorem for arbitrary cohomological field theories. The definition of integrable observables is constructed to preserve the Poisson structure and Hamiltonian flows by design, but the bi-Hamiltonian property is confirmed case-by-case. The subsequent results, including the Miura equivalences and the short proof of Witten's conjecture, rely only on these verified examples. We will revise §2 to state this scope explicitly and note that a fully general theorem is left for future work. revision: partial

  2. Referee: [§5] §5 (Miura equivalence proofs): The argument that the Π-hierarchies are Miura equivalent to both the Dubrovin-Zhang and double ramification hierarchies relies on the general retention property; if that property is established only by direct computation in the examples, the equivalence claims require an additional general lemma or explicit reduction that is currently missing.

    Authors: The referee correctly notes that the Miura equivalences rest on the explicit integrability verifications in the examples. In the current manuscript the equivalences are obtained by direct comparison of the resulting hierarchies. We will add an explicit reduction or lemma in §5 exhibiting the Miura transformations between the Π-hierarchies and the other two, making the argument self-contained without invoking a general retention theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on explicit constructions and examples rather than self-referential reductions.

full rationale

The paper introduces the integrable observables concept with the stated main property of retaining integrability when coupled to cohomological field theories. It then provides three concrete examples that recover the Dubrovin-Zhang and double ramification hierarchies while extending to the new Π-class case. The Miura equivalence proofs and short proof of Witten's conjecture are derived as applications of this framework to those examples. No load-bearing step reduces by construction to a fitted input, self-citation chain, or renamed known result; the central claims are supported by the new framework's explicit definitions and verifications in the examples, making the derivation self-contained against external benchmarks like the known hierarchies.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper introduces new concepts without listing explicit free parameters. It relies on standard background assumptions from the theory of cohomological field theories and integrable systems.

axioms (1)
  • domain assumption Standard axioms and properties of cohomological field theories as developed in prior literature
    Invoked when coupling the new observables to CFTs and their generalizations.
invented entities (2)
  • integrable observables no independent evidence
    purpose: Alternatives to Witten's psi classes that retain integrability when coupled to cohomological field theories
    Newly defined concept whose main property is stated in the abstract.
  • Π-class hierarchies no independent evidence
    purpose: New example of integrable observable extending properties of the Π-class
    Introduced as the third example in the abstract.

pith-pipeline@v0.9.0 · 5691 in / 1355 out tokens · 59063 ms · 2026-05-22T02:46:24.049011+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

56 extracted references · 56 canonical work pages · 2 internal anchors

  1. [1]

    and Graber, T

    Abramovich, D. and Graber, T. and Vistoli, A. , title =. Am. J. Math. , issn =. 2008 , language =. doi:10.1353/ajm.0.0017 , keywords =

  2. [2]

    and Lorenzoni, P

    Arsie, A. and Lorenzoni, P. , TITLE =. J. Integrable Syst. , FJOURNAL =. 2018 , NUMBER =. doi:10.1093/integr/xyy004 , URL =

  3. [3]

    and Lorenzoni, P

    Arsie, A. and Lorenzoni, P. , TITLE =. Lett. Math. Phys. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s11005-017-0963-x , URL =

  4. [4]

    and Buryak, A

    Arsie, A. and Buryak, A. and Lorenzoni, P. and Rossi, P. , title =. Commun. Math. Phys. , issn =. 2021 , language =. doi:10.1007/s00220-021-04109-8 , keywords =

  5. [5]

    and Buryak, A

    Arsie, A. and Buryak, A. and Lorenzoni, P. and Rossi, P. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00220-022-04450-6 , URL =

  6. [6]

    , TITLE =

    Blot, X. , TITLE =. Geom. Topol. , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/gt.2022.26.1669 , URL =

  7. [7]

    2024 , eprint=

    Cohomological representations of quantum tau functions , author=. 2024 , eprint=

  8. [8]

    2024 , eprint=

    On the strong DR/DZ equivalence conjecture , author=. 2024 , eprint=

  9. [9]

    2024 , eprint=

    Rooted trees with level structures, -classes and double ramification cycles , author=. 2024 , eprint=

  10. [10]

    and Lewa

    Blot, X. and Lewa. Stable tree expressions with omega-classes and double ramification cycles , fjournal =. J. Geom. Phys. , issn =. 2025 , language =. doi:10.1016/j.geomphys.2024.105391 , keywords =

  11. [11]

    Blot, Xavier and Sauvaget, Adrien and Shadrin, Sergey , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/blms.13215 , URL =

  12. [12]

    , title =

    Buryak, A. , title =. Commun. Math. Phys. , issn =. 2015 , language =. doi:10.1007/s00220-014-2235-2 , keywords =

  13. [13]

    and Dubrovin, B

    Buryak, A. and Dubrovin, B. and Gu. Tau-structure for the double ramification hierarchies , fjournal =. Commun. Math. Phys. , issn =. 2018 , language =. doi:10.1007/s00220-018-3235-4 , keywords =

  14. [14]

    and Dubrovin, B

    Buryak, A. and Dubrovin, B. and Gu. Integrable systems of double ramification type , fjournal =. Int. Math. Res. Not. , issn =. 2020 , language =. doi:10.1093/imrn/rnz029 , keywords =

  15. [15]

    Buryak, A. and Gu. Geom. Topol. , issn =. 2019 , language =. doi:10.2140/gt.2019.23.3537 , keywords =

  16. [16]

    and Posthuma, H

    Buryak, A. and Posthuma, H. and Shadrin, S. , title =. J. Differ. Geom. , issn =. 2012 , language =. doi:10.4310/jdg/1352211225 , keywords =

  17. [17]

    and Posthuma, H

    Buryak, A. and Posthuma, H. and Shadrin, S. , TITLE =. J. Geom. Phys. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.geomphys.2012.03.006 , URL =

  18. [18]

    and Rossi, P

    Buryak, A. and Rossi, P. , title =. Adv. Math. , issn =. 2021 , language =. doi:10.1016/j.aim.2021.107794 , keywords =

  19. [19]

    and Rossi, P

    Buryak, A. and Rossi, P. , title =. Bull. Lond. Math. Soc. , issn =. 2021 , language =. doi:10.1112/blms.12464 , keywords =

  20. [20]

    and Shadrin, S

    Buryak, A. and Shadrin, S. , title =. 2024 , language =. doi:10.46298/epiga.2024.10382 , keywords =

  21. [21]

    and Shadrin, S

    Buryak, A. and Shadrin, S. and Spitz, L. and Zvonkine, D. , TITLE =. Amer. J. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1353/ajm.2015.0022 , URL =

  22. [22]

    Identifica- tion of the Givental formula with the spectral curve topological recur- sion procedure

    Chiodo, A. , title =. Compos. Math. , issn =. 2008 , language =. doi:10.1112/S0010437X08003709 , keywords =

  23. [23]

    , title =

    Chiodo, A. , title =. Ann. Inst. Fourier , issn =. 2008 , language =. doi:10.5802/aif.2394 , keywords =

  24. [24]

    and Zhang, Y

    Dubrovin, B. and Zhang, Y. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002200050480 , URL =

  25. [25]

    , TITLE =

    Dubrovin, B. , TITLE =. Integrable systems and quantum groups (. 1996 , ISBN =. doi:10.1007/BFb0094793 , URL =

  26. [26]

    Normal forms of hierarchies of integrable PDEs, Frobenius manifolds and Gromov - Witten invariants

    Dubrovin, B. and Zhang, Y. , year=. Normal forms of hierarchies of integrable. math/0108160 , archivePrefix=

  27. [27]

    , TITLE =

    Eliashberg, Y. , TITLE =. International. 2007 , ISBN =. doi:10.4171/022-1/10 , URL =

  28. [28]

    and Xiong, C.-S

    Eguchi, T. and Xiong, C.-S. , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 1998 , NUMBER =. doi:10.4310/ATMP.1998.v2.n1.a9 , URL =

  29. [29]

    The moduli space of curves (

    Getzler, E. , TITLE =. The moduli space of curves (. 1995 , ISBN =. doi:10.1007/978-1-4612-4264-2\ _ 8 , URL =

  30. [30]

    Givental, A. B. , TITLE =. Mosc. Math. J. , FJOURNAL =. 2001 , NUMBER =. doi:10.17323/1609-4514-2001-1-4-551-568 , URL =

  31. [31]

    and Vakil, R

    Graber, T. and Vakil, R. , title =. Duke Math. J. , issn =. 2005 , language =. doi:10.1215/S0012-7094-05-13011-3 , keywords =

  32. [32]

    e Pandharipande, R

    Graber, T. and Pandharipande, R. , title =. Invent. Math. , issn =. 1999 , language =. doi:10.1007/s002220050293 , keywords =

  33. [33]

    and Lewa

    Giacchetto, A. and Lewa. An intersection-theoretic proof of the. Algebr. Geom. , issn =. 2023 , language =. doi:10.14231/AG-2023-004 , keywords =

  34. [34]

    , title =

    Hain, R. , title =. Handbook of moduli. Volume I , pages =. 2015 , publisher =

  35. [35]

    and Pandharipande, R

    Janda, F. and Pandharipande, R. and Pixton, A. and Zvonkine, D. , title =. Publ. Math., Inst. Hautes. 2017 , language =. doi:10.1007/s10240-017-0088-x , keywords =

  36. [36]

    and Pandharipande, R

    Johnson, P. and Pandharipande, R. and Tseng, H.-H. , title =. Mich. Math. J. , issn =. 2011 , language =. doi:10.1307/mmj/1301586310 , keywords =

  37. [37]

    and Manin, Y

    Kontsevich, M. and Manin, Y. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1994 , NUMBER =

  38. [38]

    and Ruan, Y

    Liu, S.-Q. and Ruan, Y. and Zhang, Y. , TITLE =. Invent. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00222-014-0559-3 , URL =

  39. [39]

    and Wang, C

    Liu, X. and Wang, C. , TITLE =. Sci. China Math. , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s11425-024-2436-x , URL =

  40. [40]

    and Wang, Z

    Liu, S.-Q. and Wang, Z. and Zhang, Y. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2024.110046 , URL =

  41. [41]

    and Pedroni, M

    Lorenzoni, P. and Pedroni, M. and Raimondo, A. , TITLE =. Arch. Math. (Brno) , FJOURNAL =. 2011 , NUMBER =

  42. [42]

    Generalised (bi-)Hamiltonian structures of hydrodynamic type and (bi-)flat F-manifolds

    Lorenzoni, P. and Wang, Z. , year=. Generalised (bi-). 2604.12819 , archivePrefix=

  43. [43]

    and Wang, Z

    Shadrin, S. and Wang, Z. , year=. Structure of. 2405.00276 , archivePrefix=

  44. [44]

    , TITLE =

    Teleman, C. , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-011-0352-5 , URL =

  45. [45]

    , TITLE =

    Witten, E. , TITLE =. Surveys in differential geometry (. 1991 , ISBN =

  46. [46]

    and Popolitov, A

    Lewa\'nski, D. and Popolitov, A. and Shadrin, S. and Zvonkine, D. , TITLE =. Lett. Math. Phys. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s11005-016-0928-5 , URL =

  47. [47]

    Yang, D. , year=. Kd. 2603.24956 , archivePrefix=

  48. [48]

    and Hern\'

    Alexandrov, A. and Hern\'. Buryak-. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnaa024 , URL =

  49. [49]

    , TITLE =

    Kontsevich, M. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1992 , NUMBER =

  50. [50]

    and Pandharipande, R

    Okounkov, A. and Pandharipande, R. , TITLE =. Algebraic geometry---. 2009 , ISBN =. doi:10.1090/pspum/080.1/2483941 , URL =

  51. [51]

    , TITLE =

    Mirzakhani, M. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2007 , NUMBER =. doi:10.1090/S0894-0347-06-00526-1 , URL =

  52. [52]

    Kazarian, M. E. and Lando, S. K. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2007 , NUMBER =. doi:10.1090/S0894-0347-07-00566-8 , URL =

  53. [53]

    and Liu, S.-Q

    Dubrovin, B. and Liu, S.-Q. and Yang, D. and Zhang, Y. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00220-020-03846-6 , URL =

  54. [54]

    Hodge integrals and Gromov-Witten theory,

    Faber, C. and Pandharipande, R. , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900028 , URL =

  55. [55]

    , title =

    Pixton, A. , title =. 2023 , howpublished =

  56. [56]

    2024 , eprint=

    Polynomiality of the double ramification cycle , author=. 2024 , eprint=