🔢 mathematics

On The Morel Structure Conjecture

This paper proves that Witt K-theory is effective over any perfect field of characteristic 2, thereby completing the proof of the Morel structure conjecture originally initiated by Bachmann.

Original authors: Giacomo Bertizzolo

Published 2026-07-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Giacomo Bertizzolo

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe of mathematics as a giant, multi-layered cake. For a long time, mathematicians have been trying to understand the "slices" of a very special, complex cake called Hermitian K-theory (or $KQ$). This cake is the mathematical cousin of a famous topological treat known as Real K-theory ($KO$), which describes how shapes twist and turn in the physical world.

In the physical world, this cake has a neat, repeating pattern: it repeats every 8 layers. But in the "motivic" world (a mathematical universe that mixes geometry with algebra), things get messy. The cake here seems to repeat every 4 layers, but the slices don't look like simple, uniform layers. Instead, they are a jumbled mix of different ingredients, some twisted, some shifted, and some added on top of others.

For years, a brilliant mathematician named Bachmann figured out how to slice this cake perfectly when the "flavor" of the universe was not 2 (think of this as a universe where the number 2 behaves normally). He found a beautiful, predictable pattern. However, there was one stubborn flavor left: Characteristic 2. This is a universe where the number 2 acts very strangely (essentially, $2 = 0$ ). In this weird world, the cake's layers were a mystery.

The Big Discovery
This paper, written by Giacomo Bertizzolo, finally solves the mystery of the cake in the Characteristic 2 universe. The main finding is that the "layers" of the Hermitian K-theory cake in this specific world follow a precise, predictable structure, just like Bachmann predicted.

To understand how this works, imagine the cake is built from two main types of ingredients:

