🔢 mathematics

Cancellation and splitting of Symplectic modules in the critical range and Euler class group

This paper establishes cancellation and splitting results for symplectic modules over smooth affine varieties by analyzing Postnikov towers in $\mathbb{A}^1$ -homotopy theory and proving the vanishing of specific top cohomology groups, which further yields a partial answer regarding the isomorphism between the $(d-1)$ -th Euler class group and the $(d-1)$ -th Chow group.

Original authors: Rakesh Pawar, Husney Parvez Sarwar

Published 2026-04-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Rakesh Pawar, Husney Parvez Sarwar

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 you are an architect working in a very strange, high-dimensional universe called Motivic Homotopy Theory. In this universe, buildings aren't made of bricks and mortar, but of abstract algebraic shapes called "modules."

The paper you are asking about is like a set of blueprints and rules for rearranging these buildings. The authors, Rakesh Pawar and Husney Parvez Sarwar, are trying to solve two big puzzles: Cancellation and Splitting.

Here is the story of their work, explained without the heavy math jargon.

1. The Setting: The "Symplectic" Building Blocks

First, imagine a special type of building block called a Symplectic Module.

The Analogy: Think of these blocks as having a built-in "dance partner" system. Every point in the block has a specific partner it must hold hands with, and the way they hold hands follows a strict rule (like a waltz). This is called a symplectic form.
The "Hyperbolic Plane" (H): There is a specific, tiny, 2-story building block called $H(R)$ . It's the simplest possible symplectic structure. Think of it as a standard "add-on" room.

2. Puzzle One: Cancellation (The "Undo" Button)

The Question: If you have two large, complex buildings, $E$ and $E'$ , and you add the same tiny "add-on room" ( $H$ ) to both of them, and the resulting buildings look exactly the same... were the original buildings $E$ and $E'$ already the same?

The Old Rule: In the world of regular buildings (projective modules), mathematicians knew this was true if the buildings were small enough compared to the size of the universe. But if the buildings were "critical size" (just as big as the universe allows), the rule used to fail.
The New Discovery: The authors prove that for these special Symplectic buildings, the rule DOES hold!
The Metaphor: Imagine you have two mysterious, complex sculptures. You glue a standard Lego brick to the top of both. If the final sculptures are identical, the authors prove that the original sculptures must have been identical too. You can "cancel out" the Lego brick and trust that the originals were the same.
Why it matters: This is a "Symplectic Cancellation Theorem." It's like finding a universal "Undo" button for these specific types of structures, provided the universe (the field of numbers) is nice enough (algebraically closed and not too small).

3. Puzzle Two: Splitting (The "Detachable" Room)

The Question: When can we take a large, complex symplectic building and say, "Hey, this whole thing is just a smaller building plus that standard add-on room ( $H$ )?"

The Clue: The authors found a specific "Euler Class." Think of this as a structural stress meter or a "twist detector."
- If the building is twisted or knotted in a specific way, the meter reads a high number.
- If the building is "flat" or "untwisted," the meter reads zero.
The Discovery: The paper proves a beautiful symmetry:
- If the meter reads zero: The building can be split. It is exactly a smaller building plus the standard room $H$ .
- If the building can be split: The meter must read zero.
The Metaphor: Imagine a complex knot. If the knot is "loose" (Euler class = 0), you can untie it and separate a specific loop (the $H$ room) from the rest. If the knot is tight (Euler class $\neq$ 0), you can't separate that loop without destroying the whole thing.

4. The Secret Weapon: The "Postnikov Tower"

How did they prove this? They didn't just look at the buildings; they looked at the scaffolding used to build them.

The Analogy: Imagine trying to understand a skyscraper. Instead of looking at the whole thing at once, you build a Postnikov Tower. This is a series of scaffolding platforms.
- Platform 1 holds the foundation.
- Platform 2 holds the first floor.
- Platform 3 holds the second floor, and so on.
The Strategy: The authors climbed this tower step-by-step. They checked if the "scaffolding" (mathematical tools called cohomology groups) was empty or full at certain heights.
- If the scaffolding was empty (zero), it meant there were no "obstructions" preventing the building from being split or cancelled.
- They proved that for these specific symplectic buildings, the scaffolding is empty at the critical levels.

5. The Bonus: Connecting Two Different Maps

The paper also tackles a side question from a mathematician named Mrinal Das.

