Half-Spin Tautological Relations and Faber's Proportionalities of Kappa Classes

TL;DR

This paper uses half-spin tautological relations to derive a combinatorial identity equivalent to Faber's formula for kappa-classes, offering new proofs for specific cases and deepening understanding of tautological relations.

Contribution

It introduces a novel combinatorial identity based on half-spin tautological relations and proves several cases, providing new insights into Faber's proportionalities of kappa-classes.

Findings

Derived a combinatorial identity equivalent to Faber's formula

Proved several cases of the identity, offering new proofs

Enhanced understanding of tautological relations on moduli spaces

Abstract

We employ the $1/2$-spin tautological relations to provide a particular combinatorial identity. We show that this identity is a statement equivalent to Faber's formula for proportionalities of kappa-classes on $\mathcal{M}_g$, $g\geq 2$. We then prove several cases of the combinatorial identity, providing a new proof of Faber's formula for those cases.

Figures

Equations

$$\pi :{\overline{\mathcal{M}}}_{g,n+1}\to {\overline{\mathcal{M}}}_{g,n},$$

$$\rho :{\overline{\mathcal{M}}}_{g,n+1}\times {\overline{\mathcal{M}}}_{h,m+1}\to {\overline{\mathcal{M}}}_{g+h,n+m},$$

$$\sigma :{\overline{\mathcal{M}}}_{g,n+2}\times {\overline{\mathcal{M}}}_{g+1,n},$$

$$\left(\genfrac{}{}{0ex}{}{2a+1}{2d}\right)\cdot (2d-1)!!,a,d\in {\mathbb{Z}}_{\ge 0}$$

$$\frac{1}{(2g-3+n)!}{\int }_{{\overline{\mathcal{M}}}_{g,n}}{\lambda }_g{\lambda }_{g-1}\prod _{i=1}^n{\psi }_i^{d_i}(2d_i-1)!!=C_g.$$

$$Q_m(a):=\frac{(-1{)}^m}{2^{m}m!}\prod _{k=1}^{2m}\left(a+1-\frac{k}{2}\right).$$

$$\displaystyle\frac{1}{\psi+\psi^{\prime}}\bigg{(}\delta_{a+b,-\frac{3}{2}}-\sum_{m,m^{\prime}=0}^{\infty}\sum_{c,d\in\frac{1}{2}\mathbb{Z}}Q_{m}(c)Q_{m^{\prime}}(d)\delta_{a,c-m}\delta_{b,d-m^{\prime}}\delta_{c+d,-\frac{3}{2}}\psi^{m}(\psi^{\prime})^{m^{\prime}}\bigg{)}.$$

$$Q_m(a+m)Q_{m^{\prime }}(b+m^{\prime })=\left(\genfrac{}{}{0ex}{}{m+m^{\prime }}{m}\right)Q_{m+m^{\prime }}(a+m+m^{\prime })\text{if a+b+m+m′=−23.}$$

$$0=\sum _{k=1}^n\frac{(-1{)}^k}{k!}\sum _{\begin{array}{c}{I}_1\bigsqcup \cdots \bigsqcup I_k=[[n]]\\ I_j\ne \varnothing ,\forall j\in [[k]]\end{array}}\sum _{\begin{array}{c}{d}_1,\dots ,d_k\in {\mathbb{Z}}_{\ge 0}\\ d_1+\cdots +d_k=g-2+k\end{array}}⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g\cdot \prod _{j=1}^k{Q}_{d_j+|I_j|-1}(a_{[I_j]}).$$

$$⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g:=\frac{1}{C_g}{\int }_{{\overline{\mathcal{M}}}_{g,k}}{\lambda }_g{\lambda }_{g-1}\prod _{i=1}^k{\psi }_i^{d_i},$$

$$\displaystyle-\sum_{\ell=0}^{D_{I}}\psi_{[g]}^{d}\psi_{[0]}^{\ell}\bigg{[}Q_{d+1}(\aoverbrace[L1U1R]{a_{[I]}-D_{I}}^{b_{[g]}+d+1})Q_{\ell}\bigg{(}\aoverbrace[L1U1R]{{-}\frac{3}{2}-a_{[I]}+D_{I}}^{b_{[0]}+\ell}\bigg{)}$$

$$-Q_{d+2}(a_{[I]}-D_I+1)Q_{\ell -1}\left(-\frac{3}{2}-a_{[I]}+D_I-1\right)$$

$$+Q_{d+3}(a_{[I]}-D_I+2)Q_{\ell -2}\left(-\frac{3}{2}-a_{[I]}+D_I-2\right)$$

$$⋮$$

$$\displaystyle\qquad{}+(-1)^{\ell}Q_{d+\ell+1}(a_{[I]}-D_{I}+\ell)Q_{0}\left({-}\frac{3}{2}-a_{[I]}+D_{I}-\ell\right)\bigg{]},$$

$$-\sum _{a_0=-3/2-a_{[I]}}^{-3/2-a_{[I]}+D_I}{\psi }_{[g]}^d(-1{)}^{-3/2-a_0-a_{[I]}+D_I}{Q}_{d+1-3/2-a_{[I]}+D_I-a_0}\left(-\frac{3}{2}-a_0\right){\psi }_{[0]}\text{aoverbrace}[L1U1R]{{}^{-3/2-a_{[I]}+D_I-a_0}}^j$$

$$\times \left[\sum _{k=0}^{a_{[I]}-(-3/2-a_0)}{Q}_k(a_0){\psi }_{[0]}^k\right].$$

$$(-1{)}^{D_I+1}{\psi }_{[g]}^d{\psi }_{[0]}^{D_I}{Q}_{d+D_I+1}(a_{[I]}).$$

$$(-1{)}^{|I|-1}{\psi }_{[g]}^d{\psi }_{[0]}^{|I|-2}{Q}_{d+|I|-1}(a_{[I]}).$$

$$(-1{)}^{|I|-1}{\psi }_I^d{Q}_{d+|I|-1}(a_{[I]}).$$

$$\frac{1}{C_g}{\int }_{{\overline{\mathcal{M}}}_g}{\lambda }_g{\lambda }_{g-1}\cdot :R^{g-2}({\mathcal{M}}_g)\to \mathbb{Q}$$

$$⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g:=\frac{1}{C_g}{\int }_{{\overline{\mathcal{M}}}_{g,n}}{\lambda }_g{\lambda }_{g-1}\prod _{i=1}^n{\psi }_i^{d_i}=\frac{(2g-3+n)!}{\prod _{i=1}^n(2d_i-1)!!}$$

$$0=\sum _{k=1}^n\frac{(-1{)}^k}{k!}\sum _{\begin{array}{c}{I}_1\bigsqcup \cdots \bigsqcup I_k=[[n]]\\ I_j\ne \varnothing ,\forall j\in [[k]]\end{array}}\sum _{\begin{array}{c}{d}_1,\dots ,d_k\in {\mathbb{Z}}_{\ge 0}\\ d_1+\cdots +d_k=g-2+k\end{array}}⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g^{\star }\cdot \prod _{j=1}^k{Q}_{d_j+|I_j|-1}(a_{[I_j]}),$$

$$⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g^{\star }=\frac{(2g-3+k)!}{\prod _{i=1}^k(2d_i-1)!!}\text{in case}{d}_1,\dots ,d_k\ge 1,$$

$$⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{\tau }_0{⟩}_g^{\star }=\sum _{\begin{array}{c}j=1\\ d_j\ge 1\end{array}}^k⟨{\tau }_{d_1-{\delta }_{1j}}\cdots {\tau }_{d_k-{\delta }_{kj}}{⟩}_g^{\star }$$

$$⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{\tau }_0{⟩}_g^{\bullet }=\sum _{j=1}^k⟨{\tau }_{d_1-{\delta }_{1j}}\cdots {\tau }_{d_k-{\delta }_{kj}}{⟩}_g^{\bullet }.$$

$$\displaystyle\bigg{\langle}\prod_{i=1}^{k}\tau_{d_{i}}\bigg{\rangle}_{g}^{\bullet}\coloneqq\begin{cases}\displaystyle\bigg{\langle}\prod_{i=1}^{k}\tau_{d_{i}}\bigg{\rangle}_{g}^{\star},&d_{1},\dots,d_{k}\geq 0,\\ 0,&\text{at least one }d_{i}\text{ is negative}\end{cases}$$

$${\mathcal{E}}_{g,n}(\vec{a}):=\sum _{k=1}^n\frac{(-1{)}^k}{k!}\sum _{\begin{array}{c}{I}_1\bigsqcup \cdots \bigsqcup I_k=[[n]]\\ I_j\ne \varnothing ,\forall j\in [[k]]\end{array}}\sum _{\begin{array}{c}{d}_1,\dots ,d_k\in \mathbb{Z}\\ d_1+\cdots +d_k=g-2+k\end{array}}⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g^{\bullet }\cdot \prod _{j=1}^k{Q}_{d_j+|I_j|-1}(a_{[I_j]})$$

$$\frac{\partial {\mathcal{E}}_{g,n}(\vec{a})}{\partial ⟨{\tau }_{d_1}\cdots {\tau }_{d_k}{⟩}_g^{\bullet }}\equiv 0.$$

$$⟨{\tau }_0(J_{k+1})\prod _{i=1}^k{\tau }_{d_i}(J_i){⟩}_g^{\bullet }=\sum _{j=1}^k⟨{\tau }_{d_j-1}(J_j\bigsqcup J_{k+1})\prod _{\begin{array}{c}i=1\\ i\ne j\end{array}}^k{\tau }_{d_i}(J_i){⟩}_g^{\bullet }.$$

