The hullizability conjecture for joint spectra of commuting semiclassical unitary operators
Consider pairwise commuting unitary semiclassical operators U1(ℏ),…,Ud(ℏ)U_1(\hbar), \ldots, U_d(\hbar)U1(ℏ),…,Ud(ℏ) with joint principal symbol F=(f01,…,f0d)F=(f_0^1,\ldots,f_0^d)F=(f01,…,f0d), and assume that F(M)F(M)F(M) is closed.…