Freeness conjecture for generic twisted quasi-invariants

Let mm be a nonnegative integer, let f1,f2,,fnf_1,f_2,\dots,f_n be one-variable meromorphic functions, and let Qm(f1,,fn)Q_m(f_1,\dots,f_n) be the space of polynomials FC[x1,,xn]F\in\mathbb C[x_1,\dots,x_n] such that

(1si,j)(f1(x1)fn(xn)F(x1,,xn))(xixj)2m+1\frac{(1-s_{i,j})\left(f_1(x_1)\cdots f_n(x_n)F(x_1,\dots,x_n)\right)}{(x_i-x_j)^{2m+1}}

is smooth on the domain where the product f1(x1)fn(xn)f_1(x_1)\cdots f_n(x_n) and its inverse are smooth, for all 1i<jn1\le i<j\le n. Generic twisted-freeness conjecture. For generic f1,,fnf_1,\dots,f_n, in particular when fi/fjf_i/f_j is not a monomial in x1,,xnx_1,\dots,x_n, Qm(f1,,fn)Q_m(f_1,\dots,f_n) is a free module over the ring of symmetric polynomials in x1,,xnx_1,\dots,x_n. This generalizes the known monomial-twist setting, but freeness in the generic case remains open.

Sources & referencesView supporting material

Primary source

Michael Ren and Xiaomeng Xu, “Quasi-Invariants in Characteristic p and Twisted Quasi-Invariants”, arXiv:1907.13417 (2020).

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.