## THE HOMOTOPY GROUPS OF THE ALGEBRAIC K -THEORY OF THE SPHERE SPECTRUM

ANDREW J. BLUMBERG AND MICHAEL A. MANDELL

Abstract. We calculate π K ∗ ( S ) ⊗ Z [1 / 2], the homotopy groups of K ( S ) away from 2, in terms of the homotopy groups of K ( Z ), the homotopy groups of C P ∞ -1 , and the homotopy groups of S . This builds on work of Waldhausen, who computed the rational homotopy groups (building on work of Quillen and Borel) and Rognes, who calculated the groups at odd regular primes in terms of the homotopy groups of C P ∞ -1 , and the homotopy groups of S .

## 1. Introduction

The algebraic K -theory of the sphere spectrum K ( S ) is Waldhausen's A ( ∗ ), the algebraic K -theory of the one-point space. The underlying infinite loop space of K ( S ) splits as a copy of the underlying infinite loop space of S and the smooth Whitehead space of a point Wh Diff ( ∗ ). For a highly-connected compact manifold M , the second loop space of Wh Diff ( ∗ ) approximates the stable concordance space of M , and the loop space of Wh Diff ( ∗ ) parametrizes stable h -cobordisms [32]. As a consequence, computation of the algebraic K -theory of the sphere spectrum is a fundamental problem in algebraic and differential topology.

Early efforts in this direction were carried out by Waldhausen in the 1980s using the 'linearization' map K ( S ) → K ( Z ) from the K -theory of the sphere spectrum to the K -theory of the integers. This is induced by the map of (highly structured) ring spectra S → Z . Waldhausen showed that because the map S → Z is an isomorphism on homotopy groups in degree zero (and below) and a rational equivalence on higher homotopy groups, the map K ( S ) → K ( Z ) is a rational equivalence. Borel's computation of the rational homotopy groups of K ( Z ) then applies to calculate the rational homotopy groups of K ( S ): π K q ( Z ) ⊗ Q is rank 1 when q = 0 or q = 4 k +1 for k &gt; 1 and is zero for all other q .

In the 1990s, work of B¨kstedt, Carlsson, Cohen, Goodwillie, Hsiang, and Mado sen revolutionized the computation of algebraic K -theory with the introduction and study of topological cyclic homology TC , an analogue of negative cyclic homology that can be computed using the methods of equivariant stable homotopy theory. TC is the target of the cyclotomic trace , a natural transformation K → TC . For a

2010 Mathematics Subject Classification. Primary 19D10.

Key words and phrases. Algebraic K -theory of spaces, stable pseudo-isotopy theory, Whitehead space, cyclotomic trace.

This is substantially the same as the work with identical title and authors first published in Geometry &amp; Topology 23(1) (2019), published by Mathematical Sciences Publishers.

© 2019 Mathematical Sciences Publishers.

map of highly structured ring spectra such as S → Z , naturality gives a diagram

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0133v3-figure-efbe2a26-3ef5-4d92-967e-125197917bbe.jpg)

/d47

the linearization/cyclotomic trace square . A foundational theorem of Dundas [8] (building on work of McCarthy [21] and Goodwillie [11]) states that the square above becomes homotopy cartesian after p -completion, which means that the maps of homotopy fibers become weak equivalences after p -completion.

In the 2000s, Rognes [29] used the linearization/cyclotomic trace square to compute the homotopy groups of K ( S ) at odd regular primes in terms of the homotopy groups of S and the homotopy groups of C P ∞ -1 (assuming the now affirmed QuillenLichtenbaum conjecture). The answer is easiest to express in terms of the torsion subgroups: Because π K n ( S ) is finitely generated, it is the direct sum of a free part and a torsion part, the free part being Z when n = 0 or n ≡ 1 mod 4, n &gt; 1, and 0 otherwise. The main theorem of Rognes [29] is that for p an odd regular prime the p -torsion of π K ∗ ( S ) is

$$\text{tor} _ { p } ( \pi _ { * } K ( \mathbb { S } ) ) \cong \text{tor} _ { p } ( \pi _ { * } \mathbb { S } \oplus \pi _ { * - 1 } c \oplus \pi _ { * - 1 } \overline { \mathbb { C } P } _ { - 1 } ^ { \infty } ).$$

(which can be made canonical, as discussed below). Here c denotes the additive p -complete cokernel of J spectrum (the connected cover of the homotopy fiber of the map S ∧ p → L K (1) S ); its homotopy groups are all torsion and are direct summands of π ∗ S . The spectrum C P ∞ -1 is a wedge summand of ( C P ∞ -1 ) ∧ p [19, (1.3)], [29, p.166], ( C P ∞ -1 ) ∧ p /similarequal C P ∞ -1 ∨ S ∧ p ; using unpublished work of Knapp, Rognes [29, 4.7] calculates the order of these torsion groups in degrees ≤ 2(2 p +1)( p -1) -4.

The description of tor p ( π K ∗ ( S )) above uses an identification of the homotopy type of TC ( S ) ∧ p as S ∧ p ∨ Σ C P ∞ -1 due to B¨kstedt-Hsiang-Madsen [4, 5.15,5.17]. Unforo tunately, there does not seem to be a canonical map realizing this weak equivalence, and so the isomorphism above is not canonical. We do have a canonical splitting TC ( S ) /similarequal S ∨ Cu where Cu is the homotopy cofiber of the unit map S → TC ( S ), or equivalently, the homotopy fiber of the map TC ( S ) → THH ( S ). As we discuss below, the splitting of the p -completion Cu ∧ p ,

$$C u _ { p } ^ { \wedge } \simeq \overline { C u } \vee \Sigma \mathbb { S } _ { p } ^ { \wedge }$$

corresponding to the splitting ( C P ∞ -1 ) ∧ p /similarequal C P ∞ -1 ∨ S ∧ p turns out to be canonical. Rognes' canonical identification of the p -torsion of π K ∗ ( S ) is then

$$\text{tor} _ { p } ( \pi _ { * } K ( \mathbb { S } ) ) \cong \text{tor} _ { p } ( \pi _ { * } \mathbb { S } \oplus \pi _ { * - 1 } c \oplus \pi _ { * } \overline { C u } ).$$

This paper computes π K ∗ ( S ) ∧ p in the case of irregular primes, thereby completing the computation of the homotopy groups of the algebraic K -theory of the sphere spectrum away from the prime 2. As a first step, we prove the following splitting theorem in Section 4.

Theorem 1.1. Let p be an odd prime. The long exact sequence on homotopy groups induced by the p -completed linearization/cyclotomic trace square breaks up into non-canonically split short exact sequences

$$0 \longrightarrow \pi _ { * } K ( \mathbb { S } ) _ { p } ^ { \wedge } \longrightarrow \pi _ { * } T C ( \mathbb { S } ) _ { p } ^ { \wedge } \oplus \pi _ { * } K ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow \pi _ { * } T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow 0.$$

Choosing appropriate splittings in the previous theorem, we can identify the p -torsion groups. The identification is again in terms of π ∗ S and π Cu ∗ (or noncanonically, π ∗ Σ C P ∞ -1 ) but now involves also π K ∗ ( Z ), which is not fully understood at irregular primes. In the statement, K red ( Z ) denotes the wedge summand of K ( Z ) ∧ p complementary to j [9, 2.1,9.7], K ( Z ) ∧ p /similarequal j ∨ K red ( Z ), where j is the p -complete additive image of J spectrum, the connective cover of L K (1) S . (As discussed below, this splitting is canonical.)

Theorem 1.2. Let p be an odd prime. The p -torsion in π K ∗ ( S ) admits canonical isomorphisms

$$( \mathbf a ) \quad \text{ tor} _ { p } ( \pi _ { * } K ( \mathbb { S } ) ) \cong \text{tor} _ { p } ( \pi _ { * } c \oplus \pi _ { * - 1 } c \oplus \pi _ { * } \overline { C u } \oplus \pi _ { * } K ( \mathbb { Z } ) )$$

$$\cong \text{tor} _ { p } ( \pi _ { * } \mathbb { S } \oplus \pi _ { * - 1 } c \oplus \pi _ { * } \overline { C u } \oplus \pi _ { * } K ^ { \text{red} } ( \mathbb { Z } ) ).$$

In Formula (a), the map tor ( p π K ∗ ( S )) → tor p ( π ∗ ( K ( Z ))) is induced by the linearization map and the map

$$\text{tor} _ { p } ( \pi _ { * } K ( \mathbb { S } ) ) \longrightarrow \text{tor} _ { p } ( \pi _ { * } c \oplus \pi _ { * - 1 } c \oplus \pi _ { * } \overline { C u } )$$

is induced by the composite of the cyclotomic trace map K ( S ) → TC ( S ) and a canonical splitting (2.3) of the homotopy groups π TC ∗ ( S ) ∧ p as

$$\pi _ { * } T C ( \mathbb { S } ) _ { p } ^ { \wedge } \cong \pi _ { * } ( j ) \oplus \pi _ { * } ( c ) \oplus \pi _ { * } ( \Sigma j ) \oplus \pi _ { * } ( \Sigma c ) \oplus \pi _ { * } ( \overline { C u } )$$

explained in the first part of Section 2, followed by the projection onto the nonj summands.

In formula (b), the map tor p ( π K ∗ ( S )) → tor p ( π K ∗ red ( Z )) is induced by the linearization map and the canonical map π K ∗ ( Z ) → π K ∗ red ( Z ) which is the quotient by the image of the unit map π ∗ S → π K ∗ ( Z ). The map

$$\text{tor} _ { p } ( \pi _ { * } K ( \mathbb { S } ) ) \longrightarrow \text{tor} _ { p } ( \pi _ { * } \mathbb { S } \oplus \pi _ { * - 1 } c \oplus \pi _ { * } \overline { C u } )$$

is induced by the composite of the cyclotomic trace map K ( S ) → TC ( S ) and the canonical splitting of homotopy groups

$$\pi _ { * } T C ( \mathbb { S } ) _ { p } ^ { \wedge } \cong \pi _ { * } ( \mathbb { S } _ { p } ^ { \wedge } ) \oplus \pi _ { * } ( \Sigma j ) \oplus \pi _ { * } ( \Sigma c ) \oplus \pi _ { * } ( \overline { C u } )$$

followed by projection away from the Σ j summand. (The splitting of π TC ∗ ( S ) ∧ p here is related to the splitting above by the canonical splitting on homotopy groups π ∗ S ∧ p ∼ = π ∗ ( j ) ⊕ π ∗ ( c ).)

Formula (b) generalizes the computation of Rognes [29] at odd regular primes because K red ( Z ) is torsion free if (and only if) p is regular (see for example [36, § VI.10]). Part of the argument for the theorems above involves making certain splittings in prior K -theory and TC computations canonical and canonically identifying certain maps (or at least their effect on homotopy groups). Although we construct the splittings and prove their essential uniqueness calculationally, we offer in Section 5 a theoretical explanation in terms of a conjectural extension of Adams operations on algebraic K -theory to an action of the p -adic units and a conjecture on the consistency of Adams operations on K -theory and Adams operations on TC . This perspective leads to a splitting of K ( S ) ∧ p and the linearization/cyclotomic trace square into p -1 summands (which is independent of the conjectures), expanding on certain splittings discovered by Rognes [29, § 3] (in the case of regular primes); see Theorem 5.1.

The identification of the maps in Section 3 allows us to prove the following theorem, which slightly sharpens Theorem 1.2.

Theorem 1.3. Let p be an odd prime. Let α : π TC ∗ ( S ) → π j ∗ be the induced map on homotopy groups given by the composite of the canonical maps TC ( S ) → THH ( S ) /similarequal S and S → j ; let β : π K ∗ ( Z ) → π j ∗ be the canonical splitting; and let γ : π TC ∗ ( S ) → π ∗ Σ S 1 → π ∗ Σ j be the map induced by the splitting of (2.3) below. Then the p -torsion subgroup of π K ∗ ( S ) maps isomorphically to the subgroup of the p -torsion subgroup of π TC ∗ ( S ) ⊕ π K ∗ ( Z ) where the appropriate projections composed with α and β agree and the appropriate projection composed with γ is zero.

Theorems 1.2 and 1.3 provide a good understanding of what the linearization/cyclotomic trace square does on the odd torsion part of the homotopy groups. In contrast, the maps on mod torsion homotopy groups are not fully understood. We have that π K n ( S ) and π K n ( Z ) mod torsion are rank one for n = 0 and n ≡ 1 mod 4, n &gt; 1; the map K ( S ) → K ( Z ) is a rational equivalence and an isomorphism in degree zero, but is not an isomorphism on mod torsion homotopy groups in degrees congruent to 1 mod 2( p -1) by the work of Klein-Rognes (see the proof of [14, 6.3.(i)]). The mod torsion homotopy groups of TC ( S ) ∧ p are rank one in degree zero and odd degrees ≥ -1; the map K ( S ) ∧ p → TC ( S ) ∧ p on mod torsion homotopy groups is an isomorphism in degree zero, by necessity zero in degrees not congruent to 1 mod 4, and for odd regular primes an isomorphism in degrees congruent to 1 mod 4. For irregular primes, the map is not fully understood.

