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

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

pγ=1dk=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.

Sources & referencesView supporting material

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.