The logarithmic Milnor K-theory birationality conjecture

Let k\mathbf{k} be a field of characteristic 00. For a field extension F/kF/\mathbf{k}, write

K2(F)/Const=K2M(F)/{F,k}.K_2(F)/\mathrm{Const}=K^M_2(F)\mathbin{/}\left\langle\{F^*,\mathbf{k}^*\}\right\rangle.

A dominant rational map induces pullback on Milnor KK-groups. The logarithmic Milnor K-theory conjecture. If φ:A2A2\varphi:\mathbb{A}^2\dashrightarrow\mathbb{A}^2 is dominant and

φ{x,y}={x,y}K2/Const,\varphi^*\{x,y\}=\{x,y\}\in K_2/\mathrm{Const},

then φ\varphi is birational. This is presented as another version of Galkin's conjecture, equivalent to the formulation using the logarithmic volume form; it remains open in the source.

Sources & referencesView supporting material

Primary source

Georgy Belousov, “Rational endomorphisms of plane preserving a rational volume form”, arXiv:1612.08271 (2020).

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.