Classifying and extending $Q_0$-local $\mathcal{A}(1)$-modules

TL;DR

This paper classifies certain bounded below $ ext{A}(1)$-modules based on their Margolis homology properties, simplifying computations of Ext groups and providing conditions for lifting modules to larger algebraic structures.

Contribution

It introduces a classification of bounded below $ ext{A}(1)$-modules with trivial $Q_1$-Margolis homology, aiding in Ext computations and module lifting conditions.

Findings

Modules with trivial $Q_1$-Margolis homology are stably sums of a specific family.

The classification simplifies $h_0^{-1} ext{Ext}$ computations.

A spectral sequence detects obstructions to lifting modules to $ ext{A}$-modules.

Abstract

In the stable category of bounded below $\mathcal{A}(1)$--modules, every module is determined by an extension between a module with trivial $Q_0$-Margolis homology and a module with trivial $Q_1$-Margolis homology. We show that all bounded below $\mathcal{A}(1)$-modules of finite type whose $Q_1$-Margolis homology is trivial are stably equivalent to direct sums of suspensions of a distinguished family of $\mathcal{A}(1)$-modules. Each module in this family is comprised of copies of $\mathcal{A}(1) /\!/ \mathcal{A}(0)$ linked by the action of $Sq^1 \in \mathcal{A}(1)$. The classification theorem is then used to simplify computations of $h_0^{-1}\mathrm{Ext}_{\mathcal{A}(1)}^{\bullet, \bullet}\big(-, \mathbb{F}_2\big)$ and to provide necessary conditions for lifting $\mathcal{A}(1)$-modules to $\mathcal{A}$-modules. We discuss a Davis--Mahowald spectral sequence converging to $h_0^{-1}\mathrm{Ext}_{\mathcal{A}(1)}^{\bullet, \bullet}(M, \mathbb{F}_2)$ where $M$ is any bounded below $\mathcal{A}(1)$-module. The differentials in this spectral sequence detect obstructions to lifting the $\mathcal{A}(1)$-module, $M$, to an $\mathcal{A}$-module. We give a formula for the second differential.