In principle, we can use Theorem 1.2 to calculate π K ∗ ( S ) in low degrees. In practice, we are limited by a lack of understanding of π ∗ C P ∞ -1 and π K ∗ ( Z ); we know π ∗ S and π c ∗ in a comparatively larger range. The calculations of π ∗ C P ∞ -1 for ∗ &lt; β | 2 | -1 = (2 p +1)(2 p -2) -3 in [29, 4.7] work for irregular primes as well as odd regular primes; although they only give the order of the torsion rather than the torsion group, in many cases the order is either 1 or p , and the group structure is also determined. At primes that satisfy the Kummer-Vandiver conjecture, we know π K ∗ ( Z ) in terms of Bernoulli numbers; at other primes we know π K ∗ ( Z ) in odd degrees, but do not know K 4 n Z at all (except n = 0 1) and only know the order , of π 4 n +2 K ( Z ) and again only in terms of Bernoulli numbers. As the formula [29, 4.7] for π ∗ C P ∞ -1 is somewhat messy, we do not summarize the answer here, but for convenience, we have included it in Section 6.

As a consequence of the work of Rognes [29, 3.6,3.8], the cyclotomic trace

$$\ t r c _ { p } \colon K ( \mathbb { S } ) _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { S } ) _ { p } ^ { \wedge }$$

is injective on homotopy groups at odd regular primes. In Theorem 1.2 above, the contribution in tor p ( π K ∗ ( S )) of p -torsion from tor p ( π K ∗ red ( Z )) maps to zero in π TC ∗ ( S ) under the cyclotomic trace. This then gives the following complete answer to the question the authors posed in [3]:

Corollary 1.4. For an odd prime p , the cyclotomic trace trc p : K ( S ) ∧ p → TC ( S ) ∧ p is injective on homotopy groups if and only if p is regular.

Theorem 1.1 contains the following more general injectivity result.

Corollary 1.5. For an odd prime p , the map of ring spectra

$$K ( \mathbb { S } ) _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { S } ) _ { p } ^ { \wedge } \times K ( \mathbb { Z } ) _ { p } ^ { \wedge }$$

is injective on homotopy groups.

Conventions. Throughout this paper p denotes an odd prime. For a ring R , we write R × for its group of units.

Acknowledgments. The authors especially thank Lars Hesselholt for many helpful conversations and for comments on a previous draft that led to substantial sharpening of the results. We are grateful to an anonymous referee who wrote an extremely careful and detailed report, which led to many improvements and corrections. The authors also thank Mark Behrens, Bill Dwyer, Tom Goodwillie, John Greenlees, Mike Hopkins, Thomas Kragh, Tyler Lawson, and Birgit Richter for helpful conversations, John Rognes for useful comments, and the IMA and MSRI for their hospitality while some of this work was done.

The first author was supported in part by NSF grant DMS-1151577; the second author was supported in part by NSF grants DMS-1105255, DMS-1505579.

## 2. The spectra in the linearization/cyclotomic trace square

We begin by reviewing the descriptions of the spectra TC ( S ) ∧ p , K ( Z ) ∧ p , and TC ( Z ) ∧ p in the p -completed linearization/cyclotomic trace square

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0133v3-figure-9faa898a-50f3-4d18-8da0-4ebd0e5fcf73.jpg)

/d47

These three spectra have been identified in more familiar terms up to weak equivalence. We discuss how canonical these weak equivalences are. Often this will involve studying splittings of the form X /similarequal Y ∨ Z (or with additional summands). We will say that the splitting is canonical when we have a canonical isomorphism in the stable category X /similarequal X ′ ∨ X ′′ with X ′ and X ′′ (possibly non-canonically) isomorphic in the stable category to Y and Z ; we will say that the identification of the summand Y is canonical when further the isomorphism in the stable category X ′ /similarequal Y is canonical.

To illustrate the above terminology, and justify its utility, consider the example when X is non-canonically weakly equivalent to Y ∨ Z and [ Y, Z ] = 0 = [ Z, Y ] (where [ - -, ] denotes maps in the stable category). In the terminology above, this gives an example of a canonical splitting X /similarequal Y ∨ Z without canonical identification of the summands. As another example, if we have a canonical map Y → X in the stable category and a canonical map X → Y in the stable category giving a retraction, then we have a canonical splitting with canonical identification of summands X /similarequal Y ∨ F where F is the homotopy fiber of the retraction map X → Y . In this second example if we also have a non-canonical weak equivalence Z → F , we then have a canonical splitting X /similarequal Y ∨ Z with a canonical identification of the summand Y (but not the summand Z ).

The splitting of TC ( S ) ∧ p . Historically, TC ( S ) ∧ p was the first of the terms in the linearization/cyclotomic trace square to be understood. Work of B¨kstedt-Hsiango Madsen [4, 5.15,5.17] identifies the homotopy type of TC ( S ) ∧ p as

$$T C ( \mathbb { S } ) _ { p } ^ { \wedge } \simeq \mathbb { S } _ { p } ^ { \wedge } \vee \Sigma ( \mathbb { C } P _ { - 1 } ^ { \infty } ) _ { p } ^ { \wedge }.$$

The inclusion of the S summand is the unit of the ring spectrum structure and is split by the canonical map TC ( S ) ∧ p → THH ( S ) ∧ p and canonical identification

S ∧ p /similarequal THH ( S ) ∧ p (also induced by the ring spectrum structure). We therefore get a canonical isomorphism in the stable category between TC ( S ) ∧ p and S ∧ p ∨ Cu ∧ p where Cu ∧ p is the homotopy cofiber of the map S ∧ p → TC ( S ) ∧ p ; in the terminology at the beginning of the section, this is a canonical splitting with canonical identification

$$T C ( \mathbb { S } ) _ { p } ^ { \wedge } \simeq \mathbb { S } _ { p } ^ { \wedge } \vee C u _ { p } ^ { \wedge }.$$

We have a canonical splitting with non-canonical identification TC ( S ) ∧ p /similarequal S ∧ p ∨ Σ( C P ∞ -1 ) ∧ p .

As already indicated, we make use of a further splitting from [29, § 3] (see also the remarks preceding [19, (1.3)]),

$$( \mathbb { C } P _ { - 1 } ^ { \infty } ) _ { p } ^ { \wedge } \simeq \mathbb { S } _ { p } ^ { \wedge } \vee \overline { \mathbb { C } P } _ { - 1 } ^ { \infty },$$

induced by the splitting Σ ∞ + C P ∞ /similarequal Σ ∞ C P ∞ ∨ S . The splitting exists after inverting 2, but for notational convenience, we use it only after p -completion. It follows that there exists an analogous splitting

$$C u _ { p } ^ { \wedge } \simeq \Sigma \mathbb { S } _ { p } ^ { \wedge } \vee \overline { C u }.$$

There is a canonical map Σ S ∧ p → TC ( S ) ∧ p in the stable category arising from [4, 5.15-17], which in particular gives a canonical isomorphism

$$\pi _ { 1 } ( T C ( \mathbb { S } ) _ { p } ^ { \wedge } ) \cong \lim \mathbb { Z } / p ^ { n }.$$

Ravenel's calculation [22, 1.11.(iii)] reveals that [ C P ∞ -1 , S ∧ p ] ∼ = Z ∧ p , so there is a unique map Cu ∧ p → Σ S ∧ p in the stable category such that the composite self-map of Σ S ∧ p is the identity.

Finally, we have a canonical isomorphism of homotopy groups π ∗ S ∧ p ∼ = π ∗ ( j ) ⊕ π ∗ ( c ) from classical work in homotopy theory on Whitehead's J -homomorphism and Bousfield's work on localization of spectra [7, § 4]. As above, j denotes the connective cover of the K (1)-localization of the sphere spectrum and c denotes the homotopy fiber of the map S ∧ p → j . The map S ∧ p → j induces an isomorphism from the p -Sylow subgroup of the image-ofJ subgroup of π q S ∧ p to π j q .

Putting this all together, we have a canonical isomorphism

$$\pi _ { * } T C ( \mathbb { S } ) _ { p } ^ { \wedge } \cong \pi _ { * } ( j ) \oplus \pi _ { * } ( c ) \oplus \pi _ { * } ( \Sigma j ) \oplus \pi _ { * } ( \Sigma c ) \oplus \pi _ { * } ( \overline { C u } ).$$

The splitting of TC ( Z ) ∧ p . Next up historically is TC ( Z ), which was first identified by B¨ okstedt-Madsen [5, 6] and Rognes [26]. They expressed the answer on the infinite-loop space level and (equivalently) described the connective cover spectrum TC ( Z ) ∧ p [0 , ∞ ) as having the homotopy type of

$$j \vee \Sigma j \vee \Sigma ^ { 3 } k u _ { p } ^ { \wedge } \simeq j \vee \Sigma j \vee \Sigma ^ { 3 } \ell \vee \Sigma ^ { 5 } \ell \vee \cdots \vee \Sigma ^ { 3 + 2 ( p - 2 ) } \ell$$

(non-canonical isomorphism in the stable category). Here ku denotes connective complex topological K -theory (the connective cover of periodic complex topological K -theory KU ), and /lscript denotes the Adams summand of ku ∧ p (the connective cover of the Adams summand L of KU ∧ p ). A standard calculation (e.g., see [18, 2.5.7]) shows that before taking the connective cover π -1 ( TC ( Z ) ∧ p ) is free of rank one over Z ∧ p , and as we explain in the subsection on the homotopy type of TC ( Z ) ∧ p below, the argument for [29, 3.3] extends to show that summand Σ 3+2( p -3) /lscript above becomes Σ -1 /lscript in TC ( Z ) ∧ p .

The non-canonical splitting above rigidifies into a canonical splitting and canonical identification

$$( 2. 4 ) \ T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \simeq j \vee \Sigma j ^ { \prime } \vee \Sigma ^ { - 1 } \ell _ { T C } ( 0 ) \vee \Sigma ^ { - 1 } \ell _ { T C } ( p ) \vee \Sigma ^ { - 1 } \ell _ { T C } ( 2 ) \vee \cdots \vee \Sigma ^ { - 1 } \ell _ { T C } ( p - 2 ).$$

Here the numbering replaces 1 with p but otherwise numbers sequentially 0,. . . , p -2. Each Σ -1 /lscript TC ( ) is i a spectrum that is non-canonically weakly equivalent to Σ 2 i -1 /lscript ∼ = Σ 2 i (Σ -1 /lscript ) but that admits a canonical description by work of Hesselholt-Madsen [12, Th. D] and Dwyer-Mitchell [9, § 13] in terms of units of cyclotomic extensions of Q ∧ p ; we omit a detailed description of the identification as we do not use it. The spectrum j ′ is the connective cover of the K (1)-localization of the ( Z ∧ p ) × -Moore spectrum M ( Z ∧ × p ) , or equivalently, the p -completion of j ∧ M ( Z ∧ × p ) . Since the p -completion of ( Z ∧ p ) × is non-canonically isomorphic to Z ∧ p , we have that j ′ is non-canonically weakly equivalent to j but with π j 0 ′ canonically isomorphic to (( Z ∧ p ) × ) ∧ p (and isomorphisms in the stable category from j to j ′ are in canonical bijection with isomorphisms Z ∧ p → (( Z ∧ p ) × ) ∧ p ). Much of the canonical splitting in (2.4) follows by a calculation of maps in the stable category. Temporarily writing x (0) = j ∨ Σ -1 /lscript , x (1) = Σ j ∨ Σ 2 p -1 /lscript , and x i ( ) = Σ 2 i -1 /lscript for i = 2 , . . . , p -2, the results above give us a canonical splitting without canonical identification (see the start of this section for an explanation of this terminology)

$$T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \simeq x ( 0 ) \vee \dots \vee x ( p - 2 )$$

/negationslash because for i = i ′ , we have [ x i , x i ( ) ( ′ )] = 0; we provide a detailed computation as Proposition 2.14 at the end of the section. The canonical map S → j induces an isomorphism [ j, T C ( Z ) ∧ p ] ∼ = π 0 ( TC ( Z ) ∧ p ) and so we have a canonical map η : j → TC ( Z ) ∧ p coming from the unit of the ring spectrum structure. Likewise, the canonical map M ( Z ∧ × p ) → j ′ induces an isomorphism

$$[ \Sigma j ^ { \prime }, T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ] \cong [ \Sigma M _ { ( \mathbb { Z } _ { p } ^ { \wedge } ) ^ { \times } }, T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ] \cong \text{Hom} ( ( ( \mathbb { Z } _ { p } ^ { \wedge } ) ^ { \times } ) _ { p } ^ { \wedge }, \pi _ { 1 } T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ).$$

The canonical isomorphism π TC 1 ( Z ) ∧ p ∼ = (( Z ∧ p ) × ) ∧ p [12, Th. D], then gives a canonical map u : Σ j ′ → TC ( Z ) ∧ p . The restriction along η and u induce bijections

$$[ T C ( \mathbb { Z } ) _ { p } ^ { \wedge }, j ] \cong [ j, j ] \quad \text{and} \quad [ T C ( \mathbb { Z } ) _ { p } ^ { \wedge }, \Sigma j ^ { \prime } ] \cong [ \Sigma j ^ { \prime }, \Sigma j ^ { \prime } ]$$

