arxiv: 2605.07638 · v1 · submitted 2026-05-08 · 🧮 math.AG · math.AT

Recognition: 2 theorem links

· Lean Theorem

Relative mathbb{A}¹-Contractibility of Smooth Schemes

Adrien Dubouloz, Krishna Kumar Madhavan Vijayalakshmi, Paul Arne {\O}stv{\ae}r

Pith reviewed 2026-05-11 02:10 UTC · model grok-4.3

classification 🧮 math.AG math.AT

keywords A1-homotopy theorycontractible morphismssmooth schemesA1-fiber spacesZariski local trivialityvector bundle torsorsalgebraic geometry

0 comments

The pith

A smooth morphism is A^1-contractible over a finite-dimensional base if and only if every geometric fiber is A^1-contractible.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that for smooth morphisms between schemes over a base of finite Krull dimension, contractibility in the A^1-homotopy category is determined entirely by the behavior on geometric fibers. This reduces a global question about homotopy equivalences to a collection of local checks on fibers. The authors then use this to classify A^n-fiber spaces in terms of local towers of vector bundle torsors and to prove rigidity statements in relative dimensions one and two. The work also identifies counterexamples in positive characteristic and leaves open the question of exotic contractible surfaces.

Core claim

Over a base scheme S of finite Krull dimension, a smooth morphism f: X → S is A^1-contractible in the unstable A^1-homotopy category H(S) if and only if all its geometric fibers are A^1-contractible. This fiberwise criterion yields a geometric characterization of A^1-contractible A^n-fiber spaces in terms of local towers of vector bundle torsors. In relative dimension 1, such morphisms over normal bases coincide with Zariski locally trivial A^1-bundles. In relative dimension 2 over bases with characteristic zero residue fields, they are A^2-fiber spaces, with Zariski local triviality holding under extra assumptions on the base.

What carries the argument

The fiberwise equivalence criterion that reduces A^1-contractibility of a smooth morphism in H(S) to A^1-contractibility of its geometric fibers.

If this is right

A^n-fiber spaces are A^1-contractible exactly when they admit local factorizations as towers of torsors under vector bundles.
Over normal bases, A^1-contractible morphisms in relative dimension 1 are precisely the Zariski locally trivial A^1-bundles.
Over bases with residue fields of characteristic zero, A^1-contractible morphisms in relative dimension 2 are A^2-fiber spaces.
In positive and mixed characteristic there exist A^1-contractible morphisms in relative dimension 2 that fail to be A^2-fiber spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The fiberwise reduction could simplify computations of A^1-homotopy types for families of varieties over general bases.
Exotic A^1-contractible surfaces may require new invariants that go beyond the fiberwise data supplied by the criterion.
The finite Krull dimension hypothesis indicates that fiberwise behavior could diverge for bases of infinite dimension.
Similar equivalences might hold in other homotopy theories of schemes if the finite-dimension condition is met.

Load-bearing premise

The base scheme must have finite Krull dimension for the fiberwise equivalence to hold.

What would settle it

A smooth morphism f: X → S over a base S of finite Krull dimension such that all geometric fibers are A^1-contractible but f itself is not A^1-contractible in H(S), or the converse situation.

read the original abstract