$${\mathcal{E}}_{g,n}^{\text{ref}}(\vec{a}):=\sum _{k=1}^n\frac{(-1{)}^k}{k!}\sum _{\begin{array}{c}{I}_1\bigsqcup \cdots \bigsqcup I_k=[[n]]\\ I_j\ne \varnothing ,\forall j\in [[k]]\end{array}}\sum _{\begin{array}{c}{d}_1,\dots ,d_k\in \mathbb{Z}\\ d_1+\cdots +d_k=g-2+k\end{array}}⟨{\tau }_{d_1}(I_1)\cdots {\tau }_{d_k}(I_k){⟩}_g^{\bullet }\cdot \prod _{j=1}^k{Q}_{d_j+|I_j|-1}(a_{[I_j]}).$$

$$\displaystyle\frac{\partial\Big{\langle}\prod\limits_{i=1}^{k}\prod\limits_{j=1}^{m_{i}}\tau_{d_{ij}}(I_{ij})\Big{\rangle}_{g}^{\bullet}}{\partial\Big{\langle}\prod\limits_{i=1}^{k}\tau_{d_{i}}(I_{i})\Big{\rangle}_{g}^{\bullet}}=\frac{\partial\Big{\langle}\prod\limits_{i=1}^{k}\prod\limits_{j=1}^{m_{i}}\tau_{d_{ij}}(I_{ij})\Big{\rangle}_{g}^{\bullet}}{\partial\Big{\langle}\tau_{d_{1}}(I_{1})\prod\limits_{i=2}^{k}\prod\limits_{j=1}^{m_{i}}\tau_{d_{ij}}(I_{ij})\Big{\rangle}_{g}^{\bullet}}\frac{\partial\Big{\langle}\tau_{d_{1}}(I_{1})\prod\limits_{i=2}^{k}\prod\limits_{j=1}^{m_{i}}\tau_{d_{ij}}(I_{ij})\Big{\rangle}_{g}^{\bullet}}{\partial\Big{\langle}\prod\limits_{i=1}^{k}\tau_{d_{i}}(I_{i})\Big{\rangle}_{g}^{\bullet}}.$$

$$\displaystyle\frac{\partial\mathcal{E}_{g,n}(\vec{a})}{\partial\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}}=\sum_{I_{1}\sqcup\cdots\sqcup I_{k}=\llbracket n\rrbracket}\frac{\partial\mathcal{E}^{\textup{ref}}_{g,n}(\vec{a})}{\partial\langle\tau_{d_{1}}(I_{1})\dotsb\tau_{d_{k}}(I_{k})\rangle^{\bullet}_{g}}\Bigg{|}_{\tau_{d}(I)=\tau_{d}}$$

$$\displaystyle=\frac{(-1)^{k}}{k!}\sum_{\begin{subarray}{c}I_{1}\sqcup\cdots\sqcup I_{k}=\llbracket n\rrbracket\\ I_{j}\neq\varnothing,\forall\,j\in\llbracket k\rrbracket\\ m_{i},d_{ij},I_{ij}\text{ for }i\geq 2\end{subarray}}(-1)^{\sum\limits_{i=2}^{k}(m_{i}-1)}\prod_{i=2}^{k}\prod_{j=1}^{m_{i}}Q_{d_{ij}+|I_{ij}|-1}(a_{[I_{ij}]})\frac{\partial\Big{\langle}\tau_{d_{1}}(I_{1})\prod\limits_{i=2}^{k}\prod\limits_{j=1}^{m_{i}}\tau_{d_{ij}}(I_{ij})\Big{\rangle}_{g}^{\bullet}}{\partial\Big{\langle}\prod\limits_{i=1}^{k}\tau_{d_{i}}(I_{i})\Big{\rangle}_{g}^{\bullet}}$$

Full text

\FirstPageHeading

\ShortArticleName

Half-Spin Tautological Relations and Faber’s Proportionalities of Kappa Classes

\ArticleName

Half-Spin Tautological Relations

and Faber’s Proportionalities of Kappa Classes††This paper is a contribution to the Special Issue on Integrability, Geometry, Moduli in honor of Motohico Mulase for his 65th birthday. The full collection is available at https://www.emis.de/journals/SIGMA/Mulase.html

\Author

Elba GARCIA-FAILDE †, Reinier KRAMER ‡, Danilo LEWAŃSKI ‡ and Sergey SHADRIN §

\AuthorNameForHeading

E. Garcia-Failde, R. Kramer, D. Lewański and S. Shadrin

\Address

† Institute de Physique Théorique, CEA Paris-Saclay, Orme des Merisiers,

† 91191 Gif-sur-Yvette, France \EmailDelba.garcia-failde@ipht.fr

\Address

‡ Max Planck Institut für Mathematik, Vivatsgasse 7, 53111 Bonn, Germany \EmailDrkramer@mpim-bonn.mpg.de, ilgrillodani@mpim-bonn.mpg.de

\Address

§ Korteweg-de Vries Instituut voor Wiskunde, Universiteit van Amsterdam,

§ Postbus 94248, 1090GE Amsterdam, The Netherlands \EmailDs.shadrin@uva.nl

\ArticleDates

Received June 19, 2019, in final form October 14, 2019; Published online October 18, 2019

\Abstract

We employ the $1/2$-spin tautological relations to provide a particular combinatorial identity. We show that this identity is a statement equivalent to Faber’s formula for proportionalities of kappa-classes on $\mathcal{M}_{g}$, $g\geq 2$. We then prove several cases of the combinatorial identity, providing a new proof of Faber’s formula for those cases.

\Keywords

tautological ring; tautological relations; moduli spaces of curves; Faber intersection number conjecture; odd-even binomial coefficients \Classification14H10; 05A10

1 Introduction

The moduli spaces of curves $\mathcal{M}_{g,n}$ and their Deligne–Mumford compactifications $\overline{\mathcal{M}}_{g,n}$ are central objects in modern mathematics. Although in general their Chow rings are inifinite-dimensional, there are finite-dimensional subrings, the tautological rings $R^{*}$, that contain most ‘naturally occuring’ classes. These rings have been studied since the foundational work of Mumford [13] and Faber [4]. Overviews of the main results on these rings can be found in [14, 19, 20, 22].

The system of tautological rings $\{R^{*}(\overline{\mathcal{M}}_{g,n})\}_{g,n}$ can be defined succinctly as the smallest system of subalgebras of the Chow rings closed under pushforwards along the three tautological maps

[TABLE]

where the first map forgets the last marked point and the other two glue two marked points together, see [5]. This system of rings is also closed under pullbacks along the above-mentioned maps, and it contains the natural tautological $\psi$-, $\kappa$-, and $\lambda$-classes, after which the rings are named.

In fact, a set of additive generators of the tautological rings can be given by dual graphs, which are graphs with $n$ leaves (or labelled half-edges) decorated as follows: to each vertex $v$ we attach a genus $g(v)$ and a product of $\kappa$-classes, and to each half-edge we attach a power of a $\psi$-class. Vertices represent stable components of algebraic curves, half-edges represent special points (i.e., can be either nodes of the curve or leaves), among which labelled half-edges represent the $n$ leaves. We interpret the dual graphs as follows: we attach to vertices of genus $g^{\prime}$ and valency $n^{\prime}$ a copy of $\overline{\mathcal{M}}_{g^{\prime},n^{\prime}}$, we form the product of all $\kappa$- and $\psi$-classes attached to the vertex or to its half-edges, and we push it forward along the gluing tautological maps given by the edges.

The tautological rings of the open space $\mathcal{M}_{g,n}$ and its partial compactifications are defined via restriction from $\overline{\mathcal{M}}_{g,n}$. As $\mathcal{M}_{g,n}$ corresponds to all smooth curves, all graphs with at least one edge restrict to zero on this space; the only tautological classes are polynomials in $\kappa$- and $\psi$-classes. We denote by $\mathcal{M}^{\textup{ct}}_{g,n}$ and $\mathcal{M}^{\textup{rt}}_{g,n}$ the partial compactifications of $\mathcal{M}_{g,n}$ by stable nodal curves of compact type and with rational tails, respectively.

In fact there are many relations between dual graphs in the tautological ring. These relations are called tautological relations and they encode the structure of the tautological rings. Therefore, the understanding of tautological rings boils down to the understanding of their tautological relations.

1.1 Half-spin relations

One way of approaching tautological relations is via cohomological field theories (CohFTs). One particular CohFT has played a distinguished role in this context. It is a shifted version of Witten’s $r$-spin class [18, 21], and has been thoroughly studied by Pandharipande–Pixton–Zvonkine in two different ways [15, 16]. On the one hand, Witten’s class is quasi-homogeneous, and this gives a degree bound for its shifted version. On the other hand, any semi-simple CohFT can be constructed via Givental’s action from its degree zero part, and this gives an explicit description for the shifted Witten’s class, that seemingly has non-trivial contributions in high degrees. As both approaches should lead to the same result, this gives tautological relations in degrees above the bound, called $r$-spin relations.

In [16], it was also proved that the Witten $r$-spin class is polynomial in $r$ for $r$ large. This makes it possible to choose $r$, which a priori should be an integer greater or equal to two, to be any number. In [9], the authors observed that taking the value $r=\frac{1}{2}$ results in much simplified relations compared to the case of general $r$. These relations are called half-spin relations.