The Problem: There are two different ways to count the "holes" or "features" in these algebraic buildings. One way is called the Euler Class Group, and the other is the Chow Group.
The Question: Do these two counting methods give the exact same answer?
The Result:
- For buildings of dimension 4, YES, they match perfectly.
- For larger buildings (dimension 5+), they mostly match, but there might be a tiny bit of "noise" (torsion) left over.
- However, if the universe has "characteristic 0" (a very smooth, infinite type of number system), the noise disappears, and the two methods are identical.

Summary

In plain English, this paper says:

"We have figured out the rules for these special 'symplectic' mathematical structures. We proved that if you add a standard piece to them, you can always tell if the originals were the same (Cancellation). We also proved that you can take them apart into a standard piece and a smaller piece, but only if they aren't 'twisted' (Splitting). We used a ladder-like method (Postnikov towers) to climb up and check for any hidden knots, and we found that for these structures, the knots are easier to untie than we thought."

It's a victory for understanding the hidden geometry of algebra, showing that even in the most abstract corners of math, there are elegant rules that let us take things apart and put them back together with confidence.

1. Problem Statement and Context

The paper addresses fundamental questions in algebraic K-theory and motivic homotopy theory regarding the classification of projective modules, specifically symplectic modules (projective modules equipped with a non-degenerate alternating bilinear form).

The authors investigate two classical problems in the "critical range" (where the rank of the module is close to the dimension of the base scheme):

