Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes and Exotic Motivic Spheres

This thesis extends the relative $\mathbb{A}^1$-contractibility of Koras-Russell threefolds and their higher-dimensional prototypes to arbitrary Noetherian base schemes, thereby establishing the existence of the first known family of smooth "exotic" motivic spheres in dimensions $n \geq 4$ that are $\mathbb{A}^1$-homotopic to, but not isomorphic to, the punctured affine space $\mathbb{A}^n \setminus \{0\}$.

The Gist

Imagine you are an architect trying to build the perfect, most basic house possible. In the world of mathematics, this "perfect house" is called Affine Space (think of it as an infinite, empty grid where you can go in any direction forever). Mathematicians have a big question: "If a shape looks and feels exactly like this perfect house, is it actually the perfect house?"

In the world of regular geometry, the answer is usually "yes." But in the world of Motivic Homotopy Theory (a fancy way of studying shapes using algebra and logic), the answer is surprisingly "no."

This thesis by Krishna Kumar Madhavan Vijayalakshmi is a detective story about finding "imposters"—shapes that trick our mathematical senses into thinking they are the perfect house, but are actually something else entirely.

Here is the story broken down into simple concepts:

1. The "Perfect House" vs. The "Imposter"

In topology (the study of shapes), we know that a coffee mug and a donut are the same because you can stretch one into the other without tearing. Mathematicians call this being "homotopic."

In this thesis, the author asks: If a shape can be squished down to a single point (like a balloon deflating) without tearing, is it the same as a flat, infinite grid?

• The Grid (Affine Space): The standard, boring, perfect house.
• The Imposter (Exotic Variety): A weird, twisted shape that also squishes down to a point, but if you look closely at its "walls" (its algebraic structure), it's actually a different building.

The author calls these imposters "Exotic Affine Varieties." They are the "Whitehead manifolds" of the algebraic world—shapes that look like empty space but have hidden complexity.

2. The "Relative" Detective Work

Most previous research only looked at these shapes over specific, simple fields (like the real numbers). This thesis is special because it asks: "Does this trick work if we build our house on a weird, complex foundation?"

The author proves that even if you change the "ground" (the base scheme) to be more complicated, the rules for low-dimensional shapes (1D lines and 2D planes) are strict: If it looks like a line or a plane and squishes to a point, it must be a line or a plane.

However, once you get to 3D and higher, the rules break. You can build "Exotic" 3D houses that are indistinguishable from a perfect 3D grid using the tools of Motivic Homotopy, even though they are algebraically different.

3. The "Koras-Russell" Threefolds: The Master Imposters

The thesis focuses on a specific family of shapes called Koras-Russell threefolds.

• The Metaphor: Imagine a sculpture that looks like a perfect cube from the front, a perfect sphere from the side, and a perfect pyramid from the top. But if you try to build it out of Lego bricks (algebraic equations), the pieces don't fit the standard pattern.
• The Discovery: The author proves that these sculptures are "Exotic." They are mathematically "contractible" (they collapse to a point), but they are not isomorphic to the standard 3D space. They are the "Whitehead manifolds" of algebraic geometry.

4. The "Exotic Spheres" (The Compact Version)

Usually, mathematicians study "open" spaces (infinite grids). But what about "closed" spaces, like a sphere?

• The Standard Sphere: A smooth ball surface ($A^n$ with the center removed).
• The Exotic Sphere: A shape that feels exactly like a sphere (you can stretch it into a sphere), but it's made of different "fabric."

The author uses the "Koras-Russell" imposters to create Exotic Motivic Spheres.

• The Analogy: Imagine you have a perfect basketball. Now, imagine a "magic basketball" that bounces, feels, and rolls exactly like the real one, but if you cut it open, the inside is made of a different material.
• The Result: The thesis proves that for dimensions 4 and higher, these "magic basketballs" exist. They are the first known examples of smooth shapes that are homotopic to a sphere but are not actually a sphere.

5. Why Does This Matter?

You might ask, "Who cares about fake houses and magic basketballs?"

• It breaks our intuition: It shows that in the deep world of algebraic geometry, "looking the same" (homotopy) does not always mean "being the same" (isomorphism).
• It builds new tools: To find these imposters, the author had to invent new ways to measure shapes "at infinity" (how they behave when you zoom out forever).
• It connects fields: It bridges the gap between pure algebra (equations) and topology (shapes), showing that the universe of algebraic shapes is much richer and stranger than we thought.

Summary

Think of this thesis as a forensic investigation into the nature of space.

1. The Crime: Shapes that pretend to be simple grids or spheres.
2. The Detective: The author, using advanced "Motivic" tools.
3. The Verdict: In low dimensions, the imposters are caught (they must be the real thing). But in high dimensions (3D and up), the imposters are real, and they are everywhere.
4. The Twist: We can now build "Exotic Spheres"—shapes that are topologically perfect but algebraically weird.