The coefficients of the half-spin relations are proportional to expressions of the type

[TABLE]

(cf. [9, Lemma 2.1]). It turns out that further applications of half-spin relations require a better understanding the combinatorial structure of these numbers. We propose some purely combinatorial questions about them, cf. Question 5.2 and Conjecture 5.7 that arose naturally from our analysis of Faber’s conjecture.

1.2 Faber’s intersection numbers conjecture

The top tautological group $R^{g-2}(\mathcal{M}_{g})$ is one-dimensional, spanned by the class $\kappa_{g-2}$, $g\geq 2$ [3, 12]. All other monomials of kappa-classes, $\kappa_{a_{1}}\cdots\kappa_{a_{\ell}}$, $\ell\geq 1$, $a_{1},\dots,a_{\ell}\geq 1$, $a_{1}+\cdots+a_{\ell}=g-2$, are proportional to $\kappa_{g-2}$ with some coefficients of proportionality. These coefficients were conjectured by Faber in [4, Conjecture 1c], and he also observed in op. cit. that the class $\lambda_{g}\lambda_{g-1}$ vanishes on $\overline{\mathcal{M}}_{g,n}\setminus\mathcal{M}^{\textup{rt}}_{g,n}$. An equivalent form of his conjecture (now theorem) can be represented as follows:

Theorem 1.1** (Faber’s intersection numbers conjecture).**

Let $n\geq 2$ and $g\geq 2$. For any $d_{1},\dots,d_{n}\geq 1$, $d_{1}+\cdots+d_{n}=g-2+n$, there exists a constant $C_{g}$ that only depends on $g$ such that

[TABLE]

Remark 1.2**.**

In particular, $\int_{\overline{\mathcal{M}}_{g,1}}\lambda_{g}\lambda_{g-1}\psi_{1}^{g-1}=\frac{(2g-2)!}{(2g-3)!!}C_{g}$. This integral is computed in [4, Theorem 2], so it is known that $C_{g}=\frac{|B_{2g}|}{2^{2g-1}(2g)!}$, where $B_{2g}$ is the Bernoulli number.

This theorem has several proofs: Getzler and Pandharipande [6] derived it from the Virasoro constrains for $\mathbb{P}^{2}$ proved by Givental [7]. Liu and Xu [11] derived it from an identity for the $n$-point functions of the intersection numbers of $\psi$-classes that comes from the KdV equation. Goulden, Jackson, and Vakil proved it for $n\leq 3$ using the reductions of Faber–Hurwitz classes [8]. Buryak and the fourth author proved it using relations for double ramification cycles [1]. Finally, Pixton showed the compatibility of this theorem with Faber–Zagier relations in [17], also proved by Faber and Zagier (unpublished, see a remark in [16]). Together with a result of [16], this shows that Faber–Zagier relations imply this theorem.

In fact, all these independent proofs are inspired by quite different ideas and they all lead to a deeper understanding of the geometry of the moduli spaces of curves. In this paper, we use the half-spin relations to transform Faber’s conjecture into a combinatorial identity. This gives insight into the use of half-spin relations and the related combinatorics of expressions of the form of (1.1). On the other hand, it gives insight into Faber’s formula itself, as we extend it to formal negative powers of $\psi$-classes.

We then prove several cases of the combinatorial identity, providing a new proof of Faber’s conjecture for $n$ less than or equal to five.

1.3 Organization of the paper

In Section 2, we give the definition of the half-spin relations. In Section 3, we reduce Faber’s conjecture (Theorem 1.1) to a combinatorial identity using the half-spin relations. In Section 4, we introduce formal negative powers of $\psi$-classes to reduce the combinatorial identity to a simpler one, which we refer to as the main combinatorial identity of the paper. In Section 5, we investigate this identity from a combinatorial viewpoint and conjecture a refinement. In Appendix A, we give a combinatorial proof of the identity in low-degree cases.

2 Definition of half-spin relations

We will define two specific cases of the half-spin relations in $R^{\geq g}(\mathcal{M}^{\textup{ct}}_{g,n})$, as this is all we need for the rest of the paper. For a more general version and the construction, see [9].

First we need to define stable graphs.

Definition 2.1**.**

A stable graph is the data $\Gamma=(V,H,L,E,g\colon V\to\mathbb{Z}_{\geq 0},v\colon H\to V,\iota\colon H\to H)$ such that

$V$ is the vertex set with genus function $g$; 2. 2)

$\iota$ is an involution of $H$, the set of half-edges; 3. 3)

the set $L$ of legs or leaves is given by the fixed points of $\iota$; 4. 4)

the set $E$ of edges is given by the two-point orbits of $\iota$; 5. 5)

$v$ sends a half-edge to the vertex it is attached to; 6. 6)

the graph given by $(V,E)$ is connected; 7. 7)

for each vertex $w\in V$, the stability condition holds: $2g(w)-2+n(w)>0$, where $n(w)=|v^{-1}(w)|$ is the valence of $w$.

For such a stable graph, its genus is given by $g(\Gamma)=\sum_{v\in V}g(v)+h^{1}(\Gamma)$, where $h^{1}(\Gamma)$ is the first Betti number of the graph. The type of a stable graph $\Gamma$ is given by $(g(\Gamma),|L|)$.

We recall that the $r$-spin relations are proved in [16] by taking the Cohomological Field Theory given by Witten’s $r$-spin class, and showing that it is polynomial in $r$ in a certain way. This is a subtle argument, hinging on the primary fields $a_{1},\dotsc,a_{n}$ attached to the leaves. For the $r$-spin theory, these are numbers between [math] and $r-2$, such that $A\coloneqq\sum a_{i}\equiv g-1+D\mod r-1$, where $D$ is the degree of the relation. To show polynomiality in $r$, this congruence is lifted to an equality $A=g-1+D+x(r-1)$ for some $x\in\mathbb{Z}_{\geq 0}$. If $x=0$, all the primary fields can be taken constant in $r$, and polynomiality follows from the argument of [16].

For $x\geq 1$, however, the argument is more complicated, as the polynomiality does not hold over all of $\overline{\mathcal{M}}_{g,n}$. However, under certain conditions, it still holds on certain subspaces, where we can then use it to get half-spin relations on these subspaces. As taking $r=\frac{1}{2}$ is in effect taking a linear combination of relations for integer graphs, we do get relations on all of $\overline{\mathcal{M}}_{g,n}$, but their description is not explicit outside the given subspace. For more details, see [9]. We will only give the half-spin relations needed for this paper; they only use trees.

Definition 2.2**.**

Define the polynomials

[TABLE]

Let $n\geq 2$, $D\geq g$ and $a_{1},\dotsc,a_{n}$ be non-negative integers, called primary fields, with sum $A\coloneqq\sum_{i=1}^{n}a_{i}=g-1+D$. Consider all stable trees $\Gamma=(V,H,L,E,g,v,\iota)$ of type $(g,n)$ and decorate them in the following way:

• •

On each leg labeled by $i$, place the sum $\sum_{d_{i}=0}^{a_{i}}Q_{d_{i}}(a_{i})\psi_{i}^{d_{i}}$, and place the integer $a_{i}-d_{i}$ on the corresponding half-edge fixed by $\iota$.

• •

On each vertex $v$, we use the tree structure to work inwards from the leaves. If we have determined all half-integers $b_{i}$ at its incident half-edges except one, say $b_{0}$, then $b_{0}\coloneqq g(v)-1-\sum_{i}b_{i}$ if this is at least zero. Otherwise, set $b_{0}\coloneqq g(v)-\frac{3}{2}-\sum_{i}b_{i}$.

• •

On each edge with half-integers $a$ and $b$ on its two half-edges, place the sum $-\sum_{m>0}Q_{n}(a+m)(\psi+\psi^{\prime})^{m-1}\delta_{a+b+m,-\frac{3}{2}}$, where $\psi$ and $\psi^{\prime}$ are the $\psi$-classes corresponding to the two half-edges.

The half-spin relation for $x=0$, $\Omega_{g,n}^{D}(a_{1},\dotsc,a_{n})=0\in R^{D}(\mathcal{M}_{g,n}^{\textup{rt}})$, is given by the sum of these decorated stable graphs with these coefficients being zero in degree $D$.

Remark 2.3**.**

Although the coefficient on the edge does not seem to be symmetric in $a$ and $b$, a simple calculation shows it actually is.

In fact, the coefficient on an edge with $a$ and $b$ on its two half-edges coming from the $r$-spin relations is

[TABLE]

This is equal to the coefficient given in the definition, but we give this equation as well, as it is closer to the form of the $r$-spin relations in [16], and because it is useful for the rest of the paper. In this formula, the numbers $c$ and $d$ should be interpreted as being placed near the middle of the edge, or at the end of the half-edges. In this way, they are similar to the $a_{i}$ on the leaves, and they will also be called primary fields. Meanwhile, the $a_{i}-d_{i}$ are similar to the $a$ and $b$ on the edges. This analogy will be used in the proof of Proposition 3.1. The equality can be seen from the relation

[TABLE]

Remark 2.4**.**

These relations have been proved in [9], by specialization of the $r$-spin relations proved in [16]. The proof in [9] uses the polynomiality of the $r$-spin relations in $r$, which is also proved in [16]. The half-spin relations can be extended to all of $\overline{\mathcal{M}}_{g,n}$, but this extension is not unique, much less explicit, and unnecessary for our purpose. However, their extension is of principal importance for applications in Gromov–Witten theory, since it allows to prove the following statement (a reformulation of [9, Lemma 5.2]):

