Motivic Homotopy Groups of Spheres and Free Summands of Stably Free Modules

This paper establishes that motivic stable homotopy groups of spheres over an algebraically closed field of characteristic zero are determined by $p$-completed spheres and motivic cohomology, enabling the proof that complex realization induces isomorphisms in specific bidegrees and resolving the conditions under which the universal stably-free module of type $(n,n-1)$ admits a free summand.

The Gist

Imagine you are an architect trying to build a skyscraper, but you are working in two different worlds at once.

World A (The Classical World): This is the world of standard physics and geometry. You have blueprints for a building made of solid, familiar materials. You know exactly how the beams fit together because you can touch them. In math, this is called Classical Topology.

World B (The Motivic World): This is a parallel universe where the laws of physics are slightly different. The "materials" here are more abstract, like shadows or reflections. You can build structures that look like the ones in World A, but they have extra, hidden dimensions that don't exist in our normal reality. In math, this is Motivic Homotopy Theory.

The paper you asked about is written by two mathematicians, Sebastian Gant and Ben Williams. Their goal is to answer a very specific question: "Can we trust the blueprints from the Classical World to tell us how to build things in the Motivic World?"

Here is the breakdown of their journey, using simple analogies.

1. The Problem: The "Shadow" vs. The "Object"

In the Motivic World, there are objects called Spheres (think of them as perfect, multi-dimensional balls). Mathematicians want to know the "homotopy groups" of these spheres.

• Analogy: Imagine trying to count the number of ways you can wrap a rubber band around a ball. In the Classical World, we know the answer. In the Motivic World, the ball is made of "quantum foam," so counting the wraps is incredibly hard.

For a long time, mathematicians could only calculate these numbers by looking at "p-completed" versions of the spheres.

• Analogy: Imagine you want to know the exact weight of a gold bar, but your scale is broken. It only works if you look at the bar through a specific colored filter (a "prime number" filter). You can get a good reading through the red filter, and a good reading through the blue filter, but you can't see the whole bar at once.

The authors' first major breakthrough (Theorem 1.1) is like building a universal translator. They proved that if you take all the filtered readings (the p-completed spheres) and combine them, you can reconstruct the entire Motivic Sphere, with only a few tiny exceptions. They showed that the "noise" in the data is just a specific type of mathematical "divisibility" that is easy to understand.

2. The Bridge: The "Complex Realization"

Once they could reconstruct the Motivic Sphere, they asked: "Does it look like the Classical Sphere?"

• Analogy: Imagine you have a hologram of a sphere (Motivic) and a real plastic sphere (Classical). If you shine a light on the hologram, does it cast the exact same shadow as the plastic sphere?

They proved that in a wide range of cases, yes, the shadows match perfectly.
This is huge because it means mathematicians can stop trying to solve the hard Motivic problems from scratch. Instead, they can just look at the Classical World (where we have centuries of data), and if the conditions are right, they know the Motivic answer is the same.

3. The Application: The "Stable-Free" Puzzle

Now, let's get to the real-world application. The paper isn't just about abstract balls; it's about Stably Free Modules.

• The Analogy: Imagine you have a box of Lego bricks.
  • A "Free Module" is a box where every single brick is a standard 2x4 block. It's perfectly uniform.
  • A "Stably Free Module" is a box that looks messy and irregular. However, if you add a few extra standard blocks to the box, the whole thing suddenly snaps together into a perfect, uniform shape.
  • The Question: If you have a messy box that can become perfect by adding blocks, can you actually pull out a perfect, uniform sub-box (a "free summand") from the messy one before you add the extra blocks?

In the past, mathematicians could only answer "Yes" for very specific, small boxes. They didn't know the rule for big boxes.

4. The Solution: The "Stiefel Variety" Map

The authors used their "Shadow Bridge" (the realization map) to solve this Lego puzzle.

• They realized that the "messy boxes" correspond to geometric shapes called Stiefel Varieties.
• They asked: "Is there a way to map the messy shape back to the simple shape without losing any pieces?" (Mathematically, does the map have a "right inverse"?)

