[Paper Review] The motivic Adams vanishing line of slope 1/2

Bertrand Guillou, Daniel C. Isaksen|arXiv (Cornell University)|Jan 13, 2015

Homotopy and Cohomology in Algebraic Topology10 references5 citations

TL;DR

This paper establishes a motivic analog of Adams' classical vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over ℂ. Using motivic homological algebra and properties of the $h_1$-multiplication map, it proves that $h_1: \operatorname{Ext}^{s,f,w}_A(\mathbb{M}_2,\mathbb{M}_2) \to \operatorname{Ext}^{s+1,f+1,w+1}_A(\mathbb{M}_2,\mathbb{M}_2)$ is an isomorphism for $f \geq \frac{1}{2}s + 2$ and a surjection for $f \geq \frac{1}{2}s + \frac{1}{2}$, establishing a motivic vanishing line of slope 1/2 in the Adams spectral sequence over ℂ.

ABSTRACT

We establish a motivic version of Adams' vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over the complex numbers.

Motivation & Objective

• To establish a motivic analog of Adams' classical vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over ℂ.
• To analyze the behavior of the $h_1$-multiplication map in the motivic Ext groups and determine its injectivity and surjectivity thresholds.
• To prove that $h_1$-multiplication is an isomorphism for $f \geq \frac{1}{2}s + 2$ and a surjection for $f \geq \frac{1}{2}s + \frac{1}{2}$ in the motivic Ext groups.
• To show that the result is optimal by demonstrating failure of isomorphism and surjection along adjacent lines.

Proposed method

• Uses trigradings $(s,f,w)$ for $\operatorname{Ext}_A(\mathbb{M}_2,\mathbb{M}_2)$, where $s$ is the stem, $f$ the Adams filtration, and $w$ the motivic weight.
• Applies motivic homological algebra techniques, particularly Margolis homology and resolutions over the motivic Steenrod algebra.
• Constructs a resolution of $A(0)$ using copies of $A$ and $\widetilde{A}$, adjusting for relations like $\mathrm{Sq}^2x = \tau y$ to ensure $A(0)$-freeness.
• Leverages the fact that $N$, a certain $A$-module, is free as a left $A(0)$-module, enabling inductive arguments on $\operatorname{Ext}$ groups.
• Uses the long exact sequence in $\operatorname{Ext}$ and induction on filtration $f$ to extend vanishing results from low to high $f$, relying on $\mathbb{M}_2$-freeness of kernels.
• Applies a motivic variant of Adams' classical argument, adapted to handle the non-classical behavior of motivic Margolis homology and $h_1$-divisibility.

Experimental results

Research questions

• RQ1 Does a motivic analog of Adams' vanishing line of slope 1/2 exist in the cohomology of the motivic Steenrod algebra over ℂ?
• RQ2 What is the precise filtration threshold for $h_1$-multiplication to be an isomorphism or surjection in the motivic Ext groups?
• RQ3 How does the $h_1$-multiplication map behave in the motivic setting, particularly in relation to $A(0)$-free modules?
• RQ4 Can the vanishing of $\operatorname{Ext}^{s,f,w}(M, \mathbf{C}_\eta)$ for $s < 2f$ be extended inductively across all $f$ when $M$ is $A(0)$-free?
• RQ5 Is the bound in the main theorem optimal, and where does $h_1$-multiplication fail to be an isomorphism or surjection?

Key findings

• The map $h_1: \operatorname{Ext}^{s,f,w}_A(\mathbb{M}_2,\mathbb{M}_2) \to \operatorname{Ext}^{s+1,f+1,w+1}_A(\mathbb{M}_2,\mathbb{M}_2)$ is an isomorphism when $f \geq \frac{1}{2}s + 2$.
• The same map is a surjection when $f \geq \frac{1}{2}s + \frac{1}{2}$, establishing a motivic vanishing line of slope 1/2.
• The result is optimal: $h_1$-multiplication fails to be an isomorphism along the line $f = \frac{1}{2}s + \frac{3}{2}$ and fails to be a surjection along $f = \frac{1}{2}s$.
• The proof relies on showing that $\operatorname{Ext}^{s,f,w}(M, \mathbf{C}_\eta)$ vanishes for $s < 2f$ when $M$ is $A(0)$-free and concentrated in non-negative degrees.
• The vanishing result is extended inductively from low to high filtration $f$ by constructing resolutions of $A(0)$ and using the $A(0)$-freeness of kernels and cokernels.
• The key technical step is proving that $N$, an $A$-module arising from a quotient of the motivic Steenrod algebra, is free as a left $A(0)$-module, enabling the inductive argument.