(q.v. Proposition 2.15 below), giving retractions to η and u that are unique in the stable category. This gives a canonical splitting and identification of the j and Σ j ′ summands in (2.4).

The splitting of K ( Z ) ∧ p . The homotopy type of K ( Z ) ∧ p is still not fully understood at irregular primes even in light of the confirmation of the Quillen-Lichtenbaum conjecture. The Quillen-Lichtenbaum conjecture implies that K ( Z ) ∧ p can be understood in terms of its K (1)-localization L K (1) K ( Z ), and work of Dwyer-Friedlander [10] or Dwyer-Mitchell [9, 12.2] identifies the homotopy type of K ( Z ) ∧ p at regular odd primes as j ∨ Σ 5 ko ∧ p (non-canonically). At any prime, Quillen's Brauer induction and reduction mod r (for r prime a generator of ( Z /p 2 ) × ) induce a splitting

$$K ( \mathbb { Z } ) _ { p } ^ { \wedge } \simeq j \vee K ^ { \text{red} } ( \mathbb { Z } )$$

for some p -complete spectrum we denote as K red ( Z ) (see for example, [9, 2.1,5.4,9.7]). We argue in Proposition 2.17 at the end of this section (once we have reviewed more about K red ( Z )) that [ j, K red ( Z )] = 0 and [ K red ( Z ) , j ] = 0, and it follows that the

splitting in (2.5) is canonical; the identification of the summand j is also canonical, as the map j → K ( Z ) described is then the unique one taking the canonical generator of π j 0 to the unit element of π K 0 ( Z ) in the ring spectrum structure.

The splitting K ( Z ) ∧ p /similarequal j ∨ K red ( Z ) corresponds to a splitting

$$L _ { K ( 1 ) } K ( \mathbb { Z } ) \simeq J \vee L _ { K ( 1 ) } K ^ { \text{red} } ( \mathbb { Z } )$$

where J = L K (1) S is the K (1)-localization of S . We have that K red ( Z ) is 4connected [16, 17, 27] and the Quillen-Lichtenbaum conjecture (as reformulated by Waldhausen [34, § 4]) implies that K ( Z ) ∧ p → L K (1) K ( Z ) induces an isomorphism on homotopy groups in degrees 2 and above. Thus, K red ( Z ) is the 4-connected cover of L K (1) K red ( Z ). This makes it straightforward to convert statements about the homotopy type of L K (1) K red ( Z ) into statements about the homotopy type of K red ( Z ) ∧ p .

A lot about L K (1) K ( Z ) is known by work of Dwyer-Mitchell [9], which studies L K (1) K R ( F ) where R F = O F [1 /p ] is the ring of p -integers in a number field; in the case F = Q , R F = Z [1 /p ]. By Quillen's localization theorem (and the triviality of L K (1) K ( F p ) /similarequal L K (1) H Z ∧ p ),

$$L _ { K ( 1 ) } K ( \mathbb { Z } ) \simeq L _ { K ( 1 ) } K ( \mathbb { Z } [ 1 / p ] )$$

and [9, 1.7] in particular computes ( KU ∧ p ) ∗ ( K red ( Z )) together with the action of ( KU ∧ p ) 0 ( KU ∧ p ) in number theoretic terms in terms of the Iwasawa module M . Let µ p n denote the p n th roots of unity and let µ p ∞ = ⋃ µ p n . The Iwasawa module M is then the Galois group of the maximal abelian p -extension of Q ( µ p ∞ ) unramified except at p . It comes with an action of Γ ′ = Gal( Q ( µ p ∞ ) / Q ) and its completed group ring, typically denoted as Λ ′ in Iwasawa theory. The canonical isomorphism Γ = ( ′ ∼ Z ∧ p ) × (induced by the canonical isomorphisms Aut( µ p n ) = ( ∼ Z /p n ) × ) and the interpolation of Adams operations on KU ∧ p to p -adic units gives an isomorphism between Γ ′ and this group of p -adically interpolated Adams operations, and induces an isomorphism of Z ∧ p -algebras Λ ′ ∼ = ( KU ∧ p ) 0 ( KU ∧ p ). From here on, we identify these two algebras via this isomorphism, the utility of which is explained in [9, § 4, § 6]. The main result of Dwyer-Mitchell [9, 1.7] proves

$$( K U _ { p } ^ { \wedge } ) ^ { 0 } ( K ^ { \text{red} } ( \mathbb { Z } ) ) & = 0 \\ ( K U _ { p } ^ { \wedge } ) ^ { - 1 } ( K ^ { \text{red} } ( \mathbb { Z } ) ) & \cong M$$

as Λ -algebras. As discussed in [9, ′ § 8], M is finitely generated projective dimension one as a Λ -module. Working in terms of ′ L , the Adams summand of KU ∧ p , it follows that L ∗ ( K red ( Z )) is concentrated in odd degrees where it is a finitely generated projective dimension one L L 0 -module in each degree. In particular, L K (1) K red ( Z ) splits

$$L _ { K ( 1 ) } K ^ { \text{red} } ( \mathbb { Z } ) \simeq Y _ { 0 } \vee \dots \vee Y _ { p - 2 }$$

where Y i is the fiber of a map from a finite wedge of copies of Σ 2 i -1 L to a finite wedge of copies of Σ 2 i -1 L , giving an L L 0 -resolution of the module L 2 i -1 Y i . We note that [ Y , Y i i ′ ] = 0 unless i = i ′ .

/negationslash

Letting y i be the 4-connected cover of Y i , we show below in Proposition 2.18 that [ y , y i i ′ ] = 0 for i = i ′ and so obtain a canonical splitting and canonical identification of summands

$$K ( \mathbb { Z } ) _ { p } ^ { \wedge } \simeq j \vee y _ { 0 } \vee \dots \vee y _ { p - 2 }.$$

Dwyer-Mitchell [9, 8.10] relates the L L 0 -modules L 2 i -1 Y i to class groups of cyclotomic fields. Write A m for the p -Sylow subgroup of the ideal class group of the cyclotomic field Q ( µ p m +1 ), and let A ∞ denote the inverse limit of A m over the norm maps, with its natural structure of a Λ -module. ′ Usual notation is to write Γ for the subgroup of Γ ′ given by Gal( Q ( µ p ∞ ) / Q ( µ p )), or equivalently, the subgroup of ( Z ∧ p ) × of p -adic units that are congruent to 1 mod p . Writing ∆ for Gal( Q ( µ p ) / Q ), or equivalently, ( Z /p ) × , the Teichm¨ller character u ω : ∆ → ( Z ∧ p ) × then induces a splitting Γ ′ ∼ = Γ × ∆, which in turn induces an isomorphism Λ ′ = Λ[∆], for a certain subring Λ of Λ . ′ In these terms, [9, 8.10] gives an exact sequence

$$( 2. 7 ) \ \ 0 \longrightarrow \text{Ext} _ { \Lambda } ^ { 1 } ( A _ { \infty }, \Lambda ) \longrightarrow ( K U _ { p } ^ { \hat { \jmath } } ) ^ { 1 } ( K ^ { \text{red} } ( \mathbb { Z } ) ) \longrightarrow \text{Hom} _ { \Lambda } ( E _ { \infty } ^ { \prime } ( \text{red} ), \Lambda ) \longrightarrow \\ \text{Ext} _ { \Lambda } ^ { 2 } ( A _ { \infty }, \Lambda ) \longrightarrow 0.$$

(Note that in the case under consideration here, A ∞ ′ is also isomorphic to the Λ -′ modules denoted L ∞ and A ′ ∞ in [9], q.v. § 12.) Here E ∞ (red) is a certain Λ -module ′ defined in terms of cyclotomic units, the details of which will not come into play here, except to note that by [9, 9.10], E ′ ∞ (red) is non-canonically isomorphic to ( KU ∧ p ) 0 ( KO ∧ p ) as a Λ -module. ′

To decompose (2.7) in terms of the Y i , we employ the 'Adams splitting' or 'eigensplitting' of ∆-equivariant Z ∧ p -modules. Any Z ∧ p [∆]-module X decomposes as a direct sum of pieces corresponding to the powers ω j of the Teichm¨ller character u ω : ∆ → ( Z ∧ p ) × . The ω j -character piece /epsilon1 j X is the submodule where the element α of ∆ acts by multiplication by ω j ( α ) ∈ Z ∧ p (for all α ∈ ∆). (For Λ ′ = Λ[∆]-modules, the ω j character piece is the summand where ψ ω α ( ) acts by ω j ( α ) for all α ∈ ∆.) This relates to the Adams decomposition of KU ∧ p as

$$\epsilon _ { j } ( ( K U _ { p } ^ { \wedge } ) ^ { q } ( Z ) ) \cong L ^ { 2 j + q } ( Z )$$

for any spectrum Z , and

$$( \Sigma ^ { 2 j } L ) ^ { 0 } ( \Sigma ^ { 2 j } L ) \xrightarrow { \cong } ( K U _ { p } ^ { \wedge } ) ^ { 0 } ( \Sigma ^ { 2 j } L ) \longrightarrow ( K U _ { p } ^ { \wedge } ) ^ { 0 } ( K U _ { p } ^ { \wedge } ) = \Lambda ^ { \prime }$$

is reasonably interpreted as the inclusion of /epsilon1 j Λ . ′ (The projection ( KU ∧ p ) 0 ( KU ∧ p ) → (Σ 2 j L ) 0 (Σ 2 j L ) induces an isomorphism of rings from Λ to (Σ 2 j L ) 0 (Σ 2 j L ).) In ∆equivariant terms, the exact sequence (2.7) is better written as

$$0 \longrightarrow \text{Ext} _ { \Lambda } ^ { 1 } ( A _ { \infty }, L ^ { 0 } L ) \longrightarrow ( K U _ { p } ^ { \wedge } ) ^ { 1 } ( K ^ { \text{red} } ( \mathbb { Z } ) ) \longrightarrow \text{Hom} _ { \Lambda } ( E _ { \infty } ^ { \prime } ( \text{red} ), L ^ { 0 } L ) \longrightarrow \\ \text{Ext} _ { \Lambda } ^ { 2 } ( A _ { \infty }, L ^ { 0 } L ) \longrightarrow 0.$$

(q.v. [9, 8.11]) with the canonical action of ∆ on Hom and Ext . i Taking the /epsilon1 j piece of the ∆-eigensplitting of this sequence, we get exact sequences

$$0 \longrightarrow \text{Ext} _ { \Lambda } ^ { 1 } ( \epsilon _ { - j } A _ { \infty }, L ^ { 0 } L ) \longrightarrow L ^ { 2 j + 1 } Y _ { j + 1 } \longrightarrow \text{Hom} _ { \Lambda } ( \epsilon _ { - j } E _ { \infty } ^ { \prime } ( \text{red} ), L ^ { 0 } L ) \longrightarrow \\ \text{Ext} _ { \Lambda } ^ { 2 } ( \epsilon _ { - j } A _ { \infty }, L ^ { 0 } L ) \longrightarrow 0$$

/negationslash since L 2 +1 j Y k = 0 for k = j + 1 (where we understand Y p -1 = Y 0 ). Now Hom ( Λ /epsilon1 -j E ′ ∞ (red) , L 0 L ) is zero when j is odd and a free Λ-module of rank 1 when j is even. Specifically, Y i is closely related to /epsilon1 j A ∞ for i + j ≡ 1 mod ( p -1).

For fixed p , several of the ω j -character pieces of A ∞ are always zero. In particular, /epsilon1 0 A 0 = 0 (because it is canonically isomorphic to the p -Sylow subgroup of the projective class group of Z ) and [35, 10.7] then implies that /epsilon1 0 A ∞ = 0. From the

exact sequence above, L Y 1 1 ∼ = L L 0 (non-canonically) and so Y 1 is non-canonically weakly equivalent to Σ L . It follows that y 1 is non-canonically weakly equivalent to Σ 1+2( p -1) /lscript . In terms of K ( Z ) ∧ p , we obtain a further canonical splitting (without canonical identification) K red ( Z ) /similarequal Σ 2 p -1 /lscript ∨ K red# ( Z ) for some p -complete spectrum K red# ( Z ). We use the identification of y 1 as a key step in the proof of Theorem 1.1 in Section 4.

Another useful vanishing result is /epsilon1 1 A 0 = 0 [35, 6.16]. As a consequence, we see that

$$Y _ { 0 } & \simeq *.$$

This simplifies some formulas and arguments.

/negationslash

/negationslash

Although these are the only results we use, other vanishing results for /epsilon1 j A give other vanishing results for the summands Y i . Herbrand's Theorem [35, 6.17] and Ribet's Converse [24], [35, 15.8] state that for 3 ≤ j ≤ p -2 odd, /epsilon1 j A 0 = 0 if and only if p B | p -j where B n denotes the Bernoulli number, numbered by the convention t e t -1 = ∑ B n n t n ! . We see that for p -3 ≥ i ≥ 2 even, Y i /similarequal ∗ when p does not divide B i +1 . In particular, Y 2 , Y 4 , Y 6 , Y 8 , and Y 10 are trivial, Y 12 is trivial for p = 691, and for every even i , Y i is only nontrivial for finitely many primes.

