Suslin's conjecture on the image of the Hurewicz map

About 17 years old · traced to

Let FF be an infinite field. The Quillen K-group is KnQ(F)=πn(BGL(F)+)K^Q_n(F)=\pi_n(BGL(F)^+), the Milnor K-group is KnM(F)K^M_n(F), and Suslin's Hurewicz map is the natural map

KnQ(F)⟶KnM(F).K^Q_n(F)\longrightarrow K^M_n(F).

Suslin's conjecture. The image of Suslin's Hurewicz map coincides with

(n−1)!KnM(F).(n-1)!K^M_n(F).

Suslin's result that the composite KnM(F)⟶KnQ(F)⟶KnM(F)K^M_n(F)\longrightarrow K^Q_n(F)\longrightarrow K^M_n(F) is multiplication by (−1)n(n−1)!(-1)^n(n-1)! already shows that the image contains (n−1)!KnM(F)(n-1)!K^M_n(F). The conjecture asserts that this evident containment is an equality for every infinite field.

References

Primary source

Aravind Asok, Jean Fasel and Ben Williams, “Motivic spheres and the image of the Suslin–Hurewicz map”, arXiv:1804.05030 (2019).

Additional references

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

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.