We study smooth morphisms $f \colon X \to S$ that are $\mathbb{A}^1$-contractible in the unstable $\mathbb{A}^1$-homotopy category $\mathcal{H}(S)$. For base schemes $S$ of finite Krull dimension, we show that $\mathbb{A}^1$-contractibility is a fiberwise property: such a morphism is $\mathbb{A}^1$-contractible if and only if all its geometric fibers are $\mathbb{A}^1$-contractible. We apply this criterion to $\mathbb{A}^n$-fiber spaces, obtaining a geometric description of their $\mathbb{A}^1$-contractibility in terms of local factorizations as towers of torsors under vector bundles, building on results of Asanuma. In low relative dimensions, we establish rigidity results. In relative dimension $1$, $\mathbb{A}^1$-contractible morphisms over normal bases are precisely Zariski locally trivial $\mathbb{A}^1$-bundles. In relative dimension $2$, we show that over bases with characteristic zero residue fields, $\mathbb{A}^1$-contractible morphisms are $\mathbb{A}^2$-fiber spaces, and we obtain Zariski local triviality under additional hypotheses on the base. We also exhibit counterexamples in positive and mixed characteristic and formulate open problems concerning the existence of exotic $\mathbb{A}^1$-contractible surfaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean fiberwise criterion for A^1-contractibility over finite-Krull-dimension bases plus concrete low-dimensional rigidity and counterexamples, but the Noetherian status of the induction needs checking.

read the letter

The main new results are the fiberwise characterization (a smooth morphism over finite-Krull-dimension S is A^1-contractible in H(S) exactly when all geometric fibers are) and the geometric description of A^n-fiber spaces as towers of vector-bundle torsors, extending Asanuma. They also get explicit statements in relative dimensions 1 and 2: over normal bases in dimension 1 the morphisms are Zariski-locally-trivial A^1-bundles, while in dimension 2 over characteristic-zero residue fields they are A^2-fiber spaces with some local triviality, plus counterexamples in positive and mixed characteristic and a few open questions about exotic surfaces. These are stated clearly and sit on top of existing homotopy-category axioms and cited results, so the contribution is easy to locate. The finite-Krull-dimension hypothesis is used to make the fiberwise direction work, and the paper appears to treat it as sufficient for the induction or localization arguments. The stress-test concern about non-Noetherian schemes with infinite chains is worth a quick check in the proofs; if the paper implicitly assumes Noetherian bases or shows the argument survives without it, the claim holds as written. Otherwise it is a minor but real caveat on the stated generality. The counterexamples are a nice touch because they show where the characteristic-zero rigidity fails. This is a paper for people already working in motivic homotopy theory who care about contractible schemes and A^n-fibrations. A reader who follows Asanuma-type results or wants criteria for when a morphism is an equivalence in H(S) will find usable statements and examples. It is solid enough and precise enough to deserve a serious referee; the claims are checkable against prior literature and the new parts are not overclaimed.

Referee Report

1 major / 1 minor

Summary. The paper proves that for a smooth morphism f: X → S with S of finite Krull dimension, f is A^1-contractible in the unstable A^1-homotopy category H(S) if and only if all geometric fibers of f are A^1-contractible. This fiberwise criterion is applied to A^n-fiber spaces, yielding a description of their A^1-contractibility via local factorizations into towers of vector bundle torsors (building on Asanuma). Rigidity results are given in low relative dimensions: over normal bases, relative dimension 1 A^1-contractible morphisms are Zariski-locally trivial A^1-bundles; in relative dimension 2 over bases with characteristic-zero residue fields, they are A^2-fiber spaces (with Zariski local triviality under extra hypotheses). Counterexamples are constructed in positive and mixed characteristic, and open problems on exotic A^1-contractible surfaces are posed.

Significance. If the central results hold, the fiberwise characterization is a useful advance in A^1-homotopy theory over general bases, allowing reduction of global contractibility questions to geometric fibers. The applications to A^n-fiber spaces and the low-dimensional rigidity theorems provide concrete geometric consequences, while the counterexamples clarify the role of characteristic. The work extends cited results of Asanuma and formulates open questions that could guide further research.

major comments (1)

[Main theorem / fiberwise criterion] The main theorem (as stated in the abstract) asserts that finite Krull dimension of S suffices to prove the fiberwise equivalence. However, the standard approach to such fiberwise properties in A^1-homotopy theory proceeds by Noetherian induction on dimension or by Nisnevich localization sequences that remove closed subschemes of strictly lower dimension. Finite Krull dimension bounds the length of chains but does not guarantee that every closed subscheme has a well-defined lower dimension or that the induction base case applies when the scheme is non-Noetherian (e.g., infinite ascending chains of ideals with the same radical). The manuscript should either add a Noetherian hypothesis or supply a detailed argument showing how the proof avoids these steps.