Proposition 2.5**.**

Any monomial of $\psi$-classes of degree at least $\max(g,1)$ on $\overline{\mathcal{M}}_{g,n}$ can be expressed in terms of the boundary classes that involve no $\kappa$-classes, that is, in terms of the dual graphs with at least one edge, decorated only by $\psi$-classes.

This reformulation of [9, Lemma 5.2] is noted in [2] (where an alternative approach to the same statement is developed), and in this reformulation Proposition 2.5 immediately resolves Conjecture 3.14 in [10] and Conjecture 3 in [5].

We will also need the half-spin relation on $\overline{\mathcal{M}}_{0,n}$ for $x=1$. We give them here on $\mathcal{M}_{g,n}^{\textup{ct}}$ for general $g$, which reduces to $\overline{\mathcal{M}}_{0,n}$ for $g=0$.

Definition 2.6**.**

Now, let $n\geq 2$, $D\geq g+1$, and the primary fields $a_{1},\dotsc,a_{n-1}$ be non-negative integers, and $a_{n}\leq-\frac{3}{2}$ with sum $A=g+D-\frac{3}{2}$. Then the half-spin relation for $x=1$, $\Omega_{g,n}^{D}(a_{1},\dotsc,a_{n})=0\in R^{D}(\mathcal{M}_{g,n}^{\textup{ct}})$, is given by a sum over decorated stable trees with the same conditions as the ones for $x=0$.

Remark 2.7**.**

Although the (local) conditions are the same, the (global) relations are different, because the sum of the primary fields is different.

3 A combinatorial identity from half-spin relations

In this section, we employ the half-spin relations to prove the following proposition. We shall denote by $\llbracket n\rrbracket$ the set $\{1,\dots,n\}$.

Proposition 3.1**.**

For any $g\geq 2$ and $n\geq 2$, for any $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$, we have the following equation:

[TABLE]

Here we denote $\sum_{\ell\in I_{j}}a_{\ell}$ by $a_{[I_{j}]}$ and

[TABLE]

where $C_{g}$ is an arbitrary constant depending only on $g$ $($for instance, it is convenient to assume that $C_{g}$ is the constant given in Remark 1.2).

Moreover, for a fixed $g\geq 0$, the whole system of equations (3.1) $($we can vary parameters $n\geq 2$ and $a_{1},\dots,a_{n})$ determines all integrals $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}$, $k\geq 2$, in terms of $\langle\tau_{g-1}\rangle_{g}$.

Remark 3.2**.**

Note that equation (3.1) can also be considered as an equation for the classes in $R^{g-2}(\mathcal{M}_{g})$, once we replace the symbols $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}$ by the restrictions to $R^{g-2}(\mathcal{M}_{g})$ of the classes $\pi_{*}(\psi_{1}^{d_{1}}\cdots\psi_{k}^{d_{k}})$, where $\pi\colon\overline{\mathcal{M}}_{g,k}\to\overline{\mathcal{M}}_{g}$.

Proof.

We will use relations in $R^{g-2+n}(\mathcal{M}^{\textup{rt}}_{g,n})$ given by half-spin relations for $A=2g-3+n$. Note that to produce relations $D\coloneqq g-2+n$ must be at least $g$, and hence we have $n\geq 2$.

The restriction to $\mathcal{M}^{\textup{rt}}_{g,n}$ means that all allowed stable trees must have one vertex $v_{g}$ of genus $g$, and all other vertices have genus [math]. If we cut $v_{g}$ from such a stable tree, it falls apart in several connected components, which are called rational tails.

The leaves are then distributed among these rational tails, and this gives a decomposition $\llbracket n\rrbracket=\bigsqcup_{i=1}^{k}I_{i}$. If $|I_{i}|=1$, this corresponds to a leaf attached to $v_{g}$. We will therefore consider all graphs where the points with indices in $I_{i}$ lie on a separate rational tail, for every $i=1,\dots,k$.

We want to simplify these relations by applying half-spin relations in genus zero to each of the tails. Hence, we will now consider a particular rational tail that contains points with indices in $I\subset\llbracket n\rrbracket$, with $|I|\geq 2$. Consider the edge that attaches this rational tail to the genus $g$ component, and assume that it is decorated by $\psi^{d}$ at the node on the genus $g$ component. We call this edge the root edge, $e_{r}$, for this tail.

The total (cohomological) degree of the rest of this tail is given by the number of edges, excluding this one, together with the total number of $\psi$-classes, excluding this one. We will call this degree $D_{I}$. It cannot be larger than $|I|-2$, since $\dim_{\mathbb{C}}\overline{\mathcal{M}}_{0,|I|+1}=|I|-2$ and the graph is constructed via pushforward along a map from this space. This means that the end of the root edge which connects to the rational tail is decorated with $\psi^{\ell}$ for some $0\leq\ell\leq|I|-2$.

Let us now discuss the coefficient corresponding to the root edge. Using the congruences for the primary fields for the leaf contributions and the vertex contributions to be non-zero, together with the fact that all vertices in the rational tail correspond to genus [math] components and the total number of remaining $\psi$ classes and edges is equal to $D_{I}-\ell$, the primary field at the genus [math] end of the root edge must be equal to $b_{[0]}\coloneqq-\frac{3}{2}-a_{[I]}+(D_{I}-\ell)$. The primary field at the genus $g$ end of the root edge must be equal to $b_{[g]}\coloneqq a_{[I]}-(D_{I}+d+1)$.

The coefficient of the contribution of the root edge reads

[TABLE]

where the alternating sum comes from the division by $\psi_{[g]}+\psi_{[0]}$, following equation (2.2). Let us take this sum in a bit different way, with respect to the argument of the second factor $a_{0}=-\frac{3}{2}-a_{[I]}+D_{I}-j$, where $j$ runs from $D_{I}$ to [math], and decompose the exponent of $\psi_{[0]}$ as $\ell=j+k$. We have

[TABLE]

The sum over $a_{0}$ here is over half-integers, with integer steps.

Let us analyse the sum $\sum_{k=0}^{a_{[I]}+3/2+a_{0}}Q_{k}(a_{0})\psi_{[0]}^{k}$. We cut the root edge and assign $a_{0}$ as primary field for the new leaf on the rest of the tail, which is decorated with $\psi_{[0]}^{k}$. The total dimension of the class on the rest of the tail is D_{0}=D_{I}-j=D_{I}-\big{(}{-}\frac{3}{2}-a_{[I]}+D_{I}-a_{0}\big{)}=\frac{3}{2}+a_{[I]}+a_{0}. Thus $a_{0}+a_{[I]}=D_{0}-\frac{3}{2}$. Therefore, if $D_{0}\geq 1$, then with this sum on the root edge the total sum of all graphs in the tail (for a fixed $a_{0}$) is the half-spin relation for $x=1$, with primary field $a_{0}$ at the root edge and $a_{i}$, $i\in I$, for the marked points on the tail.

Thus the only nontrivial contribution of the tail comes from the case $D_{0}=0$ which produces no relation for the tail, with $a_{0}=-\frac{3}{2}-a_{[I]}$. In this case there is the unique non-trivial summand in the sum above that is equal to

[TABLE]

Moreover, the only non-trivial $\psi$-classes are on the root edge and there are no more internal edges on the tail.

In the end, modulo the relations in genus [math] on the tails, the only graphs that remain in the relation in degree $D=g-2+n$ are the following. The marked points are split in $k$ non-empty sets $I_{1},\dots,I_{k}$, corresponding to different rational tails. If $I_{i}$ is a set of one element, then the tail is just a leaf decorated with $\psi^{d_{i}}$ and the coefficient is $Q_{d_{i}}(a_{[I_{i}]})$. If $I_{i}$ is a set of two or more points, then this tail is just one rational vertex with all leaves from $I_{i}$ on it, attached by an edge to the genus $g$ vertex. The $\psi$-classes are only on this edge, $\psi^{d_{i}}$ on the genus $g$ side and $\psi^{D_{I}}$ on the genus [math] side, with the coefficient $(-1)^{D_{I}+1}Q_{d_{i}+D_{I}+1}(a_{[I_{i}]})$.

Up to now, everything we described was done in $R^{g-2+n}(\mathcal{M}^{\textup{rt}}_{g,n})$. Hence, we still need to pushforward to $\mathcal{M}_{g,k}$, along the map forgetting some of the marked points. For each decorated graph we constructed, we will pushforward until each tail has exactly one marked point left, and hence must be a leaf.

We can do this on each tail individually, first using the string equation, which in this case reads $\int_{\overline{\mathcal{M}}_{0,|I|+1}}\psi_{[0]}^{D_{I}}=\int_{\overline{\mathcal{M}}_{0,|I|}}\psi_{[0]}^{D_{I}-1}$. Therefore, pushing forward along a map forgetting a point in $I$ decreases the exponent of $\psi_{[0]}$ by one. As this can be done until the rational tail has two marked points, we must get $D_{I}=|I|-2$.

Finally, the pushforward of a rational tail with two marked points along the map forgetting one of those marked points just collapsed the tail and moves the remaining marked point to the collapsed node.

