The regular-ring projective class group conjecture for torsionfree groups

Let GG be a group and let RR be a regular ring, meaning that RR is Noetherian and every RR-module has a finite-dimensional projective resolution. The regular-ring projective class group conjecture. If GG is torsionfree, then the canonical map

K0(R)K0(RG)K_0(R) \xrightarrow{\cong} K_0(RG)

is bijective. In particular, K~0(RG)\widetilde{K}_0(RG) vanishes if GG is torsionfree and RR is a principal ideal domain. This generalizes the preceding conjecture; the source gives no resolution status.

Sources & referencesView supporting material

Primary source

Wolfgang Lueck, “Survey on the Farrell-Jones Conjecture”, arXiv:2507.11337 (2025).

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.