Conjectures on classification of Hamiltonian operators of arbitrary odd order

Let HH be a Hamiltonian operator in one differential variable uu, of odd order NN. Write H(N,c)H^{(N,c)}, H(N,1)H^{(N,1)}, and H[N,c(x)]H^{[N,c(x)]} for the classified families of Hamiltonian operators, let H(j,0)H^{(j,0)} denote the corresponding operators of odd order jj, and let C\mathcal{C} be the field of constants. A contact transformation is a transformation of the indicated form x=yx=y, u=vn+1/(n+1)u=v^{n+1}/(n+1), possibly followed by an additive constant in uu. Two operators are equivalent when related by the equivalences used in the classification.

Classification conjectures. (1) Every Hamiltonian operator is equivalent to one whose leading coefficient is 11. For N=2n+33N=2n+3\geq 3, this is equivalent to an operator with leading coefficient u3Nu^{3-N} by the contact transformation x=yx=y, u=vn+1/(n+1)u=v^{n+1}/(n+1). (2) If HH is a translation-invariant, nonconstant-coefficient Hamiltonian operator of order N=2n+37N=2n+3\geq 7 with leading coefficient 11, then after the contact transformation x=yx=y, u=vn+1/(n+1)+const.u=v^{n+1}/(n+1)+\operatorname{const.} it becomes either H(N,c)H^{(N,c)} with cCc\in\mathcal{C}, or a constant-coefficient linear combination of the operators H(j,0)H^{(j,0)} for odd jj satisfying 3jN3\leq j\leq N. (3) Every translation-invariant Hamiltonian operator of order N7N\geq 7 is equivalent either to a quasiconstant-coefficient skew-adjoint differential operator or to a linear combination of the operators H(j,0)H^{(j,0)} for odd jj satisfying 3jN3\leq j\leq N. (4) For N7N\geq 7, H(N,1)H^{(N,1)} is compatible with no translation-invariant Hamiltonian operator other than a scalar multiple of itself. (5) Every Hamiltonian operator of order N13N\geq 13 is equivalent either to a quasiconstant-coefficient skew-adjoint differential operator, to a constant-coefficient linear combination of the operators H(j,0)H^{(j,0)} for odd jj satisfying 3jN3\leq j\leq N, or to H[N,c(x)]H^{[N,c(x)]} with c(x)=0c”(x)=0. (6) For N11N\geq 11, H[N,c(x)]H^{[N,c(x)]} with c(x)0c'(x)\neq 0 and c(x)=0c”(x)=0 is compatible only with a constant multiple of itself.

These claims propose a classification of Hamiltonian operators in one differential variable at arbitrary odd order, while also describing compatibility restrictions for the two nonconstant families. The paper presents them as conjectures; no resolution status is supplied in the source.

Sources & referencesView supporting material

Primary source

Alberto De Sole, Victor Kac and Minoru Wakimoto, “On classification of Poisson vertex algebras”, arXiv:1004.5387 (2011).

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.