pith. sign in

arxiv: 2604.07270 · v2 · submitted 2026-04-08 · 🧮 math.AG · math-ph· math.MP

Reconstruction of F-cohomological field theories on moduli of compact type

Ga\"etan Borot , Silvia Ragni , Paolo Rossi This is my paper

Pith reviewed 2026-05-10 17:05 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.MP
keywords F-cohomological field theoriesmoduli space of compact typeGivental-Teleman reconstructionextended r-spin classeskappa classestautological ringalgebraic geometry
0
0 comments X

The pith

An analogue of Givental-Teleman reconstruction holds for F-cohomological field theories on the moduli space of compact type.

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

The paper proves that F-cohomological field theories on moduli spaces of compact type admit a reconstruction theorem analogous to the classical Givental-Teleman result. This theorem supplies an explicit way to build the theories from their underlying data using gluing and forgetful operations. The authors then use the reconstruction to recover the restriction of extended r-spin classes to the extended direction and to derive new relations among kappa-classes, all within the compact-type locus. These outcomes matter because they give concrete descriptions of classes that appear in the tautological ring of the moduli space, a setting central to intersection theory and enumerative geometry.

Core claim

We prove an analogue of Givental-Teleman reconstruction for F-cohomological field theories on the moduli space of compact type. We apply it to reconstruct the restriction of the extended r-spin classes to the extended direction and deduce relations between κ-classes (both in compact type).

What carries the argument

The adapted Givental-Teleman reconstruction procedure that uses the gluing and forgetful-map axioms satisfied by F-cohomological field theories on compact-type moduli spaces.

If this is right

  • The restriction of extended r-spin classes to the extended direction is given by an explicit reconstruction formula.
  • New relations hold among κ-classes on the moduli space of compact type.
  • The tautological ring in the compact-type setting becomes more accessible through these explicit reconstructions.
  • The same reconstruction method applies to any other F-cohomological field theory that meets the structural axioms on compact-type moduli.

Where Pith is reading between the lines

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

  • The reconstruction may serve as a template for similar theorems on other partial compactifications of moduli spaces that preserve the necessary gluing properties.
  • The deduced κ-relations could be compared with known relations in the full tautological ring to clarify which ones survive outside compact type.
  • Low-genus explicit calculations of r-spin classes would provide immediate numerical checks of the new κ-relations.
  • Links to other reconstruction results in enumerative geometry, such as those for Gromov-Witten theories, become worth exploring once the compact-type case is settled.

Load-bearing premise

F-cohomological field theories on the moduli space of compact type satisfy the gluing and forgetful-map compatibilities that the reconstruction procedure requires.

What would settle it

A direct computation, on a low-genus compact-type moduli space, of an F-cohomological field theory whose classes differ from those produced by the reconstruction formula would falsify the claim.

Figures

Figures reproduced from arXiv: 2604.07270 by Ga\"etan Borot, Paolo Rossi, Silvia Ragni.

