Injective Rota-Baxter operators of weight zero on \(F[x]\) (Q2243979)

Given an algebra \(A\) over a field \(F\) and \(\lambda\in F\), a Rota-Baxter operator of weight \(\lambda\) on \(A\) is a linear operator \(P\) satisfying \[ P(x)P(y)=P(xP(y))+P(P(x)y)+\lambda P(xy) \] for all \(x,y\in A\). Rota-Baxter operators present a natural generalization of integration by parts formula for the integral operator. \textit{S. Zheng} et al. [Pac. J. Math. 275, No. 2, 481--507 (2015; Zbl 1346.13042)] conjectured that every injective Rota-Baxter operator of weight zero on the polynomial algebra \(\mathbb{R}[x]\) is a composition of the multiplication by a nonzero polynomial and a formal integration at some point. The paper under review confirms this conjecture over any field of characteristic zero. This enable the authors to establish a structure of an ind-variety on the moduli space of the injective Rota-Baxter operators of weight zero and describe an additive structure of generic modality two on it. Finally, the authors provide an infinitely transitive action on codimension one subsets.