Necessary and sufficient conditions for A¹-contractibility of Koras-Russell type varieties
Pith reviewed 2026-05-19 09:57 UTC · model grok-4.3
The pith
A Koras-Russell type variety is A^1-contractible only if its associated plane curve has unibranched singularities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If the Koras-Russell type variety given by the quotient K[x1,...,xm,y,z,t]/<xm² a(xm) b(...) y + f(z,t) + xm> is A^1-contractible, then the plane curve Gamma = Spec(K[z,t]/(f)) has only unibranched singularities. Over a perfect field the normalization of Gamma is A_K^1 and Gamma and A_K^1 represent isomorphic Nisnevich sheaves on Sm_K. In characteristic zero singular A^1-contractible affine curves are rational and have at most unibranched singularities. Over algebraically closed fields of characteristic zero this supplies sufficient conditions for stable A^1-contractibility in terms of A^1-contractibility of the curves {f(z,t)=λ} and gives rectifiability results for a family of embeddings of
What carries the argument
The plane curve Gamma = Spec(K[z,t]/(f)), whose singularity properties serve as the necessary criterion that controls A^1-contractibility of the ambient Koras-Russell type variety.
If this is right
- Over perfect fields the normalization of Gamma is the affine line A_K^1.
- Gamma and A_K^1 represent isomorphic Nisnevich sheaves on the category of smooth schemes over K.
- In characteristic zero any singular A^1-contractible affine curve is rational and has at most unibranched singularities.
- Over algebraically closed fields of characteristic zero the variety is stably A^1-contractible whenever the fiber curves {f=λ} are themselves A^1-contractible.
- The criterion implies rectifiability for a family of embeddings between affine spaces.
Where Pith is reading between the lines
- The necessary condition on singularities can be used to rule out A^1-contractibility whenever the curve Gamma has a branched point.
- The sheaf-isomorphism result after base change to an algebraic closure suggests that the contractibility question reduces to the algebraically closed case.
- The rectifiability applications supply concrete instances supporting the Abhyankar-Sathaye embedding conjecture without proving the full statement.
Load-bearing premise
The standard definitions and properties of A^1-homotopy theory together with Nisnevich sheaves on smooth schemes over the field K are taken as given and correctly detect contractibility.
What would settle it
An explicit Koras-Russell type variety that is A^1-contractible even though its plane curve Gamma possesses a non-unibranched singularity would disprove the necessary condition.
read the original abstract
Let $K$ be a field. We study $\A^1$-contractibility of Koras--Russell type varieties defined by \[ \frac{K[x_1,\ldots,x_m,y,z,t]} {\langle x_m^2a(x_m)b(x_1,\ldots,x_{m-1})y+f(z,t)+x_m\rangle}. \] We prove that if such a variety is $\A^1$-contractible, then the plane curve $\Gamma=\mathrm{Spec}(K[z,t]/(f))$ has only unibranched singularities. Over a perfect field, we show moreover that the normalization of $\Gamma$ is $\A_K^1$ and that $\Gamma$ and $\A_K^1$ represent isomorphic Nisnevich sheaves on $Sm_K$; over an arbitrary field, the corresponding statement holds after base change to an algebraic closure. We also prove that, in characteristic zero, singular $\A^1$-contractible affine curves are rational and can have at most unibranched singularities. Using this criterion for $\A^1$-contractible curves, over algebraically closed fields of characteristic zero, we give sufficient conditions for stable $\A^1$-contractibility of the Koras-Russell type varieties in terms of $\A^1$-contractibility of the associated plane curves $\{f(z,t)=\lambda\}$ appearing in the fiber of the morphism $\mathrm{Spec}\,A \to \Spec(K[x_m])$. Further we show that, these results have application, to prove rectifiability of a family of embeddings between affine spaces, giving an evidence towards the Abhyankar--Sathaye embedding conjecture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies A^1-contractibility of Koras-Russell type hypersurfaces defined by the quotient ring K[x1,...,xm,y,z,t] / <xm² a(xm) b(x1,...,x_{m-1}) y + f(z,t) + xm>. It proves that A^1-contractibility of such a variety implies that the plane curve Gamma = Spec(K[z,t]/(f)) has only unibranched singularities. Over a perfect field K, the normalization of Gamma is A^1_K and Gamma and A^1_K represent isomorphic Nisnevich sheaves on Sm_K; the analogous statement holds after base change to an algebraic closure for general K. In characteristic zero, singular A^1-contractible affine curves are shown to be rational with at most unibranched singularities. This criterion yields sufficient conditions for stable A^1-contractibility of the varieties in terms of A^1-contractibility of the fibers {f(z,t)=λ}, with applications to rectifiability of embeddings providing evidence toward the Abhyankar-Sathaye conjecture.
Significance. If the central claims hold, the work supplies concrete necessary conditions connecting A^1-contractibility to the singularity structure of associated plane curves, extending the A^1-homotopy framework to Koras-Russell type varieties. The explicit link to Nisnevich sheaf isomorphisms over perfect fields and the application to embedding rectifiability constitute a genuine advance, offering testable geometric criteria and partial evidence for a longstanding conjecture in affine geometry. The reliance on standard A^1-homotopy theory and Nisnevich descent without ad-hoc parameters is a methodological strength.
major comments (1)
- [§3] §3 (Necessity theorem for unibranched singularities): the argument that A^1-contractibility forces Gamma to have only unibranched singularities invokes the quotient presentation and Nisnevich sheaf properties, but the reduction step from the hypersurface to the curve Gamma appears to use a specific A^1-homotopy equivalence whose precise statement (including any base-change compatibility) is not isolated as a separate lemma; this makes it difficult to verify independence from the choice of coordinates xm.
minor comments (3)
- [Introduction] The notation for the defining ideal in the introduction mixes xm with the polynomial a(xm)b(...) without an explicit parenthetical clarifying the degrees or the role of the linear term +xm; a short remark on the expected dimension would improve readability.
- [§4] In the statement of the sufficient conditions for stable A^1-contractibility (char 0 case), the fiberwise condition on {f=λ} is stated in terms of A^1-contractibility of the curves, but the precise range of λ for which this must hold is not quantified; adding a parenthetical such as 'for all λ in a dense open subset of K' would remove ambiguity.
- [§5] The application section on rectifiability of embeddings cites the Abhyankar-Sathaye conjecture but does not include a one-sentence reminder of its precise statement; this would help readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the helpful comment on clarity. We address the single major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [§3] §3 (Necessity theorem for unibranched singularities): the argument that A^1-contractibility forces Gamma to have only unibranched singularities invokes the quotient presentation and Nisnevich sheaf properties, but the reduction step from the hypersurface to the curve Gamma appears to use a specific A^1-homotopy equivalence whose precise statement (including any base-change compatibility) is not isolated as a separate lemma; this makes it difficult to verify independence from the choice of coordinates xm.
Authors: We agree that the reduction step would benefit from being stated as an independent lemma. In the revised manuscript we will insert a new lemma in §3 that isolates the A^1-homotopy equivalence relating the Koras-Russell hypersurface to the plane curve Gamma. The lemma will be formulated so that its statement and proof are manifestly independent of the choice of coordinates x_m and will include the required base-change compatibility. The necessity theorem will then cite this lemma directly, which should make the argument easier to verify. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper establishes necessary conditions for A^1-contractibility of the defined Koras-Russell hypersurfaces by applying standard A^1-homotopy theory and Nisnevich sheaf properties to the given quotient ring presentation. The central implication (A^1-contractibility implies unibranched singularities on Gamma, with normalization statements over perfect fields) is derived as a theorem from prior machinery without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the result to its own inputs by construction. All steps rely on externally established frameworks for A^1-homotopy and descent, making the derivation self-contained.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of the A^1-homotopy category and Nisnevich sheaves on Sm_K hold as background.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
if such a variety is A¹-contractible, then the plane curve Γ=Spec(K[z,t]/(f)) has only unibranched singularities... normalization of Γ is A_K¹ and Γ and A_K¹ represent isomorphic Nisnevich sheaves
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.