Aprime p is regular precisely when p does not divide the class number of Q ( ζ p ), or in other words, when A 0 = 0 and therefore A ∞ = 0. Then for an odd regular prime, we have that Y 2 k is trivial for all k and Y 2 k +1 is non-canonically weakly equivalent to Σ 4 k +1 L . It follows that L K (1) K red ( Z ) is non-canonically weakly equivalent to Σ KO ∧ p and K red ( Z ) is non-canonically weakly equivalent to Σ 5 ko ∧ p , since K red ( Z ) is the 4-connected cover of L K (1) K red ( Z ). This leads precisely to the description of K ( Z ) ∧ p as non-canonically weakly equivalent to j ∨ Σ 5 ko ∧ p , as indicated above.

Now consider the case when p satisfies the Kummer-Vandiver condition. This means that p does not divide the class number of Q ( ζ p + ζ -1 p ) (the fixed field of Q ( ζ p ) under complex conjugation). The p -Sylow subgroup is precisely the subgroup of A 0 fixed by complex conjugation, which is the internal direct sum of /epsilon1 j A 0 for 0 ≤ j &lt; p -1 even. It follows that /epsilon1 j A 0 = 0 for j even, and so again Y 2 k +1 is non-canonically weakly equivalent to Σ 4 k +1 L ; this splits a copy of Σ KO ∧ p (with non-canonical identification) off L K (1) K red as in [9, 12.2]. Now the even summands Y 2 k may be non-zero, but the Λ-modules /epsilon1 j A ∞ are cyclic for j odd (see for example, [35, 10.16]) and Y 2 k is (non-canonically) weakly equivalent to the homotopy fiber of a map Σ 4 k -1 L → Σ 4 k -1 L determined by the p -adic L -function L p ( s ω ; 2 k ) [9, 12.2]. As above, Y 0 /similarequal ∗ and in the other cases, for n &gt; 0, n ≡ 2 k -1 mod ( p -1),

$$\pi _ { 2 n } Y _ { 2 k } & \cong \mathbb { Z } _ { p } ^ { \wedge } / L _ { p } ( - n, \omega ^ { 2 k } ) = \mathbb { Z } _ { p } ^ { \wedge } / \left ( \frac { B _ { n + 1 } } { n + 1 } \right ) \\ \pi _ { 2 n + 1 } Y _ { 2 k } & = 0$$

/negationslash

(non-canonical isomorphisms). The groups are of course zero for n ≡ 2 k -1 mod ( p -1). (For n &lt; 0, n ≡ 2 k -1 mod ( p -1), the L -function formula for π 2 n Y 2 k still holds, and π 2 n +1 Y 2 k = 0 still holds provided the value of the L -function is non-zero. If the value of the L -function is zero, then π 2 n +1 Y 2 k ∼ = Z ∧ p , though it is conjectured [30, 15] that this case never occurs.)

For p not satisfying the Kummer-Vandiver condition, the odd summands satisfy

$$\pi _ { 2 n } Y _ { 2 k + 1 } = \text{finite}$$

$$\pi _ { 2 n } Y _ { 2 k + 1 } = \text{finite} \\ \pi _ { 2 n + 1 } Y _ { 2 k + 1 } \cong \mathbb { Z } _ { p } ^ { \wedge }$$

(non-canonical isomorphism) for ∗ n ≡ 2 k mod ( p -1) (and zero otherwise) with the finite group unknown. As always Y 0 /similarequal ∗ , and the Mazur-Wiles theorem [20], [35, 15.14] implies that in the even summands,

$$& \# ( \pi _ { 2 n } Y _ { 2 k } ) = \# \left ( \mathbb { Z } _ { p } ^ { \wedge } / \left ( \frac { B _ { n + 1 } } { n + 1 } \right ) \right ) \\ & \pi _ { 2 n + 1 } Y _ { 2 k } = 0$$

/negationslash for n &gt; 0, n ≡ 2 k -1 mod ( p -1) (and π 2 n Y 2 k = 0 for n ≡ 2 k -1 mod ( p -1)), although the precise group in the first case is unknown. (In this case, for n &lt; 0, n ≡ 2 k -1 mod ( p -1), it is known that #( π 2 n Y 2 k ) = #( Z ∧ p /L p ( -n, ω 2 k )) and π 2 n +1 Y 2 k = 0, provided L p ( -n, ω 2 k ) is non-zero. If L p ( -n, ω 2 k ) = 0, then π 2 n Y 2 k ∼ = Z ∧ p ⊕ finite and π 2 n +1 Y 2 k ∼ = Z ∧ p , non-canonically.) For more on the homotopy groups of K ( Z ), see for example [36, § VI.10].

Supporting calculations. In several places above, we claimed (implicitly or explicitly) that certain hom sets in the stable category were zero. Here we review some calculations and justify these claims. All of these computations follow from well-known facts about the spectrum L together with standard facts about maps in the stable category. In particular, in several places, we make use of the fact that for a K (1)-local spectrum Z , the localization map X → L K (1) X induces an isomorphism [ L K (1) X,Z ] → [ X,Z ]; also, several times we make use of the fact that if X is ( n -1)-connected, then the ( n -1)-connected cover map Z n, [ ∞ → ) Z induces an isomorphism [ X,Z n, [ ∞ → )] [ X,Z ]. We begin with results on [ /lscript, Σ q /lscript ].

Proposition 2.9. The map [ /lscript, Σ q /lscript ] → [ /lscript, Σ q L ] ∼ = [ L, Σ q L ] is an injection for q ≤ 2(2 p -2). In particular, [ /lscript, Σ q /lscript ] = 0 if q ≡ 0 mod (2 p -2) and q &lt; 2(2 p -2).

/negationslash

Proof. We have a cofiber sequence

$$\Sigma ^ { q - 1 - ( 2 p - 2 ) } H \mathbb { Z } _ { p } ^ { \wedge } \longrightarrow \Sigma ^ { q } \ell \longrightarrow \Sigma ^ { q - ( 2 p - 2 ) } \ell \longrightarrow \Sigma ^ { q - ( 2 p - 2 ) } H \mathbb { Z } _ { p } ^ { \wedge },$$

and a corresponding long exact sequence

$$\cdots \longrightarrow [ \ell, \Sigma ^ { q - 1 - ( 2 p - 2 ) } H \mathbb { Z } _ { p } ^ { \wedge } ] \longrightarrow [ \ell, \Sigma ^ { q } \ell ] \longrightarrow [ \ell, \Sigma ^ { q - ( 2 p - 2 ) } \ell ] \longrightarrow \cdots.$$

First we note that the map [ /lscript, Σ q /lscript ] → [ /lscript, Σ q -(2 p -2) /lscript ] is injective for q ≤ 2(2 p -2): When q = (2 p -2) + 1 this follows from the fact that

/negationslash

$$[ \ell, \Sigma ^ { q - 1 - ( 2 p - 2 ) } H \mathbb { Z } _ { p } ^ { \wedge } ] = H ^ { q - 1 - ( 2 p - 2 ) } ( \ell ; \mathbb { Z } _ { p } ^ { \wedge } ) = 0$$

for q - -1 (2 p -2) &lt; (2 p -2) unless q - -1 (2 p -2) = 0. In the case q = (2 p -2)+1, the image of [ /lscript, Σ 0 H Z ∧ p ] in [ /lscript, Σ q /lscript ] in the long exact sequence is still zero because the map [ /lscript, /lscript ] → [ /lscript, H Z ∧ p ] ∼ = Z ∧ p is surjective. Now when q -(2 p -2) &lt; p 2 -2,

$$[ \ell, \Sigma ^ { q - ( 2 p - 2 ) } \ell ] \cong [ \ell, \Sigma ^ { q - ( 2 p - 2 ) } L ] \cong [ L, \Sigma ^ { q - ( 2 p - 2 ) } L ]$$

since then Σ q -(2 p -2) /lscript → Σ q -(2 p -2) L is a weak equivalence on connective covers. For the remaining case q = 2(2 p -2), we have seen that the map [ /lscript, Σ q /lscript ] →

∗ The published version has 2 k +1 here, which is incorrect

[ /lscript, Σ q -(2 p -2) /lscript ] is an injection and the map [ /lscript, Σ q -(2 p -2) /lscript ] → [ /lscript, Σ q -(2 p -2) L ] is an injection. /square

Next, using the cofiber sequence

$$\Sigma ^ { - 1 } \ell \longrightarrow \Sigma ^ { ( 2 p - 2 ) - 1 } \ell \longrightarrow j \longrightarrow \ell$$

and applying the previous result, we obtain the following calculation.

Proposition 2.10. [ j, Σ q /lscript ] = 0 if q ≡ 0 mod (2 p -2) and q &lt; 2(2 p -2).

/negationslash

Proof. Looking at the long exact sequence

$$\cdots \longrightarrow [ \ell, \Sigma ^ { q } \ell ] \longrightarrow [ j, \Sigma ^ { q } \ell ] \longrightarrow [ \Sigma ^ { ( 2 p - 2 ) - 1 } \ell, \Sigma ^ { q } \ell ] \longrightarrow [ \Sigma ^ { - 1 } \ell, \Sigma ^ { q } \ell ] \longrightarrow \cdots$$

/negationslash and using the isomorphism [Σ (2 p -2) -1 /lscript, Σ q /lscript ] ∼ = [ /lscript, Σ q +1 -(2 p -2) /lscript ] we have that both [ /lscript, Σ q /lscript ] and [Σ (2 p -2) -1 /lscript, Σ q /lscript ] are 0 when q ≡ 0 , -1 mod (2 p -2) and q ≤ 2(2 p -2). In the case when q ≡ -1 mod (2 p -2), using also the isomorphism [Σ -1 /lscript, Σ q /lscript ] ∼ = [ /lscript, Σ q +1 /lscript ], we have a commutative diagram

/d47

/d47

/d15

/d15

/d15

/d15

$$[ \ell, \Sigma ^ { q + 1 - ( 2 p - 2 ) } \ell ] \xrightarrow { \coprod } [ \ell, \Sigma ^ { q + 1 } \ell ] \\ [ L, \Sigma ^ { q + 1 - ( 2 p - 2 ) } L ] \xrightarrow { \coprod } [ L, \Sigma ^ { q + 1 } L ]$$

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

where the feathered arrows are known to be injections. The statement now follows in this case as well. /square

For maps the other way, we have the following result. The proof is similar to the proof of the previous proposition.

Proposition 2.11. [Σ q /lscript, j ] = 0 if q ≡ -1 mod (2 p -2) and q ≥ -(2 p -2).

/negationslash

We also have the following result for q = -1.

Proposition 2.12. [Σ -1 /lscript, j ] = 0

Proof. Let j -1 = J [ -1 , ∞ ) where J = L K (1) S /similarequal L K (1) j . Then we have a cofiber sequence Σ -2 Hπ -1 J → j → j -1 → Σ -1 Hπ -1 J and a long exact sequence

$$\cdots \rightarrow [ \Sigma ^ { - 1 } \ell, \Sigma ^ { - 2 } H \pi _ { - 1 } J ] \rightarrow [ \Sigma ^ { - 1 } \ell, j ] \rightarrow [ \Sigma ^ { - 1 } \ell, j _ { - 1 } ] \rightarrow [ \Sigma ^ { - 1 } \ell, \Sigma ^ { - 1 } H \pi _ { - 1 } J ] \rightarrow \cdots.$$

Since Σ -1 /lscript is ( -2)-connected, the inclusion of j -1 in J induces a bijection

$$[ \Sigma ^ { - 1 } \ell, j _ { - 1 } ] \longrightarrow [ \Sigma ^ { - 1 } \ell, J ] \cong [ \Sigma ^ { - 1 } L, J ].$$

It follows that a map Σ -1 /lscript → j -1 is determined by the map on π -1 , and therefore that the image of [Σ -1 /lscript, j ] in [Σ -1 /lscript, j -1 ] is zero. But H -2 (Σ -1 /lscript ; π -1 J ) = 0, so [Σ -1 /lscript, j ] = 0. /square

In the case of maps between suspensions of j , we only need to consider two cases:

Proposition 2.13. [ j, Σ ] = 0 and [Σ j j, j ] = 0.

Proof. As in the previous proof, we let j -1 = J [ -1 , ∞ ), and we use the cofiber sequence Σ -1 Hπ -1 J → Σ j → Σ j -1 → Hπ -1 J and the induced long exact sequence

$$\cdots \longrightarrow [ j, \Sigma ^ { - 1 } H \pi _ { - 1 } J ] \longrightarrow [ j, \Sigma j ] \longrightarrow [ j, \Sigma j _ { - 1 } ] \longrightarrow [ j, H \pi _ { - 1 } J ] \longrightarrow \cdots.$$

Since the connective cover of Σ J is Σ j -1 , we have that the map [ j, Σ j -1 ] → [ j, Σ ] J is a bijection, and the maps

$$[ J, \Sigma J ] \longrightarrow [ j, \Sigma J ] \longrightarrow [ \mathbb { S }, \Sigma J ] \cong \pi _ { - 1 } J$$

are isomorphisms. It follows that the map [ j, Σ j -1 ] → [ j, Hπ -1 J ] is an isomorphism. Since [ j, Σ -1 Hπ -1 J ] = 0, this proves [ j, Σ ] = 0. For the other calculation, j the map j → J induces a weak equivalence of 1-connected covers, and the induced map

$$[ \Sigma j, j ] \longrightarrow [ \Sigma j, J ] \cong [ \Sigma J, J ] \cong [ \Sigma \mathbb { S }, J ] = \pi _ { 1 } J = 0$$

is a bijection.

$$\Box$$

The following propositions are now clear.

Proposition 2.14. In the notation above, the summands x i ( ) of TC ( Z ) ∧ p satisfy [ x i , x i ( ) ( ′ )] = 0 for i = i ′ .

/negationslash

/negationslash

Proposition 2.15. Let k = 0 1. , In the notation above, [ x i , ( ) Σ k j ] = 0 for i = k and the inclusion of Σ k j in x k ( ) induces a bijection [ x k , ( ) Σ k j ] → [Σ k j, Σ k j ].

Eliminating the summands where maps out of j or Σ j are trivial, and looking at the connective and 0-connected covers of K (1)-localizations, we get the following proposition.

Proposition 2.16. The map S → j induces isomorphisms [ j, T C ( Z ) ∧ p ] ∼ = π TC 0 ( Z ) ∧ p and [Σ j, T C ( Z ) ∧ p ] ∼ = π TC 1 ( Z ) ∧ p .

For the summands of K ( Z ) ∧ p , we first consider the splitting of j .

$$\text{Proposition 2.17.} \ [ j, K ^ { \text{red} } ( \mathbb { Z } ) ] = 0 \text{ and } [ K ^ { \text{red} } ( \mathbb { Z } ), j ] = 0$$

Proof. As indicated above K red ( Z ) /similarequal y 0 ∨ · · · ∨ y p -2 . We have that y 1 is (noncanonically) weakly equivalent to Σ 2 p -1 /lscript , and applying Propositions 2.10, 2.11, we see that [ j, y 1 ] = 0 and [ y , j 1 ] = 0. In addition, y 2 /similarequal ∗ and y 0 /similarequal ∗ . For 2 &lt; i ≤ p -2, y i is the fiber of a map from a finite wedge of copies of Σ 2 i -1 /lscript to a finite wedge of copies of Σ 2 i -1 /lscript . Looking at the long exact sequences

$$\cdots & \longrightarrow \bigoplus [ j, \Sigma ^ { 2 i - 2 } \ell ] \longrightarrow [ j, y _ { i } ] \longrightarrow \bigoplus [ j, \Sigma ^ { 2 i - 1 } \ell ] \longrightarrow \cdots \\ \cdots & \longrightarrow \prod [ \Sigma ^ { 2 i - 1 } \ell, j ] \longrightarrow [ y _ { i }, j ] \longrightarrow \prod [ \Sigma ^ { 2 i - 2 } \ell, j ] \longrightarrow \cdots, \\ \cdots \text{again see from Propositions 2.10 and 2.11 that } [ j, y _ { i } ] = 0 \text{ and } [ y _ { i }, j ] = 0.$$

we again see from Propositions 2.10 and 2.11 that [ j, y i ] = 0 and [ y , j i ] = 0. /square

/negationslash

Finally, the spectra Y i clearly satisfy [ Y , Y i i ′ ] = 0 for i = i ′ ; we now verify that the same holds for the covers y i .

/negationslash

Proposition 2.18. In the notation above, the summands y i of K red ( Z ) satisfy [ y , y i i ′ ] = 0 for i = i ′ .

Proof. Each y i is the fiber of a map from a finite wedge of copies of Σ 2 i -1 /lscript to a finite wedge of copies of Σ 2 i -1 /lscript except that y 1 /similarequal Σ 2 p -1 /lscript (non-canonically), y 0 /similarequal ∗ , and y 2 /similarequal ∗ . First, for i &gt; 2, looking at the long exact sequence

$$\cdots \longrightarrow \prod [ \Sigma ^ { 2 i - 1 } \ell, \Sigma ^ { q } \ell ] \longrightarrow [ y _ { i }, \Sigma ^ { q } \ell ] \longrightarrow \prod [ \Sigma ^ { 2 i - 2 } \ell, \Sigma ^ { q } \ell ] \longrightarrow \cdots,$$

/negationslash we see from Proposition 2.9 that [ y , i Σ q /lscript ] = 0 when q ≡ 2 i -1 2 , i -2 mod (2 p -2) and q ≤ 2(2 p -2) + 2 i -3. In particular, [ y , y i 1 ] = 0 for i &gt; 2. For i ′ &gt; 2, looking at the long exact sequence

$$\cdots \longrightarrow \bigoplus [ y _ { i }, \Sigma ^ { 2 i ^ { \prime } - 2 } \ell ] & \longrightarrow [ y _ { i }, y _ { i ^ { \prime } } ] \longrightarrow \bigoplus [ y _ { i }, \Sigma ^ { 2 i ^ { \prime } - 1 } \ell ] \longrightarrow \cdots, \\ \intertext { w o c o n t h t a t. a.. } \cap \, \text{$\Gamma$} \, i \sim i ^ { \prime } \text{ in the common in} \, \text{accoc} \quad \bigcap }$$

