Conjecture on independence of essential tautological classes

Let gg be a nonnegative integer, let PP be a finite set of markings, and let kk be a nonnegative integer. Consider the essential tautological classes in H2k(Mg,P)H^{2k}\left(\overline{\mathcal{M}}_{g,P}\right), meaning tautological classes not eliminable by relations among tautological classes arising in lower degree. Independence conjecture. There are no relations between essential tautological classes in H2k(Mg,P)H^{2k}\left(\overline{\mathcal{M}}_{g,P}\right) whenever g3kg\geq 3k. The conjecture is motivated by the proof of the preceding dimension result and is compatible with Harer's and Ivanov's stability theorems and with Faber's results and conjectures for the tautological ring of Mg,n\mathcal{M}_{g,n}.

Sources & referencesView supporting material

Primary source

Marzia Polito, “The fourth tautological group of M_g,n and relations with the cohomology”, arXiv:math/0005129 (2000).

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.