Motivic Adams Covers in Homotopy Theory

• Motivic Adams covers are constructions that approximate spectra via H-based Adams towers, capturing completion and connective features in the motivic stable homotopy category.
• They reconcile classical Adams–Novikov computations with motivic arithmetic via tools like the Cτ construction and η-localization to eliminate τ-torsion.
• Their use extends to explicit spectrum splittings in truncated BPGL and motivic K-theory, enabling computable homotopical and arithmetic invariants.

Motivic Adams covers are constructions in motivic stable homotopy theory that package Adams-type approximation, completion, and periodicity phenomena in the bigraded setting of $SH(k)$. In the literature represented here, the phrase does not denote a single universally fixed object. It refers, depending on context, to finite stages in an $H$-based Adams tower, the canonical map to $(\ell,\eta)$-completion, connective covers such as $ml=f_0ML$, the $\eta$-local sphere $S[\eta^{-1}]$, explicit Adams covers $BPGL\langle 1\rangle^{\langle k\rangle}$, and the $C\tau$-induced construction $X\mapsto X\wedge C\tau$, which kills $\tau$-torsion and aligns motivic Adams calculations with Adams–Novikov input (Isaksen et al., 2018, Kylling et al., 2019, Gheorghe, 2017).

1. Terminological range and basic forms

A general form of motivic Adams cover arises from an $H$0-based motivic Adams resolution. If $H$1, the motivic Adams resolution of a spectrum $H$2 is constructed “as in the classical case,” producing a tower

$H$3

with exact triangles

$H$4

In this usage, the $H$5th $H$6-Adams cover of $H$7 is the finite-stage approximation $H$8, and the inverse limit identifies with the $H$9-nilpotent completion $(\ell,\eta)$0 (Isaksen et al., 2018).

A closely related formulation appears in the mod $(\ell,\eta)$1 motivic Adams spectral sequence, where the $(\ell,\eta)$2-based Adams tower produces the canonical map $(\ell,\eta)$3. In that setting, the map to $(\ell,\eta)$4-completion may be viewed as the motivic Adams cover at $(\ell,\eta)$5 (Kylling et al., 2019). Other papers use the term differently: in the $(\ell,\eta)$6-theoretic setting, “Adams cover” can mean the connective cover of the motivic Adams summand $(\ell,\eta)$7, namely $(\ell,\eta)$8 (Naumann et al., 2010); in periodic localization, the $(\ell,\eta)$9-local sphere $ml=f_0ML$0 is described as the $ml=f_0ML$1-periodic motivic Adams cover of the sphere (Guillou et al., 2014); and in truncated Brown–Peterson theory, $ml=f_0ML$2 denotes the $ml=f_0ML$3th Adams cover in a minimal $ml=f_0ML$4-Adams resolution (Morris et al., 23 Sep 2025).

Construction	Defining data	Role
$ml=f_0ML$5, $ml=f_0ML$6	$ml=f_0ML$7-based Adams resolution	finite-stage Adams approximation
$ml=f_0ML$8	mod $ml=f_0ML$9 Adams tower	canonical completion map
$\eta$0	cofiber of $\eta$1	kills $\eta$2-torsion, reorganizes Adams–Novikov input
$\eta$3, $\eta$4, $\eta$5	connective cover, minimal Adams resolution, or $\eta$6-localization	specialized motivic Adams covers

This range of usage indicates that motivic Adams covers are best understood as a family of closely related constructions rather than a single functor. The common theme is approximation of motivic spectra by algebraically controlled or periodicity-sensitive objects.

2. H-based towers, MASS, and $\eta$7-completion

For a prime $\eta$8, a field $\eta$9 of characteristic different from $S[\eta^{-1}]$0, and an $S[\eta^{-1}]$1-good motivic spectrum $S[\eta^{-1}]$2, the mod $S[\eta^{-1}]$3 motivic Adams spectral sequence is built from the $S[\eta^{-1}]$4-based Adams resolution and has

$S[\eta^{-1}]$5

with differentials

$S[\eta^{-1}]$6

