The invariance criterion for tautological equations

Let Rk(Mg,n)R^k(\overline{\mathcal{M}}_{g,n}) be the tautological classes of codimension kk on Mg,n\overline{\mathcal{M}}_{g,n}. Let E=iciΓiE=\sum_i c_i\Gamma_i be a linear combination of codimension kk tautological strata in Mg,n\overline{\mathcal{M}}_{g,n}, where k<3g3+nk<3g-3+n and the cic_i are unknown variables. For l=1,2,l=1,2,\ldots, let

rl:Rk(Mg,n)Rk+l1(Mg1,n+2)\mathfrak{r}_l:R^k(\overline{\mathcal{M}}_{g,n})\to R^{k+l-1}(\overline{\mathcal{M}}^{\bullet}_{g-1,n+2})

be the operators on decorated graphs introduced in the source.

Invariance criterion. If

rl(E)=0\mathfrak{r}_l(E)=0

for all ll, then E=0E=0 is a tautological equation.

This is the second invariance conjecture for tautological equations. The paper states that it is intended to produce all tautological equations inductively; the supplied text does not establish its general resolution.

Sources & referencesView supporting material

Primary source

D. Arcara and Y. -P. Lee, “Tautological equations in genus 2 via invariance conjectures”, arXiv:math/0502488 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.