🔢 mathematics

Rings of cooperations for hermitian K-theory over finite fields

This paper computes the ring of cooperations for very effective hermitian K-theory over finite fields of characteristic not equal to 2 by utilizing the motivic Adams spectral sequence, where all differentials are determined by integral motivic cohomology, and applies this result to calculate the $\mathrm{E}_1$ -page of the kq-resolution.

Original authors: Jackson Morris

Published 2026-06-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jackson Morris

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

The Big Picture: Mapping a New Universe

Imagine that mathematicians are explorers trying to map a strange, invisible universe called Motivic Homotopy Theory. This universe is a blend of geometry (shapes) and algebra (numbers), but it behaves differently depending on the "ground" it sits on.

In this paper, the author is exploring this universe over Finite Fields. Think of a finite field as a very small, self-contained world with a limited number of "points" or elements (like a clock that only has 5 hours instead of 12). The author wants to understand the structure of a specific object in this world called Hermitian K-Theory (let's call it kq for short).

The Main Goal: The "Cooperation" Map

The paper's primary goal is to compute something called the "Ring of Cooperations."

The Analogy: Imagine you have a special machine (the spectrum kq). You want to know what happens if you run two of these machines through a conveyor belt together (kq ⊗ kq).
The "Ring of Cooperations": This is the instruction manual that tells you exactly how these two machines interact, combine, and influence each other.
Why it matters: In the world of stable homotopy theory, knowing how two machines interact is the key to unlocking the secrets of the entire universe (the "stable stems"). It's like knowing how two Lego bricks snap together helps you understand how to build a whole castle.

The Tools: The Spectral Sequence

To read this instruction manual, the author uses a powerful mathematical tool called the Motivic Adams Spectral Sequence (mASS).

The Analogy: Think of the mASS as a multi-layered X-ray machine.
- You can't see the final answer (the "Ring of Cooperations") immediately.
- The machine starts with a blurry, low-resolution image (the E2-page).
- It then goes through several rounds of "developing" (called differentials), where it sharpens the image, removes noise, and reveals the true structure.
- The final, clear image is the E∞-page, which is the answer we are looking for.

The Twist: Two Different Worlds

The paper discovers that the rules of this universe change depending on the specific type of finite field used. The author splits the work into two cases:

Case A: The "Trivial" World ( $q \equiv 1 \mod 4$ )
- In this world, the rules are relatively straightforward. The "Bockstein action" (a specific type of mathematical operation) is trivial, meaning it doesn't cause much chaos.
- The Result: The author finds that the instruction manual for this world looks very similar to the manuals for other famous worlds (like the complex numbers $\mathbb{C}$ or real numbers $\mathbb{R}$ ), but with a few specific adjustments.
Case B: The "Non-Trivial" World ( $q \equiv 3 \mod 4$ )
- In this world, the Bockstein action is non-trivial. It's like a hidden current in a river that pushes things in unexpected directions.
- The Result: This makes the math much messier. The "X-ray" has to work harder to clear up the image. The author has to calculate new, complex patterns that don't exist in the other worlds.

The Key Discovery: The "Master Key"

The most surprising and important finding of the paper is Theorem B.

The Discovery: The author proves that you don't need to guess how the X-ray machine develops the image. The "differentials" (the steps that sharpen the image) are completely determined by a simpler, pre-existing map called the Integral Motivic Cohomology (related to a simpler machine called HZ).
The Analogy: Imagine you are trying to solve a complex puzzle. You might think you need to guess every piece's position. However, the author discovers that the puzzle pieces are actually locked into place by a single, master key (the HZ map). If you know how the master key works, you automatically know how the complex puzzle pieces move.
Why it's huge: This means the complicated behavior of the kq machine is entirely controlled by the simpler HZ machine. It simplifies the problem from "guessing" to "calculating."

The Application: The "kq-Resolution"

Finally, the paper uses this new map to update the kq-resolution.

The Analogy: The kq-resolution is a long, multi-story building used to climb up to the highest peaks of the mathematical universe. The author has just finished renovating the blueprints for the first few floors (the $E_1$ -page).
The Result: They have provided a clear, additive description of these floors. This doesn't solve the whole building yet, but it gives future explorers a solid foundation to climb higher and understand the "periodic families" (repeating patterns) in the universe.

Summary

In short, Jackson Morris has:

Built a detailed map of how two specific mathematical machines (kq) interact over small, finite worlds.
Discovered that the rules for this interaction are strictly controlled by a simpler, underlying map (HZ).
Provided the first clear blueprints for the next stage of exploration (the kq-resolution) in these finite worlds, setting the stage for future mathematicians to climb higher.

The paper is a technical tour de force that turns a chaotic, difficult calculation into a structured, predictable process by finding the "master key" that controls the chaos.

Technical Summary: Rings of Cooperations for Hermitian K-Theory over Finite Fields

Problem Statement
The paper addresses the computation of the ring of cooperations $\pi_{\mathbb{F}_q}^{*,*}(kq \otimes kq)$ for the very effective hermitian K-theory spectrum $kq$ over finite fields $\mathbb{F}_q$ where $\text{char}(\mathbb{F}_q) \neq 2$ . This computation is a prerequisite for determining the $E_1$ -page of the $kq$-resolution, a motivic Adams spectral sequence used to analyze $v_1$ -periodic phenomena in the stable motivic homotopy groups of spheres. While the cooperations for $kq$ have been studied over the complex numbers $\mathbb{C}$ and real numbers $\mathbb{R}$ , the case of finite fields presents unique arithmetic challenges due to the non-trivial action of the Bockstein homomorphism and the structure of the motivic cohomology of $\mathbb{F}_q$ .

Methodology
The author employs the motivic Adams spectral sequence (mASS) based on the mod-2 motivic cohomology spectrum $H\mathbb{F}_2$ . The primary tool is the computation of the $E_2$ -page of the spectral sequence converging to $\pi_{\mathbb{F}_q}^{*,*}(kq \otimes kq)$ , followed by the determination of differentials to reach the $E_\infty$ -page.

The methodology proceeds through the following steps:

Algebraic Decomposition: Utilizing the isomorphism $H^{*,*}(kq) \cong (A // A(1))^\vee$ , the homology of the smash product $kq \otimes kq$ is decomposed using the Künneth theorem and the Brown–Gitler comodule decomposition of $(A // A(1))^\vee$ . This reduces the problem to computing $\text{Ext}_{A(1)^\vee}^{*,*,*}(\mathbb{F}_q^2, BF_q^0(k))$ for various $k$ , where $BF_q^0(k)$ are motivic Brown–Gitler comodules.
Case Separation: The computation is split into two distinct cases based on the arithmetic of the finite field:
- Trivial Bockstein Action ( $q \equiv 1 \pmod 4$ ): Here, the Bockstein homomorphism is trivial. The motivic Steenrod algebra relations simplify, and the Ext groups resemble those over $\mathbb{C}$ but with specific modifications.
- Nontrivial Bockstein Action ( $q \equiv 3 \pmod 4$ ): Here, the Bockstein is non-trivial (represented by $\rho$ ). The relations in the dual Steenrod algebra and the resulting Ext groups are more complex, requiring analysis organized by coweight.
Inductive Computation: The author uses algebraic Atiyah–Hirzebruch spectral sequences (aAHSS) to compute the Ext groups for Brown–Gitler comodules $BF_q^0(k)$ inductively. Short exact sequences of comodules relate $BF_q^0(k)$ to lower-order terms.
Differential Determination: A central methodological claim is that the differentials in the mASS for $kq \otimes kq$ are not computed independently but are "lifted" from differentials in the mASS for the integral motivic cohomology spectrum $H\mathbb{Z}$ . The map $kq \to H\mathbb{Z}$ induces a map of spectral sequences, allowing the author to transfer known differentials from $H\mathbb{Z}$ to $kq$ and subsequently to $kq \otimes kq$ .

Key Contributions and Results

Computation of the Ring of Cooperations: The paper provides a complete description of the $E_\infty$ $E_{\infty}$ -page of the mASS for $kq \otimes kq$ $k q \otimes k q$ modulo $v_1$ $v_{1}$ -torsion for all finite fields $\mathbb{F}_q$ $F_{q}$ ( $\text{char} \neq 2$ $char \neq = 2$ ).
- Theorem A: Establishes the signature of the spectral sequence as a direct sum of Ext groups over the subalgebra $A(1)^\vee$ with coefficients in Brown–Gitler comodules.
- Theorem B: Proves that all differentials in the mASS for $kq \otimes kq$ are determined by the module structure over the Ext algebra and the differentials of the mASS for $kq$ (which themselves are lifted from $H\mathbb{Z}$ ). This contrasts with classical, $\mathbb{C}$ -motivic, and $\mathbb{R}$ -motivic analogues where the spectral sequence often collapses earlier or behaves differently.
Explicit Structure of Ext Groups:
- For $q \equiv 1 \pmod 4$ , the Ext groups are shown to be isomorphic to the tensor product of the $\mathbb{C}$ -motivic Ext groups with $\mathbb{F}_q^2$ (modulo $v_1$ -torsion), with specific truncations to handle non-nilpotent $\eta$ -towers.
- For $q \equiv 3 \pmod 4$ , the author computes the Ext groups explicitly, identifying new generators (such as $\rho$ and $\tau h_1$ ) and relations arising from the non-trivial Bockstein. Notably, a $d_3$ -differential in the aAHSS for $BF_q^0(1)$ is identified in this case, which vanishes in the trivial Bockstein case.
Application to the $kq$-Resolution:
- Theorem C: Describes the $E_1$ -page of the $kq$-resolution for the sphere. The $n$ -line of the resolution is expressed as a module over the 0-line ( $\pi_{\mathbb{F}_q}^{*,*}(kq)$ ), decomposed into shifts of truncated Adams covers of $kq$ and $ksp$, and summands related to $H\mathbb{Z}$ .
- The paper reproves Friedlander's calculation of hermitian K-theory groups for finite fields as a consistency check.

Significance and Claims
The paper claims that the ring of cooperations for hermitian K-theory over finite fields is fundamentally determined by the integral motivic cohomology of the base field. The author argues that the "interesting" part of the cooperations is entirely dictated by the differentials in the mASS for $H\mathbb{Z}$ .

The work extends the study of $v_1$ -periodicity in motivic homotopy theory to fields of positive characteristic. By computing the $E_1$ -page of the $kq$-resolution, the paper lays the necessary groundwork for future computations of the stable motivic homotopy groups of spheres over finite fields, specifically targeting the $v_1$ -periodic families. The author notes that unlike the classical case, the motivic spectral sequences over finite fields do not collapse at the $E_2$ -page, necessitating the detailed differential analysis provided.

The paper concludes by posing a broader question: to what extent are differentials in the mASS for any finitely-presented (fp) motivic spectrum determined by the differentials in the mASS for $H\mathbb{Z}$ ? The results for $kq$ and previous work on $BPGL\langle 1 \rangle$ suggest a strong affirmative answer, particularly for spectra where the classical analogues collapse.