minor comments (1)

[Abstract] The abstract mentions applications to A^n-fiber spaces and rigidity in dimensions 1 and 2 but does not indicate the numbering of the corresponding theorems; adding explicit theorem references would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. We address the major comment regarding the main theorem below, providing a detailed response and committing to revisions that strengthen the exposition without altering the stated generality.

read point-by-point responses

Referee: The main theorem (as stated in the abstract) asserts that finite Krull dimension of S suffices to prove the fiberwise equivalence. However, the standard approach to such fiberwise properties in A^1-homotopy theory proceeds by Noetherian induction on dimension or by Nisnevich localization sequences that remove closed subschemes of strictly lower dimension. Finite Krull dimension bounds the length of chains but does not guarantee that every closed subscheme has a well-defined lower dimension or that the induction base case applies when the scheme is non-Noetherian (e.g., infinite ascending chains of ideals with the same radical). The manuscript should either add a Noetherian hypothesis or supply a detailed argument showing how the proof avoids these steps.

Authors: We thank the referee for this precise observation on the potential limitations of finite Krull dimension in non-Noetherian settings. Our proof of the main theorem (Theorem 3.1) does not proceed via classical Noetherian induction on the dimension of closed subschemes. Instead, it reduces the global A^1-contractibility question to a fiberwise one by combining the definition of the unstable homotopy category H(S) with Nisnevich descent for the relevant presheaves and base change to geometric points; the finite Krull dimension is used only to guarantee that any chain of supports or primes terminates, allowing the descent to reach the geometric fibers without requiring the base to satisfy the ascending chain condition on ideals. Since the geometric fibers are always defined over fields (hence Noetherian), the induction step is confined to this Noetherian case. We acknowledge that this strategy was not spelled out with sufficient explicitness in the current draft. In the revised version we will insert a dedicated paragraph immediately after the statement of Theorem 3.1 that walks through the argument step by step, emphasizing why the standard obstructions for non-Noetherian schemes do not arise. We prefer to retain the stated generality rather than impose a Noetherian hypothesis, as the applications to A^n-fiber spaces and the rigidity results in low dimensions remain valid in the broader setting. revision: yes

Circularity Check

0 steps flagged

No significant circularity; pure theorem-proving with external foundations

full rationale

The paper states and proves a fiberwise characterization theorem for A^1-contractibility of smooth morphisms over bases of finite Krull dimension. The central iff claim is derived from the axioms of the unstable A^1-homotopy category H(S) together with cited external results (e.g., Asanuma on A^n-fiber spaces). No equations or definitions reduce the conclusion to the inputs by construction, no parameters are fitted and then relabeled as predictions, and no load-bearing uniqueness or ansatz is imported via self-citation. The finite Krull dimension hypothesis is an explicit external assumption used to enable induction or descent arguments, not a hidden redefinition of the result itself. The derivation is therefore self-contained against the stated homotopy-theoretic background.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper operates entirely within the established framework of unstable A^1-homotopy theory over schemes; no new free parameters, invented entities, or ad-hoc axioms are introduced beyond standard assumptions of algebraic geometry.

axioms (2)

standard math The unstable A^1-homotopy category H(S) is well-defined and satisfies standard properties for smooth schemes over S.
Invoked throughout to define A^1-contractibility of morphisms.
domain assumption Geometric fibers behave well under base change for smooth morphisms.
Used to reduce global contractibility to fiberwise checks.

pith-pipeline@v0.9.0 · 5559 in / 1339 out tokens · 33369 ms · 2026-05-11T02:10:02.257991+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
For base schemes S of finite Krull dimension, a smooth morphism f: X → S is A¹-contractible in H(S) if and only if all its geometric fibers are A¹-contractible.
IndisputableMonolith/Foundation/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
A¹-contractible morphisms over normal bases are precisely Zariski locally trivial A¹-bundles (rel. dim. 1).

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

