Triviality conjecture for diagonal smooth projectors

At least 3 years old · documented by

Let n∈N∗n\in\mathbb{N}^*, and let {bm,n}m≥0\{\mathfrak{b}_{m,n}\}_{m\geq0} be a sequence satisfying

bm,n=∑r=0m∑h=0r(m!(m−r)!(r−h)!h!)nbm+h−r,nbr,n=∑h=0∞(−1)(m+h)n(m+hm)nb‾m+h,n,∀m∈N.\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,m≥1,\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 n∈N∗n\in\mathbb{N}^*. The source describes this as a conjecture motivated by computations and leaves it open.

References

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.