Birationality and A1-invariance conjecture for A1-connected components of proper schemes

Let kk be a field and let XX be a proper scheme of finite type over kk. Denote by π0A1(X)\pi_0^{{\mathbb A}^1}(X) the A1{\mathbb A}^1-connected components sheaf and by π0bA1(X)\pi_0^{b{\mathbb A}^1}(X) the birational A1{\mathbb A}^1-connected components sheaf. There is a canonical morphism

π0A1(X)π0bA1(X).\pi_0^{{\mathbb A}^1}(X)\longrightarrow\pi_0^{b{\mathbb A}^1}(X).

Birationality and A1{\mathbb A}^1-invariance conjecture. For any proper scheme XX of finite type over a field kk, this canonical morphism is an isomorphism; equivalently, π0A1(X)\pi_0^{{\mathbb A}^1}(X) is birational and A1{\mathbb A}^1-invariant. The preceding proposition establishes only a factorization through the birational sheaf and a bijection on sections over finitely generated separable extension fields, so the sheaf-level isomorphism remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Aravind Asok and Fabien Morel, “Smooth varieties up to A^1-homotopy and algebraic h-cobordisms”, arXiv:0810.0324 (2011).

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.