Descent of uniform rationality from an algebraic closure

From papers

Let KK be a field, let Kˉ\bar{K} be an algebraic closure of KK, and let XKKnX_K\subset K^n be a nonsingular KK-rational algebraic variety. Assume that XKˉKˉnX_{\bar{K}}\subset\bar{K}^n is uniformly Kˉ\bar{K}-rational. The uniform rationality descent conjecture asks whether

XK is uniformly K-rational.X_K\text{ is uniformly }K\text{-rational}.

The paper proves that, under these assumptions, uniform rationality holds after a finite-degree field extension of KK, but the asserted descent to KK itself remains open. The rationality hypothesis is necessary because Kˉ\bar{K}-rationality need not imply KK-rationality.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Tomasz Kowalczyk, “Sums of squares of regular functions on rational surfaces”, arXiv:2407.20378 (2025).

Solutions 0

No solutions have been posted yet.