The author has essentially shown us that the mathematical universe is full of "glitches" in reality—shapes that behave perfectly but are secretly different, and that these glitches are not just errors, but a fundamental part of how algebraic geometry works.

Technical Summary

Technical Summary: Relative $\mathbb{A}^1$-Contractibility of Smooth Schemes and Exotic Motivic Spheres

Author: Krishna Kumar Madhavan Vijayalakshmi
Context: Doctoral Dissertation in Mathematical Sciences (2024-2025)
Field: Algebraic Geometry, Motivic Homotopy Theory

1. Problem Statement

The dissertation addresses two central, interconnected problems in algebraic geometry and motivic homotopy theory:

1. The Motivic Open Poincaré Conjecture (Characterization of Affine Space): Can the affine space $\mathbb{A}^n_k$ be uniquely characterized among smooth affine schemes by the property of being $\mathbb{A}^1$-contractible (i.e., $\mathbb{A}^1$-homotopy equivalent to a point)?

   • Topological Analogy: In classical topology, $\mathbb{R}^n$ is the unique open contractible manifold for $n \le 2$, but for $n \ge 3$, "exotic" contractible manifolds exist (e.g., the Whitehead manifold).
   • Algebraic Context: While $\mathbb{A}^n$ is $\mathbb{A}^1$-contractible, the existence of "exotic" smooth affine schemes that are $\mathbb{A}^1$-contractible but not isomorphic to $\mathbb{A}^n$ is known for $n \ge 3$ (e.g., Koras-Russell threefolds). The thesis seeks to determine the precise boundary where this characterization holds and to extend these results to relative settings (schemes over a base $S$).

2. Existence of Exotic Motivic Spheres: In motivic homotopy theory, the "sphere" is represented by $\mathbb{A}^n \setminus \{0\}$. Do there exist smooth schemes $X$ that are $\mathbb{A}^1$-homotopic to $\mathbb{A}^n \setminus \{0\}$ but not isomorphic to it? This is the "compact" analog of the exotic affine variety problem.

2. Methodology

The author employs a synthesis of Motivic Homotopy Theory (specifically the unstable $\mathbb{A}^1$-homotopy category $\mathcal{H}(S)$) and Affine Algebraic Geometry.

• Framework: The work is built upon the Morel-Voevodsky $\mathbb{A}^1$-homotopy category, utilizing simplicial presheaves on the Nisnevich site. Key tools include:

  • $\mathbb{A}^1$-Contractibility: Defined as a morphism being an $\mathbb{A}^1$-weak equivalence to the base.
  • Relative $\mathbb{A}^1$-Contractibility: Extending the notion to morphisms $f: X \to S$. The thesis relies heavily on the Gluing Theorem (Morel-Voevodsky), which states that a smooth morphism is a relative $\mathbb{A}^1$-weak equivalence if and only if all its fibers over points of $S$ are $\mathbb{A}^1$-contractible over their respective residue fields.
  • Milnor-Witt K-Theory ($KMW_*$): Used to compute $\mathbb{A}^1$-homotopy sheaves and degrees, particularly for distinguishing spheres.
  • Motivic Excision and Purity: Used to analyze the homotopy type of complements of closed subschemes (e.g., removing a point from a variety).

• Geometric Constructions:

  • Koras-Russell Threefolds ($K$): Defined by equations like $x^m z = x + y^r + t^s$. These are known to be topologically contractible but not isomorphic to $\mathbb{A}^3$.
  • Generalized Prototypes ($X_m$): Higher-dimensional analogs of Koras-Russell varieties.
  • Affine Modifications: Used to construct varieties with specific topological properties.

3. Key Contributions and Results

A. Relative $\mathbb{A}^1$-Contractibility in Low Dimensions ($n < 3$)

The thesis establishes a complete characterization of affine spaces in relative dimensions 0, 1, and 2 over "reasonable" base schemes (Noetherian, normal, or Dedekind with specific residue characteristics).

• Dimension 0 (Étale Schemes): A smooth étale scheme $X \to S$ is relatively $\mathbb{A}^1$-contractible if and only if it is an isomorphism ($X \cong S$).
• Dimension 1 (Curves): Over a Noetherian normal base $S$, a smooth separated morphism $f: X \to S$ of relative dimension 1 is a relative $\mathbb{A}^1$-weak equivalence if and only if it is a Zariski locally trivial $\mathbb{A}^1$-bundle.
  • Corollary: If $X$ is $\mathbb{A}^1$-contractible, has a trivial relative canonical sheaf, and admits a section, then $X \cong \mathbb{A}^1_S$.
  • Zariski Cancellation: If $X \times_S \mathbb{A}^n_S \cong \mathbb{A}^{n+1}_S$, then $X \cong \mathbb{A}^1_S$.