Using their bridge between the Motivic and Classical worlds, they proved that the answer depends on a specific number called the James Number (named after a mathematician named James).

• The Rule: If the size of your box ($n$) is divisible by the James Number ($b_r$), then YES, you can pull out a perfect, uniform sub-box. If it's not divisible, then NO, the box is too twisted to have a perfect sub-part.

Summary of the "Big Idea"

1. The Obstacle: We couldn't calculate the properties of abstract "Motivic" shapes because the math was too hard and the tools only worked on "filtered" versions.
2. The Fix: The authors built a bridge showing that the filtered versions actually contain all the information we need, and that these shapes behave exactly like the familiar "Classical" shapes in many cases.
3. The Result: By using this bridge, they solved a decades-old puzzle about algebraic "Lego boxes" (stably free modules). They gave a clear, simple rule (based on divisibility) for when a messy algebraic structure can be broken down into a clean, perfect one.

In a nutshell: They took a problem that was stuck in the "quantum realm" of abstract math, proved it behaves just like our "everyday" math, and used that to finally crack a code about how algebraic structures can be built and broken apart.

Technical Summary

Here is a detailed technical summary of the paper "Motivic Homotopy Groups of Spheres and Free Summands of Stably Free Modules" by Sebastian Gant and Ben Williams.

1. Problem Statement

The paper addresses two interconnected problems in algebraic geometry and topology:

1. Motivic Homotopy Theory: Determining the relationship between the motivic stable homotopy groups of the sphere spectrum ($\pi_{s,w}(\mathbb{1})$) over an algebraically closed field $k$ of characteristic 0, and the classical stable homotopy groups of spheres ($\pi_s(S)$). A primary obstacle is that existing calculations (via motivic Adams and Adams–Novikov spectral sequences) typically yield results for $p$-completed sphere spectra ($\mathbb{1} \wedge_p$) rather than the sphere spectrum itself.
2. Algebraic K-Theory/Module Theory: Determining when a stably free module $P$ of type $(n, r)$ (satisfying $P \oplus R^{n-r} \cong R^n$) admits a free summand of a specific rank. Specifically, the authors investigate the existence of a right inverse (section) for the projection map between Stiefel varieties $\rho: V_r(\mathbb{A}^n_k) \to V_1(\mathbb{A}^n_k)$, which corresponds to splitting off a free summand of rank $r-1$.

2. Methodology

The authors employ a multi-stage approach combining motivic homotopy theory, spectral sequences, and homological algebra:

• Ext-Completions and $p$-Completion: They utilize the theory of Ext-completions to relate the global motivic homotopy groups to their $p$-completed counterparts. They establish that for $s \neq 0$, the comparison map to the product of $p$-completed groups is split surjective, with the kernel being the subgroup of divisible elements.
• Spectral Sequences: They rely on the motivic Adams and Adams–Novikov spectral sequences (specifically results from [32], [33], [11], and [35]) which calculate the homotopy groups of $p$-completed spheres. They use complex realization to compare these with classical stable homotopy groups.
• Motivic Freudenthal Suspension Theorem: To move from stable to unstable homotopy groups (necessary for studying Stiefel varieties), they apply the motivic Freudenthal suspension theorem (from [3]). This allows them to relate unstable homotopy groups of spheres and Stiefel varieties to stable groups in specific bidegree ranges.
• Induction and Diagram Chasing: For Stiefel varieties $V_r(\mathbb{A}^n_k)$, they use an inductive argument on $r$ combined with the "five lemma" (and a modified version for uniquely divisible subgroups) applied to long exact sequences of homotopy groups associated with fibrations.
• Reduction to Classical Topology: By establishing isomorphisms between motivic and classical homotopy groups in specific ranges, they reduce the algebraic problem of splitting modules over $\bar{\mathbb{Q}}$ to the classical topological problem of splitting maps between complex Stiefel manifolds, which was previously solved by Adams and Walker.