Summarising, the only surviving terms are the terms where all the marked points are partitioned as $\bigsqcup_{k}I_{k}=\llbracket n\rrbracket$ over rational tails consisting of a leaf or a single rational curve with all marked points attached to it, with coefficient

[TABLE]

These terms pushforward to terms on $\mathcal{M}_{g,k}$ given by

[TABLE]

Taking the product over all the tails and taking into account that the linear function

[TABLE]

is an isomorphism, the half-spin relations we found for $D=g-2+n$ imply the combinatorial identity (3.1).

On the other hand, it is easy to see that these relations determine the intersections of all possible monomials in $\psi$-classes in terms of $\int_{\overline{\mathcal{M}}_{g,1}}\lambda_{g}\lambda_{g-1}\psi_{1}^{g-1}$ (using the natural lexicographic order). ∎

We relate Proposition 3.1 to Faber’s conjecture and refine it using the string equation, which turns the result into a combinatorial identity.

Corollary 3.3**.**

Let $g\geq 2$ and $n\geq 2$. The following two statements are equivalent:

1. $i)$

Faber’s Conjecture 1.1: there exists a constant $C_{g}$ that only depends on $g$ such that

[TABLE]

for any $d_{1},\dots,d_{n}\geq 1$. 2. $ii)$

For any $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$ such that $a_{1}+\cdots+a_{n}=2g-3+n$, we have

[TABLE]

where

[TABLE]

and determined by the string equation

[TABLE]

otherwise. Here $a_{[I_{j}]}$ denote $\sum_{\ell\in I_{j}}a_{\ell}$.

Proof.

By Proposition 3.1, the left-hand side of equation (3.3) satisfies equation (3.4), and the integrals can be recovered from this equation. Therefore, both sides of equation (3.3) are equal if and only if the right-hand side also satisfies equation (3.4). ∎

4 Psi-classes of negative degree

In the previous section, we showed that Theorem 1.1 is equivalent to a system of combinatorial identities. The goal of this section is to reduce this system to a much nicer system of identities. In order to do this, we need to consider formal systems of correlators satisfying the string equation.

4.1 Formal negative degrees of psi-classes

Definition 4.1**.**

Let $g\geq 2$. Consider a system of numbers \big{\langle}\prod_{i=1}^{k}\tau_{d_{i}}\big{\rangle}_{g}^{\bullet} that depends on $d_{1},\dots,d_{k}\in\mathbb{Z}$, $d_{1}+\dots+d_{k}=g-2+k$, and is symmetric in these variables. We say that this system of numbers satisfies the string equation if

[TABLE]

Example 4.2**.**

The system of numbers

[TABLE]

satisfies the string equation, as follows, by definition, from equation (3.6).

Example 4.3**.**

The system of numbers \big{\langle}\prod_{i=1}^{k}\tau_{d_{i}}\big{\rangle}_{g}^{\bullet}\coloneqq(2g-3+k)!/\prod_{i=1}^{k}(2d_{i}-1)!! also satisfies the string equation (this can be checked by direct inspection).

Remark 4.4**.**

These two examples coincide in the case when all $d_{i}$’s are positive and also in the case when all $d_{i}$’s except for one are positive and the remaining one is equal to zero. For other values of $(d_{1},\dots,d_{k})$ the numbers in these two examples are generally different.

The string equation allows to choose the values of all numbers \big{\langle}\prod_{i=1}^{k}\tau_{d_{i}}\big{\rangle}_{g}^{\bullet}, $\prod_{i=1}^{k}d_{i}\not=0$, $k\geq 1$ in an arbitrary way, and the rest of the numbers (where at least one index $d_{i}$ is equal to zero) are linear combinations of these initial values with non-negative integer coefficients.

4.2 $\boldsymbol{Q}$-polynomials and a refined string equation

Fix $g\geq 2$ and $n\geq 2$ and let $a_{1},\dots,a_{n}$ be formal variables. Define $Q_{i}(a)\equiv 0$ for $i<0$. Fix an arbitrary system of numbers \big{\langle}\prod_{i=1}^{k}\tau_{d_{i}}\big{\rangle}_{g}^{\bullet}, $d_{1},\dots,d_{k}\in\mathbb{Z}$, $d_{1}+\dots+d_{k}=g-2+k$, symmetric in these variables and satisfying the string equation.

Consider the following expression

[TABLE]

as a polynomial in $a_{1},\dots,a_{n}$ and a linear function in $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$, $d_{1}\cdots d_{k}\not=0$.

Proposition 4.5**.**

For any $d_{1},\dots,d_{k}\in\mathbb{Z}$, $d_{1}+\dots+d_{k}=g-2+k$, $d_{1}\cdots d_{k}\not=0$, where at least one index $d_{i}$ is negative, we have

[TABLE]

Proof.

Assume $d_{1},\dots,d_{\ell}$ are negative, and the rest of the indices $d_{i}$ are positive. Let us fix $I_{1}\sqcup\cdots\sqcup I_{k}\subset\llbracket n\rrbracket$ that satisfy the condition $|I_{i}|+d_{i}-1\geq 0$ for any $i=1,\dots,\ell$.

Consider all terms in the expression $\mathcal{E}$ satisfying the following conditions:

• •

The correlator factor is a coefficient \big{\langle}\prod_{i=1}^{k}\prod_{j=1}^{m_{i}}\tau_{d_{ij}}\big{\rangle}_{g}^{\bullet} such that

• –

for each $i=1,\dots,k$, we have $\sum_{j=1}^{m_{i}}d_{ij}=d_{i}+m_{i}-1$;

• –

for each $i=1,\dots,\ell$, at most one of $d_{ij}$, $j=1,\dots,m_{i}$ is negative. It is at least $d_{i}$, and at least $d_{i}+1$ if $m_{i}\geq 2$ (this ensures there exists a zero index to use the string equation);

• –

for each $i=\ell+1,\dots,k$, all $d_{ij}$, $j=1,\dots,m_{i}$ are non-negative. Moreover, one index must be at least $d_{i}$, and at least $d_{i}+1$ if $m_{i}\geq 2$.

This list of conditions is equivalent to \frac{\partial\big{\langle}\prod_{i=1}^{k}\prod_{j=1}^{m_{i}}\tau_{d_{ij}}\big{\rangle}_{g}^{\bullet}}{\partial\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}}\not=0. In other words, the correlator in the denominator can be deduced from the one in the numerator via successive applications of the string equation.

• •

The sets $I_{ij}$ satisfy $\sqcup_{j=1}^{m_{i}}I_{ij}=I_{i}$ for each $i=1,\dots,\ell$.

• •

For each $i=1,\dots,k$ the sets $I_{ij}$ are arranged in such a way that $\min(I_{ij})<\min(I_{ij^{\prime}})$ if and only if $j<j^{\prime}$ (this condition is necessary to have control on the combinatorial factor).

We can refine (4.1) as follows: we define “refined correlators” \big{\langle}\prod_{i=1}^{k}\tau_{d_{i}}(J_{i})\big{\rangle}_{g}^{\bullet}, now depending formally on subsets $J_{i}\subset\llbracket n\rrbracket$, and subject to a natural refinement of the string equation

[TABLE]

We then define $\mathcal{E}^{\textup{ref}}_{g,n}(\vec{a})$ to be

[TABLE]

Clearly, $\mathcal{E}^{\textup{ref}}_{g,n}(\vec{a})$ reduces to $\mathcal{E}_{g,n}(\vec{a})$ after setting $\tau_{d}(I)\to\tau_{d}$.

Using this notation, if we fix $m_{i}$, $d_{ij}$ and $I_{ij}$ for $i>1$, and let $m_{1}$, $d_{1j}$, and $I_{1j}$ vary in all possible ways such that the conditions above are satisfied, we can split the derivative ${\partial\langle\prod_{i=1}^{k}\prod_{j=1}^{m_{i}}\tau_{d_{ij}}\rangle_{g}^{\bullet}}/{\partial\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}}$ into the sum of “refined derivatives”

[TABLE]

The derivative is clearly zero if the partition $\{I_{ij}\}$ is not a refinement of the partition $\{I_{i}\}$.

Thus we obtain the following expression for the derivative of $\mathcal{E}_{g,n}(\vec{a})$:

[TABLE]

In order to prove the proposition, it is sufficient to show that the factor in the third line of this expression is always equal to zero. Note that this factor is a polynomial in the variables $a_{p}$, $p\in I_{1}$, of degree $2\left(d_{1}+m_{1}-1+|I_{1}|-m_{1}\right)$. The degree of this polynomial is less than twice the number of its variables (since $d_{1}<0$). Therefore, in order to show the constant vanishing of this polynomial, it is sufficient to show that it constantly vanishes for two specific values of each of its variables, namely, at the points $a_{p}=0$ and $a_{p}=-1/2$ for each $p\in I_{1}$. Since this polynomial is symmetric in its variables, it is sufficient to prove this vanishing for just one variable.

We assume, for simplicity, that $1\in I_{1}$, and prove the vanishing for $a_{1}=0,-1/2$. In order to use the string equation, we split the terms in the third line of (4.2) in two parts: those where $I_{1,1}=\{1\}$, and those where $I_{1,1}\supsetneq\{1\}$ (as $1\in I_{1,1}$ by the third bullet of conditions). The first part is parametrised by partitions $I_{1,2}\sqcup\dotsb\sqcup I_{1,m_{1}}=I_{1}\setminus\{1\}$, and the second part can be reparametrised by the same partitions, plus a choice of one of these sets which should also contain $1$. Hence, up to a common sign factor, we can split the third line of (4.2) as terms of the form

