7
$\begingroup$

There is a map $BG \to A(\ast)$ where $BG$ classifies stable spherical fibrations and $A(\ast)$ is Waldhausen's algebraic $K$-theory of a point. The map is induced by applying Quillen's plus construction to the inclusion $$ BGL_1(S^0) \to BGL_\infty(S^0) $$ where $BGL_1(S^0)$ is $BG$. Here $BGL_\infty(S^0)$ can be defined as the homotopy colimit over $k$ and $n$ of $BG(\vee_k S^n)$, where $G(\vee_k S^n)$ is the topological monoid of homotopy automorphisms of a $k$-fold wedge of $n$-spheres. (Note: $A(\ast) = \Bbb Z \times BGL_\infty(S^0)^+$.)

Question 1: I've heard it mentioned that there can be no retraction $A(*) \to BG$ to the map $BG \to A(\ast)$. Can someone please explain to me why there is no such splitting, and if possible, give a reference?

More generally,

Question 2: If $R$ is a structured ring spectrum, is there a reasonable set of conditions which guarantees that the map $BGL_1(R)\to K(R)$ admits a retraction?

(A related question is under what conditions does an $R$-module map $f: R^n \to R^n$ which is a weak homotopy equivalence admit a determinant $\text{det}(f) \in GL_1(R)$).

$\endgroup$

2 Answers 2

5
$\begingroup$

Question 1: There are several arguments.

In degree 2 there is a reference: the proof of corollary 3.7 of Waldhausen's "Algebraic K-theory of spaces, a manifold approach". See http://www.math.uni-bielefeld.de/~fw/ for a copy. Consider the maps $BG \to A(\ast) \to K(Z)$ and apply $\pi_2$. Here $\pi_2 BG = Z/2$, the composite is zero (restrict to $BSG$) and $\pi_2 A(\ast) \to K_2(Z)$ is an isomorphism. Hence the first homomorphism cannot be injective.

In degree 3 there is another argument. Right composition with the unstable map $\eta : S^3 \to S^2$ takes the generator of $\pi_2(BO)$ to zero in $\pi_3(BO) = 0$, so by naturality with respect to $BO \to BG$, composition with $\eta$ takes the generator of $\pi_2(BG) = Z/2$ to zero in $\pi_3(BG)$. On the other hand, composition with $\eta$ takes the generator of $\pi_2 Q(S^0)$ to a nonzero element in $\pi_3 Q(S^0)$, so by naturality with respect to $Q(S^0) \to A(\ast)$, composition with $\eta$ is nonzero from $\pi_2 A(*) = Z/2$ to $\pi_3 A(\ast)$. Therefore $BG$ cannot split off $A(*)$.

In degree 4 there is your argument.

Question 2: So far, I only know that $BGL_1(R) \to K(R)$ admits a retraction if $R$ is the realization of a commutative simplicial ring. There is no retraction for $R = ku$ by Corollary 2.3 of "Divisibility of the Dirac magnetic monopole as a two-vector bundle over the three-sphere" by Ch. Ausoni, B. I. Dundas and J. Rognes, Documenta Mathematica 13 (2008) 795-801, and ku is already pretty close to a commutative simplicial ring.

$\endgroup$
3
$\begingroup$

I just realized how the argument for Question 1 might go (I hope this isn't self-indulgence on my part):

The composite $BO \to BG \to A(*)$ factors through $Q(S^0)$. So it suffices to show there is no map $Q(S^0) \to BG$ such that the composite $BO \to Q(S^0) \to BG$ is homotopic to the usual map. If this map existed then the composite $\pi_4(BO) \to \pi_4^{\text{st}}(S^0) \to \pi_4(BG)$ would be the map $\Bbb Z \to \Bbb Z_{24}$ which is the J-homomorphism in this dimension, so it's non-trivial.

However, we get a contradiction with this since $\pi^{\text{st}}_4(S^0)$ is trivial.

Is this the usual proof?

$\endgroup$
1
  • 2
    $\begingroup$ I think I have heard that line of argument verbally from John Rognes. I don't know if it is written anywhere. $\endgroup$ Jan 25, 2011 at 8:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.