Piecewise-triviality of truncation maps for affine smooth schemes

About 14 years old · traced to

Let X∈\mathbbmssSchκX\in\mathbbmss{Sch}_{\kappa} be affine. Suppose that X→nX\to\mathfrak{n} and X→mX\to\mathfrak{m} are smooth morphisms, where n↪m\mathfrak{n}\hookrightarrow\mathfrak{m} are elements of the point system X\mathbb{X} associated to an admissible arc x∈Arc⁡κ\mathfrak{x}\in\operatorname{\bf Arc}_{\kappa}. Write ℓ(n)\ell(n) and ℓ(m)\ell(m) for the lengths of the fat points and let dd denote the relevant relative dimension. Piecewise-triviality conjecture. The natural morphism

πnm:∇mX→∇nX\pi_{\mathfrak{n}}^{\mathfrak{m}}:\nabla_{\mathfrak{m}}X\to\nabla_{\mathfrak{n}}X

is a piecewise trivial fibration over κ\kappa with general fiber

Aκd(ℓ(m)−ℓ(n)).\mathbb{A}_{\kappa}^{d(\ell(m)-\ell(n))}.

This refines the earlier stability conjecture by describing the geometry of the truncation morphisms for affine schemes smooth over successive fat points. The supplied text gives no resolution of this refined conjecture.

References

Primary source

Andrew Stout, “Arc Stability and Schemic Motivic Integration”, arXiv:1212.1375 (2013).

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.