The inclusion conjecture for primitive ideals of local functions

Let \g\g be one of \W1\W{-1}, WW, or \Vir\Vir, and let χ\chi and η\eta be local functions on \g\g. Let P(χ)P(\chi) and P(η)P(\eta) denote the associated Poisson primitive ideals, and let QχQ_\chi and QηQ_\eta denote the corresponding primitive ideals of \Ua(\g)\Ua(\g). Inclusion conjecture. Strict inclusion of the Poisson primitive ideals should imply strict inclusion of the corresponding primitive ideals:

P(χ)P(η)QχQη.P(\chi)\subsetneqq P(\eta)\quad\Longrightarrow\quad Q_\chi\subsetneqq Q_\eta.

This extends the one-point statement to multi-point local functions. The source explicitly expects the converse implication to be false.

Sources & referencesView supporting material

Primary source

Tuan Anh Pham, “The orbit method for the Virasoro algebra”, arXiv:2504.14670 (2025).

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.