Milnor K-theory (let's call this the "Standard Flour").
Witt K-theory (let's call this the "Special Spice").

In the normal world (where 2 is not zero), the "Special Spice" doesn't mix well with the "Standard Flour" in a simple way; it creates a messy, non-effective layer. But in the Characteristic 2 world, the paper proves something surprising: the "Special Spice" (Witt K-theory) actually is a valid, solid layer of the cake on its own. It is "effective," meaning it fits perfectly into the structure without needing to be patched up or hidden.

The "Square" Puzzle
The paper proves this by showing that four different mathematical objects fit together to form a perfect square. Think of it like a puzzle with four pieces:

Top Left: A modified version of the "Standard Flour" (called $\tilde{HZ}$ ).
Top Right: The "Special Spice" (Witt K-theory).
Bottom Left: The "Standard Flour" (Milnor K-theory).
Bottom Right: The "Standard Flour" cut in half (Milnor K-theory mod 2).

The paper proves that if you take the "Special Spice" and the "Standard Flour," they fit together perfectly to create the "Modified Flour" at the top. It's like showing that if you have a specific type of brick and a specific type of mortar, you can build a wall that matches a blueprint exactly.

What This Rules Out
The paper explicitly argues against the idea that this neat, square structure works in every universe.

It rules out the idea that Witt K-theory is a solid, standalone layer in universes where the characteristic is not 2. In those worlds, the "Special Spice" is too messy to be a single layer; it's a broken, non-effective piece.
It also clarifies that in the Characteristic 2 world, there is no "Witt motivic cohomology" hiding outside of "Witt K-theory." In other words, in this specific universe, the "Special Spice" is the only thing you need to describe that part of the cake. There are no secret, hidden layers lurking in the shadows.

How Sure Are They?
The authors are 100% certain. This isn't a guess, a simulation, or a "maybe." They have provided a rigorous, step-by-step proof.

They first assume the "Special Spice" is a solid layer (effective) and show that this assumption makes the puzzle pieces fit perfectly.
Then, they use a powerful mathematical tool (the Bachmann-Fasel effectivity criterion) to prove that the "Special Spice" is indeed a solid layer in the first place.
They check their work in two different ways: by looking at the cake "modulo 2" (cutting it into tiny bits) and by "inverting 2" (looking at it through a different lens). Both methods confirm the same result.

The "Geisser-Levine" Connection
The paper compares this discovery to a famous result called the Geisser-Levine Theorem. That theorem said that in certain universes, there is no "p-adic" flavor of the cake outside of the "Milnor" flavor. This new paper says: "In the Characteristic 2 universe, there is no 'Witt' flavor outside of the 'Witt K-theory' flavor." It's a quadratic, enriched version of that old rule, tailored specifically for this weird, $2=0$ world.

In a Nutshell
Giacomo Bertizzolo has finished the job that Bachmann started. He has shown that even in the strangest mathematical universe (where 2 equals 0), the complex cake of Hermitian K-theory has a beautiful, orderly structure. The "Special Spice" (Witt K-theory) is a real, solid ingredient, and it fits into the grand design exactly as the Morel Structure Conjecture predicted. The mystery is solved, the puzzle is complete, and the cake is whole.

Technical Summary: On the Morel Structure Conjecture

Problem Statement
The paper addresses the completion of the proof of the Morel Structure Conjecture within the framework of motivic homotopy theory over perfect fields. The conjecture describes the structural relationships between various motivic spectra representing different variants of K-theory and motivic cohomology. Specifically, it posits that certain squares involving Milnor-Witt motivic cohomology ( $\tilde{H}\mathbb{Z}$ ), Witt motivic cohomology ( $HW\mathbb{Z}$ ), Milnor-Witt K-theory ($HKMW$), Witt K-theory ($HKW$), and their reductions modulo 2 or 2-torsion forms are cartesian squares in the stable motivic homotopy category $SH(k)$.

While Thomas Bachmann had previously solved the conjecture for fields of characteristic not equal to 2, the case of characteristic 2 remained open. The primary obstacle in characteristic 2 is the behavior of Witt K-theory ($HKW$). In characteristics other than 2, $HKW$ is not effective (i.e., it does not lie in the subcategory of effective motivic spectra), but in characteristic 2, the paper aims to prove that $HKW$ is indeed effective. This effectivity is a prerequisite for establishing the cartesian nature of the relevant squares in this specific characteristic.

Methodology
The author employs a combination of structural results from motivic homotopy theory, specifically leveraging the properties of the effective cover functor $f_0$ , the homotopy t-structure, and the slice filtration. The methodology proceeds in two main phases:

Reduction to Effectivity: The paper first establishes that if Witt K-theory ($HKW$) is effective in characteristic 2, then the Morel Structure Conjecture (both parts) follows immediately. This is achieved by analyzing the cartesian squares modulo 2 and after inverting 2.
- Modulo 2: The author utilizes the Geisser-Levine Theorem, which implies that in characteristic $p$ , mod- $p$ motivic cohomology is equivalent to Milnor K-theory. This forces the bottom map of the relevant square to be an equivalence. Combined with the assumption that $HKW$ is effective, the cartesian property of the square is deduced.
- Inverting 2: The author analyzes the square after tensoring with $\mathbb{Z}[1/2]$ . Here, the relationship between Milnor-Witt, Milnor, and Witt K-theories simplifies, allowing the cartesian property to be verified directly using the effectivity of the components.
- Synthesis: Using a criterion that a map is an equivalence if it is so modulo 2 and after inverting 2, the author concludes that the full squares are cartesian provided $HKW$ is effective.
Proof of Effectivity: The core technical contribution is the proof that $HKW$ is effective in characteristic 2. The author applies the Bachmann-Fasel Effectivity Criterion (Theorem 2.31), which states that a motivic spectrum $E$ is effective if and only if its value on the semi-localization of the algebraic simplex, $\hat{\Delta}^\bullet_F$ , is contractible for all finitely generated fields $F$ .
- The author identifies $HKW$ with the motivic spectrum $HI$ representing the powers of the fundamental ideal $I^*$ (via the Morel-Carlier isomorphism).
- The problem is reduced to showing that the spectrum $X = |R\Gamma_{Nis}(-, I^d)(\hat{\Delta}^\bullet_F)|$ is contractible for sufficiently large $d$ .
- Using the homotopy coniveau tower, the author relates the 0-slice of $HKW \otimes G_m^{\otimes d}$ to the Nisnevich cohomology of the fundamental ideal powers.
- A key step involves Lemma 4.10, which establishes that the 0-slices of $HKW \otimes G_m^{\otimes d}$ are independent of $d$ (due to the vanishing of the 0-slice of $HKM/2 \otimes G_m^{\otimes d}$ ).
- Finally, Corollary 4.17 demonstrates that for a finitely generated field $F$ over a perfect field of characteristic 2, the Nisnevich cohomology $H^0_{Nis}(\hat{\Delta}^m_F, I^d)$ vanishes when $d$ exceeds the transcendence degree of $F$ plus the dimension of the simplex. This vanishing, combined with the connectivity properties of the spectrum, proves that the geometric realization is contractible.

Key Contributions and Results

Completion of the Morel Structure Conjecture: The paper proves that the squares relating $\tilde{H}\mathbb{Z}$ , $HKMW$, $H\mathbb{Z}$ , and $HKM$ (Theorem 1.1) and the squares relating $HW\mathbb{Z}$ , $HKW$, $H\mathbb{Z}/2$ , and $HKM/2$ (Theorem 1.3) are cartesian in $SH(k)$ for any perfect field $k$ , including those of characteristic 2.
Effectivity of Witt K-theory in Characteristic 2: The paper proves that the Witt K-theory motivic spectrum $HKW$ is effective over any perfect field of characteristic 2. This contrasts with the characteristic $\neq 2$ case, where $HKW$ is not effective.
Quadratic Geisser-Levine Interpretation: The result is interpreted as a "quadratic version" of the Geisser-Levine Theorem. Just as Geisser-Levine states there is no $p$ -adic motivic cohomology outside Milnor K-theory in characteristic $p$ , this work shows there is no Witt motivic cohomology outside Witt K-theory in characteristic 2.
Technical Verification: The paper provides a rigorous verification of the Bachmann-Fasel criterion for $HKW$ by explicitly computing the vanishing of Nisnevich cohomology groups of the powers of the fundamental ideal on semi-local schemes.

Significance
The paper claims to finish the proof of the Morel Structure Conjecture initiated by Bachmann. By resolving the characteristic 2 case, it unifies the description of motivic cohomology variants across all characteristics. The result clarifies the structure of the effective slices of Hermitian K-theory ($KQ$), confirming that the generalized slices exhibit the expected four-periodicity up to twists, even in characteristic 2. The proof relies on the interplay between the algebraic structure of Witt rings (specifically the vanishing of high powers of the fundamental ideal in fields of finite imperfection degree) and the homotopical properties of motivic spectra. The work does not propose new experimental applications but solidifies the theoretical foundation for understanding the slice filtration of Hermitian K-theory and the behavior of Witt K-theory in positive characteristic.

More like this