Generalized L\"uroth problems, hierarchized I: SBNR -- stably birationalized unramified sheaves and lower retract rationality

arXiv2210.12225MaRDI QIDQ6414722FDOQ6414722

Authors: Norihiko Minami 

Publication date: 21 October 2022

Abstract: This is the first of a series of papers, where we investigate hierarchies of generalized {L}"{u}roth problems on the hierarchy of rationality, starting with the obvious hierarchy between the rationality and the ruledness. Our primary goal here was to construct very general necessary conditions for a smooth, not necessary proper, scheme of finite type over the perfect base field $k$ to be "retract $(-i)$-rational". We achieve this goal by constructing "stably birationalized Nisnevich subsheaf" $S_{sb}$ inside any Morel's unramified sheaf $S,$ where $S_{sb}$ coincides with $S$ on proper smooth $k$-schemes of finite type. Such a stably birationalized Nisnevich subsheaf $S_{sb}$ sheds a new light on the familiar irrational examples of Artin-Mumford, Saltman, Colliot-Th'{e}l`ene-Ojanguren, Bogomolov, Peyre, Colliot-Th'{e}l`ene-Voisin, and many other retract irrational classifying space $BG$ examples presented as counterexamples to the Noether problem of the complex number base field case for a finite group $G.$ In fact, for all of these examples, the game is not over from our hierarchical perspective! A consequence of our construction of $S_{sb}$ is the stably birational invariance of an arbitrary unramified sheaf $S$ on proper smooth $k$-schemes of finite type. This in particular implies that, for any generalized motivic cohomology theory, its naively defined unramified (resp. stably birationalized) gemeralized motivic cohomology theory is stably birational invariant on smooth proper $k$-schemes of finite type (resp. smooth $k$-schemes of finite type). In the course of constructing $S_{sb},$ we have also shown a general local uniformization theorem of the first kind for arbitrary geometric valuations.

Mathematics Subject Classification ID

Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Rationality questions in algebraic geometry (14E08) Étale and other Grothendieck topologies and (co)homologies (14F20) Brauer groups of schemes (14F22) Motivic cohomology; motivic homotopy theory (14F42) Rational and unirational varieties (14M20) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Cohomology of groups (20J06) Regular local rings (13H05) Hypersurfaces and algebraic geometry (14J70) Algebraic cycles and motivic cohomology ((K)-theoretic aspects) (19E15) Inverse Galois theory (12F12) Stable homotopy of spheres (55Q45) Valuations and their generalizations for commutative rings (13A18) Higher symbols, Milnor (K)-theory (19D45)

This page was built for publication: Generalized L\"uroth problems, hierarchized I: SBNR -- stably birationalized unramified sheaves and lower retract rationality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6414722)