The second author is partially supported by NSF..
<ph f="cmbx">Tautological equation in </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <msub> <mrow> <mover accent="true"> <mrow> <mo mathvariant="script">ℳ</mo> </mrow> <mo>¯</mo> </mover> </mrow> <mrow> <mn>3</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> </math> <ph f="cmr"> </ph><ph f="cmbx">via invariance conjectures</ph>

D. Arcara

Y.-P. Lee

Department of Mathematics, University of Utah, 155 S. 1400 E., Room 233, Salt Lake City, UT 84112-0090, USA E-mail address : arcara@math.utah.edu E-mail address : yplee@math.utah.edu

0 Introduction

This work is a continuation of [1. We apply the same technique to codimension 3 strata in ¯ 3 , 1   and find a tautological equation.
Our motivation was quite simple. In the earlier work [6, 1, the conjectural framework is shown to be valid in genus one and two. While it is satisfactory to learn that all previous equations can be derived in this framework, the Conjectures predicts the possibility of finding all tautological equations under this framework. This work is set to be the first step towards this goal.
The choice of codimension 3 in ¯ 3 , 1   is almost obvious. First of all, the Invariance Conjectures asks for an inductive process. Given what we know about genus one and two, it is only reasonable to proceed to either ¯ 2 , n   for n 4   or ¯ 3 , 1   .
One also knows from the Theorem of Graber–Vakil [5that ψ 3   on ¯ 3 , 1   is rational equivalent to a sum of boundary strata containing at least one (geometrical) genus zero component. It seems a reasonable place to start. As an excercise, the reader might amuse himself with the following
Lemma. There is no relation among the boundary strata and ψ   classes in codimension 2 in ¯ 3 , 1   .
This can be shown, for example, by the same technique used in this paper. Let ( i )   denotes a basis of these strata. When one sets a hypothetical equation c i ( i ) = 0   and imposes the invariance condition, the only solution is c i = 0   for all i   .
The main result of this paper is the following:
Theorem. The invariance conjecture can be used to find the following tautological equation for codimension 3 strata in ¯ 3 , 1   .
3 x 3 = 5 72 x α β μ α β μ 2 + 1 252 μ α α 1 x μ 2 + 5 72 x μ μ ν 1 ν 2 + 5 42 x μ ν 1 μ ν 2 + 41 21 x μ ν μ 1 1 ν 2 + 11 40320 x μ ν ν μ α α 1 + 1 13440 x μ ν ν 1 μ α α + 1 8064 x μ 1 μ ν ν α α + 191 120960 x μ ν ν α α μ 1 + 1 5040 x μ ν μ ν α α 1 + 1 4032 x μ ν 1 μ ν α α + 17 2880 x μ ν α α μ ν 1 + 1 840 x μ 1 μ ν 1 ν α α + 1 336 x μ ν 1 μ 1 ν α α + 1 126 x μ ν μ 1 ν α α 1 + 23 5040 x μ ν ν μ α 1 α 1 + 17 5040 x μ 1 μ ν α α ν 1 + 113 2520 x μ ν α α μ 1 ν 1 + 1 210 x μ ν α μ ν α 1 + 0 x μ ν α 1 μ ν α + 1 84 x μ 1 μ ν α ν α 1 + 211 1260 x μ ν α μ ν 1 α 1 + 1 1260 x μ ν 1 μ ν α α 1 + 1 630 x μ ν μ ν α 1 α 1 + 11 140 x μ ν μ α 1 ν α 1 + 4 35 x μ ν μ 1 ν α 1 α 1 + 2 105 x μ 1 μ ν α ν 1 α 1 + 89 210 x μ ν α μ 1 ν 1 α 1 + 1 53760 x μ μ ν ν α α
Remark. While our paper is under preparation, a preprint by T. Kimura and X. Liu [7appeared on the arxiv. There are two major differences between our results.
First, their choice of basis of codimension 3 strata in ¯ 3 , 1   is different. They use ( 3 ) : = μ α α x 1 μ 2   instead of (3) below. We have checked that their equation is equivalent to ours. Second, their approach is “traditional”: knowing there must be a relation from Graber–Vakil, they can then proceed to find the coefficients based on the evaluation of the Gromov–Witten invariants of P 1   .
Our approach is quite different. While the result of Graber–Vakil serves as a motivation, our scheme is completely independent of their result. Our scheme is also simpler: only linear algebra is involved. The drawback of course is that the framework is still conjectural.
Acknowledgement. We are thankful to E. Getzler and R. Vakil for the useful discussions.
This paper is dedicated to Matteo S. Arcara, who was born while the paper was at its last phase of preparation.

1 Strata of ¯ 3 , 1  

We start with picking a basis for codimension 3 strata in ¯ 3 , 1   .
Out of the several strata (allowing descendences) of codimension 3   in ¯ 3 , 1   , many of them can be written in terms of the others using WDVV, TRR's, Mumford's, Getzler's or the Belorousski-Pandharipande relations. After using those relations, we can write all of the strata in terms of the following ones:
( 1 ) 3 x 3 ( 2 ) x α β μ α β μ 2
( 3 ) μ α α 1 x μ 2 ( 4 ) x μ μ ν 1 ν 2
( 5 ) x μ ν 1 μ ν 2 ( 6 ) x μ ν μ 1 1 ν 2
( 7 ) x μ ν ν μ α α 1 ( 8 ) x μ ν ν 1 μ α α
( 9 ) x μ 1 μ ν ν α α ( 10 ) x μ ν ν α α μ 1
( 11 ) x μ ν μ ν α α 1 ( 12 ) x μ ν 1 μ ν α α
( 13 ) x μ ν α α μ ν 1 ( 14 ) x μ 1 μ ν 1 ν α α
( 15 ) x μ ν 1 μ 1 ν α α ( 16 ) x μ ν μ 1 ν α α 1
( 17 ) x μ ν ν μ α 1 α 1 ( 18 ) x μ 1 μ ν α α ν 1
( 19 ) x μ ν α α μ 1 ν 1 ( 20 ) x μ ν α μ ν α 1
( 21 ) x μ ν α 1 μ ν α ( 22 ) x μ 1 μ ν α ν α 1
( 23 ) x μ ν α μ ν 1 α 1 ( 24 ) x μ ν 1 μ ν α α 1
( 25 ) x μ ν μ ν α 1 α 1 ( 26 ) x μ ν μ α 1 ν α 1
( 27 ) x μ ν μ 1 ν α 1 α 1 ( 28 ) x μ 1 μ ν α ν 1 α 1
( 29 ) x μ ν α μ 1 ν 1 α 1 ( 30 ) x μ μ ν ν α α

2 Derivatives for l = 1  

Let us now calculate the derivatives in the case l = 1   . Let r = r 1   .
( 1 ) 3 x 3  
1 2 ( r ) i j x α β β i j 1 α 2 7 5 ( r ) i j x β γ γ i α j α 1 β 1
7 20 ( r ) i j x α β γ γ i j α 1 β 1 7 10 ( r ) i j x α γ γ i j β α 1 β 1
1 10 ( r ) i j x β γ γ i α j α β 1 1 20 ( r ) i j x α β γ γ i j α β 1
1 10 ( r ) i j x α γ γ i j β α β 1 + 1 480 ( r ) i j α β β x i j α γ γ 1
+ 1 480 ( r ) i j α β β x i j γ α γ 1 + 1 240 ( r ) i j α β β x i α γ j γ 1
+ 1 240 ( r ) i j α β β x i γ j α γ 1 + 1 480 ( r ) i j α β β x α γ i j γ 1
+ 1 11520 ( r ) i j α β β x i j α γ γ + 1 240 ( r ) i j j α β β x i α γ γ 1
+ 1 240 ( r ) i j j α β β x i γ α γ 1 + 1 240 ( r ) i j j α β β x α γ i γ 1
+ 1 5760 ( r ) i j j α β β x i α γ γ + 1 480 ( r ) i j i j α β β x α γ γ 1
+ 1 11520 ( r ) i j i j α β β x α γ γ 13 480 ( r ) i j x α α β γ γ i j β 1
13 480 ( r ) i j x α α γ γ i j β β 1 13 240 ( r ) i j x α β γ γ i j α β 1
13 240 ( r ) i j x α γ γ i j α β β 1 13 480 ( r ) i j x β γ γ i j α α β 1
13 240 ( r ) i j x α β γ γ i α j β 1 13 240 ( r ) i j x α γ γ i α β j β 1
13 240 ( r ) i j x β γ γ i α α j β 1 13 480 ( r ) i j x β γ γ α α i j β 1
1 1920 ( r ) i j x α α β β γ γ i j 1 480 ( r ) i j x α α β γ γ i j β
1 960 ( r ) i j x α α γ γ i j β β 1 480 ( r ) i j x α β γ γ i j α β
1 480 ( r ) i j x α γ γ i j α β β 7 10 ( r ) i j x β γ γ j α α 1 β 1 i 1
1 10 ( r ) i j x β γ γ j α α β 1 i 1 + 1 240 ( r ) i j α β β x j α γ γ 1 i 1
+ 1 240 ( r ) i j α β β x j γ α γ 1 i 1 + 1 240 ( r ) i j α β β x α γ j γ 1 i 1
+ 1 5760 ( r ) i j α β β x j α γ γ i 1 + 1 240 ( r ) i j j α β β x α γ γ 1 i 1
+ 1 5760 ( r ) i j j α β β x α γ γ i 1 13 240 ( r ) i j x α β γ γ j α β 1 i 1
13 240 ( r ) i j x α γ γ j α β β 1 i 1 13 240 ( r ) i j x β γ γ j α α β 1 i 1
13 240 ( r ) i j x β γ γ α α j β 1 i 1 1 960 ( r ) i j x α β β γ γ j α i 1
1 480 ( r ) i j x α β γ γ j α β i 1 1 320 ( r ) i j x α γ γ j α β β i 1
1 960 ( r ) i j x β β γ γ j α α i 1
( 2 ) x ν α μ ν α μ 2  
( r ) i j x ν α j ν α 1 i 2 1 2 ( r ) i j x ν α μ ν α i j μ 1
( r ) i j x ν α μ ν α i μ 1 j 1
( 3 ) μ ν ν 1 x μ 2  
3 ( r ) i j j ν ν x i α 1 α 2 + 13 10 ( r ) i j j ν ν x i α β α 1 β 1
+ 4 5 ( r ) i j j ν ν i α β x α 1 β 1 + 4 5 ( r ) i j j ν ν x α β i α 1 β 1
4 5 ( r ) i j j ν ν x i α α β 1 β 1 + 23 240 ( r ) i j j ν ν x i α α β β 1
+ 1 48 ( r ) i j j ν ν x α α β i β 1 + 1 48 ( r ) i j j ν ν i α α β x β 1
1 80 ( r ) i j j ν ν α α β x i β 1 + 7 30 ( r ) i j j ν ν x i α β α β 1
+ 1 30 ( r ) i j j ν ν x α β i α β 1 + 1 30 ( r ) i j j ν ν i α β x α β 1
1 30 ( r ) i j j ν ν x i α α β β 1 + 1 576 ( r ) i j j ν ν x i α α β β
1 2 ( r ) i j μ ν ν x i j μ α α 1 1 2 ( r ) i j μ ν ν x i j α μ α 1
( r ) i j μ ν ν x i μ α j α 1 ( r ) i j μ ν ν x i α j μ α 1
1 2 ( r ) i j μ ν ν x μ α i j α 1 1 48 ( r ) i j μ ν ν x i j μ α α
( r ) i j μ ν ν x i μ α α 1 j 1 ( r ) i j μ ν ν x i α μ α 1 j 1
( r ) i j μ ν ν x μ α i α 1 j 1 1 24 ( r ) i j μ ν ν x i μ α α j 1
( r ) i j μ ν ν x i α α 1 j μ 1 1 24 ( r ) i j μ ν ν x i α α j μ 1
( 4 ) x μ μ ν 1 ν 2  
2 ( r ) i j i ν α α j x 1 ν 2 + ( r ) i j i μ α α x μ 1 j 2
+ 7 10 ( r ) i j j x μ μ i α β α 1 β 1 + 1 10 ( r ) i j j x μ μ i α β α β 1
1 240 ( r ) i j j x μ μ α β β i α 1 + 13 240 ( r ) i j j x μ μ i α α β β 1
+ 1 960 ( r ) i j j x μ μ i α α β β 1 2 ( r ) i j x μ μ ν i j ν α α 1
( r ) i j x μ μ ν i ν α j α 1 1 48 ( r ) i j x μ μ ν i j ν α α
2 ( r ) i j i x μ j μ ν 1 ν 2 ( r ) i j i x ν j μ μ 1 ν 2
( r ) i j x μ μ ν i ν α α 1 j 1 1 24 ( r ) i j x μ μ ν i ν α α j 1
( 5 ) x μ ν 1 μ ν 2  
( r ) i j x j ν i ν α 1 α 2 + 7 10 ( r ) i j x j ν i ν α β α 1 β 1
+ 7 5 ( r ) i j x j ν i α β ν α 1 β 1 + 1 10 ( r ) i j x j ν i ν α β α β 1
+ 1 10 ( r ) i j x j ν i α β ν α β 1 1 240 ( r ) i j x j ν α β β i ν α 1
1 240 ( r ) i j x j ν ν α β β i α 1 + 13 240 ( r ) i j x j ν i ν α α β β 1
+ 13 240 ( r ) i j x j ν i α α β ν β 1 + 1 960 ( r ) i j x j ν i ν α α β β
+ 3 ( r ) i j x μ j i μ α 1 α 2 + 13 10 ( r ) i j x μ j i μ α β α 1 β 1
+ 4 5 ( r ) i j x μ j μ α β i α 1 β 1 + 4 5 ( r ) i j x μ j i α β μ α 1 β 1
4 5 ( r ) i j x μ j μ i α α β 1 β 1 + 23 240 ( r ) i j x μ j i μ α α β β 1
+ 1 48 ( r ) i j x μ j i α α β μ β 1 + 1 48 ( r ) i j x μ j μ α α β i β 1
1 80 ( r ) i j x μ j α α β i μ β 1 + 7 30 ( r ) i j x μ j i μ α β α β 1
+ 1 30 ( r ) i j x μ j i α β μ α β 1 + 1 30 ( r ) i j x μ j μ α β i α β 1
1 30 ( r ) i j x μ j i μ α α β β 1 + 1 576 ( r ) i j x μ j i μ α α β β
1 2 ( r ) i j x μ ν i j μ ν α α 1 1 2 ( r ) i j x μ ν i j μ α ν α 1
( r ) i j x μ ν i μ ν α j α 1 ( r ) i j x μ ν i μ α j ν α 1
1 2 ( r ) i j x μ ν μ ν α i j α 1 1 48 ( r ) i j x μ ν i j μ ν α α
( r ) i j x μ ν i μ ν α α 1 j 1 ( r ) i j x μ ν i μ α ν α 1 j 1
( r ) i j x μ ν μ ν α i α 1 j 1 1 24 ( r ) i j x μ ν i μ ν α α j 1
( r ) i j x μ ν i μ α α 1 j ν 1 1 24 ( r ) i j x μ ν i μ α α j ν 1
( 6 ) x μ ν μ 1 1 ν 2  
1 24 ( r ) i j x j ν i α α 1 ν 2 + 7 10 ( r ) i j x μ j i α β α 1 β 1 μ 1
+ 1 10 ( r ) i j x μ j i α β α β 1 μ 1 1 240 ( r ) i j x μ j i α 1 α β β μ 1
+ 13 240 ( r ) i j x μ j i α α β β 1 μ 1 + 1 960 ( r ) i j x μ j i α α β β μ 1
1 2 ( r ) i j x μ ν i j μ 1 ν 2 1 2 ( r ) i j x μ ν i j ν α α 1 μ 1
( r ) i j x μ ν i ν α j α 1 μ 1 1 48 ( r ) i j x μ ν i j ν α α μ 1
( r ) i j x μ ν i ν α α 1 μ 1 j 1 1 24 ( r ) i j x μ ν i ν α α μ 1 j 1
( 7 ) x μ ν ν μ α α 1  
( r ) i μ i ν β β x ν μ α α 1 + 2 ( r ) i ν i ν β β x μ μ α α 1
+ ( r ) i μ x μ ν ν i α α β β 1 + 2 ( r ) i μ x μ ν ν i α β α β 1
+ 1 24 ( r ) i μ x μ ν ν i α α β β + 2 ( r ) i α x μ ν ν i μ α β β 1
+ 2 ( r ) i α x μ ν ν i μ β α β 1 + 2 ( r ) i α x μ ν ν i α β μ β 1
+ 1 12 ( r ) i α x μ ν ν i μ α β β 1 2 ( r ) i j x μ ν ν i j μ α α
( r ) i j i x μ j ν ν μ α α 1 2 ( r ) i j i x ν j μ ν μ α α 1
2 ( r ) i j x μ ν ν i μ α j α 1 ( r ) i j x μ ν ν i α α j μ 1
( r ) i j x μ ν ν i μ α α j 1
( 8 ) x μ ν ν 1 μ α α  
( r ) i μ μ α α i x ν ν β β 1 + 2 ( r ) i μ μ α α i x ν β ν β 1
+ ( r ) i μ μ α α i x β ν ν β 1 + ( r ) i μ μ α α i ν ν β x β 1
+ 2 ( r ) i μ μ α α i ν β x ν β 1 + 1 24 ( r ) i μ μ α α i x ν ν β β
+ 2 ( r ) i ν μ α α i x μ ν β β 1 + 2 ( r ) i ν μ α α i x μ β ν β 1
+ 2 ( r ) i ν μ α α i x ν β μ β 1 + 2 ( r ) i ν μ α α i μ ν β x β 1
+ 2 ( r ) i ν μ α α i x β μ ν β 1 + 2 ( r ) i ν μ α α i μ β x ν β 1
+ 2 ( r ) i ν μ α α i ν β x μ β 1 + 1 12 ( r ) i ν μ α α i x μ ν β β
1 2 ( r ) i j i j x μ ν ν μ α α ( r ) i j μ α α i x μ ν ν j 1
2 ( r ) i j μ α α i x μ ν j ν 1 ( r ) i j μ α α i x ν ν j μ 1
( r ) i j μ α α i μ ν ν j x 1 ( r ) i j μ α α i x μ j ν ν 1
2 ( r ) i j μ α α i x ν j μ ν 1 2 ( r ) i j μ α α i μ ν j x ν 1
( r ) i j μ α α i ν ν j x μ 1
( 9 ) x μ 1 μ ν ν α α  
( r ) i μ μ ν ν α α i x β β 1 + 1 24 ( r ) i μ i x β β μ ν ν α α
+ ( r ) i μ i α α β β ν ν x μ 1 + 2 ( r ) i μ i α β β ν ν α x μ 1
+ 4 ( r ) i ν i α α β β μ ν x μ 1 + 8 ( r ) i ν i α β β μ ν α x μ 1
1 2 ( r ) i j i j x μ μ ν ν α α ( r ) i j i x μ μ ν ν α α j 1
4 ( r ) i j i μ ν j ν α α x μ 1 2 ( r ) i j i ν ν j μ α α x μ 1
4 ( r ) i j i ν α j μ ν α x μ 1
( 10 ) x μ ν ν α α μ 1  
( r ) i μ i ν α α β β x ν μ 1 + 2 ( r ) i μ i ν α β β x α ν μ 1
+ ( r ) i μ i α α β β x ν ν μ 1 + ( r ) i μ i ν β β x ν α α μ 1
+ 2 ( r ) i μ i α β β x ν ν α μ 1 + 4 ( r ) i ν i ν α α β β x μ μ 1
+ 8 ( r ) i ν i ν α β β x μ α μ 1 + 4 ( r ) i ν i α α β β x μ ν μ 1
+ 4 ( r ) i ν i ν β β x μ α α μ 1 + 8 ( r ) i ν i α β β x μ ν α μ 1
+ 1 24 ( r ) i μ x μ ν ν α α i β β 1 2 ( r ) i j x μ ν ν α α i j μ
( r ) i j i x μ j ν ν α α μ 1 4 ( r ) i j i x ν j μ ν α α μ 1
4 ( r ) i j i μ ν j x ν α α μ 1 2 ( r ) i j i ν ν j x μ α α μ 1
4 ( r ) i j i ν α j x μ ν α μ 1 4 ( r ) i j i x μ ν j ν α α μ 1
2 ( r ) i j i x ν ν j μ α α μ 1 4 ( r ) i j i x ν α j μ ν α μ 1
( 11 ) x μ ν μ ν α α 1  
2 ( r ) i μ x μ ν i ν α α β β 1 + 4 ( r ) i μ x μ ν i ν α β α β 1
+ 2 ( r ) i μ x μ ν i α α β ν β 1 + 2 ( r ) i μ x μ ν i ν β α α β 1
+ 4 ( r ) i μ x μ ν i α β ν α β 1 + 1 12 ( r ) i μ x μ ν i ν α α β β
+ 2 ( r ) i α x μ ν i μ ν α β β 1 + 2 ( r ) i α x μ ν i μ ν β α β 1
+ 4 ( r ) i α x μ ν i μ α β ν β 1 + 4 ( r ) i α x μ ν i μ β ν α β 1
+ 2 ( r ) i α x μ ν i α β μ ν β 1 + 1 12 ( r ) i α x μ ν i μ ν α β β
1 2 ( r ) i j x μ ν i j μ ν α α ( r ) i j x μ ν i μ ν j α α 1
4 ( r ) i j x μ ν i μ α j ν α 1 ( r ) i j x μ ν i α α j μ ν 1
2 ( r ) i j x μ ν i μ ν α j α 1 2 ( r ) i j x μ ν i μ α α j ν 1
( r ) i j x μ ν i μ ν α α j 1
( 12 ) x μ ν 1 μ ν α α  
2 ( r ) i μ μ ν α α i x ν β β 1 + 2 ( r ) i μ μ ν α α i x β ν β 1
+ 2 ( r ) i μ μ ν α α i ν β x β 1 + 1 12 ( r ) i μ μ ν α α i x ν β β
+ 2 ( r ) i μ i α β β ν α x μ ν 1 + 2 ( r ) i α i α β β μ ν x μ ν 1
1 2 ( r ) i j i j x μ ν μ ν α α 2 ( r ) i j μ ν α α i x μ j ν 1
( r ) i j μ ν α α i μ ν j x 1 ( r ) i j μ ν α α i x μ ν j 1
( r ) i j i μ ν j α α x μ ν 1 2 ( r ) i j i μ α j ν α x μ ν 1
( 13 ) x μ ν α α μ ν 1  
2 ( r ) i μ i α α β β x ν μ ν 1 + 4 ( r ) i μ i α β β x ν α μ ν 1
+ 2 ( r ) i α i ν α β β x μ μ ν 1 + 2 ( r ) i α i ν β β x μ α μ ν 1
+ 2 ( r ) i α i α β β x μ ν μ ν 1 + 2 ( r ) i μ x μ ν α α i ν β β 1
+ 1 12 ( r ) i μ x μ ν α α i ν β β 1 2 ( r ) i j x μ ν α α i j μ ν
2 ( r ) i j i x μ j ν α α μ ν 1 2 ( r ) i j i x α j μ ν α μ ν 1
( r ) i j i μ ν j x α α μ ν 1 4 ( r ) i j i μ α j x ν α μ ν 1
( r ) i j i α α j x μ ν μ ν 1 ( r ) i j x μ ν α α i μ ν j 1
( 14 ) x μ 1 μ ν 1 ν α α  
( r ) i μ ν α α i x β β 1 μ ν 1 + 1 24 ( r ) i μ i x β β ν α α μ ν 1
+ ( r ) i μ i ν β β 1 ν α α x μ 1 + 1 24 ( r ) i μ i ν β β ν α α x μ 1
+ ( r ) i ν i μ β β 1 ν α α x μ 1 + 1 24 ( r ) i ν i μ β β ν α α x μ 1
1 2 ( r ) i j ν α α i j x μ μ ν 1 1 2 ( r ) i j ν α α i j μ ν x μ 1
( r ) i j i x μ ν α α j 1 μ ν 1 ( r ) i j ν α α i μ ν j 1 x μ 1
( 15 ) x μ ν 1 μ 1 ν α α  
( r ) i μ ν α α i x ν β β 1 μ 1 + ( r ) i μ ν α α i x β ν β 1 μ 1
+ ( r ) i μ ν α α i ν β x β 1 μ 1 + 1 24 ( r ) i μ ν α α i x ν β β μ 1
+ ( r ) i ν ν α α i x μ β β 1 μ 1 + ( r ) i ν ν α α i x β μ β 1 μ 1
+ ( r ) i ν ν α α i μ β x β 1 μ 1 + 1 24 ( r ) i ν ν α α i x μ β β μ 1
+ 1 24 ( r ) i μ ν α α i β β x μ ν 1 1 2 ( r ) i j i j x μ ν ν α α μ 1
1 2 ( r ) i j i j μ ν α α x μ ν 1 ( r ) i j ν α α i x μ j ν 1 μ 1
( r ) i j ν α α i x ν j μ 1 μ 1 ( r ) i j ν α α i μ ν j x 1 μ 1
( r ) i j ν α α i x μ ν j 1 μ 1
( 16 ) x μ ν μ 1 ν α α 1  
1 24 ( r ) i μ x μ ν i β β ν α α 1 + ( r ) i ν x μ ν i α α β β 1 μ 1
+ 2 ( r ) i ν x μ ν i α β α β 1 μ 1 + 1 24 ( r ) i ν x μ ν i α α β β μ 1
+ 2 ( r ) i α x μ ν i ν α β β 1 μ 1 + 2 ( r ) i α x μ ν i ν β α β 1 μ 1
+ 2 ( r ) i α x μ ν i α β ν β 1 μ 1 + 1 12 ( r ) i α x μ ν i ν α β β μ 1
1 2 ( r ) i j x μ ν i j μ ν α α 1 1 2 ( r ) i j x μ ν i j ν α α μ 1
2 ( r ) i j x μ ν i ν α j α 1 μ 1 ( r ) i j x μ ν i α α j ν 1 μ 1
( r ) i j x μ ν i ν α α j 1 μ 1
( 17 ) x μ ν ν μ α 1 α 1  
( r ) i μ i ν β β x ν μ α 1 α 1 + 2 ( r ) i ν i ν β β x μ μ α 1 α 1
+ ( r ) i μ x μ ν ν i α β β 1 α 1 + 1 24 ( r ) i μ x μ ν ν i α β β α 1
+ ( r ) i α x μ ν ν i μ β β 1 α 1 + 1 24 ( r ) i α x μ ν ν i μ β β α 1
+ 1 24 ( r ) i α x μ ν ν i β β μ α 1 1 2 ( r ) i j x μ ν ν i j μ α α 1
1 2 ( r ) i j x μ ν ν i j α μ α 1 ( r ) i j i x μ j ν ν μ α 1 α 1
2 ( r ) i j i x ν j μ ν μ α 1 α 1 ( r ) i j x μ ν ν i μ α j 1 α 1
( 18 ) x μ 1 μ ν α α ν 1  
( r ) i μ μ ν α α i x β β 1 ν 1 + 1 24 ( r ) i μ μ ν α α i x β β ν 1
+ ( r ) i μ i α β β ν α x μ 1 ν 1 + ( r ) i ν i α β β μ α x μ 1 ν 1
+ 2 ( r ) i α i α β β μ ν x μ 1 ν 1 + 1 24 ( r ) i ν μ ν α α i β β x μ 1
1 2 ( r ) i j i j x μ μ ν α α ν 1 1 2 ( r ) i j μ ν α α i j ν x μ 1
( r ) i j μ ν α α i x μ j 1 ν 1 ( r ) i j i μ ν j α α x μ 1 ν 1
2 ( r ) i j i μ α j ν α x μ 1 ν 1
( 19 ) x μ ν α α μ 1 ν 1  
2 ( r ) i μ i α α β x ν β μ 1 ν 1 + 4 ( r ) i μ i α β x ν α β μ 1 ν 1
+ 2 ( r ) i α i ν α β x μ β μ 1 ν 1 + 2 ( r ) i α i ν β x μ α β μ 1 ν 1
+ 2 ( r ) i α i α β x μ ν β μ 1 ν 1 + 1 12 ( r ) i μ x μ ν α α i β β ν 1
( r ) i j x μ ν α α i j μ ν 1 ( r ) i j i x μ j ν α α μ 1 ν 1
( r ) i j i x ν j μ α α μ 1 ν 1 2 ( r ) i j i x α j μ ν α μ 1 ν 1
( r ) i j i x μ ν j α α μ 1 ν 1 2 ( r ) i j i x μ α j ν α μ 1 ν 1
2 ( r ) i j i x ν α j μ α μ 1 ν 1 ( r ) i j i x α α j μ ν μ 1 ν 1
( 20 ) x μ ν α μ ν α 1  
3 ( r ) i μ i α β β x ν μ ν α 1 + 3 ( r ) i μ x μ ν α i ν α β β 1
+ 6 ( r ) i μ x μ ν α i ν β α β 1 + 1 8 ( r ) i μ x μ ν α i ν α β β
1 2 ( r ) i j x μ ν α i j μ ν α 3 ( r ) i j i x μ j ν α μ ν α 1
3 ( r ) i j x μ ν α i μ ν j α 1 ( r ) i j x μ ν α i μ ν α j 1
( 21 ) x μ ν α 1 μ ν α  
3 ( r ) i μ i x ν α β β 1 μ ν α + 6 ( r ) i μ i x ν β α β 1 μ ν α
+ 3 ( r ) i μ i x β ν α β 1 μ ν α + 3 ( r ) i μ i ν α β x β 1 μ ν α
+ 6 ( r ) i μ i ν β x α β 1 μ ν α + 1 8 ( r ) i μ i x ν α β β μ ν α
1 2 ( r ) i j i j x μ ν α μ ν α 3 ( r ) i j μ ν α i x μ j ν α 1
3 ( r ) i j μ ν α i μ ν j x α 1 3 ( r ) i j μ ν α i x μ ν j α 1
( r ) i j μ ν α i μ ν α j x 1 ( r ) i j μ ν α i x μ ν α j 1
( 22 ) x μ 1 μ ν α ν α 1  
( r ) i μ μ ν α i x β β 1 ν α 1 + 1 24 ( r ) i μ μ ν α i x β β ν α 1
+ 2 ( r ) i ν μ ν α i α β β 1 x μ 1 + 1 12 ( r ) i ν μ ν α i α β β x μ 1
1 2 ( r ) i j i j x μ μ ν α ν α 1 1 2 ( r ) i j μ ν α i j ν α x μ 1
( r ) i j i x μ j 1 μ ν α ν α 1 ( r ) i j μ ν α i ν α j 1 x μ 1
( 23 ) x μ ν α μ ν 1 α 1  
2 ( r ) i μ i α β β x ν μ ν 1 α 1 + ( r ) i α i ν β β x μ μ ν 1 α 1
+ 2 ( r ) i μ x μ ν α i ν β β 1 α 1 + 1 12 ( r ) i μ x μ ν α i ν β β α 1
+ 1 24 ( r ) i α x μ ν α i β β μ ν 1 1 2 ( r ) i j x μ ν α i j μ ν α 1
1 2 ( r ) i j x μ ν α i j α μ ν 1 2 ( r ) i j i x μ j ν α μ ν 1 α 1
( r ) i j i x α j μ ν μ ν 1 α 1 ( r ) i j x μ ν α i μ ν j 1 α 1
( 24 ) x μ ν 1 μ ν α α 1  
2 ( r ) i μ μ ν α i x ν β β 1 α 1 + 2 ( r ) i μ μ ν α i x β ν β 1 α 1
+ 2 ( r ) i μ μ ν α i ν β x β 1 α 1 + 1 12 ( r ) i μ μ ν α i x ν β β α 1
+ 1 24 ( r ) i α μ ν α i β β x μ ν 1 1 2 ( r ) i j i j x μ ν μ ν α α 1
1 2 ( r ) i j μ ν α i j α x μ ν 1 2 ( r ) i j μ ν α i x μ j ν 1 α 1
( r ) i j μ ν α i μ ν j x 1 α 1 ( r ) i j μ ν α i x μ ν j 1 α 1
( 25 ) x μ ν μ ν α 1 α 1  
2 ( r ) i μ x μ ν i ν α β β 1 α 1 + 2 ( r ) i μ x μ ν i ν β α β 1 α 1
+ 2 ( r ) i μ x μ ν i α β ν β 1 α 1 + 1 12 ( r ) i μ x μ ν i ν α β β α 1
+ ( r ) i α x μ ν i μ ν β β 1 α 1 + 2 ( r ) i α x μ ν i μ β ν β 1 α 1
+ 1 24 ( r ) i α x μ ν i μ ν β β α 1 + 1 24 ( r ) i α x μ ν i β β μ ν α 1
1 2 ( r ) i j x μ ν i j μ ν α α 1 1 2 ( r ) i j x μ ν i j α μ ν α 1
( r ) i j x μ ν i μ ν j α 1 α 1 2 ( r ) i j x μ ν i μ α j ν 1 α 1
( r ) i j x μ ν i μ ν α j 1 α 1
( 26 ) x μ ν μ α 1 ν α 1  
2 ( r ) i μ x μ ν i α β β 1 ν α 1 + 1 12 ( r ) i μ x μ ν i α β β ν α 1
+ 2 ( r ) i α x μ ν i μ β β 1 ν α 1 + 1 12 ( r ) i α x μ ν i μ β β ν α 1
1 2 ( r ) i j x μ ν i j μ α ν α 1 1 2 ( r ) i j x μ ν i j ν α μ α 1
( r ) i j x μ ν i μ α j 1 ν α 1 ( r ) i j x μ ν i ν α j 1 μ α 1
( 27 ) x μ ν μ 1 ν α 1 α 1  
1 24 ( r ) i μ x μ ν i β β ν α 1 α 1 + ( r ) i ν x μ ν i α β β 1 μ 1 α 1
+ 1 24 ( r ) i ν x μ ν i α β β μ 1 α 1 + ( r ) i α x μ ν i ν β β 1 μ 1 α 1
+ 1 24 ( r ) i α x μ ν i ν β β μ 1 α 1 + 1 24 ( r ) i α x μ ν i β β μ 1 ν α 1
1 2 ( r ) i j x μ ν i j μ ν α 1 α 1 1 2 ( r ) i j x μ ν i j ν α μ 1 α 1
1 2 ( r ) i j x μ ν i j α μ 1 ν α 1 ( r ) i j x μ ν i ν α j 1 μ 1 α 1
( 28 ) x μ 1 μ ν α ν 1 α 1  
( r ) i μ μ ν α i x β β 1 ν 1 α 1 + 1 24 ( r ) i μ μ ν α i x β β ν 1 α 1
+ 1 12 ( r ) i ν μ ν α i β β x μ 1 α 1 1 2 ( r ) i j i j x μ μ ν α ν 1 α 1
1 2 ( r ) i j μ ν α i j ν x μ 1 α 1 1 2 ( r ) i j μ ν α i j α x μ 1 ν 1
( r ) i j μ ν α i x μ j 1 ν 1 α 1
( 29 ) x μ ν α μ 1 ν 1 α 1  
3 ( r ) i μ i α β β x ν μ 1 ν 1 α 1 + 1 8 ( r ) i μ x μ ν α i β β ν 1 α 1
3 2 ( r ) i j x μ ν α i j μ ν 1 α 1 3 ( r ) i j i x μ j ν α μ 1 ν 1 α 1
( 30 ) x μ μ ν ν α α  
6 ( r ) i j i ν ν α α β β x j + 6 ( r ) i j i ν ν α β β x j α
+ 6 ( r ) i j i ν ν α β β x j α + 6 ( r ) i j i ν ν β β x j α α
+ 6 ( r ) i j i ν α α β β x j ν + 6 ( r ) i j i ν α β β x j ν α
+ 6 ( r ) i j i ν α β β x j ν α + 6 ( r ) i j i ν β β x j ν α α
+ 6 ( r ) i j i ν α α β β x j ν + 6 ( r ) i j i ν α β β x j ν α
+ 6 ( r ) i j i ν α β β x j ν α + 6 ( r ) i j i ν β β x j ν α α
+ 6 ( r ) i j i α α β β x j ν ν + 6 ( r ) i j i α β β x j ν ν α
+ 6 ( r ) i j i α β β x j ν ν α 6 ( r ) i j i x μ j μ ν ν α α
3 ( r ) i j i μ μ j x ν ν α α 12 ( r ) i j i μ ν j x μ ν α α
3 ( r ) i j i x μ μ j ν ν α α 12 ( r ) i j i x μ ν j μ ν α α
12 ( r ) i j i μ μ ν j x ν α α 8 ( r ) i j i μ ν α j x μ ν α
We now start with the hypothetical equation k = 1 30 c k ( k ) = 0 ,   and apply the operator ( r 1 z ) ^   . See the first equation in Appendix A with l = 1   for the form of ( r 1 z ) ^   . Note that it is shown in [9the contributions of the sum of the terms produced by the first term there is zero. Simiarly the second term contributes only if the operator acts on the edges.
The Invariance Conjecture predicts ( r 1 z ) ^ k = 1 30 c k ( k ) = 0 .   In each strata, we will pick a basis for the tautological group and set the coefficients of the basis equal to 0. Some of the strata will be disconnected, i.e. the dual graph is disconnected. They are easier to deal with as they involve less relations (e.g. WDVV). Some of them involve no relations at all and can be used as our basis in the lower strata.
So let us start with the disconnected terms.
  •   The terms of the form x α β j α β 1 i 2   give the equation
    c 2 + c 4 = 0 . (1)
  •   The terms of the form x i α j β β 1 α 2   give the equation
    3 c 3 c 4 + 1 24 c 6 = 0 . (2)
  •   The terms of the form j ν ν α α β x i β 1   give the equation
    1 80 c 3 c 8 + 1 24 c 15 = 0 . (3)
  •   The terms of the form i ν β β x ν j α α 1   give the equation
    c 7 c 8 c 11 = 0 . (4)
  •   The terms of the form j ν ν x α β i α β 1   give the equation
    1 30 c 3 c 11 + 1 24 c 25 = 0 . (5)
  •   The terms of the form j ν ν i α β x α β 1   give the equation
    1 30 c 3 + 2 c 8 c 12 + 1 24 c 24 = 0 . (6)
  •   The terms of the form j ν ν x i α α β β 1   give the equation
    1 30 c 3 c 7 + c 8 + 1 24 c 16 = 0 . (7)
  •   The terms of the form μ ν ν j μ α i x 1 α 1   give the equation
    c 14 c 15 + c 18 c 24 = 0 ; (8)
  •   The terms of the form ν α α i x ν j μ 1 μ 1   give the equation
    c 15 c 17 + c 25 = 0 . (9)
  •   The terms of the form j ν ν x α β i α 1 β 1   give the equation
    4 5 c 3 c 16 + 1 24 c 27 = 0 . (10)
  •   The terms of the form μ ν ν x i α j μ 1 α 1   give the equation
    c 3 1 240 c 6 + c 14 c 15 = 0 . (11)
  •   The terms of the form j ν ν i α β x α 1 β 1   give the equation
    4 5 c 3 + c 14 + c 15 c 18 + 1 12 c 28 = 0 . (12)
  •   The terms of the form j ν ν x i α α β 1 β 1   give the equation
    4 5 c 3 + c 15 c 17 + 1 24 c 27 = 0 . (13)
  •   The terms of the form x j μ μ 1 i α β α β 1   give the equation
    1 10 c 6 + 2 c 16 + c 22 c 23 = 0 . (14)
  •   The terms of the form x μ j i α β α 1 β 1 μ 1   give the equation
    7 10 c 6 + c 27 + c 28 3 c 29 = 0 . (15)
  •   The terms of the form j μ ν α μ ν α i x 1 = j μ α α μ ν ν i x 1   give the equation
    c 8 + c 9 + 1 24 c 14 c 21 = 0 . (16)
  •   The terms of the form j μ α μ ν ν α i x 1   give the equation
    2 c 9 c 12 = 0 . (17)
  •   The terms of the form j ν ν x α α β i β 1   give the equation
    1 48 c 3 c 7 + 1 24 c 17 = 0 . (18)
  •   The terms of the form x i α α μ ν ν j μ 1   give the equation
    1 24 c 3 1 240 c 4 c 8 + 1 24 c 14 = 0 . (19)
  •   The terms of the form j ν ν i α α β x β 1   give the equation
    1 48 c 3 + c 8 2 c 9 + 1 24 c 14 + 1 24 c 18 = 0 . (20)
  •   The terms of the form j ν ν x i α β α β 1   give the equation
    7 30 c 3 + 2 c 8 c 13 + 1 24 c 23 = 0 . (21)
  •   The terms of the form j x μ μ i α β α β 1   give the equation
    1 10 c 4 + 2 c 7 c 13 + 1 24 c 22 = 0 . (22)
  •   The terms of the form j ν ν x i α β α 1 β 1   give the equation
    13 10 c 3 + c 15 c 19 + 1 8 c 29 = 0 . (23)
  •   The terms of the form j x μ μ i α β α 1 β 1   give the equation
    7 10 c 4 + c 17 c 19 + 1 24 c 28 = 0 . (24)
  •   The terms of the form j ν ν x i α α β β 1   give the equation
    23 240 c 3 + c 8 2 c 10 + 1 24 c 15 + 1 12 c 19 = 0 . (25)
  •   The terms of the form j x μ μ i α α β β 1   give the equation
    13 240 c 4 + c 7 2 c 10 + 1 24 c 17 + 1 24 c 18 = 0 . (26)
  •   The terms of the form i α α β β x j μ μ 1   give the equation
    1 960 c 6 + c 9 c 10 + 1 24 c 16 = 0 . (27)
  •   There are several terms containing i 1   . If we remove the i 1   , they become terms in ¯ 2 , 2   of codimension 3   , and there is a relation between them which we can find by using Getzler's relation with a two descendences on x   and one descendence on y   (with y = j   ). The relation is1
    0 = 3 40 x μ α α y μ ν ν 1 + 3 40 x μ ν α α y μ ν 1
    7 120 x μ α α y μ ν ν 1 + 7 120 x ν α α y μ μ ν 1
    + 1 120 x μ α α μ ν y ν 1 1 120 x y ν α α 1 μ μ ν
    1 120 x y α ν α 1 μ μ ν + 1 120 y μ α x α 1 μ ν ν
    + other terms with all vertices of genus 0
    and it does not involve terms of the form x β γ γ j α α β 1   or x β μ μ j α α 1 β 1   . We are going to solve this relation for the term x μ α α μ ν j ν 1 i 1   and find an equation for all of the other terms. Since the terms of the form x μ α α μ ν j ν 1 i 1   have a coefficient of c 2 j : = 1 20 c 1 c 2 c 3 c 5   in our derivative, we will be adding the appropriate multiple of this number to the coefficient of the other terms.
  •   The terms of the form x β γ γ j α α β 1 i 1   give the equation
    1 10 c 1 + c 5 + c 22 c 23 2 c 25 + 2 c 26 = 0 . (28)
  •   The terms of the form x β μ μ j α α 1 β 1 i 1   give the equation
    7 10 c 1 c 6 c 28 + 3 c 29 = 0 . (29)
  •   The terms of the form μ ν ν i μ α x α 1 j 1   give the equation
    c 2 j c 14 + c 15 + c 18 c 22 = 0 . (30)
  •   The terms of the form α β β x j γ α γ 1 i 1   give the equation
    c 2 j + 1 240 c 1 c 3 c 14 + c 15 = 0 . (31)
  •   There are seven different terms with genus 1   part i 1 μ 1   , and they are related by WDVV. To simplify the notation, we shall call the seven terms 1 j   , 1 x   , 1 μ   , 2 j x μ   , 3 j   , 3 x   , and 3 μ   . Here is a list of each term with the new notation for it and its coefficient in the derivative.
    • The term 1 j : = α α j ν ν x μ i 1 μ 1   has coefficient c 1 j : = 7 c 2 j 1 20 c 1 1 24 c 6 c 16 + 2 c 19 + 1 24 c 27 .  
    • The term 1 x : = α α x ν ν j μ i 1 μ 1   has coefficient c 1 x : = 9 c 2 j c 4 .  
    • The term 1 μ : = α α μ ν ν x j i 1 μ 1   has coefficient c 1 μ : = c 18 .  
    • The term 2 j x μ : = α α ν ν j x μ i 1 μ 1   has coefficient c 2 j x μ : = c 2 j + 1 240 c 1 c 3 .  
    • The term 3 j : = α j ν ν x μ α i 1 μ 1   has coefficient c 3 j : = 9 c 2 j 13 240 c 1 + 4 c 19 c 23 .  
    • The term 3 x : = α x ν ν j μ α i 1 μ 1   has coefficient c 3 x : = 7 c 2 j 13 240 c 1 c 5 .  
    • The term 3 μ : = α μ ν ν j x α i 1 μ 1   has coefficient c 3 μ : = c 24 .  
    Using WDVV, we can write the seven terms in terms of 1 j   , 1 x   , 1 μ   , and 3 j   as follows: 2 j x μ = 1 j 1 x 1 μ + 2 3 j , 3 x = 1 j 1 x + 3 j , 3 μ = 1 j 1 μ + 3 j .   After these substitutions, the terms of the form 1 j   give the equation
    c 1 j + c 2 j x μ + c 3 x + c 3 μ = 0 . (32)
    The terms of the form 1 x   give the equation
    c 1 x c 2 j x μ c 3 x = 0 . (33)
    The terms of the form 1 μ   give the equation
    c 1 μ c 2 j x μ c 3 ν = 0 . (34)
    The terms of the form 3 j   give the equation
    c 3 j + 2 c 2 j x μ + c 3 x + c 3 μ = 0 . (35)
  •   The terms of the form x μ j i α α ν μ 1 ν 1   give the equation
    13 240 c 6 + c 16 + c 18 2 c 19 + 1 24 c 27 = 0 . (36)
  •   The terms of the form j ν ν x i α α μ μ   give the equation
    1 576 c 3 + 1 24 c 8 + 1 24 c 10 3 c 30 = 0 . (37)
  •   The terms of the form j x μ μ i α α ν ν   give the equation
    1 960 c 4 + 1 24 c 7 + 1 24 c 9 3 c 30 = 0 . (38)
The other terms are all connected, and they are strata of codimension 3   in ¯ 2 , 3   . We found relations between them in two different ways2 : First of all, by taking Getzler's relation in ¯ 1 , 4   , adding another marked point, and then identifying either two of the first four marked points or the fifth marked point with one of the others. Secondly, by taking the Belorousski-Pandharipande relation, adding a descendence at the marked point x   , and then simplifying. The relations we obtain are the following:
0 = x i μ j α ν α μ ν 1 + x j μ i α ν α μ ν 1
+ x α μ i j ν α μ ν 1 x i μ j μ ν α α ν 1
x i μ α μ ν j α ν 1 x j μ α μ ν i α ν 1
i j μ α μ ν x α ν 1 + other terms ,
0 = x i μ α α ν j μ ν 1 x α μ α μ ν i j ν 1
i α μ α μ ν x j ν 1 + other terms ,
0 = i j μ α α ν x μ ν 1 i α μ α μ ν j x ν 1
j α μ α μ ν i x ν 1 + other terms ,
and
0 = μ α ν μ i j ν 1 x α 1 x j α α μ ν μ 1 ν i 1
x i α α μ ν μ 1 ν j 1 x μ α μ i j α ν 1 ν 1
+ x α ν μ i j α μ 1 ν 1 + x j α i μ ν μ 1 ν α 1
+ x i α j μ ν μ 1 ν α 1 + other terms .
Here is a table of the terms we shall solve for, each with their coefficient in the derivative:
x i μ j μ ν α α ν 1 a : = 1 30 c 5 + 2 c 11 1 2 c 16
x i μ α α ν j μ ν 1 b j : = 1 240 c 1 c 3 1 60 c 5
i j μ α α ν x μ ν 1 b x : = 2 c 8 1 2 c 15
x μ α μ i j α ν 1 ν 1 c : = 4 5 c 5 + 2 c 25 1 2 c 27
After solving the four relations above for these four terms, we obtain the following equations for the other terms.
  •   The terms of the form x α β β i j 1 α 2   give the equation
    1 2 c 1 + 4 c 5 1 2 c 6 = 0 (39)
  •   The terms of the form α β β x α γ i j γ 1   give the equation
    1 40 c 1 1 2 c 2 1 2 c 3 1 2 c 5 + b x = 0 . (40)
  •   The terms of the form μ ν ν i μ α j x α 1   give the equation
    2 c 12 3 c 21 + 2 b x + b j = 0 . (41)
  •   The terms of the form x β γ γ i α j α β 1   give the equation
    1 10 c 1 29 30 c 5 + 3 c 20 3 c 21 2 a = 0 . (42)
  •   The terms of the form i j β β μ ν x μ ν 1   give the equation
    6 c 21 1 2 c 24 a = 0 . . (43)
  •   The terms of the form x j ν i α β ν α β 1   give the equation
    2 15 c 5 + 4 c 11 3 c 20 + 3 c 21 + a = 0 . (44)
  •   The terms of the form x μ ν i j β μ ν β 1   give the equation
    2 c 11 1 2 c 25 + 2 a = 0 . (45)
  •   The terms of the form x β γ γ i α j α 1 β 1   give the equation
    7 5 c 1 1 5 c 5 c 6 + 2 c 23 2 c 24 2 c 25 + 2 c 26 2 c = 0 . (46)
  •   The terms of the form i j β β μ ν x μ 1   give the equation
    2 c 22 + 2 c 24 c 28 c = 0 . (47)
  •   The terms of the form x μ j i α β μ α 1 β 1   give the equation
    11 5 c 5 2 c 23 + 2 c 24 + 2 c 25 + 2 c 26 + 2 c = 0 . (48)
  •   The terms of the form x μ ν i j β ν β 1 μ 1   give the equation
    2 c 16 1 2 c 27 + c = 0 . (49)
Solving the equations ( 1 )-( 49 ) gives the following coefficients (let c 1 = 1   ):
c 2 = 5 72 c 3 = 1 252 c 4 = 5 72 c 5 = 5 42 c 6 = 41 21
c 7 = 11 40320 c 8 = 1 13440 c 9 = 1 8064 c 10 = 191 120960 c 11 = 1 5040
c 12 = 1 4032 c 13 = 17 2880 c 14 = 1 840 c 15 = 1 336 c 16 = 1 126
c 17 = 23 5040 c 18 = 17 5040 c 19 = 113 2520 c 20 = 1 210 c 21 = 0
c 22 = 1 84 c 23 = 211 1260 c 24 = 1 1260 c 25 = 1 630 c 26 = 11 140
c 27 = 4 35 c 28 = 2 105 c 29 = 89 210 c 30 = 1 53760

2 For more details, see Appendix  C .

A Summary of the known relations used in the paper

We put here a summary of what we used in the calculations.
  •  
    d k 1 i 1 k 2 i 2 . . . g d ɛ r = l = 1 n = 0 i , j ( r l ) i j q n j n + l i k 1 i 1 k 2 i 2 . . . g
    + l = 1 i , a ( r l ) i i a k a + l i k 1 i 1 k 2 i 2 . . . k a i a ^ . . . g
    + 1 2 l = 1 m = 0 l 1 ( 1 ) m + 1 i , j ( r l ) i j l 1 m i m j k 1 i 1 k 2 i 2 . . . g 1
    + 1 2 l = 1 m = 0 l 1 ( 1 ) m + 1 i , j g = 0 g ( r l ) i j k 1 i 1 k 2 i 2 . . . ( l 1 m i g m j g g ) .
  •   The combined effort of the first term vanishes.
  •   The combined effort of the second term when k a i a   is at a marked point also vanishes.
  •   Symmetries: For example, ( r 1 ) i j = ( r 1 ) j i   and ( r 2 ) i j = ( r 2 ) j i   .
  •   WDVV :   for every σ S 4   , i j α α k l = σ ( i ) σ ( j ) α α σ ( k ) σ ( l ) .  
  •   TRR in g = 0 :   l + 1 i j k = l i α α j k .  
  •   TRR in g = 1 :   l + 1 i 1 = l i α α 1 + 1 24 l i α α .  
  •   Getzler's Relation in g = 1   :
    3 x y μ z w ν μ ν 1 4 x y μ z μ ν w ν 1   x y μ z w μ ν ν 1 + y x y z μ w μ ν ν 1   + 1 6 x y z μ w μ ν ν + 1 24 x y z w μ μ ν ν   1 4 x y μ ν z w μ ν = 0  
  •   Mumford's Relation in g = 2   :
    k + 2 x 2 = k + 1 x α α 2 + k x α 1 α 2
    k x α α β β 2 + 7 10 k x α β α 1 β 1
    + 1 10 k x α β α β 1 1 240 k x α 1 α β β
    + 13 240 k x α α β β 1 + 1 960 k x α α β β .
  •   Getzler's Relation in g = 2   :
    k + 1 x l + 1 y 2 = k + 1 x α 2 l y α + k x α l + 1 y α 2
    k x α l y β α β 2 + 3 k x l y α 1 α 2
    3 k x l y α α β β 2 + 13 10 k x l y α β α 1 β 1
    + 4 5 k x α 1 l y α β β 1 + 4 5 k x α β l y α 1 β 1
    4 5 k x l y α α β 1 β 1 + 23 240 k x l y α α β β 1
    + 1 48 k x α α β l y β 1 + 1 48 k x β 1 l y α α β
    1 80 k x l y β 1 α α β + 7 30 k x l y α β α β 1
    + 1 30 k x α β l y α β 1 + 1 30 k x α β 1 l y α β
    1 30 k x l y α α β β 1 + 1 576 k x l y α α β β .
  •   Belorousski-Pandharipande Relation in g = 2   :
    S 3 ( 2 x α β α y z β 2 + 2 x y z α 1 α 2
    2 x y z α α β β 2 + 3 1 x α 2 α y z
    3 x α y z β α β 2 3 x 1 α 2 α y z
    + 3 x α 2 α β β y z + 1 5 x y z α β α 1 β 1
    6 5 x y α β α 1 β z 1 + 12 5 x α β α 1 β y z 1
    18 5 x α 1 α y β β z 1 6 5 x y z α α β 1 β 1
    + 9 5 x α 1 α β 1 β y z 6 5 α 1 α x β 1 β y z
    + 1 120 x y z α α β β 1 3 40 x y α α β β z 1
    + 3 40 x α α β β y z 1 1 120 x y z α 1 α β β
    + 1 10 x y z α β α β 1 3 10 x y α β α β z 1
    + 1 10 x α β α β y z 1 1 20 x y z α α β β 1
    1 20 x y α α β β z 1 ) = 0 .

B A relation in ¯ 2 , 2   in codimension 3  

We use Getzler's and Mumford's relations to derive a new relation for ¯ 2 , 2   in codimension 3   . Start with Getzler's relation with k = 1   and l = 0   :
2 x 1 y 2 = 13 10 1 x y μ ν μ 1 ν 1 + 4 5 1 x μ 1 y μ ν ν 1
+ 23 240 1 x y μ μ ν ν 1 + 1 48 1 x μ μ ν y ν 1
+ 1 48 1 x ν 1 y μ μ ν 1 80 1 x y ν 1 μ μ ν
+ 7 30 1 x y μ ν μ ν 1 + 1 30 1 x μ ν 1 y μ ν
+ 1 576 1 x y μ μ ν ν
We can then use Mumford's relation to simplify the left-hand side, and TRR's to simplify the right-hand side. If we set the two sides equal to each other and simplify, we obtain the equation
0 = 3 40 x μ α α y μ ν ν 1 + 3 40 x μ ν α α y μ ν 1
7 120 x μ α α y μ ν ν 1 + 7 120 x ν α α y μ μ ν 1
+ 1 120 x μ α α μ ν y ν 1 1 120 x y ν α α 1 μ μ ν
1 120 x y α ν α 1 μ μ ν + 1 120 y μ α x α 1 μ ν ν
+ other terms with all vertices of genus 0

C Relations in ¯ 2 , 3   in codimension 3  

First of all, we use Getzler's relation in ¯ 1 , 4   to find relations in ¯ 2 , 3   in codimension 3   . Since we are only interested in terms with a total number of three markings at genus 1   vertices, we start with Getzler's relation written as follows: 3 x y μ z w ν μ ν 1 4 x y μ z μ ν w ν 1 + other terms = 0 .   After we disimmetrize, and add a fifth marked point v   , we obtain the relation
0 = x y μ z w ν v μ ν 1 + x z μ y w ν v μ ν 1
+ x w μ y z ν v μ ν 1 x y μ z μ ν w v ν 1
x y μ w μ ν z v ν 1 x z μ w μ ν y v ν 1
y z μ w μ ν x v ν 1 + other terms
If we identify the marked point v   with the marked point w   , we obtain that
0 = x y μ z α ν α μ ν 1 + x z μ y α ν α μ ν 1
+ x α μ y z ν α μ