we see that [ y , y i i ′ ] = 0 for i = i ′

/negationslash in the remaining cases. /square

The homotopy type of TC ( Z ) ∧ p . To determine the homotopy type of TC ( Z ) ∧ p from that of TC ( Z ) ∧ p [0 , ∞ ), we need to study the cofiber sequence

$$\Sigma ^ { - 2 } H \mathbb { Z } _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { Z } ) _ { p } ^ { \wedge } [ 0, \infty ) \longrightarrow T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow \Sigma ^ { - 1 } H \mathbb { Z } _ { p } ^ { \wedge }.$$

The argument of [29, 3.3] studies the induced cofiber sequence on the cofiber of the inclusion of j ,

$$\Sigma ^ { - 2 } H \mathbb { Z } _ { p } ^ { \wedge } & \longrightarrow C ( j \to T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ( 0, \infty ) ) \longrightarrow C ( j \to T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ) \longrightarrow \Sigma ^ { - 1 } H \mathbb { Z } _ { p } ^ { \wedge }, \\ \text{and shows that } C ( i \to T C ( \mathbb { Z } ) _ { \wedge } ^ { \wedge } ) \text{ has the homotonv tvne of}$$

$$\Sigma j \vee \Sigma ^ { 3 } \ell \vee \cdots \vee \Sigma ^ { 2 p - 5 } \ell \vee \Sigma ^ { - 1 } \ell \vee \Sigma ^ { 2 p - 1 } \ell.$$

and shows that C j ( → TC ( Z ) ∧ p ) has the homotopy type of

In terms of the non-canonical weak equivalence

$$C ( j \to T C ( \mathbb { Z } ) _ { p } ^ { \wedge } [ 0, \infty ) ) \simeq \Sigma j \vee \Sigma ^ { 3 } k u _ { p } ^ { \wedge }, \\ \mathbb { Z } _ { \wedge } \to C ( i \to T C ( \mathbb { Z } ) _ { \wedge } [ 0, \infty ) ] \text{ factors through a man}$$

$$\Sigma ^ { - 2 } H \mathbb { Z } _ { p } ^ { \wedge } \xrightarrow { \lambda } \Sigma ^ { 2 p - 3 } \ell \xrightarrow { \alpha } \Sigma ^ { 3 } k u _ { p } ^ { \wedge }$$

the map Σ -2 H Z ∧ p → C j ( → TC ( Z ) ∧ p [0 , ∞ ) ) factors through a map where α : Σ 2 p -3 /lscript → Σ 3 ku ∧ p is the inclusion of an Adams summand and the map λ : Σ -2 H Z ∧ p → Σ 2 p -3 /lscript is a generator of [Σ -2 H Z ∧ p , Σ 2 p -3 /lscript ] ∼ = Z ∧ p . It follows in particular that pulling back along λ induces an isomorphism [Σ 2 p -3 /lscript, j ] → [Σ -2 H Z ∧ p , j ]. The splitting

$$T C ( \mathbb { Z } ) _ { p } ^ { \wedge } [ 0, \infty ) \simeq j \vee C \left ( j \to T C ( \mathbb { Z } ) _ { p } ^ { \wedge } [ 0, \infty ) \right ) \\ \text{ical. determined by a choice of map $T C ( \mathbb { Z } ) _ { \wedge } [ 0. \infty ) \to i$ (i}$$

is non-canonical, determined by a choice of map TC ( Z ) ∧ p [0 , ∞ → ) j (in the stable category) such that the composite map j → j is the identity; choosing an arbitrary such map, we can alter it by a map Σ 2 p -3 /lscript → j to get a splitting where the composite map

$$\Sigma ^ { - 2 } H \mathbb { Z } _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { Z } ) _ { p } ^ { \wedge } [ 0, \infty ) \longrightarrow j$$

is the zero map. It follows that TC ( Z ) ∧ p is non-canonically weakly equivalent to

$$j \vee \Sigma j \vee \Sigma ^ { 3 } \ell \vee \cdots \vee \Sigma ^ { 2 p - 5 } \ell \vee \Sigma ^ { - 1 } \ell \vee \Sigma ^ { 2 p - 1 } \ell.$$

## 3. The maps in the linearization/cyclotomic trace square

The previous section discussed the corners of the linearization/cyclotomic trace square; in this section, we discuss the edges. The main observation is that with respect to the canonical splittings of the previous section, the cyclotomic trace is diagonal and the linearization map is diagonal on the p -torsion part of the homotopy groups.

Theorem 3.1. In terms of the splittings (2.4) and (2.6) of the previous section, the cyclotomic trace K ( Z ) ∧ p → TC ( Z ) ∧ p splits as the wedge of the identity map j → j and maps

$$y _ { 0 } & \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( 0 ) \\ y _ { 1 } & \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( p ) \\ y _ { 2 } & \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( 2 ) \\ \vdots & \vdots \\ \wedge & \longrightarrow \Sigma ^ { - 1 } \ell _ { \varpi \varpi l n } = 0$$

$$y _ { p - 2 } \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( p - 2 ).$$

Proof. We have that each y i fits into a fiber sequence of the form

$$y _ { i } & \longrightarrow \bigvee \Sigma ^ { 2 i - 1 } \ell \longrightarrow \bigvee \Sigma ^ { 2 i - 1 } \ell \\ = 1 \text{ where theenson is } \Sigma ^ { 2 p - 1 } \ell \text{ ratio}$$

except in the case i = 1 where the suspension is Σ 2 p -1 /lscript rather than Σ 1 /lscript (and the cases i = 0 and i = 2, where y i = ∗ anyway). Choosing a non-canonical weak equivalence Σ 2 q -1 /lscript /similarequal Σ -1 /lscript TC ( q ), and looking at the long exact sequences of maps into Σ 2 q -1 /lscript , Proposition 2.9 implies [ y , i Σ -1 /lscript TC ( q )] = 0 unless q ≡ i mod ( p -1). Likewise, [ j, Σ -1 /lscript TC ( q )] = 0 for all q by Proposition 2.10. /square

Next, we turn to the linearization map.

Theorem 3.2. In terms of the splittings (2.1) , (2.2) , and (2.4) of the previous section, the linearization map TC ( S ) ∧ p → TC ( Z ) ∧ p admits factorizations as follows:

- (i) The map S ∧ p → TC ( Z ) ∧ p factors through the canonical map S ∧ p → j , which is a canonically split surjection on homotopy groups in all degrees.
- (ii) The map Σ S ∧ p → TC ( Z ) ∧ p factors through a map Σ S ∧ p → Σ j ′ that is an isomorphism on π 1 and is a split surjection on homotopy groups in all degrees.
- (iii) The map Cu → TC ( Z ) ∧ p factors through j ∨ ∨ Σ -1 /lscript TC ( ) i (for i = 0 , p , 2 ,. . . , p -2 ). On p -torsion, the map tor p ( π ∗ ( Cu )) → tor p ( π ∗ ( TC ( Z ) ∧ p )) is zero.

Proof. The statement (i) is clear from the construction of the map j → TC ( Z ) ∧ p since the linearization map is a map of ring spectra. For (ii), the composite map Σ S ∧ p → TC ( Z ) ∧ p is determined by where the generator goes in π TC 1 ( Z ) ∧ p , but the inclusion of Σ j ′ in TC ( Z ) ∧ p induces an isomorphism on π 1 , and so Σ S ∧ p factors through Σ j ′ . The map TC ( S ) ∧ p → TC ( Z ) ∧ p is a (2 p -3)-equivalence [5, 9.10]; the map Σ S → Σ j ′ is therefore an isomorphism on π 1 . Using the image of the generator of π 1 Σ S as a generator for π 1 Σ j ′ gives a weak equivalence Σ j → Σ j ′ such that the map Σ S → Σ j ′ → Σ j obtained by composing with the inverse is the suspension of the canonical map S → j . This completes the proof of (ii).

