Freudenburg's conjugacy conjecture for maximal Lie subalgebras

About 6 years old · traced to

Let K\mathbb{K} be a field of characteristic zero, let K[x1,…,xn]\mathbb{K}[x_1,\ldots,x_n] be the polynomial algebra in nn variables, and let LND⁡(K[x1,…,xn])\operatorname{LND}(\mathbb{K}[x_1,\ldots,x_n]) denote its locally nilpotent derivations. Define

T=K∂x1⊕⋯⊕K[x1,…,xn−1]∂xn.\mathfrak{T}=\mathbb{K}\partial_{x_1}\oplus\cdots\oplus\mathbb{K}[x_1,\ldots,x_{n-1}]\partial_{x_n}.

Freudenburg's conjugacy conjecture. Every maximal Lie subalgebra A⊂LND⁡(K[x1,…,xn])\mathcal{A}\subset\operatorname{LND}(\mathbb{K}[x_1,\ldots,x_n]) is conjugate to T\mathfrak{T}. This is the uniqueness-up-to-conjugation part of Freudenburg's proposed structure theory for maximal Lie subalgebras of locally nilpotent derivations; the supplied text gives no evidence of resolution.

References

Primary source

Alexander Skutin, “Maximal Lie subalgebras of locally nilpotent derivations”, arXiv:2002.02745 (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.