Pollack's lifting conjecture for cusp-form relations

About 13 years old · traced to

Let kk be an integer, and let ff be a cusp form of weight kk for SL⁡2(Z)\operatorname{SL}_2(\mathbb{Z}). Let Rf,d\mathrm{R}_{f,d} denote the relation associated with ff in the Lie algebra generated by the elements ε2i\varepsilon_{2i}. A bracket is an iterated Lie bracket of such elements.

Pollack's lifting conjecture. There exists a linear combination TT of brackets of ε2i\varepsilon_{2i}, containing at least three ε2i\varepsilon_{2i} with i>1i>1, such that

Rf,d=T.\mathrm{R}_{f,d}=T.

This conjecture asks when relations in the quotient by Θ3E\Theta^3\mathscr{E} lift to actual relations in E\mathscr{E}. The source motivates it from examples associated with cusp forms, while noting that analogous relations associated with certain Eisenstein series do not lift in general.

References

Primary source

Samuel Baumard and Leila Schneps, “On the derivation representation of the fundamental Lie algebra of mixed elliptic motives”, arXiv:1510.05549 (2015).

Additional references

2 papers in this index state this conjecture (2013–2015). The statement above is taken from the most recent of them; the others are arXiv:1310.5833.

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.