[TABLE]

In both the cases $a_{1}=0$ and $a_{1}=-1/2$, $d_{11}$ must be equal to zero here (otherwise $Q_{d_{11}}(a_{1})=0$ in the first term and the indices $d_{ij}$ in the other terms do not add up to $d_{i}+m_{i}-1$). Then, for $a_{1}=0$ all $Q$-coefficients in (4.3) are literally the same, so it vanishes using the following derivative of the refined string equation

[TABLE]

The case $a_{1}=-1/2$ is more subtle. We use induction on $|I_{1}|$. Using the identity $Q_{p}(a)-Q_{p}(a-1/2)=-(a/2)\cdot Q_{p-1}(a-1)$ and the derivative of the refined string equation (4.4), we can rewrite expression (4.3) as

[TABLE]

where in the coefficient of $a_{k}$ we use the notation $\tilde{a}_{[I_{1p}]}\coloneqq a_{[I_{1p}]}-\delta_{pk}$, $p=2,\dotsc,m_{1}$, and $\tilde{d}_{1q}\coloneqq d_{1q}-\delta_{kq}$, $q=2,\dots,m_{1}$.

By our assumptions, $d_{1}<0$ and $|I_{1}|+d_{1}-1\geq 0$, so $|I_{1}|\geq 2$. For the base case of the induction, $|I_{1}|=2$, we then have $d_{1}=-1$, so $d_{11}+d_{12}=d_{1}+m_{1}-1=0$, and therefore $d_{12}=0$. In this case, the $k$-sum and $j$-product in equation (4.5) collapse, yielding a coefficient $Q_{\tilde{d}_{12}+|I_{12}|-1}(\tilde{a}_{I_{[12]}})=Q_{-1}(a_{I_{[12]}}-1)=0$, proving the basis step.

For the induction step, we see that for each $k$ the coefficient of $a_{[I_{1k}]}$ in (4.5) is the polynomial in one fewer variables (namely, taking out the variable $a_{1}$) and size of $|I_{1}|$ one less (by removing $1$) of exactly the same form as the summands in the third line of (4.2). Resumming over $m_{1}$, $d_{1j}$, and $I_{1,j}$ with the sign coming from the third line of (4.2), this becomes equal to the third line of (4.2), which was zero by induction (where we use already that this third line vanishes for all $a_{i}=0,-1/2$).

Thus, the third line in (4.2) is equal to zero for $a_{1}=-1/2$ as well as $a_{1}=0$, which implies it vanishes constantly. This implies the proposition. ∎

4.3 Applying formal negative degrees of $\boldsymbol{\psi}$-classes

to the combinatorial identity

We use the result of the previous section to reduce the system of identities (3.4) to a simpler one.

Proposition 4.6**.**

Faber’s conjecture $($Theorem 1.1)* is equivalent to the following system of combinatorial identities.*

For any $g\geq 2$ and $n\geq 2$, for any $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$,

[TABLE]

Proof.

We have already shown that Faber’s conjecture is equivalent to the system of identities (3.4), where the correlators are replaced by the predicted value from the conjecture. So, it is sufficient to show that the system of identities (3.4) is equivalent to the system of identities (4.6). Note that the right hand side of (3.4) is a specialization of the expression $\mathcal{E}_{g,n}(\vec{a})$ for the values of $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ given in Example 4.2. The right hand side of (4.6) is a specialization of the expression $\mathcal{E}_{g,n}(\vec{a})$ for the values of $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ given in Example 4.3.

As observed before, a system of numbers $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ satisfying the string equation, see Definition 4.1, is fixed by choosing all numbers for $\prod_{i=1}^{k}d_{i}\neq 0$ arbitrarily and inferring the other cases from the string equation. We call the chosen numbers initial values.

The initial values of the system of numbers $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ given in Examples 4.2 and 4.3 coincide for all $d_{1},\dots,d_{k}>0$ and differ when at least one of $d_{i}$’s is negative. Proposition 4.5 implies that the initial values $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ with at least one $d_{i}$ negative have no impact on the value of $\mathcal{E}_{g,n}(\vec{a})$. Therefore, a specialization of the expression $\mathcal{E}_{g,n}(\vec{a})$ for the values of $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ given in Example 4.2 is equal to zero if and only if the same specialization of the expression $\mathcal{E}_{g,n}(\vec{a})$ for the values of $\langle\tau_{d_{1}}\cdots\tau_{d_{k}}\rangle_{g}^{\bullet}$ given in Example 4.3 is equal to zero. Therefore, the system of identities (3.4) is equivalent to the system of identities (4.6). ∎

5 The main combinatorial identity and its structure

In the previous section we used formal negative degree psi-classes in order to simplify the system of combinatorial identities to which Faber’s conjecture is equivalent (Proposition 4.6). We now want to substitute the $Q$-polynomials by their definition and rearrange the terms to obtain the following statement.

Corollary 5.1** (of Proposition 4.6).**

Faber’s conjecture $($Theorem 1.1)* is equivalent to the following system of combinatorial identities.*

For any $g\geq 2$ and $n\geq 2$, for any $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$, we have

[TABLE]

Here by $a_{[I_{j}]}$ we denote $\sum_{\ell\in I_{j}}a_{\ell}$ and by $|I_{j}|$ we denote the cardinality of the set $I_{j}\subset\{1,\dots,n\}$, $j=1,\dots,k$.

Proof.

Recall that, for $m\geq 0$, $Q_{m}(a)=((-1)^{m}/2^{3m}m!)\cdot\prod_{i=0}^{2m-1}(2a+1-i)$. If its argument is a non-negative integer, we can rewrite $Q_{m}(a)$ as $\binom{2a+1}{2m}\cdot(2m-1)!!\cdot(-1)^{m}/2^{2m}$. For $m<0$, $Q_{m}(a)\equiv 0$. Then it is easy to see that equation (5.1) is obtained from equation (4.6) by the relabelling $d_{j}+|I_{j}|-1\rightsquigarrow d_{j}$ and dividing by a common factor of $(-1)^{g-2+n}/2^{2(g-2+n)}$. ∎

In the rest of the paper we refer to equation (5.1) as the main combinatorial identity. This section is devoted to a purely combinatorial analysis of this identity. Clearly, since Faber’s conjecture is proved, the main combinatorial identity holds true. However, we are interested in an independent proof of it, in order to obtain a new proof of Faber’s conjecture. We produce such a proof for $n\leq 5$ in the next section.

Question 5.2**.**

Is there a purely combinatorial way to prove the combinatorial identity (5.1) for all $n$?

In fact, one of the purposes of the present article is to pose the question to the combinatorial community about a possible enumerative interpretation of our identity.

5.1 Polynomials vanishing in the integer points of some simplices

We denote the right hand side of (5.1) by $P(a_{1},\dots,a_{n})$. It can be considered as a polynomial of degree $2g-4+2n$ in $a_{1},\dots,a_{n}$ (since the binomial coefficient $\binom{2a_{[I]}+1}{2d}$ is naturally a polynomial of degree $2d$ in $a_{[I]}$). We can also rewrite it as

[TABLE]

and refer to it as $R(a_{1},\dots,a_{n})$. The function $R(a_{1},\dots,a_{n})$ is also a polynomial in $a_{1},\dots,a_{n}$, where each term in the sum over $k=1,\dots,n$ has degree $\sum_{j=1}^{k}2f_{j}+|I_{j}|=2g-2+n$, so the total degree of $R$ is $2g-2+n$. Note that $P\not=R$ (they even have different degrees); from the construction they coincide only on the simplex $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$.

Proposition 5.3**.**

We have $P|_{a_{i}=0}\equiv 0$, $i=1,\dots,n$.

Proof.

Since $P$ is symmetric in its variables, it is enough to prove this proposition for $a_{n}=0$. Consider an arbitrary splitting $I_{1}\sqcup\cdots\sqcup I_{k}=\{1,\dots,n-1\}$. We want to append this splitting with the element $n$: either we add $\{n\}$ as one of the sets (there are $k+1$ ways to do this, since we can choose the number of this set from $1$ to $k+1$ shifting the indices of $I_{j}$ accordingly), or we append $n$ to one of the existing sets $I_{\ell}$, $\ell=1,\dots k$. Consider the sum of all terms in $P$ that correspond to these choices of splitting of $\{1,\dots,n\}$. Since the first $k+1$ terms are all equal to each other, we can assume that we have $k+1$ copies of the case $I_{k+1}=\{n\}$ instead. Therefore, if we split the terms of $P$ in this way, we get summands of the following form:

[TABLE]

If $a_{n}=0$, then the first summand is nontrivial only for $d_{k+1}=0$. So, if we substitute $a_{n}=0$, then this expression is equal to

[TABLE]

Note that the last factor is equal to zero. Since the definition of $P$ reduces to the sum over $I_{1}\sqcup\cdots\sqcup I_{k}=\{1,\dots,n-1\}$ of the terms that we considered here, and we never used the restriction of $P$ to the simplex $a_{1}+\cdots+a_{n}=2g-3+n$, we have $P(a_{1},\dots,a_{n-1},0)\equiv 0$. ∎

Corollary 5.4**.**

The function $\tilde{P}(a_{1},\dots,a_{n})\coloneqq P(a_{1},\dots,a_{n})/\prod\limits_{i=1}^{n}a_{i}$ is a polynomial in $a_{1},\dots,a_{n}$ of degree $2g-4+n$.