3. Key Contributions and Results

A. Structure of Motivic Homotopy Groups of Spheres (Theorem 1.1)

The authors prove that for an algebraically closed field $k$ of characteristic 0 and $s \neq 0$:

• The comparison map $\pi_{s,w}(\mathbb{1}) \to \prod_{p} \pi_{s,w}(\mathbb{1} \wedge_p)$ is split surjective.
• The kernel is the subgroup of divisible elements.
• If $s \neq -1$, this kernel is isomorphic to the motivic cohomology group $H^{-s}(\text{Spec } k; \mathbb{Z}(-w))$.
• Significance: This result validates the use of $p$-completed spectral sequence calculations to determine the global motivic homotopy groups, provided one accounts for the motivic cohomology kernel.

B. Complex Realization Isomorphisms (Corollary 3.3 & 3.4)

They establish that the complex realization map $\pi_{s,w}(\mathbb{1}) \to \pi_s(S)$ is an isomorphism in a wide range of bidegrees, specifically when:

• $s \neq 0$ and $-1 \leq w \leq \frac{1}{2}s + 1$.
• Under the Beilinson–Soulé conjecture (known for $\bar{\mathbb{Q}}$), the isomorphism holds for all $s > 0$ and $w \leq \frac{1}{2}s + 1$.

C. Unstable Homotopy Groups of Stiefel Varieties (Theorems 1.5 & 1.6)

The paper extends these results to unstable homotopy groups of Stiefel varieties $V_r(\mathbb{A}^n_k)$:

• Theorem 1.5: In a specific range of bidegrees ($d \leq 2n-2r-3$, etc.), the complex realization map is split surjective with a uniquely divisible kernel. If $n-1 \leq e$, it is an isomorphism.
• Theorem 1.6: In a slightly different range (relaxing the constraint on $e$), the realization map is injective.
• These results allow the authors to detect obstructions to geometric problems in the motivic setting by checking the classical topological setting.

D. Splitting of Stably Free Modules (Theorem 1.7 & Corollary 1.8)

This is the primary geometric application. The authors settle the question of when the projection $\rho: V_r(\mathbb{A}^n_{\bar{\mathbb{Q}}}) \to V_1(\mathbb{A}^n_{\bar{\mathbb{Q}}})$ admits a right inverse.

• Result: A right inverse exists if and only if the $r$-th James number (or Atiyah–Todd number) $b_r$ divides $n$.
• Module Theoretic Consequence: If $R$ contains $\bar{\mathbb{Q}}$ and $P$ is a stably free module of type $(n, 1)$ (i.e., $P \oplus R \cong R^n$), and if $b_r | n$, then $P$ admits a free summand of rank $r-1$ (i.e., $P \cong Q \oplus R^{r-1}$).
• This generalizes previous results (e.g., from [10]) which were limited to specific ranks or required stronger field assumptions.

4. Significance

• Bridging Motivic and Classical Topology: The paper provides a rigorous framework for transferring results from classical stable homotopy theory (where calculations are more advanced) to the motivic setting over algebraically closed fields of characteristic 0.
• Resolution of Algebraic Problems: It solves a long-standing question regarding the splitting of stably free modules. By linking the algebraic existence of free summands to the divisibility of the dimension $n$ by James numbers, it provides a precise arithmetic criterion for a geometric property.
• Generalization: The results generalize earlier work by the authors and others (e.g., Asok, Fasel) by removing restrictions on the rank of the free summand and extending the validity to the field of algebraic numbers $\bar{\mathbb{Q}}$.
• Methodological Advancement: The paper demonstrates the power of combining motivic spectral sequences with classical topological obstructions (Adams-Walker results) to solve problems in algebraic geometry that were previously intractable.

In summary, the paper successfully translates deep calculations in motivic homotopy theory into concrete algebraic results about the structure of projective modules, establishing that the "motivic" behavior of Stiefel varieties over $\bar{\mathbb{Q}}$ is governed by the same divisibility conditions as their classical complex counterparts.