Tautological relations and integrable systems
Pith reviewed 2026-05-24 11:23 UTC · model grok-4.3
The pith
Conjectural tautological relations on moduli spaces of stable curves imply key properties of Dubrovin-Zhang and double ramification hierarchies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We present a family of conjectural relations in the tautological cohomology of the moduli spaces of stable algebraic curves of genus g with n marked points. A large part of these relations has a surprisingly simple form: the tautological classes involved in the relations are given by stable graphs that are trees and that are decorated only by powers of the psi-classes at half-edges. We show that the proposed conjectural relations imply certain fundamental properties of the Dubrovin-Zhang (DZ) and the double ramification (DR) hierarchies associated to F-cohomological field theories.
What carries the argument
The family of conjectural relations given by stable graphs that are trees decorated only by powers of the psi-classes at half-edges.
If this is right
- The Dubrovin-Zhang and double ramification hierarchies satisfy fundamental properties when associated to F-cohomological field theories.
- The relations extend previous conjectures responsible for the normal Miura equivalence of the hierarchies for cohomological field theories.
- The relations hold in the cases of one marked point and arbitrary genus, and genus zero with arbitrary marked points.
Where Pith is reading between the lines
- If the relations hold in general, they would provide a uniform way to derive properties of integrable hierarchies from geometry of moduli spaces.
- Similar relations might exist for other types of field theories or in higher codimensions.
- Computations in low genus could be used to check consistency with known hierarchy properties.
Load-bearing premise
The proposed relations hold in full generality for all genera and numbers of marked points.
What would settle it
An explicit computation of a tautological class relation for genus 2 with 3 marked points that violates one of the conjectured equalities.
read the original abstract
We present a family of conjectural relations in the tautological cohomology of the moduli spaces of stable algebraic curves of genus $g$ with $n$ marked points. A large part of these relations has a surprisingly simple form: the tautological classes involved in the relations are given by stable graphs that are trees and that are decorated only by powers of the psi-classes at half-edges. We show that the proposed conjectural relations imply certain fundamental properties of the Dubrovin-Zhang (DZ) and the double ramification (DR) hierarchies associated to F-cohomological field theories. Our relations naturally extend a similar system of conjectural relations, which were proposed in an earlier work of the first author together with Gu\'er\'e and Rossi and which are responsible for the normal Miura equivalence of the DZ and the DR hierarchy associated to an arbitrary cohomological field theory. Finally, we prove all the above mentioned relations in the case $n=1$ and arbitrary $g$ using a variation of the method from a paper by Liu and Pandharipande, this can be of independent interest. In particular, this proves the main conjecture from our previous joined work together with Hern\'andez Iglesias. We also prove all the above mentioned relations in the case $g=0$ and arbitrary $n$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a family of conjectural relations in the tautological cohomology ring of the moduli spaces of stable curves of genus g with n marked points. A substantial portion of these relations involve only tree graphs decorated by powers of psi-classes at half-edges. The authors show that these relations imply fundamental properties of the Dubrovin-Zhang and double ramification hierarchies associated to F-cohomological field theories. The relations extend an earlier system of conjectures responsible for the normal Miura equivalence of the hierarchies for arbitrary cohomological field theories. All relations are proved rigorously for n=1 (arbitrary g) and for g=0 (arbitrary n) via a variation of the Liu-Pandharipande method; the n=1 case also settles a main conjecture from prior joint work with Hernández Iglesias.
Significance. If the conjectural relations hold in general, the work would supply a concrete mechanism linking the tautological ring to the structure of integrable hierarchies arising from F-cohomological field theories, thereby extending the scope of the earlier Guéré-Rossi-type results. The rigorous proofs in the two special cases constitute a genuine technical contribution that stands independently of the conjectures and may be of separate interest for computations in the tautological ring. The paper states its conjectures clearly and separately from the hierarchies they are claimed to control, with no visible circularity.
minor comments (2)
- The introduction would benefit from a short paragraph recalling the precise definition of an F-cohomological field theory (or a pointer to the relevant section of the earlier Guéré-Rossi paper) so that readers outside the immediate subfield can follow the hierarchy implications without external lookup.
- Consider adding a compact table or diagram in the introduction that distinguishes the proved cases (n=1 arbitrary g; g=0 arbitrary n) from the remaining conjectural range; this would make the scope of the results immediately visible.
Simulated Author's Rebuttal
We thank the referee for the positive and careful assessment of our manuscript, including the recognition of the independent interest of the rigorous proofs in the special cases, and for the recommendation of minor revision. The report lists no major comments.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper proposes a family of conjectural tautological relations independently of the DZ/DR hierarchies and states the implication to hierarchy properties only conditionally on those conjectures. Special-case proofs (n=1 arbitrary g; g=0 arbitrary n) are obtained via a variation of the Liu-Pandharipande method, an external reference, and are not derived from the hierarchies themselves. The extension of prior conjectures from Buryak-Guéré-Rossi is cited for context only and is not invoked as a load-bearing step in the current derivations or proofs. No self-definitional reductions, fitted inputs renamed as predictions, or ansatz smuggling occur; the central claims remain independent of the paper's own inputs.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.