To show the factorization of Cu → TC ( Z ) ∧ p for (iii), it suffices to check that the composite map

$$\overline { C u } \longrightarrow T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow \Sigma j ^ { \prime }$$

is trivial. Using the non-canonical weak equivalence Cu /similarequal Σ C P ∞ -1 , the AtiyahHirzebruch spectral sequence to calculate (Σ j ) ∗ (Σ C P ∞ -1 ) with

$$E _ { 2 } ^ { s, t } = H ^ { s + t } ( \Sigma \overline { \mathbb { C } P } _ { - 1 } ^ { \infty } ; \pi _ { - t } ( \Sigma j ^ { \prime } ) ) \cong H ^ { s + t } ( \overline { \mathbb { C } P } _ { - 1 } ^ { \infty } ; \pi _ { - t } ( j ) )$$

is zero along the line of total degree zero, and so [ Cu, Σ j ′ ] = 0.

Finally, to see that the map Cu → TC ( Z ) ∧ p is zero on the torsion subgroup of π Cu ∗ , it suffices to note that the composite map

$$\Sigma \overline { \mathbb { C } P } ^ { \infty } _ { - 1 } \simeq \overline { C u } \longrightarrow T C ( \mathbb { Z } ) ^ { \wedge } _ { p } \longrightarrow j$$

is zero on the torsion subgroup of π ∗ Σ C P ∞ -1 , or equivalently that the composite map to J is zero on the torsion subgroup of π ∗ Σ C P ∞ -1 . Post-composing with the (canonical) map J → L in the fiber sequence

$$\Omega L \longrightarrow J \longrightarrow L \longrightarrow L,$$

the map Σ C P ∞ -1 → L is trivial (since L ∗ (Σ C P ∞ -1 ) is concentrated in odd degrees). It follows that the map Σ C P ∞ -1 → J factors through the map Ω L → J , and therefore is zero on torsion. /square

It would be reasonable to expect that the augmentations TC ( S ) ∧ p → S ∧ p and TC ( Z ) ∧ p → j are compatible, although we see no K -theoretic, THH -theoretic, or calculational reasons why this should hold. Such a compatibility would imply that the map Cu → TC ( Z ) ∧ p factors through ∨ Σ -1 /lscript TC ( ) i and would then (combined with the observations in Section 5) say that the linearization map is fully diagonal with respect to the splittings of the previous section.

## 4. Proof of main results

We now apply the work of the previous two sections to prove the theorems stated in the introduction. We begin with Theorem 1.1, which is an immediate consequence of the following theorem.

Theorem 4.1. The map

$$\pi _ { n } T C ( \mathbb { S } ) _ { p } ^ { \wedge } \oplus \pi _ { n } K ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow \pi _ { n } T C ( \mathbb { Z } ) _ { p } ^ { \wedge }$$

is (non-canonically) split surjective.

We apply the splittings of TC ( S ) ∧ p , TC ( Z ) ∧ p , and K ( Z ) ∧ p and the maps on homotopy groups to prove the previous theorem by breaking it into pieces and showing that different pieces in the splitting induce surjections on homotopy groups. Theorem 3.2.(i) and (ii) provide two surjection results; we write two more in Lemmas 4.2 and 4.4. The first of these is essentially due to Klein-Rognes [14].

Lemma 4.2. Under the splittings (2.1) , (2.2) , and (2.4) , the composite map

$$\overline { C u } \rightarrow T C ( \mathbb { S } ) _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( 0 ) \vee \cdots \vee \Sigma ^ { - 1 } \ell _ { T C } ( p - 2 )$$

/negationslash induces a split surjection on π 2 +1 q for q ≡ 0 mod ( p -1)

Proof. Klein and Rognes [14, 5.8,(17)] (and independently Madsen and Schlichtkrull [19, 1.1]) construct a space-level map

$$S U _ { p } ^ { \wedge } \longrightarrow \Omega ^ { \infty } ( \Sigma \mathbb { C } P _ { - 1 } ^ { \infty } ) _ { p } ^ { \wedge }.$$

They study the composite map

$$S U _ { p } ^ { \wedge } \longrightarrow \Omega ^ { \infty } ( \Sigma \mathbb { C } P _ { - 1 } ^ { \infty } ) _ { p } ^ { \wedge } \longrightarrow \Omega ^ { \infty } ( T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ) \longrightarrow S U _ { p } ^ { \wedge }$$

induced by the linearization map TC ( S ) ∧ p → TC ( Z ) ∧ p , the projection map

$$T C ( \mathbb { Z } ) _ { p } ^ { \wedge } [ 0, \infty ) \longrightarrow \Sigma ^ { 3 } k u _ { p } ^ { \wedge },$$

and the Bott periodicity isomorphism Ω ∞ Σ 3 ku /similarequal SU . In [14, 6.3.(i)], Klein and Rognes show that their map (4.3) induces an isomorphism of homotopy groups in all degrees except those congruent to 1 mod 2( p -1). This proves the statement except in degree -1, where it follows from the fact that the linearization map TC ( S ) ∧ p → TC ( Z ) ∧ p is a (2 p -3)-equivalence [5, 9.10]. /square

The other lemma constructs a split surjection onto π TC ∗ ( Z ) ∧ p in degrees congruent to 1 mod 2( p -1). We give a direct argument for the following lemma, but it can also be proved using the vanishing results in [3].

Lemma 4.4. Under the splittings of (2.4) and (2.6) , the composite map

$$y _ { 1 } \longrightarrow K ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( p )$$

is a weak equivalence.

Proof. Since y 1 and Σ -1 /lscript TC ( p ) are both (non-canonically) weakly equivalent to Σ 2 p -1 /lscript , it suffices to show that the map becomes a weak equivalence after K (1)localization. Indeed, by v 1 periodicity, it suffices to show that the map on K (1)localizations is an isomorphism on any homotopy group in degree congruent to 1 mod (2 p -2). We check this on π 1 . Consider the commutative diagram

/d47

/d47

/d55

/d55

/d55

/d55

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0133v3-figure-2d724630-d410-432d-a863-b6c83048adcb.jpg)

/d15

/d15

/d15

/d15

/d47

/d47

where the vertical maps are induced by the cyclotomic trace and the indicated maps are weak equivalences, for the diagonal maps by Quillen's localization sequence, for the indicated horizontal map by [12, Add. 6.2], and for the indicated vertical map by [12, Th. D]. On π 1 , the canonical maps

$$\mathbb { Z } [ \frac { 1 } { p } ] ^ { \times } & \longrightarrow \pi _ { 1 } ( K ( \mathbb { Z } [ \frac { 1 } { p } ] ) ) \longrightarrow \pi _ { 1 } ( L _ { K ( 1 ) } K ( \mathbb { Z } [ \frac { 1 } { p } ] ) ) \\ ( \mathbb { Q } _ { p } ^ { \wedge } ) ^ { \times } & \longrightarrow \pi _ { 1 } ( K ( \mathbb { Q } _ { p } ^ { \wedge } ) ) \longrightarrow \pi _ { 1 } ( L _ { K ( 1 ) } K ( \mathbb { Q } _ { p } ^ { \wedge } ) )$$

induce isomorphims

$$( \mathbb { Z } [ \frac { 1 } { p } ] ^ { \times } ) _ { p } ^ { \wedge } & \cong \pi _ { 1 } ( L _ { K ( 1 ) } K ( \mathbb { Z } ) ) \cong \pi _ { 1 } ( Y _ { 1 } ) \\ ( ( \mathbb { Q } _ { p } ^ { \wedge } ) ^ { \times } ) _ { p } ^ { \wedge } & \cong \pi _ { 1 } ( L _ { K ( 1 ) } T C ( \mathbb { Z } ) ) \cong \pi _ { 1 } ( L _ { K ( 1 ) } \Sigma j ^ { \prime } ) \oplus \pi _ { 1 } ( L _ { K ( 1 ) } \Sigma ^ { - 1 } \ell _ { T C } ( p ) ),$$

under which the map π 1 ( Y 1 ) → π 1 ( L K (1) TC ( Z ∧ p )) corresponds to the map induced by the inclusion of Z [ 1 p ] in Q ∧ p . By construction, the map Σ j ′ → TC ( Z ) ∧ p sends π 1 ( j ′ ) isomorphically onto the subgroup (( Z ∧ p ) × ) ∧ p of (( Q ∧ p ) × ) ∧ p under the isomorphism above. The map

$$( \mathbb { Z } [ \frac { 1 } { p } ] ^ { \times } ) _ { p } ^ { \wedge } \longrightarrow ( ( \mathbb { Q } _ { p } ^ { \wedge } ) ^ { \times } ) _ { p } ^ { \wedge } / ( ( \mathbb { Z } _ { p } ^ { \wedge } ) ^ { \times } ) _ { p } ^ { \wedge }$$

is an isomorphism of free Z ∧ p -modules of rank 1.

We now have everything we need for the proof of Theorem 4.1.

/square

/d47

/d47

Proof of Theorem 4.1. Combining previous results, we have two families of (noncanonical) splittings

$$\pi _ { * } ( \mathbb { S } \vee \Sigma \S \vee \overline { C u } \vee j \vee y _ { 0 } \vee \dots \vee y _ { p - 2 } ) \\ & \longrightarrow \pi _ { * } ( j \vee \Sigma j ^ { \prime } \vee \Sigma ^ { - 1 } \ell _ { T C } ( 0 ) \vee \dots \vee \Sigma ^ { - 1 } \ell _ { T C } ( p - 2 ).$$

For both splittings we use Lemma 4.4 to split the Σ -1 /lscript TC ( p ) summand in the codomain (canonically) using the y 1 summand of the domain, we use Theorem 3.2.(ii) to split the π ∗ Σ j ′ summand in the codomain (canonically) using the Σ S 1 summand in the domain, and we use Lemma 4.2 to split the

$$\pi _ { * } ( \Sigma ^ { - 1 } \ell _ { T C } ( 0 ) \vee \Sigma ^ { - 1 } \ell _ { T C } ( 2 ) \vee \cdots \vee \Sigma ^ { - 1 } \ell _ { T C } ( p - 2 ) )$$

summands in the codomain (non-canonically) using the π Cu ∗ summand in the domain. We then have a choice on the remaining summand of the codomain, π j ∗ . We can use Theorem 3.1 to split this (canonically) using the π j ∗ summand in the domain or use Theorem 3.2 to split this (canonically) using the π ∗ S summand in the domain. /square

This completes the proof of Theorem 1.1. We now prove the remaining theorems from the introduction.

Proof of Theorems 1.2 and 1.3. Since the long exact sequence of the homotopy cartesian linearization/cyclotomic trace square breaks into split short exact sequences, we get split short exact sequences on p -torsion subgroups

$$0 \to \text{tor} _ { p } ( \pi _ { n } K ( \mathbb { S } ) ) \longrightarrow \text{tor} _ { p } ( \pi _ { n } T C ( \mathbb { S } ) _ { p } ^ { \wedge } \oplus \pi _ { n } K ( \mathbb { Z } ) ) \longrightarrow \text{tor} _ { p } ( \pi _ { n } T C ( \mathbb { Z } ) _ { p } ^ { \wedge } ) \longrightarrow 0.$$

Using the splittings of (2.1), (2.4), and (2.5), leaving out the non-torsion summands, we can identify tor p ( π K n ( S )) as the kernel of a map

$$\text{tor} _ { p } ( \pi _ { n } \mathbb { S } \oplus \pi _ { n - 1 } \mathbb { S } \oplus \pi _ { n } \overline { C u } \oplus \pi _ { n } j \oplus \pi _ { n } K ^ { \text{red} } ( \mathbb { Z } ) ) \longrightarrow \text{tor} _ { p } ( \pi _ { n } j \oplus \pi _ { n - 1 } j ^ { \prime } )$$

which by Theorems 3.1 and 3.2 is mostly diagonal: It is the direct sum of the canonical maps

$$\text{tor} _ { p } ( \pi _ { n } \mathbb { S } ) & \oplus \text{tor} _ { p } ( \pi _ { n } j ) \longrightarrow \text{tor} _ { p } ( \pi _ { n } j ) \\ \text{tor} _ { p } ( \pi _ { n - 1 } \mathbb { S } ) & \longrightarrow \text{tor} _ { p } ( \pi _ { n - 1 } j ^ { \prime } )$$

and the zero maps on tor p ( π Cu n ) and tor p ( π K n red ( Z )). The isomorphism (a) uses the canonical splitting π j n → π n S on the π n S summand, while the isomorphism (b) uses the identity of π j n on the π j n summand. /square

## 5. Conjecture on Adams Operations

In Section 2 we produced canonical splittings on K ( Z ) ∧ p and TC ( Z ) ∧ p and in Section 3, we showed that the cyclotomic trace is diagonal with respect to these splittings. The purpose of this section is to prove the following splitting of the linearization/cyclotomic trace square and relate it to conjectures on Adams operations.

Theorem 5.1. The spectrum K ( S ) ∧ p splits into p -1 summands, K ( S ) ∧ p /similarequal K ∨ 0 · · · ∨ K p -2 , and the linearization/cyclotomic trace square splits into the wedge sum of p -1 homotopy cartesian squares

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0133v3-figure-605aaff0-3e8c-4856-9858-840b5a878dcc.jpg)