So, we have a collection of symmetric polynomials of quite small degree (that is, smaller than what one expects trying to construct such non-trivial polynomials using the Lagrange interpolation, for instance) vanishing in all integer points of the certain simplices:

• •

$P(a_{1},\dots,a_{n})$ is a polynomial of degree $2g-4+2n$ that vanishes at all integer points of the simplex $a_{1},\dots,a_{n}\geq 0$, $a_{1}+\cdots+a_{n}=2g-3+n$.

• •

$R(a_{1},\dots,a_{n})$ is a polynomial of degree $2g-2+n$ that vanishes at all integer points of the simplex $a_{1},\dots,a_{n}\geq 0$, $a_{1}+\cdots+a_{n}=2g-3+n$.

• •

$\tilde{P}(a_{1}+1,\dots,a_{n}+1)$ is a polynomial of degree $2g-4+n$ that vanishes at all integer points of the simplex $a_{1},\dots,a_{n}\geq 0$, $a_{1}+\cdots+a_{n}=2g-3$.

5.2 Combinatorial reduction of the identity for $\boldsymbol{a_{i}=1}$

In this section we give a combinatorial reduction of the identity (5.1) in the case one of the arguments $a_{i}$ is equal to $1$.

Proposition 5.5**.**

For any $g\geq 2$ and $n\geq 1$, for any $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, we have

[TABLE]

Proof.

Let $\{n+1\}\sqcup J\subset\{1,\dots,n+1\}$. Consider the corresponding factor in a summand in $P(a_{1},\dots,a_{n},1)$ assuming $I_{j}\coloneqq\{n+1\}\sqcup J$, for some $j$, and denoting the corresponding index $d_{j}$ by $d$. We have the following decomposition:

[TABLE]

where $\tilde{d}=d-1$. The first term on the right hand side is equal to the corresponding factor in the same summand in $P(a_{1},\dots,a_{n},0)$. The second term gives a summand in $P(a_{1},\dots,a_{n})$ with a coefficient.

There are $(k+1)$ ways to obtain the summand

[TABLE]

in $P(a_{1},\dots,a_{n})$ (here $I_{1}\sqcup\cdots\sqcup I_{k}=\llbracket n\rrbracket$, $d_{1}+\cdots+d_{k}=g-2+n$, and we omit the factor $1/k!$ that controls the permutations of the sets $I_{1},\dots,I_{k}$) from the second term of the decomposition (5.3): either $J=I_{j}$, $j=1,\dots,k$, or $J=\varnothing$. In the latter case, the extra coefficient that we get is equal to $-3(2g-2+k)$. Thus, the total coefficient of this summand is equal to

[TABLE]

which does not depend on the choice of $I_{1}\sqcup\cdots\sqcup I_{k}=\llbracket n\rrbracket$ and $d_{1}+\cdots+d_{k}=g-2+n$. This implies equation (5.2). ∎

If we restrict equation (5.2) to the simplex $a_{1}+\cdots+a_{n}=2g-3+n$ and use that $P(a_{1},\dots,a_{n},0)\equiv 0$ (without any assumptions on $a_{1},\dots,a_{n}$), we obtain the following corollary:

Corollary 5.6**.**

For any $g\geq 2$ and $n\geq 1$, for any $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$, we have

[TABLE]

In particular, $P(2g-2,1)=0$, and for $n\geq 2$ the vanishing of $P(a_{1},\dots,a_{n})$ implies the vanishing of $P(a_{1},\dots,a_{n},1)$.

5.3 A conjectural refinement of the identity

In this section we formulate a conjectural refinement of the identity (5.1), which gives a natural strategy for its combinatorial proof. In particular, it allows to prove it for $n\leq 5$ for all $g$.

We replace each factor $\binom{2a_{[I]}+1}{2d}$ in each summand of the identity by the sum $\binom{2a_{[I]}}{2d}+\binom{2a_{[I]}}{2d-1}$. Then we collect all terms with the fixed number of factors where we have chosen to decrease $2d$ to $2d-1$. Let us define $P_{n,t}$ as

[TABLE]

for $t=0,\dots,n$. Here $\delta_{j\in A}$ is equal to $1$ for $j\in A$ and to [math] otherwise. For instance,

[TABLE]

Here we use the notation $o_{\bullet}$ (resp., $e_{\bullet}$) to stress that these are odd (resp., even) non-negative numbers, and $\widehat{o_{i}}$ means that this particular index is skipped.

Denote by $A_{n}$ the sum $(-1)^{n}(2g-4+n)!\sum_{\begin{subarray}{c}o_{1},\dots,o_{n}\in(2\mathbb{Z}+1)_{>0}\\ o_{1}+\cdots+o_{n}=2g-4+n\end{subarray}}\prod_{j=1}^{n}\binom{2a_{j}}{o_{j}}$.

Conjecture 5.7**.**

For any $n\geq 2$ and $t=0,\dots,n$, $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$, we have

[TABLE]

Observe that the right hand side is equal to

[TABLE]

Remark 5.8**.**

This conjecture does not follow from identity (5.1), so the equivalence of Faber’s conjecture and identity (5.1) does not prove equation (5.4). On the other hand, let us prove that equation (5.4) implies the main combinatorial identity (5.1). Indeed,

[TABLE]

Therefore, a combinatorial proof of Conjecture 5.7 would immediately give a new proof of Faber’s conjecture.

Proposition 5.9**.**

Conjecture 5.7 is true for $n\leq 5$, any $t$, and for $t=0,1,2,3$, any $n$.

We prove this proposition in Appendix A.

Remark 5.10**.**

Note that surprisingly this proposition is also true for $n=1$, though in this case we have no identity (5.1). Indeed, for $n=1$ we have

[TABLE]

which matches exactly equation (5.4) for $n=1$ and $t=0,1$.

5.4 An equivalent formulation of the conjecture

In this section we reformulate Conjecture 5.7 via a $3$-term recursion in the $P_{n,t}$. Let $\tilde{P}_{n,t}$ be

[TABLE]

Proposition 5.11**.**

Let $n\geq 2$ and $a_{1},\dots,a_{n}\in\mathbb{Z}_{\geq 0}$, $a_{1}+\cdots+a_{n}=2g-3+n$. The following three statements, are equivalent:

1. $i)$

Conjecture 5.7 holds:

[TABLE] 2. $ii)$

The $P_{n,t}$ obey the following $3$-term recursion for all $t=0,\dotsc,n$:

[TABLE] 3. $iii)$

The following expression does not depend on $t$:

[TABLE]

Proof.

Let $S_{g,n}(x)\coloneqq\sum_{t=0}^{n}P_{n,t}x^{t}$, for which we already know the values

[TABLE]

Let us now compute the generating polynomial for the $\tilde{P}_{n,t}$

[TABLE]

First substitute $A_{n}=P_{n,0}/(2g-3+n)$ and expand the whole expression in terms of the type

[TABLE]

where $p(t)$ is a polynomial in $t$ and $a$ is an integer. For each such summand substitute $p(t)$ with p\big{(}x\frac{{\rm d}}{{\rm d}x}\big{)}, apply Newton binomial theorem to $\sum_{t=0}^{m}\binom{m}{t}(-x)^{t}=(1-x)^{n}$, and finally apply the operator p\big{(}x\frac{{\rm d}}{{\rm d}x}\big{)} to the summand. Collecting the summands’ resulting contributions together gives

[TABLE]

Observe that $S_{g,n}(0)=\tilde{S}_{g,n}(0),$ and $\tilde{S}(x)$ satisfies the non-homogeneous first order ODE

[TABLE]

which $S_{g,n}(x)$ also satisfies if and only if

[TABLE]

for $t=0,1,\dots,n$. This proves the equivalence between $(i)$ and $(ii)$. Clearly $(ii)$ implies $(iii)$. Let us see that $(iii)$ also implies $(ii)$. Assuming $(iii)$, we can evaluate $(ii)$ at any $t$. Let us pick $t=0$ for simplicity. Then $(ii)$ reads

[TABLE]

which holds true from the case $t=1$ in Proposition 5.9. This concludes the proof of the proposition. ∎

Appendix A Proof of the main combinatorial identity for several cases

In this section we prove Proposition 5.9. By Remark 5.8, this implies a proof of the main combinatorial identity (5.1) for $n\leq 5$ and $g\geq 2$. By Corollary 5.1, this implies a new proof of Faber’s conjecture for $n\leq 5$ and $g\geq 2$.

We would like to emphasize that we present in this proof a brief exposition of a quite intricate computation involving an interplay between binomials with even and odd denominators that we could not find deeply analyzed in the literature on combinatorics.

Proof of Proposition 5.9.

The case $t=0$ is obvious from the definition. For the other cases, we perform quite intricate computations based on the following lemma.

Lemma A.1**.**

For any non-negative integers $a_{1},\dots,a_{n}$, $a_{1}+\cdots+a_{n}=A$, and $t_{1},\dots,t_{n}$, $t_{1}+\cdots+t_{n}=T$, and for an arbitrary vector of parities $(p_{1},\dots,p_{n})$, $p_{i}\in\mathbb{Z}_{2}$, we have

[TABLE]

Here by $\tilde{f}\in\mathbb{Z}_{2}$ we denote the parity of $f\in\mathbb{Z}$, and by $(f)_{t}$ we denote the Pochhammer symbol, $(f)_{t}\coloneqq f(f-1)\cdots(f+1-t)$.