• Dimension 2 (Surfaces): Over a Dedekind scheme $D$ with characteristic zero residue fields, a smooth affine scheme $X \to D$ of relative dimension 2 is relatively $\mathbb{A}^1$-contractible if and only if it is a Zariski locally trivial $\mathbb{A}^2$-bundle.
  • Corollary: If $X$ is $\mathbb{A}^1$-contractible and has a trivial relative canonical sheaf, then $X \cong \mathbb{A}^2_D$.
  • Counterexamples: The thesis highlights that these characterizations fail in positive characteristic and over non-normal bases, providing explicit counterexamples (e.g., Asanuma-Gupta varieties).

B. Extension of Koras-Russell Contractibility

The author extends the known $\mathbb{A}^1$-contractibility of Koras-Russell threefolds (previously proven only over fields of characteristic zero) to:

1. Perfect Fields: Proving that $K$ is $\mathbb{A}^1$-contractible over any perfect field $k$.
2. Arithmetic and Noetherian Bases: Proving that the canonical morphism $K \to \text{Spec } \mathbb{Z}$ (and more generally $K \to S$ for Noetherian $S$ with perfect residue fields) is a relative $\mathbb{A}^1$-weak equivalence.
   • Methodology: This involves a detailed analysis of the fibers using the "very weak five lemma" and constructing specific $\mathbb{A}^1$-weak equivalences between the complement of a line in $K$ and $\mathbb{A}^2 \setminus \{0\}$.

C. Existence of Exotic Motivic Spheres

The most significant novel result is the construction of exotic motivic spheres in all dimensions $n \ge 4$.

• Construction: Let $X_m$ be the generalized Koras-Russell variety of dimension $m+3$. Let $p$ be a specific rational point. The quasi-affine variety $X_m \setminus \{p\}$ is shown to be:
  1. $\mathbb{A}^1$-homotopic to $\mathbb{A}^{m+3} \setminus \{0\}$.
  2. Not isomorphic to $\mathbb{A}^{m+3} \setminus \{0\}$ as a scheme.
• Proof Strategy:
  • Homotopy: Using the purity isomorphism and the fact that $X_m$ is $\mathbb{A}^1$-contractible, the author shows that the inclusion $X_m \setminus \{p\} \hookrightarrow X_m$ induces an isomorphism on $\mathbb{A}^1$-homotopy sheaves in a specific range (via motivic excision). Since $X_m \simeq \mathbb{A}^0$, the complement behaves like a sphere.
  • Non-Isomorphism: The varieties are distinguished using the Makar-Limanov invariant ($ML$). While $ML(\mathbb{A}^n) = k$, the Makar-Limanov invariant of $X_m$ is strictly larger (e.g., $k[x]$), proving they are not isomorphic as schemes.
• Significance: This provides the first known family of smooth, strictly quasi-affine varieties that are $\mathbb{A}^1$-homotopic to a motivic sphere but not isomorphic to the standard model.

4. Significance and Impact

1. Bridging Topology and Algebra: The work successfully translates the "Open Poincaré Conjecture" into the motivic setting, clarifying exactly where the algebraic world mimics the topological world (low dimensions) and where it diverges (high dimensions).
2. Generalization of Base Schemes: By moving from fields to arbitrary Noetherian base schemes (including arithmetic bases like $\text{Spec } \mathbb{Z}$), the results significantly broaden the applicability of $\mathbb{A}^1$-homotopy theory to arithmetic geometry.
3. New Invariants for Classification: The dissertation reinforces the utility of the Makar-Limanov invariant and Milnor-Witt K-theory in distinguishing schemes that are indistinguishable by standard cohomological invariants (like Chow groups or motivic cohomology).
4. Resolution of the Sphere Problem: The existence of exotic motivic spheres in dimensions $\ge 4$ resolves a long-standing question about the uniqueness of motivic spheres, analogous to Milnor's discovery of exotic spheres in differential topology. It demonstrates that the motivic homotopy category contains "exotic" objects that are homotopically trivial (or spherical) but geometrically distinct.
5. Counterexamples to Cancellation: The results contribute to the understanding of the Zariski Cancellation Problem, showing that while cancellation holds in low relative dimensions, it fails in higher dimensions even over "nice" bases, with Koras-Russell varieties serving as the primary counter-examples.

In summary, this dissertation provides a rigorous classification of $\mathbb{A}^1$-contractible schemes in low dimensions and constructs a rich family of exotic objects in higher dimensions, fundamentally advancing the understanding of the relationship between homotopy type and isomorphism in algebraic geometry.