/d47

/d47

for i = 2 , . . . p -2 .

We are using the notation from Section 2 for the summands y i and Σ -1 /lscript TC ( ) of i K ( Z ) ∧ p and TC ( Z ) ∧ p . The spectra C P ∞ -1 [ i ] are the wedge summands of the 'Adams splitting' previously used by Rognes [29, § 5]

$$\mathbb { C } P _ { - 1 } ^ { \infty } \simeq \mathbb { C } P _ { - 1 } ^ { \infty } [ - 1 ] \vee \mathbb { C } P _ { - 1 } ^ { \infty } [ 0 ] \vee \cdots \vee \mathbb { C } P _ { - 1 } ^ { \infty } [ p - 3 ].$$

Here we are following the numbering of Rognes [29, p. 169], which has its rationale in that the [ ] piece has its ordinary cohomology concentrated in degrees 2 i i mod 2 p -2 and starts in degree 2 . i Note that the splitting of the theorem fails to be canonical because of problems with the identification of TC ( S ) ∧ p as S ∧ p ∨ Σ C P ∞ -1 .

In the theorem, for the i = 0 square, we have used that y 0 = ∗ as noted in Section 2. In using these squares to study the homotopy type of K i , we can simplify the i = 0 square to a cofiber sequence

$$\mathcal { K } _ { 0 } \longrightarrow \mathbb { S } _ { p } ^ { \wedge } \vee \Sigma \mathbb { C } P _ { - 1 } ^ { \infty } [ - 1 ] \longrightarrow \Sigma ^ { - 1 } \ell _ { T C } ( 0 ) \longrightarrow \Sigma \mathcal { K } _ { 0 }$$

since Theorem 3.1 indicates that the map j → j ∨ Σ -1 /lscript TC (0) factors through the identity map j → j . For the i = 1 square, the splitting of C P ∞ -1 fits into a fiber sequence with the splitting of

$$( \Sigma ^ { \infty } \mathbb { C } P ^ { \infty } ) _ { p } ^ { \wedge } \simeq \Sigma ^ { \infty } K ( \mathbb { Z } _ { p } ^ { \wedge }, 2 ) ) \simeq \mathbb { C } P ^ { \infty } [ 1 ] \vee \cdots \vee \mathbb { C } P ^ { \infty } [ p - 1 ],$$

which identifies C P ∞ -1 [0] as S ∧ p ∨ C P ∞ [ p -1]. Theorem 3.1 and Lemma 4.4 indicate that the map y 1 → Σ j ∨ Σ -1 /lscript TC ( p ) factors through a weak equivalence y 1 → Σ -1 /lscript TC ( p ), and we get a weak equivalence

$$\mathcal { K } _ { 1 } \simeq \Sigma c \vee \mathbb { C } P ^ { \infty } [ p - 1 ],$$

where by definition c is the homotopy fiber of the canonical map S → j .

Proof of Theorem 5.1. Let /epsilon1 i TC ( S ) ∧ p , /epsilon1 i TC ( Z ) ∧ p , and /epsilon1 i K ( Z ) ∧ p be the summands of TC ( S ) ∧ p , TC ( Z ) ∧ p , and K ( Z ) ∧ p , respectively, specified in the i th square in the statement of the theorem. Our work in Section 3 shows that the map K ( Z ) ∧ p → TC ( Z ) ∧ p restricts to a sum of maps /epsilon1 i K ( Z ) ∧ p → /epsilon1 i TC ( Z ) ∧ p . The Atiyah-Hirzebruch spectral sequence implies that the C P ∞ -1 [ i -1] summand of /epsilon1 i TC ( S ) ∧ p factors uniquely through /epsilon1 i TC ( Z ) ∧ p as there are no essential maps to the other summands; Theorem 3.2 then implies that the map TC ( S ) ∧ p → TC ( Z ) ∧ p decomposes as a wedge sum of maps /epsilon1 i TC ( S ) ∧ p → /epsilon1 i TC ( Z ) ∧ p . /square

/d47

/d47

/d15

/d15

/d47

/d47

/d15

/d15

/d47

/d47

In the proof above, we argued calculationally using the paucity of maps in the stable category between the summands; however, there is a conceptual reason to expect much of this behavior based on p -adically interpolated of Adams operations. In [1, 10.7], we showed that the splitting of C P ∞ -1 arises from a p -adic interpolation of the Adams operations on TC ( S ) ∧ p (constructed there). Such a p -adic interpolation is an extension to ( Z ∧ p ) × of the action of the monoid Z × ( p ) ∩ Z on TC ( -; p ) (in the p -complete stable category) acting by Adams operations. Using the Teichm¨ller u character ω to embed ( Z /p ) × in ( Z ∧ p ) × , we then get an action of the ring Z ∧ p [( Z /p ) × ], which then produces an eigensplitting of TC ( S ) ∧ p into the p -1 summands corresponding to the powers of the Teichm¨ller character. u The wedge summand /epsilon1 i TC ( S ) ∧ p in the proof of Theorem 5.1 corresponds to the character ω i in the sense that the p -adically interpolated Adams operation ψ ω α ( ) acts on it by multiplication by ω i ( α ) ∈ Z ∧ p for all α ∈ ( Z /p ) × .

We can imagine that p -adically interpolated Adams operations act on the whole linearization/cyclotomic trace square; we would then obtain an eigensplitting into p -1 squares exactly as in the statement of Theorem 5.1. We regard this as providing evidence for the following pair of conjectures, which together would give a conceptual (as opposed to calculational) proof of Theorem 5.1.

Conjecture 5.3. Let R be an E ∞ ring spectrum. There exists a homomorphism from ( Z ∧ p ) × to the composition monoid [ K R ( ) ∧ p , K ( R ) ∧ p ] , which is natural in the obvious sense and satisfies the following properties.

- (i) When R is a ring, the restriction to Z ∩ ( Z ∧ p ) × gives Quillen's Adams operations on the zeroth space.
- (ii) The induced map ( Z ∧ p ) × → Hom( π K R ∗ ( ) ∧ p , π ∗ K R ( ) ∧ p ) is continuous where the target is given the p -adic topology.

Conjecture 5.4. For R a connective E ∞ ring spectrum, the cyclotomic trace K R ( ) ∧ p → TC R ( ) ∧ p commutes with the (conjectural) p -adically interpolated Adams operations.

The preceding conjecture on p -adic interpolation of the Adams operations in p -completed algebraic K -theory is weaker than the (known) results in the case of topological K -theory in that we are only asking for continuity on homotopy groups rather than continuity for (some topology on) endomorphisms. Nevertheless, it implies a natural action of Z ∧ p [( Z /p ) × ] (in the stable category) on p -completed algebraic K -theory spectra (of connective ring spectra), which is all that is needed for the eigensplitting. To compare to the splitting used in Theorem 5.1, note that for an algebraically closed field of characteristic prime to p or a strict Henselian ring A with p invertible, the Adams operation ψ k acts on π 2 s L K (1) K A ( ) by multiplication by k s . As a consequence, for any scheme satisfying the hypotheses for Thomason's spectral sequence [31, 4.1], the eigensplitting on homotopy groups is compatible with the filtration from E ∞ in the sense that the subquotient of H s ( R ; Z /p n ( )) i comes from the ω i summand. For R = Z [1 /p ], we see that the ω i summand of L K (1) K R ( ) has homotopy groups only in degrees congruent to 2 i -1 and 2 i -2 mod 2( p -1) except when i = 0 where the unit of π L 0 K (1) ( R ) is also in the trivial character summand. As a consequence, we see that this splitting agrees with the splitting described above for L K (1) K ( Z [1 /p ]) /similarequal L K (1) K ( Z ). Specifically, the summand corresponding to trivial character is J and the summand corresponding to ω i is Y i for i = 1 , . . . , p -2.

The preceding conjectures also leads to the same splitting of TC ( Z ) ∧ p . HesselholtMadsen [12, Th. D,Add. 6.2] shows that the completion map and cyclotomic trace

$$T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow T C ( \mathbb { Z } _ { p } ^ { \wedge } ) _ { p } ^ { \wedge } \longleftarrow K ( \mathbb { Z } _ { p } ^ { \wedge } ) _ { p } ^ { \wedge }$$

are weak equivalences after taking the connective cover and so in particular induce weak equivalences after K (1)-localization. The Quillen localization sequence identifies the homotopy fiber of the map K ( Z ∧ p ) → K ( Q ∧ p ) as K ( F p ). Since the p -completion of K ( F p ) is weakly equivalent to H Z ∧ p , its K (1)-localization is trivial. Combining these maps, we obtain a canonical isomorphism in the stable category from L K (1) TC ( Z ) to L K (1) K ( Q ∧ p ). The Hesselholt-Madsen proof of the QuillenLichtenbaum conjecture for certain local fields [13, Th. A] (or in this case, inspection from the calculation of TC ( Z ) ∧ p ), shows that the map

$$T C ( \mathbb { Z } ) _ { p } ^ { \wedge } \longrightarrow L _ { K ( 1 ) } T C ( \mathbb { Z } ) \simeq L _ { K ( 1 ) } K ( \mathbb { Q } _ { p } ^ { \wedge } )$$

becomes a weak equivalence after taking 1-connected covers. Again looking at Thomason's spectral sequence, we see that the conjectural Adams operations would then split L K (1) K ( Q ∧ p ) into summands as follows. The summand corresponding to the trivial character is J ∨ Σ -1 L TC (0), the summand corresponding to ω is Σ J ∨ Σ -1 L TC (1), and the summand corresponding to ω i is Σ -1 L TC ( ) i for i = 2 , . . . , p -2. A short argument now shows that the eigensplitting gives the splitting of TC ( Z ) ∧ p used in Theorem 5.1.

We have proposed relatively strong conjectures in 5.3 and 5.4; for a proof of Theorem 5.1, it would be enough for the operations to exist and be compatible just for regular rings. The work of Riou [25] makes the existence of such operations plausible. But given the work of Dundas [8], the more general conjectures above (at least for connective ring spectra R with π R 0 regular) are not far removed from the corresponding conjectures for rings. We do also note that work on non-existence of determinants [2, 2.3] and [33, Proof of 3.7] is often cited as evidence against the existence of Adams operations on the algebraic K -theory of ring spectra.

## 6. Low degree computations

Theorem 1.2 describes the p -torsion in K ( S ) in terms of the p -torsion in various pieces. For convenience, we review in Proposition 6.1 below what is known about the homotopy groups of these pieces at least up to the range in which [29] describes the homotopy groups of C P ∞ -1 /similarequal Σ -1 Cu . As a consequence of Theorem 1.2, irregular primes potentially contribute in degrees divisible by 4 but otherwise make no contribution to the torsion of K ( S ) until degree 22. Thus, π K ∗ ( S ) in degrees ≤ 21 not divisible by 4 is fully computed (up to some 2-torsion extensions) by the work of Rognes [28, 29]. For convenience, we assemble the computation of π K ∗ ( S ) for ∗ ≤ 22 in Table 1 on page 24.

Proposition 6.1. The p -torsion groups tor p ( π ∗ S ), tor p ( π c ∗ ), tor p ( π K ∗ red ( Z )), and tor p ( π Cu ∗ ) are known in at least the following ranges, as follows.

- (i) π ∗ S , π j ∗ , see for example [23, 1.1.13]. π ∗ S splits as

$$\pi _ { * } \mathbb { S } = \pi _ { * } j \oplus \pi _ { * } c.$$

tor p ( π j k ) is zero unless 2( p -1) divides k + 1, in which case it is cyclic of order p s +1 where k +1 = 2( p -1) p m s for m relatively prime to p . See below for π c ∗ .

- (ii) π c ∗ , see for example [23, 1.1.14]. In degrees ≤ 6 p p ( -1) -6, tor p ( π c ∗ ) is Z /p in the following degrees and zero in all others. (In the table, α 1 ∈ π 2 p -3 j .)
- (iii) π K ∗ red ( Z ), see for example [36, § VI.10] or Section 2. tor p ( π K ∗ red ( Z )) is zero in odd degrees. If p is regular, then tor p ( π 2 k K red ( Z )) = 0. If p satisfies the Kummer-Vandiver condition, then

| Generator                                     | Degree                                                                                                                                   |
|-----------------------------------------------|------------------------------------------------------------------------------------------------------------------------------------------|
| β 1 α 1 β 1 β 2 1 α 1 β 2 1 β 2 α 1 β 2 β 3 1 | 2 p ( p - 1) - 2 2( p +1)( p - 1) - 3 4 p ( p - 1) - 4 2(2 p +1)( p - 1) - 5 2(2 p +1)( p - 1) - 2 4( p +1)( p - 1) - 3 6 p ( p - 1) - 6 |

$$\text{tor} _ { p } ( \pi _ { 4 k } K ^ { \text{red} } ( \mathbb { Z } ) ) = 0 \text{ \ and \ } \text{tor} _ { p } ( \pi _ { 4 k + 2 } K ^ { \text{red} } ( \mathbb { Z } ) ) = \mathbb { Z } _ { p } ^ { \wedge } / ( \frac { B _ { 2 k + 2 } } { 2 k + 2 } ),$$