Proof.

It follows from the following identity

[TABLE]

Example A.2**.**

If $a_{1}+\cdots+a_{n}=2g-3+n$, then

[TABLE]

Thus we have an alternative definition of $A_{n}$ as the sum

[TABLE]

Below in all arguments we apply Lemma A.1 assuming the condition $a_{1}+\cdots+a_{n}=2g-3+n$. We will also make use several times of the Chu–Vandermonde identity $\sum_{k+\ell=n}\binom{r}{k}\binom{s}{\ell}=\binom{r+s}{n}$, which follows from the expansion of the identity $(1+x)^{r}(1+x)^{s}=(1+x)^{r+s}$.

A.1 Case $\boldsymbol{t=1}$

We have

[TABLE]

In the first term we can replace the factor $(2g-3+n)$ by the sum of the indices $o_{1}+\cdots\widehat{o_{i}}\cdots+o_{n}+e_{i}$. In the second term we can apply the Chu-Vandermonde identity

[TABLE]

On the right-hand side of this equation, we always have one even bottom argument in the binomial coefficients and all other bottom arguments are odd in both terms of this expression. The expression is totally symmetric with respect to the choice of the place of the even bottom argument. The coefficient in each summand of

[TABLE]

(that is, we collect the terms where the even bottom argument is below $2a_{1}$) is equal to

[TABLE]

Applying Lemma A.1 to this term, we obtain

[TABLE]

Now, since the even bottom argument could be at any place, not only at the first one, we have to replace in the full computation of $P_{n,1}$ the factor $o_{1}$ above by $o_{1}+\cdots+o_{n}=2g-2+n$. Thus we have

[TABLE]

which is exactly the desired result for $t=1$.

A.2 Case $\boldsymbol{t=2}$

Let us describe $P_{n,2}$. All terms there have a common factor of $(2g-5+n)!$. The sum of bottom arguments of all binomial coefficients is always equal to $S\coloneqq 2g-2+n$. Taking into account the total symmetry with respect to the permutations of $a_{1},\dots,a_{n}$, we see that $(-1)^{n}P_{n,2}/(2g-5+n)!$ has

[TABLE]

For instance, in the first line we mean that we have the following sum of $\binom{n}{3}$ summands

[TABLE]

We assume that the parity of the bottom arguments denoted by $o$ (resp., $e$) is odd (resp., even).

Let us expand all binomial coefficients using the Chu–Vandermonde identity, that is, in such a way that we have exactly $n$ factors of the type $\binom{2a_{i}}{f_{i}}$, where we also keep track of the possible parity of the bottom arguments. For instance,

[TABLE]

We compute all the coefficients to obtain

[TABLE]

Applying Lemma A.1 to the sum of all terms in the first line, we obtain the same terms as in the third line, with the coefficient $2o_{1}o_{2}\binom{n-2}{2}$. This, together with all terms in the second line and the third line, gives us the term in the fifth line with the coefficient $\left(\binom{n-1}{2}-\binom{n-1}{1}\right)S(S-1)$. The sum of all terms in the fourth line gives us also the term in the fifth line with the coefficient $S\left(-\binom{n-1}{2}+\binom{n-1}{1}+\binom{n}{2}\right)$. The observation that

[TABLE]

is exactly the product of $(2g-4+n)$ and the desired coefficient of $P_{n,2}/A_{n}$ completes the proof of this case.

A.3 Case $\boldsymbol{t=3}$

Let us describe $P_{n,3}$. All terms there have a common factor of $(2g-6+n)!$. The sum of bottom arguments of all binomial coefficients is always equal to $S\coloneqq 2g-1+n$. Taking into account the total symmetry with respect to the permutations of $a_{1},\dots,a_{n}$, we see that $(-1)^{n}P_{n,3}/(2g-6+n)!$ has terms of the following type:

[TABLE]

Let us expand all binomial coefficients using the Chu–Vandermonde identity, that is, in such a way that we have exactly $n$ factors of the type $\binom{2a_{i}}{f_{i}}$, where we also keep track of the possible parity of the bottom arguments. Computing the coefficients, we obtain terms of the type $\binom{2a_{1}}{e_{1}}\binom{2a_{2}}{e_{2}}\binom{2a_{3}}{e_{3}}\prod_{i=4}^{n}\binom{2a_{i}}{o_{i}}$ and $\binom{2a_{1}}{e_{1}}\prod_{i=2}^{n}\binom{2a_{i}}{o_{i}}$ with some complicated coefficients that we want to collect in several disjoint groups.

A.3.1 First group of terms

Denote $-\left(\binom{n-1}{3}-\binom{n-1}{2}\right)$ by $C_{1}$. With this coefficient we have terms of the following type:

[TABLE]

Applying Lemma A.1 to these terms, we obtain

[TABLE]

A.3.2 Second group of terms

Denote $-4\binom{n-1}{2}$ by $C_{2}$. With this coefficient we have terms of the following type:

[TABLE]

We collect these terms into $\binom{2a_{1}}{e_{1}}\prod_{i=2}^{n}\binom{2a_{i}}{o_{i}}\cdot e_{1}\cdot(2g-5+n)C_{2}$. Applying Lemma A.1 to all these terms, we obtain

[TABLE]

Applying Lemma A.1 again, we obtain

[TABLE]

A.3.3 Third group of terms

Denote $6\left(\binom{n-1}{3}-\binom{n-1}{2}\right)$ by $C_{3}$. With this coefficient we have terms of the following type:

[TABLE]

Applying Lemma A.1 to all these terms, we obtain

[TABLE]

Applying Lemma A.1 again, we obtain

[TABLE]

A.3.4 Fourth group of terms

Denote $-2\binom{n-2}{1}$ by $C_{4}$. With this coefficient we have terms of the following type:

[TABLE]

Applying Lemma A.1 to the first two lines, we obtain

[TABLE]

Applying Lemma A.1 to the last two lines, we obtain

[TABLE]

It follows from Lemma A.1 that

[TABLE]

Hence, the total sum of all terms with the coefficient $C_{4}$ is equal to [math].

A.3.5 Final computation

In order to complete the proof of the case $t=3$ it is sufficient to observe that

[TABLE]

A.4 Case $\boldsymbol{n=t=4}$

In this case $a_{1}+\cdots+a_{4}=2g+1$. We have the following formula for $P_{4,4}$:

[TABLE]

Note that if $k=1$, then $(2g-3+k)!=(2g-2)!$. But then this term looks like

[TABLE]

and the last factor here still allows us to extract the common coefficient of $(2g-1)!$. With that remark we see that every term in the expression for $\frac{P_{4,4}}{(2g-1)!}$ above is multiplied by a quadratic polynomial in $e_{1},\dots,e_{k}$.

Applying the Chu–Vandermonde identity in the same way as in the previous cases, we obtain terms of the following type:

[TABLE]

Applying Lemma A.1 to all these terms, we obtain

[TABLE]

which confirms this case of the proposition.

A.5 Case $\boldsymbol{n=t=5}$

In this case $a_{1}+\cdots+a_{5}=2g+2$. We have the following formula for $P_{5,5}$:

[TABLE]

Note that if $k=1$, then $(2g-3+k)!=(2g-2)!$. But then this term looks like

[TABLE]

and the last factor here still allows us to extract the common coefficient of $(2g-1)!$. With that remark we see that every term in the expression for $\frac{P_{5,5}}{(2g-1)!}$ above is multiplied by a cubic polynomial in $e_{1},\dots,e_{k}$.

Applying the Chu–Vandermonde identity in the same way as in the previous cases, we obtain terms of the following type:

[TABLE]

Applying Lemma A.1 to all these terms, we obtain

[TABLE]

which confirms this case of the proposition.

A.6 Case $\boldsymbol{n=5}$, $\boldsymbol{t=4}$

In this case $a_{1}+\cdots+a_{5}=2g+2$. We have the following formula for $P_{5,4}$:

[TABLE]

Here we can divide by $(2g-1)!$ for the same reason as in the case $n=t=5$, and after that we can consider the coefficient of every term in this expression to be a cubic polynomial in $e_{j}-\delta_{\ell j}$.

We apply the Chu–Vandermonde identity in the same way as in the previous cases, and we obtain two groups of terms (the sum of the bottom arguments in the binomial coefficients in these terms is equal to $2g+5$).

The first group of terms consists of

[TABLE]

Taking into account that $e_{1}+e_{2}+o_{3}+o_{4}+o_{5}=2g+5$, we see that the sum of all this terms is equal to

[TABLE]

The second group of terms consists of

[TABLE]

Taking into account that $o_{1}+o_{2}+o_{3}+o_{4}+o_{5}=2g+5$, we see that the sum of all this terms is equal to

[TABLE]

We apply Lemma A.1 to (A.1) and (A.2), and this gives us

[TABLE]

which confirms the proposition in this case. This concludes the proof of the proposition. ∎

Acknowledgments

We thank A. Buryak, J. Schmitt and D. Zagier for useful comments on the first version of the paper. R.K., D.L., and S.S. were supported by the Netherlands Organization for Scientific Research. D.L. was also supported by the Max Planck Gesellschaft. E.G.-F. was supported by the Max Planck Gesellschaft and by the Labex Mathematics Hadamard. She is also grateful for the research stay at the University of Amsterdam, which made the beginning of this work possible. We thank the anonymous referees for many useful remarks.