The derivative conjecture for formal multiple Eisenstein series
Let Ef\mathcal{E}^fEf be the formal multiple Eisenstein-series algebra, let Gf\mathcal{G}^fGf be the ambient formal algebra, and let θ=−D∘φ\theta=-\mathcal{D}\circ\varphiθ=−D∘φ on the relevant w…