where B n denotes the Bernoulli number, numbered by the convention t e t -1 = ∑ B n n t n ! . If p does not satisfy the Kummer-Vandiver condition then tor p ( π 4 k K red ( Z )) = 0 for k = 1 and is an unknown finite group for k &gt; 1, while tor p ( π 4 k +2 K red ( Z )) is an unknown group of order #( Z ∧ p / B ( 2 k +2 / (2 k +2)) for all k .

- (iv) π Cu ∗ , see [29, 4.7].
- · In odd degrees ≤ | β 2 | -2 = 2(2 p +1)( p -1) -4,

$$\text{tor} _ { p } ( \pi _ { 2 n + 1 } \overline { C u } ) = \mathbb { Z } / p$$

in degrees n = p 2 - -p 1+ m or n = 2 p 2 -2 p -2+ m for 1 ≤ m ≤ p -3 and zero otherwise.

- · In even degrees ≤ 2 p p ( -1),

$$\text{tor} _ { p } ( \pi _ { 2 n } \overline { C u } ) = \mathbb { Z } / p$$

for m p ( -1) &lt; n &lt; mp for 2 ≤ m ≤ p -1 and zero otherwise except that

$$\text{tor} _ { p } ( \pi _ { 2 ( p ( p - 1 ) - 1 ) } \overline { C u } ) = 0.$$

Beyond this range, [29, 4.7] only describes the size of the group. In all even degrees ≤ | β 2 | -2 = 2(2 p +1)( p -1) -4, the size of tor p ( π 2 n Cu ) is

$$\# ( \text{tor} _ { p } ( \pi _ { 2 n } \overline { C u } ) ) = p ^ { a ( n ) + b ( n ) - c ( n ) - d ( n ) + e ( n ) }$$

where

$$a ( n ) & = \lfloor ( n - 1 ) / ( p - 1 ) \rfloor \\ b ( n ) & = \lfloor ( n - 1 ) / ( p ( p - 1 ) ) \rfloor \\ c ( n ) & = \lfloor n / p \rfloor \\ d ( n ) & = \lfloor n / p ^ { 2 } \rfloor$$

and

$$\text{and} \\ e ( n ) = \begin{cases} + 1, & \text{if $n=p^{2}-2+mp$ for $1\leq m\leq p-3$,} \\ - 1, & \text{if $n=p-1+mp$ for $m\geq p-2$} \\ 0, & \text{otherwise.} \end{cases} \\ \text{Here } \left [ x \right ] \text{ denotes the greatest integer $\leq x$}. \quad \text{The formulas $a$,} \\ \cdots \dots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots + \cdots \dots \dots \dots \dots \dots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots + \cdots \delta \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \delta \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \delta \cdots \delta \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ddots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

 Here /floorleft x /floorright denotes the greatest integer ≤ x . The formulas a, b, c, d above count the number of positive integers &lt; n (in a and b ) or ≤ n (in c and d ) that are divisible by the denominator.

The formula above shows that for p = 3, π 14 ( Cu ) has order 9. Rognes [29, 4.9(b)] shows that this group is Z / 9.

Table 1. The homotopy groups of K ( S ) in low degrees

| n         |     | π n K ( S )                                     |                           |              |       |             |       |    |            |
|-----------|-----|-------------------------------------------------|---------------------------|--------------|-------|-------------|-------|----|------------|
| 0 1 2 3 4 | Z 0 | Z / 2 Z / 2 Z / 8 × Z / 3                       | ⊕ Z / 2                   | 2            |       |             |       | ⊕  | K 8 ( Z )  |
| 11 12     |     | Z / 8 × Z / 9 × Z / 7                           | ⊕ Z / 2 ⊕ Z / 4           |              | Z / 3 |             |       | ⊕  | K 12 ( Z ) |
| 13 14 15  | Z ⊕ | Z / 3 ( Z / 2) 2 Z / 32 × Z / 2 × Z / 3 × Z / 5 | ⊕ Z / 4 ⊕ Z               | 2            | Z / 3 | ⊕           | Z / 9 | ⊕  | K 16 ( Z ) |
| 16 17     | Z ⊕ | ( Z / 2) 2 ( Z / 2) 4                           | ( / 2) ⊕ Z / 8 ⊕ ( Z / 2) | × Z / 2 2    | ⊕ ⊕   | Z / 3       |       |    |            |
| 18 19 20  |     | Z / 8 × Z / 2 Z / 8 × Z / 2 × Z / 3 × Z / 11    | ⊕ Z / 32 ⊕ [64] ⊕ [128]   | × ( Z / 2) 3 |       | Z / ⊕ Z / 3 | 3 × Z | ⊕  | K 20 ( Z ) |
| 21        |     | Z / 8 × Z / 3 ( Z / 2) 2                        | [16]                      |              | Z / 3 |             |       |    | Z / 691    |
| 22        | Z ⊕ | ( Z / 2) 2                                      | ⊕ ⊕ [2 ? ]                |              | ⊕     | Z /         | 3     | ⊕  |            |
|           | 1 ○ | 2 ○                                             | 3 ○                       |              | 4 ○   | 5 ○         |       |    | 6 ○        |

The table compiles the results reviewed in Proposition 6.1 (q.v. for sources) and [28, 5.8] into the computation of π K n ( S ) for n ≤ 22. The description of π K n ( S ) is divided into columns:

- 1. The non-torsion part
- 2. The contribution from the torsion of S
- 3. The remaining 2-torsion (from [28])
- 4. The contribution from Σ c for odd primes
- 5. The torsion contribution from Cu for odd primes
- 6. The torsion contribution from K red ( Z ) for odd primes

Presently K 4 n ( Z ) is unknown for n &gt; 1, conjectured to be 0 (the Kummer-Vandiver conjecture) and if non-zero is a finite group with order a product of irregular primes, each of which is &gt; 10 . 8

Summands denoted as [ m ] are finite groups of order m whose isomorphism class is not known.

## References

- [1] Vigleik Angeltveit, Andrew J. Blumberg, Teena M. Gerhardt, Michael A. Hill, Tyler Lawson, and Michael A. Mandell. Topological cyclic homology via the norm. Preprint, arXiv:1401.5001, 2014.
- [2] Christian Ausoni, Bjørn Ian Dundas, and John Rognes. Divisibility of the Dirac magnetic monopole as a two-vector bundle over the three-sphere. Doc. Math. , 13:795-801, 2008.
- [3] Andrew J. Blumberg and Michael A. Mandell. The nilpotence theorem for the algebraic K -theory of the sphere spectrum. Geom. Topol. , 21(6):3453-3466, 2017.
- [4] M. B¨ okstedt, W. C. Hsiang, and I. Madsen. The cyclotomic trace and algebraic K -theory of spaces. Invent. Math. , 111(3):465-539, 1993.
- [5] M. B¨ okstedt and I. Madsen. Topological cyclic homology of the integers. Ast´risque e , (226):57143, 1994. K -theory (Strasbourg, 1992).
- [6] M. B¨ okstedt and I. Madsen. Algebraic K -theory of local number fields: the unramified case. In Prospects in topology (Princeton, NJ, 1994) , volume 138 of Ann. of Math. Stud. , pages 28-57. Princeton Univ. Press, Princeton, NJ, 1995.
- [7] A. K. Bousfield. The localization of spectra with respect to homology. Topology , 18(4):257281, 1979.
- [8] Bjørn Ian Dundas. Relative K -theory and topological cyclic homology. Acta Math. , 179(2):223-242, 1997.
- [9] W. G. Dwyer and S. A. Mitchell. On the K -theory spectrum of a ring of algebraic integers. K -Theory , 14(3):201-263, 1998.
- [10] William G. Dwyer and Eric M. Friedlander. Topological models for arithmetic. Topology , 33(1):1-24, 1994.

[11]

Thomas G. Goodwillie. Relative algebraic

K

-theory and cyclic homology.

Ann. of Math. (2)

,

124(2):347-402, 1986.

- [12] Lars Hesselholt and Ib Madsen. On the K -theory of finite algebras over Witt vectors of perfect fields. Topology , 36(1):29-101, 1997.
- [13] Lars Hesselholt and Ib Madsen. On the K -theory of local fields. Ann. of Math. (2) , 158(1):1113, 2003.
- [14] John R. Klein and John Rognes. The fiber of the linearization map A ( ∗ ) → K ( Z ). Topology , 36(4):829-848, 1997.
- [15] Manfred Kolster, Thong Nguyen Quang Do, and Vincent Fleckinger. Twisted S -units, p -adic class number formulas, and the Lichtenbaum conjectures. Duke Math. J. , 84(3):679-717, 1996.
- [16] Ronnie Lee and R. H. Szczarba. The group K 3 ( Z ) is cyclic of order forty-eight. Ann. of Math. (2) , 104(1):31-60, 1976.
- [17] Ronnie Lee and R. H. Szczarba. On the torsion in K 4 ( Z ) and K 5 ( Z ). Duke Math. J. , 45(1):101-129, 1978.
- [18] Ib Madsen. Algebraic K -theory and traces. In Current developments in mathematics, 1995 (Cambridge, MA) , pages 191-321. Int. Press, Cambridge, MA, 1994.
- [19] Ib Madsen and Christian Schlichtkrull. The circle transfer and K -theory. In Geometry and topology: Aarhus (1998) , volume 258 of Contemp. Math. , pages 307-328. Amer. Math. Soc., Providence, RI, 2000.
- [20] B. Mazur and A. Wiles. Class fields of abelian extensions of Q . Invent. Math. , 76(2):179-330, 1984.

[21]

Randy McCarthy. Relative algebraic

K

-theory and topological cyclic homology.

Acta Math.

,

179(2):197-222, 1997.

- [22] Douglas C. Ravenel. The Segal conjecture for cyclic groups and its consequences. Amer. J. Math. , 106(2):415-446, 1984. With an appendix by Haynes R. Miller.
- [23] Douglas C. Ravenel. Nilpotence and periodicity in stable homotopy theory , volume 128 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1992. Appendix C by Jeff Smith.
- [24] Kenneth A. Ribet. A modular construction of unramified p -extensions of Q µ ( p ). Invent. Math. , 34(3):151-162, 1976.
- [25] Jo¨ el Riou. Algebraic K -theory, A 1 -homotopy and Riemann-Roch theorems. J. Topol. , 3(2):229-264, 2010.

- [26] John Rognes. Characterizing connected K -theory by homotopy groups. Math. Proc. Cambridge Philos. Soc. , 114(1):99-102, 1993.
- [27] John Rognes. K 4 ( Z ) is the trivial group. Topology , 39(2):267-281, 2000.
- [28] John Rognes. Two-primary algebraic K -theory of pointed spaces. Topology , 41(5):873-926, 2002.
- [29] John Rognes. The smooth Whitehead spectrum of a point at odd regular primes. Geom. Topol. , 7:155-184 (electronic), 2003.
- [30] Peter Schneider. Uber gewisse Galoiscohomologiegruppen. ¨ Math. Z. , 168(2):181-205, 1979.
- [31] R. W. Thomason. Algebraic K -theory and ´tale cohomology. e Ann. Sci. Ecole Norm. Sup. ´ (4) , 18(3):437-552, 1985.
- [32] F. Waldhausen, B. Jahren, and J. Rognes. Spaces of PL manifolds and categories of simple maps , volume 186 of Annals of Mathematics Studies . Princeton University Press, Princeton, 2013.
- [33] Friedhelm Waldhausen. Algebraic K -theory of spaces, a manifold approach. In Current trends in algebraic topology, Part 1 (London, Ont., 1981) , volume 2 of CMS Conf. Proc. , pages 141184. Amer. Math. Soc., Providence, R.I., 1982.
- [34] Friedhelm Waldhausen. Algebraic K -theory of spaces, localization, and the chromatic filtration of stable homotopy. In Algebraic topology, Aarhus 1982 (Aarhus, 1982) , volume 1051 of Lecture Notes in Math. , pages 173-195. Springer, Berlin, 1984.
- [35] Lawrence C. Washington. Introduction to cyclotomic fields , volume 83 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1997.
- [36] Charles A. Weibel. The K -book , volume 145 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2013. An introduction to algebraic K -theory.

Department of Mathematics, The University of Texas, Austin, TX 78712 Email address : blumberg@math.utexas.edu

Department of Mathematics, Indiana University, Bloomington, IN 47405 Email address : mmandell@indiana.edu
Andrew J. Blumberg Michael A. Mandell
The homotopy groups of the algebraic K-theory of the sphere spectrum
We calculate $\pi_*K(\mathbb S)[1/2]$, the homotopy groups of $K(\mathbb S)$
away from 2, in terms of the homotopy groups of $K(\mathbb Z)$, the homotopy
groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$.
This builds on the work of Waldhausen, who computed the rational homotopy
groups (building on work of Quillen and Borel) and Rognes, who calculated the
groups at regular primes in terms of the homotopy groups of ${\mathbb
C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$.