Triviality conjecture for diagonal smooth projectors

Let nNn\in\mathbb{N}^*, and let {bm,n}m0\{\mathfrak{b}_{m,n}\}_{m\geq0} be a sequence satisfying

bm,n=r=0mh=0r(m!(mr)!(rh)!h!)nbm+hr,nbr,n=h=0(1)(m+h)n(m+hm)nbm+h,n,mN.\mathfrak{b}_{m,n}=\sum_{r=0}^m\sum_{h=0}^r\left(\frac{m!}{(m-r)!(r-h)!h!}\right)^n\mathfrak{b}_{m+h-r,n}\mathfrak{b}_{r,n}=\sum_{h=0}^\infty(-1)^{(m+h)n}\binom{m+h}{m}^n\overline{\mathfrak{b}}_{m+h,n},\qquad \forall m\in\mathbb{N}.

These sequences encode the diagonal elements of P0(A(RΘ2n))P_0(A^\infty(\mathbb{R}^{2n}_\Theta)). The diagonal projector triviality conjecture.

bm,n={0 or 1,m=0,0,m1,\mathfrak{b}_{m,n}=\begin{cases}0\text{ or }1,&m=0,\\0,&m\geq1,\end{cases}

which would imply P0(A(RΘ2n))={0,1}P_0(A^\infty(\mathbb{R}^{2n}_\Theta))=\{0,1\} for every nNn\in\mathbb{N}^*. The source describes this as a conjecture motivated by computations and leaves it open.

Sources & referencesView supporting material

Primary source

Ren Guan, “K_0 groups of noncommutative R^2n”, arXiv:2208.06253 (2022).

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.