[ABEH25] Aravind Asok, Tom Bachmafnn, Elden Elmanto, and Michael J. Hopkins. Unstable motivic and real-étale homo- topy theory. Preprint, arXiv:2501.15651,

work page arXiv
[2]

Smooth models of motivic spheres and the clutching construction

[ADF17] Aravind Asok, Brent Doran, and Jean Fasel. Smooth models of motivic spheres and the clutching construction. International Mathematics Research Notices, 2017(6):1890–1925,

work page 2017
[3]

Smooth varieties up toA 1-homotopy and algebraich-cobordisms.Advances in Mathematics, 227(5):1990–2058,

[AM11] Aravind Asok and Fabien Morel. Smooth varieties up toA 1-homotopy and algebraich-cobordisms.Advances in Mathematics, 227(5):1990–2058,

work page 1990
[4]

[AØ21] Aravind Asok and Paul Arne Østvær.A 1-homotopy theory and contractible varieties: A survey.Homotopy The- ory and Arithmetic Geometry–Motivic and Diophantine Aspects: LMS-CMI Research School, London, July 2018, pages 145–212,

work page 2018
[5]

StronglyA 1-invariant sheaves (after Morel).Preprint arXiv:2406.11526,

[Bac24] Tom Bachmann. StronglyA 1-invariant sheaves (after Morel).Preprint arXiv:2406.11526,

work page arXiv
[6]

On affine fibrations

[BD94] Shrikant Mahadeo Bhatwadekar and Amartya Kumar Dutta. On affine fibrations. InCommutative algebra (Trieste, 1992), pages 1–17. World Sci. Publ., River Edge, NJ,

work page 1992
[7]

[CR24] Utsav Choudhury and Biman Roy.A 1-connected components and characterisation ofA 2.Journal für die reine und angewandte Mathematik (Crelles Journal), 2024(807):55–80,

work page 2024
[8]

Punctured tubular neighborhoods and stable homo- topy at infinity

[DDØ22] Frédéric Déglise, Adrien Dubouloz, and Paul Arne Østvær. Punctured tubular neighborhoods and stable homo- topy at infinity. Preprint, arXiv:2206.01564,

work page arXiv
[9]

Algebraic families of higher dimensionalA 1-contractible affine vari- eties non-isomorphic to affine spaces.Preprint arXiv:2501.09613,

[DG25] Adrien Dubouloz and Parnashree Ghosh. Algebraic families of higher dimensionalA 1-contractible affine vari- eties non-isomorphic to affine spaces.Preprint arXiv:2501.09613,

work page arXiv
[10]

Challenging problems on affinen-space

[Kra96] Hanspeter Kraft. Challenging problems on affinen-space. InSéminaire Bourbaki, Volume 1994/95, number 237, pages Exp. No. 802, 5, 295–317. Astérisque-Societe Mathematique de France,

work page 1994
[11]

RelativeA 1-contractibility of Koras-Russell prototypes and exotic motivic spheres.Preprint, arXiv:2510.21594,

[MV25] Krishna Kumar Madhavan Vijayalakshmi. RelativeA 1-contractibility of Koras-Russell prototypes and exotic motivic spheres.Preprint, arXiv:2510.21594,

work page arXiv
[12]

Modules projectifs et espaces fibrés à fibre vectorielle.Séminaire Dubreil

[Ser58] Jean-Pierre Serre. Modules projectifs et espaces fibrés à fibre vectorielle.Séminaire Dubreil. Algèbre et théorie des nombres, 11(2):1–18, 1957-1958. talk:23. [Sta] The Stacks Project Authors.Stacks Project.https://stacks.math.columbia.edu. [Sus76] Andrey Aleksandrovich Suslin. Projective modules over a polynomial ring are free. InDoklady Akademii...

work page 1957