The Strong Bass conjecture

About 23 years old · traced to

Let GG be a group, let r ⁣:K0ZG→HH0(ZG)r \colon K_0\mathbb{Z}G\rightarrow HH_0(\mathbb{Z}G) be the Hattori–Stallings trace map, and write the image of a finitely generated projective module PP as

r(P)=∑[g]∈Conj⁡(G)rP(g).r(P)=\sum_{[g]\in \operatorname{Conj}(G)}r_P(g).

Here rP(g)r_P(g) is the coefficient associated to the conjugacy class of gg. Strong Bass conjecture. The function rP(g)r_P(g) is 00 for g≠1g\neq 1. This conjecture concerns the vanishing of nonidentity contributions to the Hattori–Stallings trace. It follows from the stronger claim that the reduced map from K0ZG~\widetilde{K_0\mathbb{Z}G} to K0QG~\widetilde{K_0\mathbb{Q}G} vanishes rationally; the latter is known when GG satisfies the Farrell–Jones conjecture, but the general case remains open.

References

Primary source

Georg Lehner, “The passage from the integral to the rational group ring in algebraic K-theory”, arXiv:2110.01413 (2025).

Additional references

3 papers in this index state this conjecture (2003–2021). The statement above is taken from the most recent of them; the others are arXiv:1003.5002, arXiv:math/0301205.

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.