Weinberger–Yu's finite K-theory conjecture for group C*-algebras

About 13 years old · traced to

Let Γ\Gamma be a countable discrete group. For each nontrivial finite-order element γ∈Γ\gamma\in\Gamma of order dd, let

pγ=1d∑k=1dγk.p_\gamma=\frac{1}{d}\sum_{k=1}^{d}\gamma^k.

Let K0fin(C∗(Γ))K_0^{\mathrm{fin}}(C^*(\Gamma)) be the subgroup of K0(C∗(Γ))K_0(C^*(\Gamma)) generated by the classes [pγ][p_\gamma]. For nontrivial elements γ1,…,γn\gamma_1,\ldots,\gamma_n of distinct finite orders, let Mγ1,…,γn\mathcal M_{\gamma_1,\ldots,\gamma_n} be the subgroup generated by [pγ1],…,[pγn][p_{\gamma_1}],\ldots,[p_{\gamma_n}]. Let EΓE\Gamma be the universal space for proper and free Γ\Gamma-actions.

Weinberger–Yu's conjecture. The group Mγ1,…,γn\mathcal M_{\gamma_1,\ldots,\gamma_n} has rank nn, and every nonzero element of it lies outside the image of the assembly map

μ:K0Γ(EΓ)⟶K0(C∗(Γ)).\mu:K_0^\Gamma(E\Gamma)\longrightarrow K_0(C^*(\Gamma)).

The conjecture predicts independent finite-order classes in maximal group C*-algebra K-theory and their detection outside the assembly-map image. Its status is not resolved in the supplied source.

References

Primary source

Zhizhang Xie and Guoliang Yu, “Higher rho invariants and the moduli space of positive scalar curvature metrics”, arXiv:1310.1136 (2014).

Additional references

2 papers in this index state this conjecture (2013). The statement above is taken from the most recent of them; the others are arXiv:1309.3341.

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.