Its stem is $S[\eta^{-1}]$7, and the Milnor–Witt degree is $S[\eta^{-1}]$8. Boardman convergence identifies the target with the $S[\eta^{-1}]$9-completion $BPGL\langle 1\rangle^{\langle k\rangle}$0, and for connective $BPGL\langle 1\rangle^{\langle k\rangle}$1 over a perfect field one has $BPGL\langle 1\rangle^{\langle k\rangle}$2. Under strong convergence, the abutment is therefore $BPGL\langle 1\rangle^{\langle k\rangle}$3 (Kylling et al., 2019).

The motivic setting differs from the classical one because $BPGL\langle 1\rangle^{\langle k\rangle}$4-completion is intrinsic. The survey literature emphasizes that, unlike the purely topological case, convergence requires combining $BPGL\langle 1\rangle^{\langle k\rangle}$5-adic and $BPGL\langle 1\rangle^{\langle k\rangle}$6-adic completion, and that motivic towers carry an additional weight grading that interacts with base-field arithmetic through $BPGL\langle 1\rangle^{\langle k\rangle}$7, $BPGL\langle 1\rangle^{\langle k\rangle}$8, and $BPGL\langle 1\rangle^{\langle k\rangle}$9 (Isaksen et al., 2018).

Strong convergence is known in substantial ranges but not universally. At the prime $C\tau$0, if $C\tau$1 has finite virtual cohomological dimension, the mod $C\tau$2 motivic Adams spectral sequence for the sphere is strongly convergent in positive stems $C\tau$3. At odd primes, strong convergence in positive stems holds over arbitrary fields. By contrast, over number fields the MASS is not strongly convergent: the derived $C\tau$4-term does not vanish, with

$C\tau$5

in tridegrees $C\tau$6, $C\tau$7, and $C\tau$8 (Kylling et al., 2019). This failure is a genuinely motivic phenomenon tied to unbounded $C\tau$9-power torsion in motivic cohomology.

The same framework yields arithmetic consequences. In positive stems, the paper gives explicit exponent bounds for $X\mapsto X\wedge C\tau$0, and on the Milnor–Witt $X\mapsto X\wedge C\tau$1-line it identifies the $X\mapsto X\wedge C\tau$2-completed sphere with completed Milnor–Witt $X\mapsto X\wedge C\tau$3-theory: $X\mapsto X\wedge C\tau$4 Thus motivic Adams covers are not only approximation devices; they encode precise arithmetic completion data.

3. The $X\mapsto X\wedge C\tau$5 construction as an Adams–Novikov cover

Over $X\mapsto X\wedge C\tau$6, the mod $X\mapsto X\wedge C\tau$7 motivic cohomology of the sphere is

$X\mapsto X\wedge C\tau$8

After $X\mapsto X\wedge C\tau$9-completion, multiplication by $\tau$0 in the motivic Adams spectral sequence realizes a nontrivial map

$\tau$1

with cofiber

$\tau$2

Betti realization sends $\tau$3 to the identity $\tau$4, so $\tau$5. In this sense, $\tau$6 lies in the kernel of Betti realization and implements the homotopical operation “set $\tau$7” (Gheorghe, 2017).

A central theorem states that $\tau$8 admits a unique $\tau$9 ring structure. The unit is the inclusion of the bottom cell $H$00, and under the canonical splitting

$H$01

the multiplication is projection onto the first summand: $H$02 This unique $H$03 structure is obtained by rigidifying a homotopy-unital, homotopy-associative, homotopy-commutative multiplication via motivic $H$04 obstruction theory, with vanishing obstruction groups.

The key algebraic identification is

$H$05

where motivic stem $H$06 and weight $H$07 correspond to Adams–Novikov filtration $H$08 and internal degree $H$09. This is not merely an additive isomorphism. It is an isomorphism of rings, and it preserves higher operations: Toda brackets in $H$10 correspond to Massey products in $H$11. The multiplicative motivic Adams–Novikov spectral sequence for $H$12 collapses at $H$13 with no hidden extensions, making $H$14 a canonical motivic realization of the Adams–Novikov $H$15-page together with its higher products.

The $H$16-ring structure on $H$17 produces a closed symmetric monoidal category of left $H$18-modules

$H$19

with every $H$20-module lying in the kernel of Betti realization. Practically, the induced spectrum $H$21 is often better behaved than $H$22: it kills $H$23-torsion, removes $H$24-torsion obstructions in Adams towers and higher coherences, and aligns the motivic Adams–Novikov $H$25-page with classical $H$26. The associated $H$27-Bockstein tower

$H$28