Cancellation: If two symplectic modules $E$ and $E'$ become isomorphic after adding a hyperbolic plane $H(R)$ (i.e., $E \oplus H(R) \cong E' \oplus H(R)$ ), are they already isomorphic ( $E \cong E'$ )?
Splitting: Under what conditions does a symplectic module $P$ of rank $2n$ split off a hyperbolic plane (i.e., $P \cong Q \oplus H(R)$ )?

These questions are symplectic analogs of famous results for general projective modules:

Serre's Splitting Theorem: $P \cong Q \oplus R$ if $\text{rank}(P) > \dim(R)$ .
Bass's Cancellation Theorem: $P \oplus Q \cong P' \oplus Q \implies P \cong P'$ if $\text{rank}(P) > \dim(R)$ .
Murthy's Splitting Conjecture: For a smooth affine algebra $R$ of dimension $d$ , a projective module $P$ of rank $d-1$ splits ( $P \cong Q \oplus R$ ) if and only if its top Chern class vanishes. This conjecture remains open in general but has been solved in specific cases (e.g., by Asok-Fasel).

The authors also address a question posed by Mrinal Das regarding the isomorphism between the $(d-1)$ -th Euler class group $E_{d-1}(A)$ and the $(d-1)$ -th Chow group $CH_{d-1}(X)$ for a smooth affine scheme $X$ of dimension $d$ .

2. Methodology

The primary methodology employed is Motivic Homotopy Theory, specifically utilizing the obstruction-theoretic machinery developed by Morel and Voevodsky.

A¹-Homotopy Category: The authors work within the $A^1$ -homotopy category $H_{A^1}(k)$ . They utilize the fact that symplectic bundles over a smooth affine scheme $X$ are representable by maps into the classifying space $BSp_{2n}$ .
Obstruction Theory: The lifting problems (splitting and cancellation) are translated into lifting problems in the homotopy category. The obstructions to lifting lie in the Nisnevich cohomology groups of specific homotopy sheaves ( $\pi^{A^1}_*$ ).
Moore-Postnikov Towers: The authors analyze the Moore-Postnikov tower of the fiber sequence $F'_n \to BSp_{2n-2} \to BSp_{2n}$ . This allows them to break down the lifting problem into a sequence of cohomological vanishing problems.
Cohomology of Quadrics: A significant portion of the technical work involves calculating and proving vanishing results for the top cohomology groups $H^d(X, \pi^{A^1}_d(Q_{2d-2}))$ , where $Q_{2d-2}$ is an even affine quadric. The homotopy sheaves of these quadrics are related to Milnor K-theory ( $K^M$ ) and Grothendieck-Witt groups ($GW$).
Suslin Matrices: The paper utilizes Suslin matrices to construct specific maps between quadrics and linear groups, which are essential for computing the action of homotopy sheaves on cohomotopy sets.

3. Key Contributions and Results

A. Cancellation of Symplectic Modules

The authors prove a symplectic analog of Fasel's cancellation theorem for projective modules.

Theorem 1.2 (Corank 2 Symplectic Cancellation): Let $X = \text{Spec}(R)$ $X = Spec (R)$ be a smooth affine scheme of dimension $2n$ $2 n$ over an algebraically closed field $k$ $k$ where $(2n)!$ $(2 n)!$ is invertible. The map $V^{Sp}_{2n-2}(X) \to V^{Sp}_{2n}(X)$ $V_{2 n - 2}^{S p} (X) \to V_{2 n}^{S p} (X)$ sending $[P] \mapsto [P \oplus H(R)]$ $[P] \mapsto [P \oplus H (R)]$ is injective.
- Significance: This establishes that symplectic cancellation holds in the critical range (rank = dimension - 2) under the assumption that factorials are invertible. The authors show this result is optimal by referencing Mohan Kumar's counterexamples.

B. Splitting of Symplectic Modules

The authors provide a splitting criterion analogous to Murthy's conjecture.

Theorem 1.3 (Lower Corank Symplectic Splitting): Let $P$ $P$ be a symplectic module of rank $2n$ $2 n$ .
1. If $\dim(R) = 2n$ , then $P \cong Q \oplus H(R)$ if and only if the Euler class $e_{2n}(P) = 0$ in the Chow-Witt group $\widetilde{CH}_{2n}(X)$ .
2. If $\dim(R) = 2n+1$ and a specific cohomology group vanishes, the same equivalence holds.
- Significance: This confirms the splitting conjecture for symplectic modules in the critical range, linking the geometric splitting property directly to the vanishing of the Euler class.

C. Vanishing of Cohomology Groups

A major technical contribution is the analysis of the cohomology groups $H^d(X, \pi^{A^1}_d(Q_{2d-2}))$ .

Theorem 1.4: The authors establish conditions under which these groups vanish or are torsion:
- For $d=2, 4$ , the groups vanish.
- For $d=3$ (over finite fields $\mathbb{F}_p$ ), the group vanishes.
- For $d \geq 5$ , the group is torsion (specifically $d!(d-1)!(d-2)!$ -torsion). If $d!$ is invertible in $k$ , the torsion bound improves.
- If a conjecture by Asok-Fasel (Conjecture 3.10) holds, the groups vanish for all $d \geq 5$ .

D. Euler Class Group vs. Chow Group

The paper answers a question by Mrinal Das regarding the map $\psi: E_{d-1}(A) \to CH_{d-1}(X)$ .

Theorem 1.7 (Corollary 5.7):
1. The map $\psi$ is always surjective.
2. If $d=4$ , $\psi$ is an isomorphism.
3. If $\text{char}(k) = 0$ , $\psi$ is an isomorphism.
4. If $d \geq 5$ , the kernel of $\psi$ is torsion (specifically $d!(d-1)!(d-2)!$ -torsion).
5. If $d \geq 5$ and $d! \in k^\times$ , the kernel is $(d-1)!(d-2)!$ -torsion.
6. If Conjecture 3.10 holds, $\psi$ is an isomorphism for all $d \geq 5$ .

4. Significance and Impact

Advancement of Motivic Homotopy Theory: The paper demonstrates the power of $A^1$ -homotopy theory in solving classical algebraic problems (cancellation and splitting) that are difficult to tackle using purely algebraic methods.
Symplectic Analogues: It successfully extends the theory of projective modules to symplectic modules, providing a parallel structure to the results of Fasel, Murthy, and Suslin.
Resolution of Open Questions: It provides a partial (and often complete under characteristic 0 or specific dimension constraints) answer to Mrinal Das's question about the relationship between Euler class groups and Chow groups, a topic of active research in algebraic geometry.
Optimality: By constructing counterexamples based on Mohan Kumar's work, the authors demonstrate that their cancellation results are sharp and cannot be extended to lower ranks without additional assumptions.
Structural Insights: The vanishing theorems for the cohomology of homotopy sheaves of quadrics provide new tools for obstruction theory that may be applicable to other classification problems in algebraic geometry.

In summary, this paper bridges the gap between abstract motivic homotopy theory and concrete algebraic geometry, offering rigorous proofs for the cancellation and splitting of symplectic modules and clarifying the structural relationship between Euler class groups and Chow groups in the critical range.