Non-lifting idempotents in the quotient category overline{hπ―_β}(T^*M)
Determine whether there exists an idempotent in the quotient category \overline{hπ―_β}(T^*M) (obtained by modding out morphisms of infinite spectral value) that does not lift to an idempotent in hπ―_β(T^*M); equivalently, construct such an example or prove that every idempotent in \overline{hπ―_β}(T^*M) lifts.
References
However the author do not know an example of idempotents in $\overline{h\cT_\infty}(T*M)$ which does not lift to that of $h\cT_\infty(T*M)$.
— Heavy subsets from microsupports
(2404.15556 - Asano, 23 Apr 2024) in Remark following Corollary 4.1 (in Subsection 4.1, Criteria for ΞΆ_e-heaviness)