has layers equivalent to shifts of $H$29, and the $H$30-Bockstein spectral sequence has $H$31-page isomorphic to the $H$32-page of the motivic Adams–Novikov spectral sequence, with $H$33 corresponding to $H$34 in the $H$35-Bockstein. This is why $H$36 is described as a canonical motivic Adams–Novikov cover.

4. Connective covers, Adams summands, and $H$37-local periodicity

A different use of Adams-cover language occurs in motivic $H$38-theory. At a fixed prime $H$39, the $H$40-local motivic algebraic $H$41-theory spectrum splits as

$H$42

where $H$43 is the motivic Adams summand. Its connective cover is

$H$44

In the sense used there, “Adams cover” refers to this connective cover of the motivic Adams summand, not to a cover in the sense of Adams operations alone. The paper proves that $H$45, $H$46, and their connective covers $H$47 and $H$48 each acquire unique $H$49 structures. Bott periodicity gives

$H$50

and similarly $H$51 with

$H$52

Thus connective Adams covers in this setting are rigid multiplicative approximations to periodic motivic $H$53-theory spectra (Naumann et al., 2010).

The connective-cover perspective also appears in motivic real $H$54-theory over $H$55. There one defines

$H$56

and obtains

$H$57

Accordingly, ko-homology is computed by an $H$58-based motivic Adams spectral sequence

$H$59

which is the motivic analogue of the classical $H$60 story (Isaksen et al., 2010).

A periodic, rather than connective, form of Adams cover is the $H$61-local sphere

$H$62

Inverting $H$63 on homotopy corresponds to inverting $H$64 on the Adams $H$65-page: $H$66 and the resulting Adams spectral sequence has good convergence. Over $H$67,

$H$68

The paper proves

$H$69

and conjectures the uniform pattern

$H$70

Under that conjecture,

$H$71

with $H$72, $H$73, and $H$74. In this sense $H$75 isolates the $H$76-invertible, $H$77-periodic part of motivic homotopy and functions as the $H$78-periodic motivic Adams cover of the sphere (Guillou et al., 2014).

5. Explicit Adams covers for $H$79 and spectrum-level splittings

The most literal finite-stage usage appears for truncated motivic Brown–Peterson spectra. Fix a prime $H$80 and a base field $H$81 with $H$82. The truncated spectrum is

$H$83

with cofiber sequences

$H$84

For $H$85, $H$86 is $H$87; for odd $H$88, it is the $H$89-local connective motivic Adams summand $H$90 (Morris et al., 23 Sep 2025).

The paper fixes the minimal $H$91-Adams resolution of $H$92 and defines

$H$93

to be the $H$94th Adams cover. These covers are characterized by relative homology: $H$95 where $H$96 is the motivic lightning flash module. Conversely, if $H$97 is a $H$98-module with

$H$99

then $(\ell,\eta)$00. This gives a precise module-theoretic recognition principle for motivic Adams covers in the truncated $(\ell,\eta)$01 setting.

The main spectrum-level splitting theorem is

$(\ell,\eta)$02

where $(\ell,\eta)$03 is a wedge of suspensions of $(\ell,\eta)$04. Thus the cooperations spectrum decomposes into shifted Adams covers indexed by the $(\ell,\eta)$05-adic valuations $(\ell,\eta)$06. A similar statement holds for

$(\ell,\eta)$07

These splittings control both homotopy and operations. For example,

$(\ell,\eta)$08

decomposes accordingly, with generators $(\ell,\eta)$09 in bidegree $(\ell,\eta)$10 satisfying

$(\ell,\eta)$11

Likewise, the $(\ell,\eta)$12-line of the $(\ell,\eta)$13-based Adams spectral sequence for the sphere is described as a sum over multi-indices $(\ell,\eta)$14 of $(\ell,\eta)$15-groups involving $(\ell,\eta)$16. This realizes the Mahowald–Kane splitting motivically and shows that, at least for $(\ell,\eta)$17, motivic Adams covers can appear as explicit spectrum summands rather than only as abstract stages in a tower.

6. Algebraic bridges, arithmetic effects, and computational applications

The $(\ell,\eta)$18 formalism yields immediate computational simplifications. For

$(\ell,\eta)$19

one has $(\ell,\eta)$20 concentrated in $(\ell,\eta)$21, and the dual Hopf algebra of co-operations is