Figure 1
Figure 1. Figure 1: A stable tree of genus 2 with an automorphism group of order 2. Definition 2.4. Let Tg,1+n the set of stable trees of type (g, 1 + n). If Γ ∈ Tg,1+n, we denote MΓ = Y vertex v Mg(v),1+n(v) , MΓ := Y vertex v Mg(v),1+n(v) . Replacing each vertex v of Γ with a stable curve of genus g(v) with 1 +n(v) marked points, contracting edges of Γ to nodes, and labelling the remaining marked points as they were labelle… view at source ↗
Figure 2
Figure 2. Figure 2: The evaluation of F-TFT follows from compatibility with the restriction to the stratum on the left (g = 0) and on the right (g ≥ 1). 2.3. F-Givental group. We now review the F-Givental group and its action on (compact-type) F￾CohFTs [ABLR23]. The proofs are omitted, as they are completely analogue to the ones for the Givental group action on CohFTs that can be found e.g. in [PPZ15] [PITH_FULL_IMAGE:figure… view at source ↗
Figure 3
Figure 3. Figure 3: A stable tree in T4,1+4 and the corresponding Cont. Proposition 2.11. Take R(z) be a group-like element of End(V )JzK and let(4) TA(z), TB(z) be two elements of z 2V JzK related by TA(z) = R(z)[TB(z)]. Then, for every F-CohFT Ω we have TARΩ = RTBΩ, where we mean applying first the R-action on Ω and then translation by TA action, or applying first translation by TB and then the R-action. In other words, tra… view at source ↗
Figure 4
Figure 4. Figure 4: The map ν of (9), where g1, g2 indicate the genus of each component. Back to the moduli spaces of complex curves, let S ⊂ Mct g,1+n be the stratum S := gl(Mg1,1+n1+1 × Mg2,1+n2 ). (10) The moduli spaces of bordered surfaces allow us defining a thickening Nθ := S ∪θ(N ) ⊂ Mct g,1+n : this is a tubular neighborhood of S admitting a smooth strong deformation retraction r : Nθ → S. The restriction of r to ∂Nθ … view at source ↗
Figure 5
Figure 5. Figure 5: Tubular neighborhood and circle bundle (11). By their geometric construction, the bundles ρ and ν are related by the commutative diagram ρ ◦ θ = gl ◦ (θ −1 1 , θ−1 2 ) ◦ ν, (12) where θ1 and θ2 are isomorphisms like (7) for the two factors. The thickening will be used for coho￾mological computations in the following way. Lemma 3.2. If ϕ ∈ H∗ (Mct g,1+n ), then ρ ∗ (ϕ|S ) = ϕ|∂Nθ . Proof. Since r induces an… view at source ↗
Figure 6
Figure 6. Figure 6: Gluing fixed spheres with 1 + n ≥ 3 boundaries (in purple) Theorem 3.5. [Har85, Iva92] Let g, n ≥ 0 such that 2g −1+n > 0. The map γ ∗ in cohomology degree ≤ 2g 3 and the map φ ∗ in cohomology degree ≤ 2 3 (g − 1) are isomorphisms [PITH_FULL_IMAGE:figures/full_fig_p011_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Gluing fixed tori with two boundaries (in purple) From this result, Looijenga [Loo94, Proposition 2.1] deduced that Hk (M• g,1+n ) ≃ Hk (Mg) and Hk (Mg,1+n) ≃ Hk (Mg)[ψ1, . . . , ψ1+n] for g, n ≥ 0 and degree in the stability range 0 ≤ k ≤ 2g 3 . Together with Mumford’s conjecture proved by Madsen and Weiss [MW07], this provides a concise description of the stable cohomology of the moduli spaces. Theorem 3… view at source ↗
Figure 8
Figure 8. Figure 8: Gluing two surfaces to a fixed pair of pants (in purple) Now take g, n, h ≥ 1 and consider the more general map µ : M• h,1 × M• g,1+n −→ M• g+h,1+n which glues the second boundary of P to a surface of genus h with a single boundary, and the third boundary of P to the first boundary of a surface of genus g with 1 + n boundaries. The compatibility of Ω • with this map yields µ ∗Ω • g+h,1+n = Ω• h,1 · Ω • g,1… view at source ↗
Figure 9
Figure 9. Figure 9: Pinning boundaries Proposition 3.11. Let Ω be an invertible F-CohFT. Then, there exist two elements Rin(z, κ) and Rout(z, κ) in End(V ) ⊗ CJz, κ1, κ2, . . .K defined by the formulae, for any v ∈ V Rout(ψ1, κ)[v] := lim h→∞ π ∗ inΩ ◦ h,1+1(α −h · v), Rin(ψ2, κ)[v] := lim h→∞ α −h · π ∗ outΩ ◦ h,1+1(v). (24) These elements satisfy Rout(−z, 0) ◦ Rin(z, 0) = IdV JzK and Rout(0, 0) = Rin(0, 0) = IdV , and ∀v ∈ … view at source ↗
Figure 10
Figure 10. Figure 10: Geometry of the map ν. The compatibility property (13) for Ω ◦ yields Ω ◦ g,1+1|∂N = ν ∗ (Ω◦ g1,1+1 ◦ Ω ◦ g2,1+1), After lifting to π −1 (∂N ) ⊂ M• g,1+1 (like in the proof of Proposition 3.4) we get Ω • g,1+1|π−1(∂N) = π ∗ outΩ ◦ g1,1+1 ◦ π ∗ inΩ ◦ g2,1+1|ψ′=−ψ. We know Ω • g,1+1 from (18), and restricting to π −1 (∂N ) just replaces κ = κ (1) + κ (2) to compare with the right-hand side (this is the pull… view at source ↗
Figure 11
Figure 11. Figure 11: Geometry of the map νh. The components in green have large genera h1, . . . , h1+n. Note the unusual convention that ψ ′ 1 is associated to an ingoing (instead of outgoing) edge, which is responsible for the minus signs in the formulae. various instances of pullback of (30) via π, and the kappa classes κ˜ from the ambient M• g+h,1+n decompose as κ˜ = κ + κ (1) + · · · + κ (1+n) , (36) where κ (i) are the … view at source ↗
Figure 12
Figure 12. Figure 12: We depict Mτ g,1+n on the left, Mct,τ g,1+n in the middle, and Mτ ′ g,1+n ∩ Mct,τ g,1+n for some τ ′ ⪯ τ on the right. The moduli spaces Mct appear as gray vertices and M as white vertices. One should take the union over all possible topologies for vertices on the top so that the total genus is g and total number of leaves is n, and eventually apply the gluing morphism to land in Mct g,1+n . Lemma 3.18. L… view at source ↗
Figure 13
Figure 13. Figure 13: Contributions to (RTΩ)0,1+3. The stratum on the left has complex dimension 1 so we just need to linearise in ψ and κ. The strata on the right have dimension 0 so only remains the F-TFT product at vertices and ER(0, 0) = R1 on the edge (see (5)). On the other hand, from the definition of the formal shift we can compute the covariant derivative in the direction of a flat basis vector ∀µ, β, γ ∈ [N] ∇∂µ (∂β … view at source ↗
Figure 14
Figure 14. Figure 14: The stable trees in T1,1+1. as the forgetful map f : M1,1+1 → M1,1 has fibers of complex dimension 1. We compute from the F-Givental group action ( [PITH_FULL_IMAGE:figures/full_fig_p028_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: The stable trees associated to the strata Mg,1+1, S, S ′ . Psi-classes in grey vanish [PITH_FULL_IMAGE:figures/full_fig_p030_15.png] view at source ↗
read the original abstract

We prove an analogue of Givental-Teleman reconstruction for F-cohomological field theories on the moduli space of compact type. We apply it to reconstruct the restriction of the extended $r$-spin classes to the extended direction and deduce relations between $\kappa$-classes (both in compact type).

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

1 major / 2 minor

Summary. The paper proves an analogue of the Givental-Teleman reconstruction theorem adapted to F-cohomological field theories (F-CohFTs) on the moduli space of curves of compact type. It then applies the reconstruction to the restriction of the extended r-spin classes to the extended direction and deduces relations among κ-classes, all within the compact type setting.

Significance. If the central reconstruction holds, the result extends standard Givental-Teleman techniques from the full moduli space to the compact type partial compactification, enabling explicit computations for a broader class of theories. The application to extended r-spin classes yields new κ-class relations that may be useful for studying the tautological ring on M_{g,n}^{ct}. The manuscript ships a self-contained proof of the analogue theorem together with a concrete application, which strengthens its utility.

major comments (1)
  1. [§3 (application to extended r-spin classes)] The reconstruction procedure relies on the F-CohFT satisfying precise gluing and forgetful map compatibilities on the compact type moduli space (as isolated in the weakest assumption). The manuscript should explicitly verify these axioms for the extended r-spin classes in §3 or §4 before invoking the reconstruction theorem; without this check the application step is not yet load-bearing.
minor comments (2)
  1. [Introduction] Notation for the 'extended direction' and the precise definition of F-CohFT on M^{ct} should be introduced earlier, ideally with a short comparison table to the standard CohFT axioms.
  2. [§5 (κ-relations)] The κ-class relations deduced in the final section would benefit from an explicit low-genus example (e.g., g=1 or g=2) to illustrate the new identities.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit verification in the application. We address the single major comment below and will incorporate the suggested clarification in the revised version.

read point-by-point responses

  1. Referee: [§3 (application to extended r-spin classes)] The reconstruction procedure relies on the F-CohFT satisfying precise gluing and forgetful map compatibilities on the compact type moduli space (as isolated in the weakest assumption). The manuscript should explicitly verify these axioms for the extended r-spin classes in §3 or §4 before invoking the reconstruction theorem; without this check the application step is not yet load-bearing.

    Authors: We agree that an explicit verification of the gluing and forgetful-map compatibilities for the extended r-spin classes strengthens the application and makes the invocation of the reconstruction theorem fully load-bearing. In the revised manuscript we will insert a short dedicated paragraph (or subsection) in §3 immediately preceding the reconstruction step. This paragraph will confirm that the restriction of the extended r-spin classes to the compact-type locus satisfies the precise axioms isolated in the weakest assumption of Theorem 2.3, drawing on the gluing axioms already established for the full extended r-spin theory in the literature (e.g., the compatibility with the boundary strata of the compact-type moduli space and the forgetful-map relations). The added text will be self-contained and will not alter the length or logical flow of the section. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves an analogue of the Givental-Teleman reconstruction theorem for F-cohomological field theories restricted to the moduli space of compact type curves, then applies the result to extended r-spin classes to obtain kappa-class relations. This is a standard mathematical derivation that relies on verifying structural axioms (gluing, forgetful maps, etc.) as independent inputs rather than deriving them from the target statements. No equation or step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claim remains a non-trivial theorem whose validity depends on external verification of the axioms, not on renaming or circular closure of its own outputs. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so the ledger is limited to what is implied by the stated claims; no explicit free parameters, invented entities, or ad-hoc axioms are mentioned.

pith-pipeline@v0.9.0 · 5337 in / 1154 out tokens · 46178 ms · 2026-05-10T17:05:47.811564+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    [ABC+23] Jørgen Ellegaard Andersen, Gaëtan Borot, Séverin Charbonnier, Vincent Delecroix, Alessandro Giacchetto, Danilo Lewański, and Campbell Wheeler,Topological recursion for Masur–Veech volumes, J. Lond. Math. Soc.107(2023), no. 2, 254–332, math.GT/1905.10352. [ABLR21] Alessandro Arsie, Alexandr Y. Buryak, Paolo Lorenzoni, and Paolo Rossi,Flat F-manifo...

    work page arXiv 2023

  2. [2]

    Buryak,Double ramification cycles and integrable hierarchies, Commun

    [Bur15] Alexandr Y. Buryak,Double ramification cycles and integrable hierarchies, Commun. Math. Phys.336 (2015), no. 3, 1085–1107, math-ph/1403.1719. [Bur17] ,New approaches to integrable hierarchies of topological type, Russ. Math. Surv.72(2017), no. 5,

    work page arXiv 2015

  3. [3]

    Buryak, Jianghao Xu, and Di Yang,Bihamiltonian tests for integrable systems associated to rank-1F-CohFTs, nlin/2601.13203

    [BXY26] Alexandr Y. Buryak, Jianghao Xu, and Di Yang,Bihamiltonian tests for integrable systems associated to rank-1F-CohFTs, nlin/2601.13203. [Chi06] Alessandro Chiodo,The Witten top Chern class via K-theory, J. Alg. Geom.15(2006), no. 4, 681–707, math.AG/0210398. [Chi16] Simone M. Chiarello,Teleman’s classification of 2D semisimple cohomological field t...

    work page arXiv 2006

  4. [4]

    [FSZ10] Carel Faber, Sergey Shadrin, and Dimitri Zvonkine,Tautological relations and ther-spin Witten conjecture, Ann. Sci. Éc. Norm. Sup.43(2010), no. 4, 621–665, math.AG/0612510. [Get04] Ezra Getzler,The jet-space of a Frobenius manifold and higher-genus Gromov–Witten invariants, Frobe- nius manifolds: quantum cohomology and singularities (Claus Hertlin...

    work page arXiv 2010

  5. [5]

    Manin,Weak Frobenius manifolds, Int

    [HM99] Claus Hertling and Yuri I. Manin,Weak Frobenius manifolds, Int. Math. Res. Not.1999(1999), no. 6, 277–286, math.OA/9810132. [Iva92] Nikolai V. Ivanov,Subgroups of Teichmüller modular groups, vol. 115, Amer. Math. Soc., Providence, R.I,

    work page arXiv 1999

  6. [6]

    Math., Amer

    (Providence, RI), Contemp. Math., Amer. Math. Soc., 2001, math.AG/0009066. [JPPZ17] Felix Janda, Rahul Pandharipande, Aaron Pixton, and Dimitri Zvonkine,Double ramification cycles on the moduli spaces of curves, Publ. Math. Inst. Hautes Études Sci.125(2017), 221–266, math.AG/1602.04705. [KM94] Maxim Kontsevich and Yuri I. Manin,Gromov–Witten classes, quan...

    work page arXiv 2001

  7. [7]

    [PPZ15] Rahul Pandharipande, Aaron Pixton, and Dimitri Zvonkine,Relations on Mg,n via3-spin structures, J. Amer. Math. Soc.28(2015), no. 1, 279–309, math.AG/1303.1043. [PV01] Alexander Polishchuk and Arkady Vaintrob,Algebraic construction of Witten’s top Chern class, Advances in algebraic geometry motivated by physics (Lowell, MA,

    work page Pith review arXiv 2015

  8. [8]

    Tullio Levi-Civita

    (Providence), Contemp. Math., vol. 276, AMS, 2001, math.AG/0011032, pp. 229–249. [ST24] Jake P. Solomon and Sara B. Tukachinsky,Relative quantum cohomology, J. Eur. Math. Soc.26(2024), no. 9, 3497–3573, math.SG/1906.04795. [Tel12] Constantin Teleman,The structure of 2D semi-simple field theories, Invent. math.188(2012), no. 3, 525–588, math.AT/0712.0160. ...

    work page arXiv 2001