Freeness conjecture for generic twisted quasi-invariants

About 7 years old · traced to

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 F∈C[x1,…,xn]F\in\mathbb C[x_1,\dots,x_n] such that

(1−si,j)(f1(x1)⋯fn(xn)F(x1,…,xn))(xi−xj)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 1≤i<j≤n1\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.

References

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.