$(\ell,\eta)$22

Internally to $(\ell,\eta)$23-modules this simplifies further to

$(\ell,\eta)$24

without $(\ell,\eta)$25. For the motivic Moore spectrum, $(\ell,\eta)$26 is a unique $(\ell,\eta)$27-algebra over $(\ell,\eta)$28 and admits a $(\ell,\eta)$29-self map

$(\ell,\eta)$30

even though topologically $(\ell,\eta)$31 only admits a $(\ell,\eta)$32-map. For connective hermitian $(\ell,\eta)$33-theory,

$(\ell,\eta)$34

so $(\ell,\eta)$35 appears as a genuine periodicity element; by comparison,

$(\ell,\eta)$36

These examples show concretely how smashing with $(\ell,\eta)$37 removes $(\ell,\eta)$38-torsion obstructions and improves periodicity (Gheorghe, 2017).

Another algebraic bridge arises from $(\ell,\eta)$39-cofibers such as $(\ell,\eta)$40. In the $(\ell,\eta)$41-motivic $(\ell,\eta)$42- and $(\ell,\eta)$43-local setting,

$(\ell,\eta)$44

Up to reindexing, the $(\ell,\eta)$45-motivic Adams spectral sequence for $(\ell,\eta)$46 is isomorphic to the algebraic Novikov spectral sequence for $(\ell,\eta)$47. The long exact sequence induced by multiplication by $(\ell,\eta)$48,

$(\ell,\eta)$49

supplies inclusion and projection maps that control the comparison. In the $(\ell,\eta)$50 Adams spectral sequence, one finds

$(\ell,\eta)$51

with no higher differentials for degree reasons. This makes $(\ell,\eta)$52-cofiber Adams covers a tool for accessing classical Novikov computations through purely motivic algebra (Baer, 2024).

At the level of the sphere, the motivic lambda algebra gives a small dg model for the motivic cobar complex and supports direct analysis of low-filtration Adams covers. For arbitrary base fields of characteristic not equal to $(\ell,\eta)$53, the universal differential on the $(\ell,\eta)$54-line is

$(\ell,\eta)$55

a motivic analogue of Adams’ classical differential. In the Adams tower

$(\ell,\eta)$56

the $(\ell,\eta)$57th Adams cover $(\ell,\eta)$58 is $(\ell,\eta)$59, and the filtration-$(\ell,\eta)$60 permanent cycles determine $(\ell,\eta)$61. Over $(\ell,\eta)$62, the permanent cycles on the $(\ell,\eta)$63-line include $(\ell,\eta)$64, $(\ell,\eta)$65, $(\ell,\eta)$66, $(\ell,\eta)$67, and the maximal-$(\ell,\eta)$68 classes

$(\ell,\eta)$69

with $(\ell,\eta)$70 the Radon–Hurwitz number (Balderrama et al., 2021).

Finally, motivic Adams-cover methods interact with arithmetic and $(\ell,\eta)$71-theoretic questions. The motivic Adams conjecture, proved after inverting the exponential characteristic, shows that for a vector bundle $(\ell,\eta)$72 and an integer $(\ell,\eta)$73 there exists $(\ell,\eta)$74 such that

$(\ell,\eta)$75

in $(\ell,\eta)$76. The same work proves that for $(\ell,\eta)$77 there exists an integer $(\ell,\eta)$78, depending only on $(\ell,\eta)$79 and $(\ell,\eta)$80, such that

$(\ell,\eta)$81

This bounded torsion result constrains Adams towers in fixed bidegrees and supports controlled Adams-cover constructions after inverting the exponential characteristic (Ananyevskiy et al., 2023).

Taken together, these developments show that motivic Adams covers serve several distinct but convergent purposes: finite-stage approximation in Adams towers, passage to $(\ell,\eta)$82-completion, elimination of $(\ell,\eta)$83-torsion through $(\ell,\eta)$84, extraction of periodic information by $(\ell,\eta)$85-localization, rigid $(\ell,\eta)$86-connective approximations in motivic $(\ell,\eta)$87-theory, and explicit splitting objects in truncated $(\ell,\eta)$88 cooperations. The terminology varies, but the underlying objective is consistent: to replace a motivic spectrum by a cover whose algebraic and homotopical structure is more computable while retaining the chromatic, arithmetic, or periodic information relevant to Adams-type analysis.