We provide proofs of several variants for spectra of the original Adams Conjecture. Our approach uses F-spaces (also known as Segal Gamma-spaces), resulting in establishing both unstable and stable homotopy equivalences between maps of spectra associated to the J-map and the Adams operations. We employ a rigid version of Artin-Mazur etale homotopy theory applied to commutative diagrams of simplicial schemes defined over the Witt vectors of fields of positive characteristic. Much of this text is devoting to developing a theory of X-fibrations and l-complete X-fibrations over the F-spaces we consider.
Let {\bf kU} denote the connective spectrum of (topological) complex K-theory. If p and \ell are distinct primes, then the maps
are equal in the homotopy category of connective \Omega-spectra.
Let {\bf J}_\ell^o: ({\bf BU})_\ell \ \to \ (\bf{BG^o(S)}_{[0]})_\ell denote the map of 1-connected \Omega-spectra induced by {\bf J}_\ell. If p and \ell are distinct primes, then the following maps
are equal in the homotopy category of connective \Omega-spectra.
If p and \ell are distinct primes, the following maps of 1-connected spectra
are equal in the homotopy category of connective \Omega-spectra.
Let V be an affine algebraic variety over k with coordinate algebra k[V], a finitely generated commutative k-algebra. Assume that V is defined over some finite subfield \mathbb F_q \subset k with q = p^d, so that k[V] = F_q[V_{\mathbb F_q}] \otimes_{\mathbb F_q} k for some finitely generated commutative \mathbb F_q-algebra \mathbb F_q[V_{\mathbb F_q})].
The d-th (geometric) Frobenius F^d: V \to V is map of k-varieties defined as the base change to k of the q-th power map V_{\mathbb F_q} \to V_{\mathbb F_q} given by sending f \in \mathbb F_q[V_{\mathbb F_q}] to f^q. For d = 1, we use F to denote F^1.
The d-th (arithmetic) Frobenius \sigma^d: V \to V is the map of schemes (but not of k-varieties) given by 1 \otimes (-)^q: \mathbb F_q[V_{\mathbb F_q}] \otimes_{\mathbb F_q} k \ \to \ k[V_{\mathbb F_q}] \otimes_{\mathbb F_q} k.
The total q-th power map (-)^q = F^d \circ \sigma^d = \sigma^d \circ F^d: V \ \to \ V (also called the d-th (absolute) Frobenius) is the map of schemes sending each f \in k[V] to f^q. This map induces the identity map on the (rigid) ètale homotopy type and ètale cohomology of V.
Let R denote either \mathbb C (the complex numbers) or k or the Witt vectors W(k) of k (a complete discrete valuation ring with residue field k and field of fractions of characteristic 0). Consider the simplicial mapping cone of the open embedding \mathbb A_R^{n}{\text -}\{ 0 \} \hookrightarrow \mathbb A^n_R,
a simplicial R-scheme. Since GL_n acts naturally on the diagram
there is a natural GL_{n,R} action on S^{2n,alg}_R.
The smash product
is the map of simplicial R-schemes which factors the composition of the natural map
induced by the embedding (\mathbb A_R^m{\text-}\{ 0 \} \times \Delta[1]) \times (\mathbb A_R^n{\text-}\{ 0 \} \times \Delta[1]) \ \hookrightarrow \ \mathbb A_R^{m+n}{\text-}\{ 0 \} \times \Delta[1]^{\times 2} and the map
induced by the simplicial map \Delta[1]^{\times 2} \to \Delta[1] which sends L \subset \Delta[1]^{\times 2} to the vertex 0 and sends the vertex (1,1) \in \Delta[1]^{\times 2} to the vertex 1.
We verify that
is GL_{m,R} \times GL_{n,R}-equivariant, by observing that GL_{m,R} \times GL_{n,R} acts on the appropriate diagram.
For any positive integer d, the the maps on étale cohomology induced by the (geometric) Frobenius map F
are identified with multiplication by p^s on \mathbb Z/\ell^d. Moreover,
and the smash product (?) induces an isomorphism
The assertion for F^* on H_{et}^{2s}(\mathbb P^n_k,\mathbb Z/\ell^d) follows from the functoriality of the cycle class map. Using the “geometric fibration" \mathbb A^1_k{\text-}0 \to \mathbb A^n_k{\text-}0 \to \mathbb P_k^{n-1}, we conclude that the action of F^* on H_{et}^{2n-1}( \mathbb A^n_k{\text-}0,\mathbb Z/\ell^d) is identified with multiplication by p^n on \mathbb Z/\ell^d and H_{et}^{i}( \mathbb A^n_k{\text-}0,\mathbb Z/\ell^d) = 0, \ i \not= 0, 2n-1.
Computations involving the étale cohomology of the simplicial schemes S^{2n,alg}_k are achieved by using the spectral sequence E_1^{s,t} = H^t_{et}(X_s,\mathbb Z/\ell^d) \Rightarrow H^{s+t}_{et}(X_\bullet,\mathbb Z/\ell^d) for the etale cohomology of a simplicial scheme X_\bullet (see [F82, Prop 2.4]). For the simplicial schemes occurring in this proposition, the spectral sequences are readily compared with analogs occurring in topology.
We denote by |S^{2n,alg}_\mathbb C| the total space of simplicial topological space (S^{2n,alg}_\mathbb C)^{top} obtained by applying the analytic topology functor to the simplicial scheme S^{2n,alg}_\mathbb C over \mathbb C. The Lie group GL(n,\mathbb C)^{top} acts naturally on |S^{2n,alg}_\mathbb C|.
Consider the continuous pointed map
given by sending \ast \in |S^{2n,alg}_\mathbb C| to the base point \infty \in (\mathbb C^n)^+; sending (z,t) \in \mathbb A^n{\text-}0 \times [0,\frac{1}{2}] to \frac{z}{4t} \in (\mathbb C^n)^+; sending (z,t) \in \mathbb A^n{\text-}0 \times [\frac{1}{2},1] to tz, and sending \mathbb A^n (attached at t=1) via the inclusion in (\mathbb C^n)^+. So defined, \gamma_n is \operatorname{GL}\nolimits_n^{top}-equivariant as well as a pointed homotopy equivalence.
Then smash product determines the following commutative square whose maps are GL_m^{top} \times GL_n^{top}-equivariant
We view |S^{2n}_\mathbb C| is the mapping cone of the inclusion (A^n(\mathbb C){\text-}\{ 0 \})^{top} \hookrightarrow (A^n(\mathbb C))^{top}. We see by inspection that \gamma_n is GL_n^{top}-equivariant. One way to see that \gamma_n is a homotopy equivalence is by viewing S^{2n} as homotopy equivalent to the the mapping cone of S^{2n-1} \hookrightarrow \mathbb R^{2n}.
The commutativity of (?) is verified by inspection.
For a closed subgroup scheme \mathbb G_R of GL_{N,R} for some N (we shall take R to be \mathbb C or W(k) or k), we denote by B\mathbb G_R the simplicial R-scheme obtained by applying the “simplicial bar construction"; so defined, B\mathbb G_R has \operatorname{Spec}\nolimits R in simplicial degree 0 and \mathbb G_R^{\times n} in simplicial degree n > 0; face maps \mathbb G_R^{\times n} \to \mathbb G_R^{\times n-1} are determined by multiplications of adjacent copies of \mathbb G_R as well as projections; degeneracy maps \mathbb G_R^{\times n} \to \mathbb G_R^{\times n+1} involve projections and the identity map \operatorname{Spec}\nolimits R \to \mathbb G_R. If X_\bullet is a simplicial R-scheme with \mathbb G_R acting on the left on each X_n and with each structure map of X_n \to X_m a map of \mathbb G_R-schemes, then we define B(\mathbb G_R,X_\bullet) to be the diagonal of the evident bisimplicial R-scheme: B(\mathbb G_R,X_\bullet)_0 = X_0, B(\mathbb G_R,X_\bullet)_n \ = \ \mathbb G_k^{\times n}\times_{\operatorname{Spec}\nolimits R} X_n, and with face maps determined by multiplication for \mathbb G_r except that the last face map entails the action \mathbb G_R \times X_n \to X_{n-1}. More generally, if also given Y_\bullet simplicial R-scheme with \mathbb G_R acting on the right on each Y_n, we consider B(Y_\bullet,\mathbb G_R,X_\bullet), the diagonal of the evident tri-simplicial R-scheme.
In order to use a parallel construction for Lie groups G^{top} acting continuously on a simplicial topological space T, we use the simplicial bar constructions to define BG^{top} and B(G^{top},T) as the total spaces of the simplicial spaces (BG^{top})_\bullet and B(G^{top},T)_\bullet; here (BG^{top})_0 is a point and (BG^{top})_n the topological space (G^{top})^{\times n} for n > 0; B(G^{top},T)_0 is the space T_0 and B(G^{top},T)_n is the space (G^{top})^{\times n} \times T_n; the face and degeneracy maps are defined as above.
In what follows, we shall suppress the designation (-)_\bullet for simplicial schemes and simplicial spaces.
Consider the commutative square of simplicial k-varieties
whose horizontal maps are the (geometric) Frobenius map and whose vertical maps are the natural projections. Then the restriction of F: B(GL_{,k},S_k^{2n,alg}) \to B(GL_{n,k},S_k^{2n,alg}) above the base point \operatorname{Spec}\nolimits k \to BGL_{n,k} is the Frobenius map F: S_k^{2n,alg} \to S_k^{2n,alg}.
We employ the \mathbb Z/\ell-completion functor of [Bo-Kan, X.4.9,X.4.10]
(taking values in Kan complexes) which has the important property that (\mathbb Z/\ell)_\infty(f): (\mathbb Z/\ell)_\infty(X) \to (\mathbb Z/\ell)_\infty(Y) is a homotopy equivalence whenever the map f:X \to Y of simplicial sets is a mod-\ell equivalence (i.e., whenever f induces an isomorphism H_*(X,\mathbb Z/\ell) \ \stackrel{\sim}{\to} \ H_*(Y,\mathbb Z/\ell)). Another useful property of (\mathbb Z/\ell_\infty)(-) is that the natural map (\mathbb Z/\ell_\infty)(X\times Y) \to (\mathbb Z/\ell_\infty)(X) \times (\mathbb Z/\ell_\infty)(Y) is a homotopy equivalence with a natural left inverse [Bo-Kan, I.7.2].
To simplify notation, we shall often abbreviate the name of the functor (\mathbb Z/\ell_\infty)(-) by setting
As discussed in [F82, § 4, § 8], the (\check{C}ech) étale topological type functor on the category of locally noetherian schemes
is defined by setting
sending a rigid étale cover U \to X to the simplicial set of connected components of its \check{C}ech nerve.
For a geometrically pointed, connected simplicial scheme X_\bullet and a prime \ell, we define the \mathbb Z/\ell-completed rigid étale topological type functor
by sending the geometrically pointed simplicial scheme X_\bullet to
where diag\{ - \}: (bis.sets_*) \to (s.sets_*) denotes the diagonal functor sending a bi-simplicial set to its diagonal. (See [Bo-F, App B].)
If X_\bullet is not connected, then we require a geometric pointing of each connected component of X_\bullet and then take the disjoint union of the result of applying (-)^\wedge to each component.
In the above definition, we apply (-)_\ell after taking the diagonal of a bisimplicial set because the diagonal of a simplicial object of Kan complexes is not necessarily a Kan complex.
For the schemes considered in this paper, the natural map (X_n)_{ret} \to ((X_n)_{ret})_\ell induces an isomorphism on \mathbb Z/\ell-cohomology (i.e., (X_n)_{ret} is \ell-good) and \pi_1((X_n)_{ret}) acts trivially on H^*((X_n)_{ret},\mathbb Z/\ell) = H^*_{et}(X_n,\mathbb Z/\ell). Because \overline X_n has bounded cardinality and the homotopy groups of are finitely generated \mathbb Z_\ell-modules, this implies that \underset{\longleftarrow}{holim}((X_n)_{ret})_\ell) is also \ell-good.
Consequently, the \mathbb Z/\ell-cohomology of diag\{ n \mapsto \underset{\longleftarrow}{holim}((X_n)_{ret})_\ell) \} equals the étale cohomology H^*_{et}(X_n,\mathbb Z/\ell). Thus, applying (-)_\ell after taking the diagonal of bisimplicial set does not change the \mathbb Z/\ell-cohomology and yields a Kan complex.
Let X_\mathbb C be a pointed, connected simplicial scheme which is of finite type over \mathbb C in each simplicial degree. Then there exist homotopy equivalences
natural with respect to pointed maps of simplicial schemes over \mathbb C.
The map \rho_{U\mapsto X} is determined level-wise maps for each n \geq 0 by applying Sin(|N_{X_n}(-)^{top}|) to rigid étale coverings U \to X_n, whereas the map \rho_{top\mapsto \pi_0} is determined level-wise by the “inverse system" of maps
Sin(N_{X_n}(U)^{top}) \to \pi_0(N_{X_n}(U)^{top}). The proof that these maps are homotopy equivalences can be found in [F82, Thm 8.4, Cor 8.5].
Equip W(k) with an embedding into \mathbb C and consider a connected simplicial scheme X_{W(k)} over W(k) with a section \operatorname{Spec}\nolimits W(k) \to (X_{W(k)})_0 such X_{W(k)} is of finite type over W(k) in each simplicial degree. Assume that X_{W(k)} satisfies the étale cohomological base change isomorphisms of (?). Then base change determines pointed homotopy equivalences
These equivalences are natural with respect to maps X_{W(k)} \to Y_{W(k)} defined over \operatorname{Spec}\nolimits W(k).
Proposition 2.6 provides motivation/justification for our definition of (-)^\wedge. In [F82], étale coverings (and hypercoverings) of simplicial schemes were considered, rather than considering “level-wise" étale coverings. This works well if one considers pro-objects in the homotopy category of pointed simplicial sets but the rigidification process seems questionable for such coverings.
Another approach is due to G. Quick in [Quick] and [Quick2] whose “étale topological type" of a simplicial scheme is a simplicial object in a suitable homotopy category for pro-spaces. We find this approach elegant, and an interested reader might find Quick’s formulation to be preferable to that given in Definition 2.3 though perhaps requiring additional machinery in the context of the homotopy category of pro-spaces.
Consider pointed, connected simplicial schemes X_{W(k)}, \ Y_{W(k)} over \operatorname{Spec}\nolimits W(k) of finite type in each dimension which satisfy the base change equivalences of (2.6). Assume that X \times Y satisfies the condition that the natural map
is an isomorphism. Then the natural map
is a pointed homotopy equivalence whenever R equals k, \ \mathbb C, or W(k).
There is a natural homotopy equivalence from (S_k^{2n,alg})^\wedge to the homotopy fiber of the map obtained by applying (-)^\wedge to the projection map \tau_{n,k}^{alg}:
The commutative squares of (1.6) of simplicial k-varieties determines
whose map on homotopy fibers is homotopic to F^\wedge: (S_k^{2n,alg})^\wedge \ \to \ (S_k^{2n,alg})^\wedge which has degree p^n.
By Proposition 1.6, S_k^{2n,alg} is the geometric fibre of \tau_{n,k}. By [F82, Thm 10.7], there is a natural \mathbb Z/\ell-equivalence from (S_k^{2n,alg})^\wedge (the “homotopy type of the geometric fiber") to the homotopy fiber of (\tau_{n,k})^\wedge (the “homotopy-theoretic fiber"). Using Example 2.8 and Proposition 2.6, we conclude that the second assertion follows from the naturality of the comparison of geometric and homotopy-theoretic fibers.
Let T be the finite simplicial set with two non-degenerate simplices and with |T| = S^1. Let T^n denote the n-th smash power of T. For any \mathcal F-space \underline\mathcal B, we extend \underline\mathcal B so that it is a functor from finite pointed simplicial sets to simplical sets.
Following [Segal, Prop 1.4] and [Bo-F, Thm 4.4], we define the spectrum
associated to \underline\mathcal B.
We denote by \underline \mathcal N: \mathcal F \to (sets_*) the functor sending {\bf n} for n > 0 to the discrete pointed simplicial set \mathbb N^{\times n} (the pointed set of n-tuples of non-negative integers) and sending \alpha: {\bf n} \to {\bf m} in \mathcal F to the pointed set map \mathbb N^{\times n} \to \mathbb N^{\times m} which sends the n-tuple I=(i_1,\dots,i_n) to the m-tuple \alpha(I) = (j_1,\dots,j_m) where j_t = \sum_{\alpha(s)= t} i_s and the sum is the monoid structure of \mathbb N.
The spectrum ||\underline\mathcal N || has \pi_0 equal to \mathbb N. The associated \Omega-spectrum ||\underline\mathcal N ||^+ (see (3.3)) can be identified with {\bf K(\mathbb Z,0)}.
[Bo-F, § 5] Denote by vs\mathcal F[s.sets_*] the full subcategory of \mathcal F[s.sets_*] whose objects are very special \mathcal F-spaces. There is a functor T: \mathcal F[s.sets_*] \to vs\mathcal F[s.sets_*] together with a natural transformation \eta: id \to T which induces a map on homotopy categories fitting in the following commutative square
The lower horizontal map of (3.3) is an equivalence of categories, where Ho(c.\Omega{\text -}spectra) is the “usual" stable homotopy category of connective spectra.
For any \mathcal F-space : \underline\mathcal B, \eta: \underline\mathcal B \to T(\underline\mathcal B) is a stable weak equivalence in the sense of [Bo-F].
If \underline\mathcal B is a special \mathcal F-space, then \eta: ||\underline\mathcal B|| \to ||T(\underline\mathcal B)|| is a “homotopy-theoretic group completion" on 0-spaces ||\underline\mathcal B||_0 \to ||T(\underline\mathcal B)||_0 and determines homotopy equivalences ||\underline\mathcal B||_i \to ||T(\underline\mathcal B)||_i for i > 0.
If \underline\mathcal B is a very special \mathcal F-space, then \eta: ||\underline\mathcal B|| \to ||T(\underline\mathcal B)|| is a homotopy equivalence of \Omega-spectra.
Denote by \mathcal F{\text -}spec the full subcategory of \mathcal F[s.sets_*] of special \mathcal F-spaces. Then \mathcal F{\text -}spec inherits the structure of a Quillen model category from that of \mathcal F[s.sets_*] such that
is fully faithful. Namely, one verifies that any fibrant replacement and any cofibrant replacement of an object of \mathcal F{\text -}spec is a map in \mathcal F{\text -}spec.
Moreover, the slice category \mathcal F{\text -}spec/\underline\mathcal N inherits the structure of a Quillen model category from that of \mathcal F{\text -}spec such that
is also fully faithful.
Denote by (\mathcal F{\text -}spec/\underline\mathcal N)_* the full subacategory of \mathcal F{\text -}spec/\underline\mathcal N whose objects
are special \mathcal F-spaces over \underline\mathcal N equipped with a section with the additional property the pre-image \underline\mathcal B_I of any I \in \underline\mathcal N({\bf n}) is pointed, connected. Then (\mathcal F{\text -}spec/\underline\mathcal N)_* inherits the structure of a Quillen model category from that of \mathcal F{\text -}spec/\underline\mathcal N such that
is fully faithful. The justification for this is that fibrant and cofibrant replacements in \mathcal F{\text -}spec/\underline\mathcal N of objects in (\mathcal F{\text -}spec/\underline\mathcal N)_* can be achieved using functorial base-point preserving constructions level-by-level (see, for example, [Bo-F]), and the base point of the connected space \underline\mathcal B_I for (\underline\mathcal B,f,s) for each I \in \underline\mathcal N({\bf n}) is given by s(I).
Two maps \phi, \psi: {\underline \mathcal B} \to {\underline \mathcal B}^\prime in (\mathcal F{\text -}spec/\underline\mathcal N)_* are equal in
Hom_{\mathcal F[s.sets_*]}(\underline\mathcal B, \underline\mathcal B^\prime) if and only if they are equal in Hom_{(\mathcal F{\text -}spec/\underline\mathcal N)_*}(\underline\mathcal B, \underline\mathcal B^\prime).
Moreover, if \phi, \psi are equal in Hom_{(\mathcal F{\text -}spec/\underline\mathcal N)_*}(\underline\mathcal B, \underline\mathcal B^\prime), then they are homotopic in the stable homotopy category of connective spectra.
The constructions in this paper involve objects and maps in (\mathcal F{\text -}spec/\underline\mathcal N)_*. The additional structure for an \mathcal F-space \underline\mathcal B \to \underline\mathcal N to be an object of (\mathcal F{\text -}spec/\underline\mathcal N)_* enables internal structure maps to be base-point preserving, needed when one takes smash products.
We refer to an object of (\mathcal F{\text -}spec/\underline\mathcal N)_* as a “pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N", leaving the structure map f: \underline\mathcal B \to \underline\mathcal N and the section s: \underline\mathcal N \to \underline\mathcal B implicit.
[F80, Ex 8.1], [Segal] There exists a special \mathcal F-object over \underline\mathcal N of pointed topological spaces
with {\underline \mathcal B}GL(\mathbb C)^{top}({\bf 1})\ = \ \coprod_{n\geq 0} BGL_n(\mathbb C)^{top} and sum pairing given by block sum of matrices. Here, BGL_n(\mathbb C)^{top} is the total topological space associated to the simplicial bar construction applied to the complex Lie group GL_n(\mathbb C)^{top} which we view as the nerve of the topological category with one object \mathbb C^n and whose mapping space is GL_n(\mathbb C)^{top}. For n > 1 and I \in \underline\mathcal N, we identify {\underline \mathcal B}GL(\mathbb C)^{top}({\bf n})_I with
This is the nerve of the topological category \mathcal C(GL)({\bf n}) an object of which is indexed by pairs (I = (i_1,\ldots,i_n) \in \mathcal F({\bf n}), \times_{S\subset {\bf n}} \sigma_S \in \Sigma_{|S|}) where S\subset {\bf n} is the set of subsets of \{1,\ldots,n\} of size |S| \geq 2. Maps of \mathcal C(GL)({\bf n}) consist of isomorphisms of objects, where Iso((I \in \mathcal F({\bf n}), \times_{S\subset {\bf n}} \sigma_S \in \Sigma_{|S|}) can be identified with \prod_{j=1}^n GL_{i_j}(\mathbb C)^{top} \times \prod_{S\subset {\bf n}} \Sigma_{|S|}. Sending {\bf n} to \mathcal C(GL)({\bf n}) determines a well-defined functor from \mathcal F to (topological categories), where elements \mu_S \in \Sigma_{|S|} are used to provide functorial maps between partial sums indexed by S \subset {\bf n}. Taking the nerve of these categories, one obtains the “special" \mathcal F-object {\underline \mathcal B}GL(\mathbb C)^{top}: \mathcal F \to \ (\text{spaces}_*) over \underline\mathcal N.
Moreover, there is a map of special \mathcal F-objects over \underline\mathcal N of topological spaces
with the property that
is the projection.
The construction of {\underline \mathcal B}(GL(\mathbb C),\mathbb C^+)^{top} is given by taking the nerves of the topological categories \widetilde{\mathcal C(GL)}({\bf n}), an object of which is indexed by pairs
Again, the indexing set S\subset {\bf n} is the set of subsets of \{1,\ldots,n\} of size |S| \geq 2. Maps of \widetilde{\mathcal C(GL)({\bf n})} consist of isomorphisms of objects which respect sums; these can be identified with \prod_{j=1}^n GL_{i_j}(\mathbb C)^{top}.
Proposition 1.4 enables us to replace (\mathbb C^n)^+ by |S^{2n,alg}_\mathbb C| in the construction of \tau^{top}_{\mathbb C^+}, thereby obtaining
Let X denote a pointed, connected, locally finite simplicial set with realization |X|. Denote by G(|X|)^{top} the function space with the compact open topology of pointed self-equivalences of |X|. Composition gives G(|X|)^{top} the structure of an H-space. Moreover, smash product X^m \times X^n \to X^{m+n} determines a continuous smash product |X^m|\times |X^n| \to |X^{m+n}| leading to the smash product G(|X^m|)^{top} \times G(|X^n|)^{top} \to G(|X^{m+n}|)^{top} of self-equivalences and a continuous action of G(|X^m|)^{top} \times |X^m| \to |X^m| commuting with this smash product.
There exists a special \mathcal F-object over \underline\mathcal N of pointed topological spaces
with {\underline \mathcal B}G(|X|)^{top}({\bf 1})\ = \ \coprod_{n\geq 0} BG(|X^n|)^{top} and sum pairing given by smash products. As in the previous example, BG(|X^n|)^{top} is the total topological space associated to the simplicial bar construction applied to the H-space G(|X^n|)^{top}. For n > 1 and I = (i_1,\ldots,i_n)\in \underline\mathcal N, we identify {\underline \mathcal B}G(|X|)^{top}({\bf n})_I with
As in the previous example, there there is a map of special \mathcal F-objects over \underline\mathcal N of topological spaces
with the property that
is the projection.
Let X be a pointed, connected simplicial set with geometric realization |X|. Recall that |-| is left adjoint to the singular functor Sin(-): (spaces_*) \to (s.sets_*). We consider the function complex \underline{Hom}_*(X,Sin(|X|)) whose t-simplices are simplicial maps X \times \Delta[t] \to Sin(|X|) subject to the condition that x_0 \times \Delta[t] maps to x_0 \subset Sin_0(|X|) where x_0 \in X_0 is the base point. The adjunction | - | \circ Sin(-) \to id equips \underline{Hom}_*(X,Sin(|X|)) with a simplicial monoid structure associated with composition of functions and defines the natural action
We denote by G(X) \ \subset \ \underline{Hom}_*(X,Sin(|X|)) the (simplicial) submonoid consisting of components whose images in the discrete monoid \pi_0 (\underline{Hom}_*(X,Sin(|X|))) are invertible, and we denote by G^o(X) \subset G(X) the distinguished component containing the canonical map X \to Sin(|X|).
If the action of each \sigma \in \Sigma_n on smash factors of X^n is weakly homotopy equivalent to the identity of X^n, then we say that \Sigma_n \subset G^o(X^n).
The adjunction equivalence \underline{Hom}_*(X,Sin(|X|)) \ \stackrel{\sim}{\to} \ Sin(\underline{Hom}^{top}_*(|X|,|X|) implies that G(X) is G(X) is a Kan complex. If X is locally finite, then G(X) \ \simeq Sin(G(|X|)^{top}).
If |X| has the homotopy type of the (pointed) n-sphere S^n, then G(X) is homotopy equivalent to Sin(\Omega_{\pm 1}^n(S^n)) and G^0(X) is homotopy equivalent to Sin(\Omega_1^n(S^n)). Thus, \pi_i(G(X)) = \pi_{i+n}(S^n) for i > 0 and \pi_0(G(X)) = \mathbb Z/2. See, for example, a discussion by J.F. Adams in [Adams, §2].
Let X be a pointed, connected simplicial set. For I = (i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}), denote by X^I the product \prod_{j=1}^n X^{i_j}, where X^{i_j} is the smash product of i_j copies of X. We consider the simplicial monoid G(X^I) \ \subset \ \underline{Hom}_*(X^I,Sin(|X^I|)) with product given by composition (together with the adjunction map |-| \circ Sin \to id).
Let \alpha: {\bf n} \to {\bf m} be a non-decreasing map in \mathcal F, I \in \underline\mathcal N({\bf n}), and J = \alpha(I) \in \underline\mathcal N({\bf m}). Then \alpha determines maps involving smash products
For \alpha: {\bf n} \to {\bf m} non-decreasing, the natural actions of the form (3.10) fit into commutative squares
The compatible pairings of (?) determine the map of special \mathcal F-spaces over \underline\mathcal N
whose value on {\bf 1} is the projection \coprod_{i \geq 0} B(G(X^i),Sin(|X^i|)) \ \to \ \coprod_{i \geq 0} BG(X^i). As in previous examples, we can identify the restriction of \pi_X above I \in \mathcal N({\bf n}) as the projection
If \Sigma_n \subset G^o(X^n) for all n > 0, then we define the “oriented analogue" \underline \mathcal B G^o(X) \hookrightarrow \ Sin(\underline\mathcal B G(|X|)^{top,o}) by simply replacing G(X^I) by G^o(X^I) in the construction of \underline\mathcal B G(X).
Let X denote a pointed, connected, locally finite simplicial set with realization |X|. Then there is a commutative square of pointed-connected special \mathbb F-spaces over \underline\mathcal N
whose horizontal maps arise using the canonical maps G(X^I) \to Sin(G(|X^I|)). For every I \in \underline\mathcal N({\bf n}), n > 0, the restriction of (3.13) above I
is a cartesian square whose vertical maps are fibrations with fibers homotopy equivalent to Sin(|X^I |) and whose horizontal maps are weak equivalences.
Consider a pointed, connected simplicial set X and a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. An X-fibration over \underline\mathcal B is a pair of maps (f: \underline\mathcal E \ \to \ \underline\mathcal B, \ s_f: \underline\mathcal B \to \underline\mathcal E) of special \mathcal F-spaces over \underline \mathcal N with f \circ s_f = id satisfying the following conditions:
For each n > 0 and I =(i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}), f_I: \underline\mathcal E_I\to \underline\mathcal B_I is a fibration with fibers which are pointed homotopy equivalent to Sin(|X^I|).
For any non-decreasing \alpha: {\bf n} \to {\bf m} \in \mathcal F, I \in \underline\mathcal N({\bf n}), J = \alpha(I) \in \underline\mathcal N({\bf m}), and \Delta[d] \to \underline\mathcal B_I, the restriction of \alpha above \Delta[d],
is homotopic to (\wedge_{\alpha,I})\times id: Sin(|X^I |)\times \Delta[d] \quad \to \quad Sin(|X^J|) \times \Delta[d].
Definition 4.1 is a simplified formulation of the definition of an X-fibration given in [F80] and corrected in [B-K]. We have replaced the somewhat cumbersome condition that an X-fibration f:\underline\mathcal E \to \underline\mathcal B be “properly sectioned" by the condition that f is equipped with a left inverse. This enables compatible base points on fibers of f.
Let X be a pointed, connected simplicial set. Consider a map \phi: \underline\mathcal B \ \to \ \underline \mathcal B^\prime of pointed-connected special \mathcal F-spaces over \underline\mathcal N, and X-fibrations (f: \underline\mathcal E \to \underline \mathcal B, \ s_f: \underline\mathcal B \to \underline\mathcal E) (f^\prime: \underline\mathcal E ^\prime\to \underline \mathcal B^\prime, \ s_{f^\prime}: \underline\mathcal B^\prime \to \underline\mathcal E^\prime). A map (\tilde \phi,\phi): (f,s_f) \ \to \ (f^\prime,s_{f^\prime}) of X-fibrations over \phi is a commutative square in (\mathcal F{\text -}spec/\underline\mathcal N)_*.
compatible with sections for f and f^\prime with the property that the induced map {\underline\mathcal E}_I \ \to \ {\underline\mathcal E^\prime}_I \times_{\underline\mathcal B_I^\prime} \underline\mathcal B_I is a fiber homtopy equivalence over \underline\mathcal B_I for all I \in \underline\mathcal N({\bf n}).
We give a few examples of X-fibrations.
Let X be a pointed, connected simplicial set. The map of \mathcal F-spaces
of Example 3.12 is a X-fibration over \underline\mathcal B G(X).
If X is a pointed, connected simplicial set such that \Sigma_n \subset G^o(X^n) for all n > 0, then \pi^o_X restricts to the X-fibration
Applying Sin(-) to the map \tau^{top}_{\mathbb C^+}:{\underline \mathcal B}(GL(\mathbb C),\mathbb C^+)^{top} \to {\underline \mathcal B}GL(\mathbb C)^{top} of (?) determines the X-fibration
for some pointed simplicial set X with |X| \simeq \mathbb C^+.
Similarly, if T_n(\mathbb C) \subset GL_n(\mathbb C) denotes the diagonal torus, we obtain
Consider a pointed, connected simplicial set X and a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N, and an X-fibration (f:\underline\mathcal E \to \underline\mathcal B, \ s_f: \underline\mathcal B \to \underline\mathcal E). Let \iota: \underline\mathcal B \to \underline\mathcal B^\prime be a trivial cofibration of pointed, connected special \mathcal F-spaces over \underline\mathcal N and factor \iota \circ f as \iota_!(f) \circ j: \underline\mathcal E \ \to \ \underline\mathcal E^! \to \underline\mathcal B^\prime with j a trivial cofibration and \iota_!(f) a fibration. Then \iota_!(f): \underline\mathcal E^! \to \underline\mathcal B^\prime is an X-fibration over \underline\mathcal B^\prime (with section s_{f^!}: \underline\mathcal B^\prime \to \underline\mathcal E^! obtained by extending \iota \circ s_f).
Consider \iota^*(\iota_!(f)): \underline\mathcal E^! \times_{\underline\mathcal B^\prime} \underline\mathcal B \ \to \ \underline\mathcal B and some n > 0 and I \in \mathcal F({\bf n}). Observe that \underline\mathcal E^! \times_{\underline\mathcal B^\prime} \underline\mathcal B \ \to \ \underline\mathcal E^! is a weak equivalence, the pull-back of the weak equivalence \iota along (\iota_!(f))_I. (This uses the fact that the category of (s.sets_*) is right proper. See [nLab].) Thus, the map of fibrations f_I \to (\iota^*(\iota_!(f)))_I is a map of fibrations over \underline\mathcal B_I whose map on total spaces is a weak equivalence.
Consider a pointed, connected simplicial set X and a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. We define an equivalence relation on X-fibrations over \underline\mathcal B by setting f \ \sim \ f^\prime if and only there is a chain of weak equivalences of pointed-connected special \mathcal F-spaces over \underline\mathcal N
and a map of X-fibrations p^*(\underline\mathcal E) \to j_!(\underline\mathcal E^\prime) covering \phi: \underline\mathcal B_1 \to \underline\mathcal B_2 (with sections)
where p is a cofibrant replacement of \underline\mathcal B, j is a fibrant replacement of \underline\mathcal B^\prime, and the image of (4.6) in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B,\underline\mathcal B) is the identity.
We denote by X{\text-}fib(\underline\mathcal B) the set of equivalence classes of X-fibrations over \underline\mathcal B, which we view as “fiber homotopy equivalence classes" of X-fibrations over \underline\mathcal B.
Two X-fibrations f , \ f^\prime over \underline\mathcal B are equivalent if and only if there is a chain of weak equivalences in (\mathcal F{\text -}spec/\underline\mathcal N)_*
whose image in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B,\underline\mathcal B) is the identity and which is covered by a chain of maps of X-fibrations f \to f^1 \leftarrow f^2 \to \cdots \to f^{2n} \leftarrow f^\prime.
Consider a pointed, connected simplicial set X and a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. If \iota: \underline\mathcal B \to \underline\mathcal B^\prime is a trivial cofibration, then sending an X-fibration f: \underline\mathcal E \to \underline\mathcal B to the X-fibration \iota_!*(f): \underline\mathcal E^! \to \underline\mathcal B^\prime determines a bijection
If f: \underline\mathcal E \to \underline\mathcal B is an X-fibration over \underline \mathcal B, there is a natural map f \ \to \ \iota^*(\iota_!(f)) of X-fibrations over \underline\mathcal B, and if f^\prime: \underline\mathcal E^\prime \to \underline\mathcal B^\prime is an X-fibration over \underline \mathcal B^\prime, there is a natural map \iota_!(\iota^*(f^\prime)) \ \to \ f^\prime of X-fibrations over \underline\mathcal B^\prime.
To show that \iota is well defined on equivalence classes of X-fibrations over \underline\mathcal B, it suffices to observe that \iota applied to (4.7) determines a commutative diagram
where the left square is chosen to be a pull-back square, the right square is a pushout square, and \phi^\prime is chosen to make the middle square commute.
Consider \iota^*(\iota_!(f)): \underline\mathcal E^! \times_{\underline\mathcal B^\prime} \underline\mathcal B \ \to \ \underline\mathcal B and some n > 0 and I \in \mathcal F({\bf n}). Observe that \underline\mathcal E^! \times_{\underline\mathcal B^\prime} \underline\mathcal B \ \to \ \underline\mathcal E^! is a weak equivalence, the pull-back of the weak equivalence \iota along (\iota_!(f))_I. (This uses the fact that the category of (s.sets_*) is right proper. See [nLab].) Thus, the map of fibrations f_I \to (\iota^*(\iota_!(f)))_I is a map of fibrations over \underline\mathcal B_I whose map on total spaces is a weak equivalence. Using the long exact sequence for homotopy groups of a fibration, we conclude that f_I \to (\iota^*(\iota_!(f)))_I induces homotopy equivalences on fibers so that f \to \iota^*(\iota_!(f)) is a map of X-fibrations over \underline\mathcal B.
On the other hand, given an X-fibration f^\prime: \underline\mathcal E^\prime \to \underline\mathcal B^\prime over \underline\mathcal B^\prime, the fibration of \iota_!(\iota^*(f^\prime)): (\iota^*(\underline\mathcal E^\prime)^! \to \underline\mathcal B^\prime factors through f^\prime with \iota_!(\iota^*(f^\prime)) \to f^\prime a map of X-fibrations over \underline\mathcal B^\prime.
Consider a pointed, connected simplicial set X, a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N, and a trivial fibration p: \underline\mathcal B^{\prime\prime} \to \underline\mathcal B. Then
is well defined bijection.
Moreover, if f^{\prime\prime} : \underline\mathcal E^{\prime\prime} \ \to \ \underline\mathcal B^{\prime\prime} is an X-fibration over \underline\mathcal B^{\prime\prime}, then the composition p\circ f^{\prime\prime} : \underline\mathcal E^{\prime\prime} \ \to \ \underline\mathcal B is an X-fibration over \underline\mathcal B with the property that the natural map p^*(p\circ f^{\prime\prime}) \to f^{\prime\prime} is a map of X-fibration over \underline\mathcal B^{\prime\prime}. Furthermore, if f: \underline\mathcal E \to \underline\mathcal B is an X-fibration over \underline\mathcal B, then p \circ p^*(f): \underline\mathcal E\times_{\underline\mathcal B} \underline\mathcal B^{\prime\prime} \to \underline\mathcal B^{\prime\prime} \to \underline\mathcal B naturally maps to f as a map of X-fibrations over \underline\mathcal B.
Consequently, p^* of (4.9) is bijective.
Consider a pointed, connected simplicial set X. Sending a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N to X{\text-}fib(\underline\mathcal B) and using the bijections of Lemmas 4.8.and 4.9, we obtain the functor
Consequently, sending \phi: \underline\mathcal B \dashrightarrow \underline\mathcal B G(X) to \phi^*(\pi_X) \in X{\text-}fib(\underline\mathcal B) determines a well defined natural transformation of functors
If \phi: \underline\mathcal B \dashrightarrow \underline\mathcal B_1 is a map in Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*), let p: \underline\mathcal B^{\prime\prime} \twoheadrightarrow \underline\mathcal B be a cofibrant replacement and let \iota:\underline\mathcal B_1 \hookrightarrow \underline\mathcal B_1^\prime be a fibrant replacement. Represent \phi by a chain of the form \underline\mathcal B \ \stackrel{p}{\leftarrow} \ \underline\mathcal B^{\prime\prime} \ \stackrel{f}{\to} \ \underline\mathcal B_1^\prime \ \stackrel{\iota}{\leftarrow} \ \underline\mathcal B_1. We define
which can be viewed as (p^*)^{-1} \circ f^* \circ (\iota^*)^{-1} by Lemmas 4.8 and 4.9.
Granted that two choices of f: \underline\mathcal B^{\prime\prime} \to \underline\mathcal B^\prime_1 representing \phi are related by a homotopy from a cyclinder object for \underline\mathcal B^{\prime\prime} to \underline\mathcal B^\prime_1, the pull-back f^* is independent of this choice. To verify that the composition is independent of choices of cofibrant and fibrant replacements is a straight-forward argument involving the comparison of two such choice by “dominating" them with a third.
Let X be a pointed, connected simplicial set. Consider an X-fibration f: \underline\mathcal E \ \to \ \underline\mathcal B (with section s:\underline\mathcal B \to \underline\mathcal E implicit) for some pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. For I = (i_,\ldots,i_n) \in \underline\mathcal N({\bf n}), we say that a map \phi: X^I \times \Delta[d] \to Sin(|\underline\mathcal E_I |) is a principal d-simplex of f_I provided that
The composition f_I \circ \phi: X^I \times \Delta[d] \to Sin(|\underline\mathcal E_I |) \to Sin(|\underline\mathcal B_I |) factors though the projection, X^I \times \Delta[d] \to \Delta[d] \to Sin(|\underline\mathcal B_I |) whose associated map X^I \times \Delta[d] \ \to \ Sin(|\underline\mathcal E_I |) \times_{Sin(|\underline\mathcal B_I |)} \Delta[d] restricted to each fiber over \Delta[d] is weakly homotopic to the canonical pointed map X^I \to Sin(|X^I|).
Consider a non-decreasing map \alpha: {\bf n} \to {\bf m} in \mathcal F and set J= (j_1,\ldots,j_m) \in \underline\mathcal N({\bf m}), \ j_s = \sum_{\alpha(i) = s} i_s. Then \phi induces \phi^\alpha: X^J \times \Delta[d] \to Sin(|\underline\mathcal E_{J} |) fitting in the commutative square
such that \phi^\alpha restricted to each fiber over \Delta[d] \to Sin(|\underline\mathcal B_I |) is weakly homotopy equivalent to the canonical map X^J\to Sin(|X^J|).
For I = (i_,\ldots,i_n) \in \underline\mathcal N({\bf n}), we define
to be the subcomplex of principal simplices of f_I . By construction, there is a natural map of simplicial sets P(f)_I \to Sin(|\underline\mathcal B_I|).
Consider a pointed, connected simplicial set X and a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. Let f: \underline\mathcal E \to \underline\mathcal B be an X-fibration (with section s:\underline\mathcal B \to \underline\mathcal E implicit). Consider the right action of G(X^I) on P(f_I) for some I \in \underline\mathcal N({\bf n})
which sends the pair (\phi: X^I \times \Delta[d] \to Sin(|\underline\mathcal E_I |),\ \theta: X^I \times \Delta[d] \to Sin(| X^I |)) to the composition
The action of (4.12) fits in commutative squares involving compositions and smash products for any non-decreasing \alpha: {\bf n} \to {\bf m} \in \mathcal F, I \in \underline\mathcal N({\bf n}), and J = \alpha(I)
Consider a pointed, connected simplicial set X, a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N, and an X-fibration f: \underline\mathcal E \to \underline\mathcal B (with section s:\underline\mathcal B \to \underline\mathcal E implicit). The diagrams (?) for all \underline n and I \in \underline\mathcal N(\underline n) determine a pointed-connected special \mathcal F-space \underline\mathcal B (P(f),G(X)) and (using the 2-sided bar construction) the X-fibration \pi_{P(f),X}: \underline\mathcal B (P(f),G(X),X) \to \underline\mathcal B (P(f),G(X)).
Moreover, \pi_{P(f),X} fits in the following commutative diagram of \mathcal F-spaces
whose squares are maps of X-fibrations and whose left and middle horizontal maps are weak equivalences.
For any I = (i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}), Example 3.12 and Lemma 4.12 determine commutative diagram of pointed simplicial sets
The simplicial set \underline\mathcal B(P(f),G(X),X) _I given by the 2-sided bar construction has set of degree t simplices equal to
The right horizontal maps of (Proof) are projections (sending P(f_I) to the base point), so that the right squares of (Proof) are cartesian. The lower left map, p_{f,I}, is given by projection to P(f)_I followed by P(f)_I \to Sin(|\underline\mathcal B_I|). The upper left map \tilde p_{f,I} utilizes the right action of G(X^I) on P(f_I) and the left action of G(X^I) on Sin(|X^I|). Then \tilde p_{f,I} sends a d-simplex of this simplicial set represented (with \Delta[d] omitted) as (\phi:X^I \to Sin(|\mathcal E_I|),\ (g_1,\ldots,g_t) \in G(X^I)^{\times t}, \ y \in Sin|(X^I|), \ \underline \sigma \in (\prod_{S\subset {\bf n}} \sigma_{|S|})^{t+1} to the d-simplex of Sin(| \underline\mathcal E |)_I represented as (\phi\circ g_1)(g_t \circ y), where the actions (-)\circ g_1 and g_t \circ (-y) are given by Example 3.12 and Lemma 4.12, “twisted" by \underline \sigma. So defined, the left squares of (Proof) are commutative and homotopy cartesian.
The assertion that the diagrams (Proof) determine the commutative diagram of \mathcal F-spaces (?) is the assertion that maps of (Proof) are functorial with respect to maps \alpha: {\bf n} \to {\bf m} \in \mathcal F (sending I\in \underline\mathcal N({\bf n}) to J= \alpha(I) \in \underline\mathcal N({\bf m})). This is essentially implicit in the construction of these \mathcal F-spaces which entails the compatibility of G(X^I)-actions with smash products. Since the squares of (Proof) are cartesian, the squares of (?) are maps of X-fibrations.
For any simplex \Delta[d] \to \underline\mathcal B_I, there is a G(X^I)-equivariant weak equivalence
G(X^I) \times \Delta[d] \to P(f_I)\times_{\underline\mathcal B_I} \Delta[d]. This implies that the lower left map of (?) has contractible fibers and thus is a a weak equivalence. The left square of (Proof) is an equivalence of X-fibrations in view of the fact that for any simplical set Y the natural map Y \to Sin(|Y|) is a weak equivalence.
(cf. [F80, Thm 6.1]) Let X be a pointed, connected simplicial set. The natural transformation of Proposition 4.10
is an isomorphism of functors with inverse
sending the equivalence class in X{\text-}fib(\underline\mathcal B) of an X-fibration f: \underline\mathcal E \to \underline\mathcal B to the homotopy class of the composition
as in (?).
If f: \underline\mathcal E \to \underline\mathcal B is an X-fibration, then a representative of \rho_X(f): \underline\mathcal B \dasharrow \underline\mathcal B G(X) is called a classifying map for f.
The diagram (?) displays an arbitrary X-fibration f: \underline\mathcal E \to \underline\mathcal B as equivalent to the pull-back along \rho_X(f): \underline\mathcal B \dashrightarrow \underline\mathcal B G(X) of \pi_X. Thus, (-)^*(\pi_X): Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B, \underline\mathcal B G(X)) \quad \to \quad X{\text-}fib(\underline\mathcal B) is surjective.
If f \equiv \phi^*(\pi_x) is equivalent to f^\prime \equiv \phi^{\prime*}(\pi_X), then this equivalence gives a chain of diagrams of X-fibrations covering the identity of \underline\mathcal B in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B,\underline\mathcal B). Focusing on the base of these chains of X-fibrations, we see that
\phi = \phi^\prime \in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B, \underline\mathcal B G(X)). In other words,
(-)^*(\pi_X): Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B, \underline\mathcal B G(X)) \quad \to \quad X{\text-}fib(\underline\mathcal B) is also injective.
Observe that if f: \underline\mathcal E \to \underline\mathcal B is an X-fibration whose equivalence class is represented by \rho_X(f): \underline\mathcal B \dashrightarrow \underline\mathcal B G(X), then f is equivalent to (\rho_X(f))^*(\pi_X) \ = \ (\rho_X \circ (-)^*(\pi_X))(f) (by the definitions of these constructions).
We recall that a pointed, connected simplicial set X is called \ell-good if the canonical \mathbb Z/\ell-completion map X \to X_\ell is a mod-\ell-equivalence (i.e., induces an isomorphism in mod-\ell homology). We say that a pointed simplicial set X is “smash \ell-good" if the m-fold smash product X^m of X is \ell-good for all m > 0.
Assume that X is smash \ell-good. For I = (i_1,\ldots i_n) \in \underline\mathcal N({\bf n}), we denote by
the (simplicial) function complex consisting of those t-simplices \sigma: X^I \times \Delta[t] \to (X^I)_\ell which are mod-\ell equivalences. We denote by G_\ell^o(X^I) \subset G_\ell(X^I) the subcomplex of those t-simplices \sigma: X^I \times \Delta[t] \ \to (X^I)_\ell with the property that \sigma_\ell: (X^I \times \Delta[t])_\ell \ \to ((X^I)_\ell)_\ell \to (X^I)_\ell is homotopic to the identity.
Let X be a pointed simplicial set which is smash \ell-good. Consider some I = (i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}).
G_\ell(X^I) is a simplicial monoid and G_\ell^o(X^I) \ \subset \ G_\ell(X^I) is a simplicial sub-monoid, where the product structure is induced by composition of functions.
There is a natural action G_\ell(X^I) \times X^I \ \to \ (X^I)_\ell determining an inclusion of simplicial monoids
If \alpha: {\bf n} \to {\bf m} non-decreasing, I \in \mathcal F({n}) and J = (j_1,\ldots j_m) with j_s = \sum_{\alpha(i) = s}i, the action of (2) fits in a commutative square involving compositions and smash products
The “composition product" G_\ell(X^I) \times G_\ell(X^I) \ \to \ G_\ell(X^I) is defined by sending \gamma_1, \gamma_2: \Delta[d] \times X^I \to (X^I)_\ell to the composition
where \eta: (\mathbb Z/\ell)_\infty \circ (\mathbb Z/\ell)_\infty \to (\mathbb Z/\ell)_\infty is part of the natural triple structure (see, for example, [MacL]).
The map \underline{Hom}_*(X^I,X^I_\ell) \ \to \ \underline{Hom}_*((X^I)_\ell,(X^I)_\ell) commutes with composition thanks to the “idempotence" of \eta. This readily implies the commutativity of (?).
Let X be a pointed, connected simplicial set which is smash \ell-good. A \mathbb Z/\ell-complete X-fibration over a pointed-connected special \mathcal F-space
{\underline \mathcal B}: \mathcal F \to (s.sets_*) is a pair of maps (f: \underline\mathcal E \ \to \ \underline\mathcal B, s: \underline\mathcal B \to \underline\mathcal E) of special \mathcal F-spaces over \underline \mathcal N with s \circ f = id satisfying the following conditions:
For each n > 0 and I =(i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}), f_I: \underline\mathcal E_I\to \underline\mathcal B_I is a fibration with fibers which are pointed homotopy equivalent to (X^I)_\ell.
For any non-decreasing \alpha: {\bf n} \to {\bf m} \in \mathcal F, I \in \underline\mathcal N({\bf n}), J = \alpha(I) \in \underline\mathcal N({\bf m}), and \Delta[d] \to \underline\mathcal B_I, the restriction of \alpha above \Delta[d],
is homotopic to (\wedge_{\alpha,I})\times id: (X^I)_\ell \times \Delta[d] \quad \to \quad (X^J)_\ell \times \Delta[d].
A map of \mathbb Z/\ell-complete X-fibrations (\tilde \phi,\phi) from (f:\underline\mathcal E \to \underline\mathcal B, \ s:\underline\mathcal B \to \underline\mathcal E) to (f^\prime:\underline\mathcal E^\prime \to \underline\mathcal B^\prime, s^\prime: \underline\mathcal B^\prime \to \underline\mathcal E^\prime) is a commutative square of \mathcal F-spaces which restricts for each I \in \mathcal F({\bf n}) to a fiber homotopy equivalence of the form (4.3).
Assume that X is a smash \ell-good, pointed, connected simplicial set. In a manner parallel to the construction of the \mathcal F-space \underline\mathcal B G(X), the actions G_\ell(X^I) \times X^I \ \to \ (X^I)_\ell for all I \in \mathcal N({\bf n}) determine the pointed special \mathcal F-space over \underline\mathcal N
with
Similarly, in parallel to the X-fibration \pi_X: \underline\mathcal B(G(X),X) \to \underline\mathcal B G(X) of Example 3.12, these actions determine the \mathbb Z/\ell-complete X-fibration
If \Sigma_n \subset G(X^n) for all n > 0, then we similarly define
We emphasize that the construction of \pi_{X_\ell}: \underline \mathcal B (G_\ell(X),X_\ell) \ \to \ \underline \mathcal B G_\ell(X) differs from that of Example 3.12 with X replaced by X_\ell. One difference is that (X^m)_\ell is not the m-fold smash product of X_\ell; another is that G_\ell(X) \ \not= \ G(X_\ell).
Let X be a smash \ell-good, pointed, connected simplicial set and consider a pointed-connected special \mathcal F-space \underline \mathcal B over \underline\mathcal N.
The fiber-wise \mathbb Z/\ell-completion (\mathbb Z/\ell)_\infty^\bullet(f) of an X-fibration f: \underline\mathcal E \to \underline\mathcal B is a \mathbb Z/\ell-complete X-fibration over \underline\mathcal B.
If f: \underline\mathcal E \to \underline\mathcal B is a \mathbb Z/\ell-complete X-fibration over \underline\mathcal B, then the fiber-wise \mathbb Z/\ell-completion (\mathbb Z/\ell)_\infty^\bullet(f) is also a \mathbb Z/\ell-complete X-fibration over \underline\mathcal B and the canonical map f \to (\mathbb Z/\ell)_\infty^\bullet(f) is a fiber homotopy equivalence of \mathbb Z/\ell-complete X-fibrations over \underline\mathcal B.
If f: \underline\mathcal E \to \underline\mathcal B is an X-fibration and if \pi_1(\underline\mathcal B_I) acts nilpotently on H^*(X^I,\mathbb Z/\ell) for all n > 0, all I \in \underline\mathcal N({\bf n}), then (\mathbb Z/\ell)_\infty(f): \underline\mathcal E_\ell \ \to \ \underline\mathcal B_\ell is a \mathbb Z/\ell-complete X-fibration over \underline\mathcal B_\ell.
The first assertion follows from the functoriality of the fiber-wise \mathbb Z/\ell-completion functor sending conditions of Definition 4.1 to conditions of Definition 5.3. To prove assertion (2), observe that if the fibers of f_I are homotopy equivalent to (X^I)_\ell, then the fibers of (\mathbb Z/\ell)^\bullet(f_I) are homotopy equivalent to ((X^I)_\ell)_\ell which is naturally homotopy equivalent to (X^I)_\ell. Namely, using the natural commutative square
and the fact that the (\mathbb Z/\ell)-completion of (X^I)_\ell of the \ell-good simplicial set X^I is also \ell-good, we conclude that if X is smash \ell-good then so is X_\ell.
Granted the hypotheses of assertion (3), the Bousfield–Kan“mod-\mathbb Z/\ell fibre lemma" (see [Bo-Kan, II.5.1]) implies that the natural map from the (\mathbb Z/\ell)_\infty-completion of the fiber of f: \underline\mathcal E \to \underline\mathcal B_I to the fiber of (\mathbb Z/\ell)_\infty(f) is a homotopy equivalence; in other words, the fiber of (\mathbb Z/\ell)_\infty(f) is homotopy equivalent to (X^I)_\ell.
Consider a pointed, connected simplicial set X which is smash \ell-good and a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. We define an equivalence relation on \mathbb Z/\ell-complete X-fibrations over \underline\mathcal B by setting f \ \sim \ f^\prime if and only if there is a chain of weak equivalences of pointed special \mathcal F-spaces over \underline\mathcal N
and a map of \mathbb Z/\ell-complete X-fibrations p^*(\underline\mathcal E) \to j_!(\underline\mathcal E^\prime) covering \phi: \underline\mathcal B_1 \to \underline\mathcal B_2 (with sections)
where p is a cofibrant replacement of \underline\mathcal B, j is a fibrant replacement of \underline\mathcal B^\prime, and the image of (5.8) in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(\underline\mathcal B,\underline\mathcal B) is the identity.
We denote by X_\ell{\text -}fib(\underline\mathcal B) the set of equivalence classes of \mathbb Z/\ell-complete X-fibrations over \underline\mathcal B.
Consider a pointed, connected simplicial set X which is smash \ell-good. Sending a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N to X_\ell{\text-}fib(\underline\mathcal B) and using bijections of \mathbb Z/\ell-complete analogs of Lemmas 4.8.and 4.9, we obtain the functor
Consequently, sending \phi: \underline\mathcal B \dashrightarrow \underline\mathcal B G_\ell(X) to \phi^*(\pi_{X,\ell}) \in X{\text-}fib(\underline\mathcal B) determines a well defined natural transformation of functors
Assume that X is a pointed, connected simplicial set which is smash \ell-good. Let f: \underline\mathcal E \ \to \ \underline\mathcal B be an \mathbb Z/\ell-complete X-fibration with \underline\mathcal B a pointed-connected special \mathcal F-space over \underline\mathcal N, and denote by (\mathbb Z/\ell)_\infty^\bullet(f): (\mathbb Z/\ell)_\infty^\bullet(\underline\mathcal E) \to \underline\mathcal B the fiberwise \mathbb Z/\ell-completion of f. Consider some I = (i_,\ldots,i_n) \in \underline\mathcal N({\bf n}). We say that a map \phi: X^I \times \Delta[d] \to (\mathbb Z/\ell)_\infty^\bullet(\underline\mathcal E_I) is a \mathbb Z/\ell-complete principal d-simplex of f provided that \phi satisfies the following conditions.
The composition f_I \circ \phi: X^I\times \Delta[d] \to (\mathbb Z/\ell)_\infty^\bullet(\underline\mathcal E_I) \to \underline\mathcal B_I factors though the projection, X^I\times \Delta[d] \to \Delta[d] \to \underline\mathcal B_I and determines a \mathbb Z/\ell-equivalence
X^I \times \Delta[d] \ \to \ (\mathbb Z/\ell)_\infty^\bullet(\underline\mathcal E_I) \times_{\underline\mathcal B_I} \Delta[d].
For every non-decreasing map \alpha: {\bf n} \to {\bf r} in \mathcal F, set J \equiv \alpha(I) = (j_1,\ldots,j_r) \in \underline\mathcal N(r), \ j_s = \sum_{\alpha(i) = s} i_s. Then \phi induces \phi_\alpha: X^{\alpha(I)} \times \Delta[d] \to (\mathbb Z/\ell)_\infty^\bullet(\underline\mathcal E_{\alpha(I)}) fitting in the commutative square
such that \phi^\alpha induces a mod-\ell equivalence
Assume that X is a pointed, connected simplicial set which is smash \ell-good and consider some \mathbb Z/\ell-complete X-fibration f: \underline\mathcal E \ \to \ \underline\mathcal B with \underline\mathcal B a pointed-connected special \mathcal F-space over \underline\mathcal N. There is a commutative diagram of simplicial sets
for each I \in \underline\mathcal N({\bf n}), where the right horizontal maps are projections, the lower left map is given by projection to P_\ell(f_I) followed by the structure map P_\ell(f_I) \to \underline\mathcal B_I. The upper left map \tilde p_{f,I} utilizes the right action of G_\ell(X^I) on P_\ell(f_I) and the left action of G_\ell(X^I) on (X^I)_\ell. The formulation of \tilde p_{f,I} is exactly parallel to the formulation the upper left arrow of (Proof) given in the proof of Proposition 4.13.
The vertical maps of (5.11) are fibrations whose homotopy fibers are homotopy equivalent to (X^I)_\ell, the squares of (5.11) are homotopy cartesian, and the left square is a homotopy equivalence of fibrations (see the proof of Proposition 4.13).
Consider a pointed, connected simplicial set X which is smash \ell-good. Let f: \underline\mathcal E \ \to \ \underline\mathcal B be a \mathbb Z/\ell-complete X-fibration with \underline\mathcal B a pointed-connected special \mathcal F-space over \underline\mathcal N. The diagrams of (5.11) for all I \in \underline\mathcal N({\bf n}), n > 0 determine a commutative diagram of \mathcal F-spaces
whose squares are maps of \mathbb Z/\ell-complete X-fibrations and whose left and middle horizontal maps are weak equivalences.
In other words, (5.12) determines a homotopy class of maps of \mathbb Z/\ell-complete X-fibrations f \to \pi_{X_\ell}.
The map \epsilon: \underline\mathcal E \to (\mathbb Z/\ell)_\infty^\bullet(\underline\mathcal E) appearing in the upper left corner of (5.12) is induced by the natural transformation id(-) \to (\mathbb Z/\ell)_\infty^\bullet(-) determining a fiber homotopy equivalence f \to (\mathbb Z/\ell)_\infty^\bullet(f) by Proposition 5.6(2).
The middle horizontal maps determine weak homotopy equivalences because each (P_\ell(f))_I \to \underline\mathcal B G_\ell(X)_I is a “principal G_\ell(X^I)"-fibration. By inspection, we see that the right horizontal arrows determine a map of \mathbb Z/\ell-completed X-fibrations.
Let X be a pointed, connected simplicial set which is smash \ell-good. The natural transformation of functors from Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)^{op} to the category of sets
sending \phi: \underline\mathcal B \dashrightarrow \underline\mathcal B G_\ell(X) to \phi^*(\pi_{X,\ell}) in X_\ell{\text-}fib(\underline\mathcal B) is an isomorphism of functors with inverse the natural transformation
sending the equivalence class in X_\ell{\text-}fib(\underline\mathcal B) of a \mathbb Z/\ell-complete X-fibration f: \underline\mathcal E \to \underline\mathcal B to the homotopy class of the composition
as in (5.12).
If f: \underline\mathcal E \to \underline\mathcal B is a \mathbb Z/\ell-complete X-fibration with \underline\mathcal B a pointed-connected special \mathcal F-space over \underline\mathcal N, then a representative of \rho_{X,\ell}(f) is called a classifying map for f.
Consider be a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N, let f: \underline\mathcal E \to \underline\mathcal B be an X-fibration over \underline\mathcal B, and consider the fiber-wise \mathbb Z/\ell-completion, \tilde f \ \equiv \ (\mathbb Z/\ell)^\bullet_\infty(f): \widetilde{\underline\mathcal E} \to \underline\mathcal B. Then the (homotopy type of the) classifying map \rho_{X,\ell}(\tilde f): \underline\mathcal B \ \dashrightarrow \ \underline\mathcal B G_\ell(X) for (\mathbb Z/\ell)^\bullet_\infty(f) equals \iota_\ell \circ \rho_X(f): \underline\mathcal B \ \dashrightarrow \ \underline\mathcal B G(X) \ \to \ \underline\mathcal B G_\ell(X).
Consequently, the following square of functors
is commutative.
The discussion of this section culminating in Theorem 5.13 applies essentially verbatim to the “Bousfield-Kan localization at \ell". Namely, we simply replace (\mathbb Z/\ell)_\infty(-) by (\mathbb Z_{(\ell)}) _\infty(-) and (-)_\ell by (-)_{(\ell)}.
Let X be a pointed, connected simplicial set satisfying the condition that \Sigma_n \subset G^o(X^n) (i.e., that permuting factors of the smash product is weakly homotopy equivalent to the identity) for each n > 0. Consider a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. An X-fibration of \mathcal F-spaces, (f:\underline\mathcal E \to \underline\mathcal B, \ s: \underline\mathcal B \to \underline\mathcal E) is said to be oriented if its classifying map \rho_X(f): \underline\mathcal B \ \dashrightarrow \ {\underline\mathcal B}G(X) is equipped with a factorization of the form \iota \circ \rho_X^o(f): \underline\mathcal B \ \dashrightarrow \ {\underline\mathcal B}G^o(X) \to \ {\underline\mathcal B}G(X).
We define X{\text -}fib^o(\underline\mathcal B) to be equivalence class of oriented X-fibrations, where we set the oriented X-fibrations f, \ f^\prime equivalent if their factorizations \rho_X^o(f), \ \rho_X^o(f^\prime) are equal in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(-, \underline\mathcal B G(X)).
Let X be a pointed, connected simplicial set satisfying the condition that \Sigma_n \subset G^o(X^n). Then the following natural transformations are mutually inverse:
Let X be a pointed, connected simplicial set satisfying the condition that \Sigma_n \subset G^o(X^n) and assume further that X is smash \ell-good. Consider a pointed-connected special \mathcal F-space \underline\mathcal B over \underline\mathcal N. Then a \mathbb Z/\ell-complete X-fibration (f: \underline\mathcal E \to \underline\mathcal B, \ s: \underline\mathcal B \to \underline\mathcal E) is said to be oriented if its classifying map \rho_{X,\ell}(f): \underline\mathcal B \ \dashrightarrow \ {\underline\mathcal B}G_\ell(X) is equipped with a factorization of the form \iota \circ \rho^o_{X,\ell}(f): \underline\mathcal B \ \dashrightarrow \ {\underline\mathcal B}G_\ell^o(X) \to \ {\underline\mathcal B}G_\ell(X).
We define X_\ell{\text -}fib^o(\underline\mathcal B) to be equivalence class of oriented \mathbb Z/\ell-complete X-fibrations, where we set the oriented \mathbb Z/\ell-complete X-fibrations f, \ f^\prime equivalent if their factorizations \rho^o_{X,\ell}(f), \ \rho^o_{X,\ell}(f^\prime) are equal in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}(-, \underline\mathcal B G_\ell^o(X)).
Let X be a pointed, connected simplicial set satisfying the condition that \Sigma_n \subset G^o(X^n) and assume further that X is smash \ell-good. Then the following natural transformations are mutually inverse:
Let X be a pointed, connected simplicial set which is smash \ell-good and consider a pointed-connected special \mathcal F-space \underline\mathcal B which satisfies the condition that \pi_1(\underline\mathcal B_I) = 0 for all I \in \underline\mathcal N(\bf n), all n > 0. Let f: \underline\mathcal E \ \to \ \underline\mathcal B be an oriented X-fibration with orientation \rho^o_X(f): \underline\mathcal B \ \to \ \underline\mathcal B G^o(X). Then (\mathbb Z/\ell)_\infty(f): \underline\mathcal E_\ell \ \to \ \underline\mathcal B_\ell is a \mathbb Z/\ell-complete X-fibration with orientation
Let (\mathcal F{\text -}\widetilde{spec}/\underline\mathcal N)_* denote the full subcategory of pointed-connected special \mathcal F-spaces \underline\mathcal B with the property that \pi_1(\underline\mathcal B_I) = 0 for all I \in \underline\mathcal N(\bf n), all n > 0. Then the following square of contravariant functors from Ho((\mathcal F{\text -}\widetilde{spec}/\underline\mathcal N)_*) to (sets)
commutes.
By Proposition 5.6(3), (\mathbb Z/\ell)_\infty(f) is a \mathbb Z/\ell-complete X-fibration. The fact that the classifying map for this \mathbb Z/\ell-complete X-fibration is oriented by \lambda \circ (\rho^o_X(f))_\ell follows from the commutativity of the following diagram of \mathcal F-spaces
[Bo-Kan, Prop 7.1] Let X be a finite, nilpotent simplicial set.
The homotopy groups of G^o(X) are finitely generated abelian groups.
The map \pi_*(G^o(X)) \ \to \ \pi_*((G^o(X)_\ell) is given by tensoring with \mathbb Z_\ell.
The map \pi_*(G^o(X)) \ \to \ \pi_*(G_\ell^o(X)) is given by tensoring with \mathbb Z_\ell.
The natural map (G^o(X))_\ell \ \to \ G^o_\ell(X) is a homotopy equivalence.
Assertion (1) is a well known consequence of the fundamental theorem of J.-P. Serre [Serre] concerning the homotopy groups of spheres. (See [Bo-Kan, Prop 7.1(i].) Assertion (2) is given by [Bo-Kan, Ex VI.5.2].
Assertion (3) is given by [Bo-Kan, Prop VI.7.1.(iii)] Together, assertions (2) and (3) imply that the natural map (G^o(X))_\ell \ \to \ G^o_\ell(X) is a weak equivalence. Since this is a map of Kan complexes, it is a homotopy equivalence.
Let X be a finite nilpotent simplicial set. If \Sigma_n \subset G^o(X^n) for all n>0, then the natural map \mathcal B G^o(X) \to \mathcal B G^o_\ell(X) induces a homotopy equivalence of \mathcal F-spaces over \underline \mathcal N
Moreover, the natural map \underline\mathcal B G^o(X),X)_\ell \ \to \ \underline\mathcal B(G_\ell^o(X),X_\ell) covers \lambda, determining a map of oriented \mathbb Z/\ell-complete \mathcal F-spaces
The homotopy type of the map ||\underline\mathcal B G^o(S^m)_\ell||^+ \ \to \ ||\underline\mathcal B G_\ell(S^m)||^+ of \Omega-spectra is independent of m>0, and we denote this by
The sequence of 0-connected \Omega-spectra
is a fiber sequence of \Omega-spectra.
As shown in [Segal, § 4], the natural maps
induce the maps (-)\otimes_{\mathbb Z/\ell[\mathbb N]} \mathbb Z/\ell[\mathbb Z] in mod-\ell homology and thus induce homotopy equivalences of \ell-complete spaces
Observe that the natural maps (given by suspensions) \varinjlim_n B G^o_\ell(S^n) \to \varinjlim_n B G^o_\ell(S^{n\cdot m}) and \varinjlim_n B G_\ell(S^n) \to \varinjlim_n B G_\ell(S^{n\cdot m}) are isomorphisms, so that the homotopy type of the map of 0-connected spectra ||\underline\mathcal B G^o(S^m)_\ell||^+_{[0]} \ \to \ ||\underline\mathcal B G_\ell(S^m)||_{[0]}^+ is independent of m for m > 0.
Since the map G_\ell(S^n) \to G_\ell(S^{n+1}) induced by suspension induces the identity map \mathbb Z_\ell^* = \pi_0(G_\ell(S^n)) \ \to \ \pi_0(G_\ell(S^{n+1})) = \mathbb Z_\ell^* for n > 0, we conclude that
is a fiber sequence. This implies that
is a fiber sequence of 0-connected \Omega-spectra as asserted.
The homotopy groups \pi_{i+1}((\bf{BG^o(S)})_\ell) \ = \ \pi_{i+1}(\bf{BG_\ell(S)}) can be naturally identified with the \ell-adic completion of the i-th stable homotopy groups of the spheres for i > 0, whereas \pi_1((\bf{BG^o(S)})_\ell)) = 0 and \pi_1(\bf{BG_\ell(S)}) = \mathbb Z_\ell^*.
For each n > 0, the topological action of GL_n(\mathbb C)^{top} on \mathbb C^+ determines an embedding GL_n(\mathbb C)^{top} \hookrightarrow G^{top,o}(\mathbb C^{n+}), where G^{top,o}(\mathbb C^{n+}) is the topological group of oriented self homotopy equivalences of \mathbb C^{n+}. For each n > 0 and each I= (i_1,\ldots i_n) \in \underline\mathcal N({\bf n}), these maps induce maps of fibrations
whose induced maps on fibers are homotopic to the identity map of |X^I |.
Let X be a finite, pointed simplicial set with |X| \simeq S^2. Then \tau_{\mathbb C^+} of (?) fits in a commutative diagram of \mathcal F-spaces
whose vertical maps are X-fibrations and whose squares are Cartesian.
Consequently, \tau_{\mathbb C^+} is an oriented X fibration oriented by
where adj: \underline\mathcal B G(X) \to Sin(\underline\mathcal B G(|X|)^{top}) is the weak homotopy equivalence appearing in (3.13).
Let X be a finite, pointed simplicial set with |X| \simeq S^2. We denote by {\bf J^o}: {\bf B GL(C)} \quad \to \quad {\bf BG^o(S)} the homotopy class of maps of connective \Omega-spectra determined by the map
in (7.2).
We set {\bf J} \ \equiv \ \iota \circ {\bf J^o}: \ {\bf B GL(C)} \quad \to \quad {\bf BG(S)}.
Let R be either \mathbb C or W(k) or k. There is a natural map of \mathcal F-objects of pointed simplicial R-schemes
The evaluation at {\bf 1} \in \mathcal F of \tau_R determines the natural projection
Base changes along \operatorname{Spec}\nolimits \mathbb C \to \operatorname{Spec}\nolimits W(k) and along \operatorname{Spec}\nolimits k \to \operatorname{Spec}\nolimits W determine a commutative diagram of simplicial schemes
The following commutative diagram of \mathcal F-spaces
consists of squares which are maps of oriented \mathbb Z/\ell-complete S^2-fibrations with horizontal maps which are weak equivalences. Here, the lower horizontal arrow f_{top \mapsto \mathbb C} is the homotopy class of f_{top \mapsto \mathbb C}: Sin({\underline \mathcal B} GL(\mathbb C))^{top})_\ell \ \dashrightarrow \ ({\underline\mathcal B} GL_{\mathbb C})^\wedge in Ho(\mathcal F[s.sets_*]) specified by the functorial “short chain" of homotopy equivalences \rho_{U\mapsto X}, \ \rho_{top \mapsto \pi_0} of Theorem 2.5.
The compatibility of \gamma_n\times \gamma_n with smash products (see (3.3)) together with the explicit descriptions of the \mathcal F-spaces (see Example 3.7) provides the necessary functoriality with respect to maps in \mathcal F to yield the commutativity of the left square of (7.5). The compatibility established in Proposition 1.4 of the actions of GL_n(C)^{top} on |S^{2n,alg}| and on (\mathbb C^n)^+ utilizing the maps \gamma_n: |S^{2n,alg}_\mathbb C| \to (\mathbb C^n)^+ of (?) imply that the left square of (7.5) is a fiber homotopy equivalences.
The commutativity of the right square of (7.5) follows from the naturality of \rho_{U\mapsto X}, \ \rho_{top \mapsto \pi_0}. This square is a homotopy equivalence of S^2-spaces by the “classical comparison theorem" in étale homotopy as in (2.5).
By Corollary 6.5, (\tau_{\mathbb C^+})_\ell is oriented by \lambda \circ ((adj^o)^{-1}\circ \mathcal J^o)_\ell. We define the orientations of (\tau_{|S^{2,alg}_\mathbb C|})_\ell and (\tau_\mathbb C)^\wedge as those determined by (\tau_{\mathbb C^+})_\ell: namely,
\lambda \circ ((adj^o)^{-1}\circ \mathcal J^o)_\ell and \lambda \circ ((adj^o)^{-1}\circ \mathcal J^o)_\ell \circ (f_{top\mapsto \mathbb C}^{-1}).
By applying (-)^\wedge to (?) in Construction 7.4 we obtain the following commutative diagram of \mathcal F-spaces
whose squares constitute maps of oriented \mathbb Z/\ell-complete X-fibrations with |X| = S^2 and whose horizontal maps are weak equivalences.
We denote by f_{\mathbb C\mapsto k}: (\underline\mathcal B GL_\mathbb C)^\wedge \ \dashrightarrow \ (\underline\mathcal B GL_k)^\wedge the homotopy class of maps of \mathcal F-spaces defined by the bottom row of (7.6).
The fact that the \mathcal F-spaces ({\underline \mathcal B}GL_R)^\wedge and ({\underline \mathcal B}(GL_R,S_R^{alg}))^\wedge are special \mathcal F-spaces follows from Corollary 2.9. The fact that the lower horizontal maps of (7.6) are homotopy equivalences follows from Proposition 2.6.
A functorial isomorphism is given in [F82, Thm 10.7] relating the mod-\ell étale cohomology of the geometric fiber of a map X \to Y of simplicial R-schemes such as those occurring in Corollary 2.9 and the mod-\ell cohomology of the homotopy-theoretic fiber of X^\wedge \to Y^\wedge. This, together with the fact that each (BGL_{n,R})^\wedge is simply connected, provides the functorial homotopy comparisons of the fibers of (\underline\mathcal B(GL_R,S_R^{2,alg}))^\wedge_I \to (\underline\mathcal B GL_R)^\wedge_I with (\prod_{j= 1}^n S^{2i_j})_\ell for any I = (i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}) required for (\tau_R)^\wedge to be a \mathbb Z/\ell-completed S^2-fibration. Consequently, the squares of (7.6) determine maps of \mathbb Z/\ell-complete X-fibrations.
By Proposition 2.6, the horizontal maps of (7.6) are weak equivalences.
We give (\tau_{W(k)})^\wedge and (\tau_k)^\wedge the orientations determined by the orientation of (\tau_{\mathbb C})^\wedge.
Let X be a finite, pointed simplicial set with |X| \simeq S^2. We define
to be the homotopy class of the classifying map for the oriented Z/\ell-completed S^2-fibration (\tau_k)^\wedge occurring in (7.6).
Set f_{top \mapsto k} \ \equiv \ f_{top \mapsto \mathbb C} \circ f_{\mathbb C \mapsto k} in Ho(\mathcal F[s.sets_*]/\underline\mathcal N), and set
Then the maps
are equal in Ho(\mathcal F[s.sets_*]/\underline\mathcal N).
The asserted equality follows immediately from the observation that (\mathcal J_k)^\wedge can be represented using Propositions 7.5 and 7.6 as the composition of maps in Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)
Let \sigma_{\mathbb C} \in Gal(\mathbb C/\mathbb Q) be an extension to a discontinuous automorphism of \mathbb C of the Teichmüller lifting \sigma_{W(k)}: W(k) \to W(k) of the arithmetic Frobenius \sigma \in Gal(k/\mathbb F_p). The following commutative diagram in \mathcal F[s.sets_*] (with horizontal maps which are homotopy equivalences)
determines a homotopy commutative diagram of associated connective spectra upon applying the functor (||-||)
We consider the commutative diagram of \mathcal F-spaces over \underline \mathcal N:
(where T_n(\mathbb C) \hookrightarrow GL_n(\mathbb C) is the subgroup of diagonal matrices). The splitting theorem for (complex, topological) K-theory implies that to prove the homotopy commutativity of the left square of (8.1) (which is the same as the middle square of (Proof)), it suffices to show that the larger square determined by the upper and middle squares of (Proof) is commutative. This is implied by the commutativity of outer square of (Proof).
The commutativity of the right squares of (8.1) and (8.1) is implied by Proposition 1.1.
As in Proposition 2.10, the (geometric) Frobenius map determines the commutative square of \mathcal F-spaces
which constitutes a map of \mathbb Z/\ell-complete S^2-fibrations over the weak equivalence F^\wedge: (\underline\mathcal B GL_k)^\wedge \to (\underline\mathcal B GL_k)^\wedge.
Consequently, the maps
are homotopic.
Proposition 2.10 implies for each I = (i_1,\ldots,i_n) \in \underline\mathcal N({\bf n}) that
induces a map between homotopy fibers of the vertical maps of (Proof) which is equivalent to \times_{i=1}^n p^{n_i}: \prod S^{2n_i}_\ell \to\prod S^{2n_i}_\ell. Since the image of p is a unit in \mathbb Z/\ell, each of these squares is a fiber homotopy equivalence over the homotopy equivalence ((\underline\mathcal B GL_k)^\wedge)_I \to ((\underline\mathcal B GL_k)^\wedge)_I. This implies the first assertion.
Thus, (8.2) implies that the \mathbb Z/\ell-complete S^2 fibrations (\tau_k)^\wedge , \ (F^\wedge)^*( (\tau_k)^\wedge) are equal in X_\ell{\text -}fib^o((\underline\mathcal B GL_k). Hence, the classifying maps for (\tau_k)^\wedge and (F^\wedge)^*( (\tau_k)^\wedge) are equal in Hom_{Ho((\mathcal F{\text -}spec/\underline\mathcal N)_*)}((\underline\mathcal B GL_k)^\wedge, \underline\mathcal B G_\ell(X)). This conclusion is equivalent to the second assertion granted that \mathcal J_k^\wedge is the classifying map for (\tau_k)^\wedge.
Let \underline \mathcal B be a pointed-connected special \mathcal F-space over \underline\mathcal N with the property that \underline\mathcal B_I is \ell-good for every I \in \underline\mathcal N(\bf n), \ n > 0. Then the natural map of \mathcal F-spaces \underline\mathcal B \ \to \ \underline \mathcal B_\ell induces a homotopy equivalence of connective \Omega-spectra
where \mathbb Z/\ell_\infty(|| \underline\mathcal B ||^+) is the Bousfield \ell-completion of the connective \Omega-spectrum || \underline\mathcal B ||^+.
Because \underline\mathcal B_I is \ell-good for every I \in \underline\mathcal N(\bf n), \ n > 0, \underline\mathcal B (T_n) is \ell-complete where T_n is a finite simplicial set with |T_n| \simeq S^n (where the functor \underline\mathcal B sending pointed finite sets to pointed simplicial sets is extended to finite simplicial sets by taking diagonals). Consequently, ||\underline\mathcal B_\ell || is a level-wise \ell-completion of || \underline\mathcal B ||.
As shown in [Bar-Bo], we may replace the Bousfield localization \mathbb Z/\ell_\infty((|| \underline\mathcal B ||^+)_{[0]}) of the 0-connected spectrum (|| \underline\mathcal B ||^+)_{[0]} by the level-wise \mathbb Z/\ell-completion (|| \underline\mathcal B_\ell ||^+)_{[0]}, where (-)_{[0]} sends a connective \Omega-spectrum to its 0-connected cover. Consider the diagram of connective \Omega-spectra
whose columns are fiber sequences. We conclude the homotopy equivalence of (9.1) by observing that the map ||\underline \mathcal B_\ell ||^+ \to \mathbb Z/\ell_\infty(|| \underline\mathcal B ||^+) factors through
\mathbb Z/\ell_\infty(|| \underline\mathcal B ||^+) \times_{{\bf K(\mathbb Z_\ell,0)}} {\bf K(\mathbb Z,0)}.
Let {\bf kU} denote the connective \Omega-spectrum of (topological) complex K-theory. If p and \ell are distinct primes, then the maps
are equal in the homotopy category of connective \Omega-spectra.
By Proposition 9.1 applied to \underline\mathcal B equal to (\underline\mathcal B GL(\mathbb C))^{top}_\ell, to prove the asserted homotopy equivalence of spectra it suffices to prove that the compositions
are homotopic.
We consider the following diagram of pointed–connected special \mathcal F-spaces
The top square of (?) homotopy commutes by Theorem 8.1; the bottom square homotopy commutes by Proposition 7.8; the far right triangle homotopy commutes by Proposition 8.2 and Theorem 5.13. Thus, the homotopy commutativity of the far left triangle is implied by these homotopy commutative squares and the fact that the horizontal maps of (?) are homotopy equivalences.
Let {\bf J}_\ell^o: ({\bf BU})_\ell \ \to \ (\bf{BG^o(S)}_{[0]})_\ell denote the map of 1-connected \Omega-spectra induced by {\bf J}_\ell. If p and \ell are distinct primes, then the following maps
are equal in the homotopy category of connective \Omega-spectra.
The fiber sequence (\bf{BG^o(S)}_{[0]})_\ell \ \to \ \bf{BG_\ell (S)}_{[0]} \ \to \ {\bf K(\mathbb Z_\ell^*,1)} of (6.8) determines the exact sequence
Consider the difference
By Theorem 9.2, this difference maps to 0 in Hom_{Ho(c.\Omega-spectra)}(({\bf BU})_\ell,\bf{BG_\ell(S)}_{[0]}) and thus is an element of Hom_{Ho(c.\Omega-spectra)}(({\bf BU})_\ell,{\bf K(\mathbb Z_\ell^*,0)}). Because ({\bf BU})_\ell is 0-connected, Hom_{Ho(c.\Omega-spectra)}(({\bf BU})_\ell,{\bf K(\mathbb Z_\ell^*,0)}) = 0 so that
as asserted.
The maps {\bf J}_\ell, \ {\bf J}_\ell \circ (\psi^p)_\ell of Theorem 9.3 factor through \bf{BG_\ell^o(S)} \to \bf{BG_\ell(S)}. However, as explained in [B-K], these factorizations are not equal in
Hom_{Ho(c.\Omega-spectra)}(({\bf kU})_\ell \times_{\bf {K(\mathbb Z_\ell,0)}} {\bf K(\mathbb Z,0)},(\bf{BG_\ell^o(S)}).
If p and \ell are distinct primes, the following maps of 1-connected spectra
are equal in the homotopy category of connective \Omega-spectra.
We refer to [JFA, § II.13] for the \ell-localized stable Adams operation, (\psi^p)_{(\ell)}: ({\bf BU})_{(\ell)} \to ({\bf BU})_{(\ell)} and observe that the \mathbb Z/\ell-completions of the maps {\bf J}_{(\ell)}^o, \ {\bf J}_{(\ell)}^o \circ (\psi^p)_{(\ell)} of \ell-local \Omega-spectra are homotopic to the maps of \mathbb Z/\ell-complete \Omega-spectra {\bf J}_\ell^o, \ {\bf J}_\ell^o \circ (\psi^p)_\ell. The computations of homotopy groups recalled in Proposition 6.6 imply that (\bf{BG^o(S)}_{[0]})_{(\ell)} \ \to \ (\bf{BG^o(S)}_{[0]})_\ell is a weak equivalence (see [Bo-Kan, VI.68])), so that the corollary follows from Theorem 9.3 and the commutativity of the following square of \Omega-spectra
As in [F82, Thm 10.5], the techniques of this paper apply to prove quaternionic analogs of the preceding results. One should replace GL_n(\mathbb C) acting on \mathbb C^{n+} by Sp_{2n}(\mathbb C) acting on Q^{n+} \simeq S^{4n}, where Q^n is an n-dimensional vector space over the division algebra of quaternions (which has dimension 4 over \mathbb R). We leave the details to the reader.
The text on this page is from arXiv:2608.23797v1 by Eric M. Friedlander, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2608/2608.23797.jsonl.