Topological manifold bundles and the $A$-theory assembly map

TL;DR

This paper provides a new proof of an index theorem relating the parametrized A-theory characteristic of fiber bundles of topological manifolds to the assembly map, and extends this to a refined characteristic on the cobordism category.

Contribution

It introduces a new proof of the index theorem and extends the A-theory characteristic to the topological cobordism category, using a bivariant theory framework.

Findings

Factorization of the parametrized A-theory characteristic through the assembly map.

Extension of the A-theory characteristic to the topological cobordism category.

Conjecture on high connectivity of the lift as manifold dimension increases.

Abstract

We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through the assembly map of $A$-theory. Furthermore our main result shows a refinement of this statement by providing such a factorization for an extended $A$-theory characteristic, defined on the parametrized topological cobordism category. The proof uses a convenient framework for bivariant theories and recent results of Gomez-Lopez and Kupers on the homotopy type of the topological cobordism category. We conjecture that this lift of the extended $A$-theory characteristic becomes highly connected as the manifold dimension increases.

Equations

$$\theta =(B,p:X\to B,\xi :V\to X)$$

$$g^{\ast }\theta \text{vbox}..=(B^{\prime },p^{\prime }:g^{\ast }X\to B,{\xi }^{\prime }:g^{\ast }V\to g^{\ast }X)$$

$$(h,c)\circ (g,b)\text{vbox}..=(g\circ h,c\circ h^{\ast }b).$$

$$\mathcal{C}:\text{matheurm}Biv\to \text{matheurm}E.$$

$$\mathcal{C}(\theta )\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$(B,p,\xi )\mapsto \mathbf{A}(p)$$

$${\mathcal{C}}_{/\theta }:{\mathcal{S}}_B^{\mathrm{op}}\to \text{matheurm}E,(g:B^{\prime }\to B)\mapsto \mathcal{C}(g^{\ast }\theta ).$$

$${\nabla }_{\mathcal{C}}:\mathcal{C}\to {\mathcal{C}}^{\&}\text{vbox}..=(\overline{\mathcal{C}}{)}^{\&}$$

$$[\mathcal{C},\mathcal{D}]\stackrel{\cong }{\to }[\overline{\mathcal{C}},\overline{\mathcal{D}}].$$

$${\nabla }_{\mathcal{C}}^{\ast }:[{\mathcal{C}}^{\&},\mathcal{D}]\stackrel{\cong }{\to }[\mathcal{C},\mathcal{D}].$$

$${\alpha }_F\circ -:[H,F^{\%}]\stackrel{\cong }{\to }[H,F].$$

$${\tau }^{\%}:{\mathcal{C}}^{\&}⟶({\overline{\mathcal{D}}}^{\%}{)}^{\&},$$

$$\mathcal{C}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$\pi :W\to B,$$

$$g^{\ast }:{\mathrm{Cob}}^{\delta }(\theta )\to {\mathrm{Cob}}^{\delta }(g^{\ast }\theta )$$

$$b_{\ast }:{\mathrm{Cob}}^{\delta }(\theta )\to {\mathrm{Cob}}^{\delta }({\theta }^{\prime }).$$

$${\mathrm{Cob}}^{\delta }(\theta {)}_n:={\mathrm{Cob}}^{\delta }(\theta \times {\mathrm{id}}_{{\Delta }^n}),$$

$$\theta \times {\mathrm{id}}_{{\Delta }^n}=(B\times {\Delta }^n,p\times {\mathrm{id}}_{{\Delta }^n}X\times {\Delta }^n\to B\times {\Delta }^n,\xi \times {\mathrm{id}}_{{\Delta }^n}:V\times {\Delta }^n\to X\times {\Delta }^n).$$

$$B\mathrm{Cob}(\theta ):=|B{\mathrm{Cob}}^{\delta }(\theta {)}_{\bullet }|$$

$$N_k{\mathrm{Cob}}^{\delta }({\theta }^{\prime }{)}_{\bullet }\to N_k{\mathrm{Cob}}^{\delta }(\theta {)}_{\bullet }.$$

$$W_{|B\times \partial {\Delta }^n}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$B\mathrm{Cob}(\theta (n_{+}))$$

$$\theta (n_{+})=(B,\coprod _{n}X\stackrel{(p,\dots ,p)}{\to }B,\coprod _{n}V\stackrel{{\coprod }_n\xi }{\to }\coprod _{n}X).$$

$$B\mathrm{Cob}(\xi )\stackrel{\simeq }{\to }{\Omega }^{\infty }\mathbf{B}(\xi ),$$

$${\Psi }_{\partial }^{\mathrm{Top},\xi }(d{)}_n={\psi }_{\partial }^{\mathrm{Top},\xi }(d,n+1,n);$$

$$\mathbf{BCob}(\xi )\to \mathbf{B}(\xi {)}_{\ge 0}.$$

$${\pi }_{0}B\mathrm{Cob}(\xi )$$

$$\tau (\theta ):\Omega B\mathrm{Cob}(\theta )\to {\Omega }^{\infty }\mathbf{A}\left(\begin{array}{c}X\\ \downarrow \\ B\end{array}\right),\theta =(B,p:X\to B,\xi :V\to X),$$

$$\tau (\theta ):\Omega \mathbf{BCob}(\theta )\to \mathbf{A}\left(\begin{array}{c}X\\ \downarrow \\ B\end{array}\right).$$

Full text

1. Introduction

In [4], Dwyer, Weiss, and Williams defined the parametrized $A$-theory characteristic of a fibration $p\colon E\to B$ with homotopy finite fibers, a fundamental $K$-theoretic invariant of $p$ which generalizes the classical Euler characteristic. This invariant is a section $\chi(p)$ of the fibration $A_{B}(E)\to B$ that is obtained from $p$ by applying Waldhausen’s $A$-theory functor fiberwise. The Index Theorem of [4] for topological manifold bundles asserts that if the fibration $p$ is equivalent to a fiber bundle of compact topological manifolds, then $\chi(p)$ factors canonically through the fiberwise assembly map $A^{\%}_{B}(E)\to A_{B}(E)$. This theorem is an analogue of the smooth index theorem of [4] and may be seen as a strong version of the Bismut–Lott index theorem [1, Theorem 0.1] in the setting of topological manifold bundles.

In this paper we give a new proof of a strong version of this fundamental result. This builds on and improves ideas of our approach to the corresponding index theorem of [4] in the case of smooth manifolds (see [8, 9]). A main ingredient of the proof is the result on the homotopy type of the topological cobordism category with tangential structure, which was recently obtained by Gomez-Lopez and Kupers [6]. This homotopy type has a formally similar description as in the smooth case, but it is much less tractable, due to the appearance of topological Grassmannians, so the arguments from [8, 9] do not apply exactly in this context. However, we show that the precise identification of this homotopy type is not required, but what matters is the fact that it is excisive in the tangential structure. This analysis is carried out in the formalism of bivariant theories, in which we state and prove a general bivariant index theorem.

The connection between the Index Theorem and cobordism categories is based on the fact that the parametrized $A$-theory characteristic can naturally be extended to a map on the classifying space of the cobordism category. This was observed in [2, 8] for the smooth cobordism category, and in [9] the authors improved this to a bivariant transformation from a bivariant version of the cobordism category to bivariant $A$-theory. General bivariant theories come with universal constructions, such as coassembly and assembly transformations, whose study is related to index type theorems. This leads to Theorem 2.10 which is a formal version of the topological Dwyer–Weiss–Williams index theorem in the abstract setting of bivariant theories. Theorem 3.6 specializes this general result to a bivariant index theorem for topological manifold bundles, from which we deduce the Index Theorem of [4] (Corollary 3.7).

The proof given here applies also in the smooth category with only minor modifications. Therefore, the parallel formulations of the Index Theorem in the categories of topological and smooth manifolds are now paired with parallel methods of proof. However, unlike in the case of topological manifolds, the proof in the smooth setting in [8, 9] required the detailed identification of the homotopy type of the cobordism category, in order to identify the map from the cobordism category to $A$-theory. In this connection, we conjecture an analogous identification of this map in the case of the topological cobordism category (Conjecture 3.8).

Acknowledgements. The first–named author thanks the Mathematical Institute, University of Oxford, for the support and the hospitality during an academic visit while this work was in preparation. He was also supported by the SFB 1085 – Higher Invariants (University of Regensburg) funded by the DFG. The second–named author was partially supported by the SPP 2026 – Geometry at infinity funded by the DFG.

2. Bivariant Theories

2.1. Preliminaries

A notion of bivariant theory was introduced in [9] in order to fomalize the functoriality properties of the parametrized cobordism category of compact smooth manifolds. We consider here a small modification of this notion which is better suited for the corresponding parametrized cobordism category of compact topological manifolds that will be defined in the next section.

We fix an integer $d\geq 0$. A family of $\mathbb{R}^{d}$-bundles is a triple

[TABLE]

where $B$ is a space which has the homotopy type of a CW complex, $p$ is a fibration, and $\xi$ is a numerable topological $\mathbb{R}^{d}$-bundle. We additionally assume that $X$ is a subset of $B\times\mathcal{U}$ and that $V$ is a subset of $X\times\mathcal{U}$, for a fixed set $\mathcal{U}$ of sufficiently high cardinality, in such a way that the respective maps to $B$ and $X$ are given by the projection. Each such triple gives rise to a notion of tangential structure for $B$-parametrized families of topological $d$-manifolds. Given two families of $\mathbb{R}^{d}$-bundles $\theta=(B,p,\xi)$ and $\theta=(B,p^{\prime},\xi^{\prime})$ with the same base space $B$, a bundle map $b\colon\theta\to\theta^{\prime}$ consists of a fiberwise map $p\to p^{\prime}$ which is covered by a fiberwise homeomorphism $\xi\to\xi^{\prime}$.

Given a family of $\mathbb{R}^{d}$-bundles $\theta=(B,p,\xi)$ and a map $g\colon B^{\prime}\to B$, where $B^{\prime}$ also has the homotopy type of a CW complex, there is a new family of $\mathbb{R}^{d}$-bundles:

[TABLE]

where $g^{*}X$ and $g^{*}V$ are the pull-backs of $X$ and $V$ along $g$ (viewed as subsets of $B^{\prime}\times\mathcal{U}$ and of $g^{*}X\times\mathcal{U}$, respectively), and $p^{\prime}$ and $\xi^{\prime}$ are the canonical maps induced by $p$ and $\xi$. A bundle map $b\colon\theta\to\theta^{\prime}$ induces functorially (in $b$) a bundle map $g^{*}b\colon g^{*}\theta\to g^{*}\theta^{\prime}$. Note also that the rule $g\mapsto g^{*}$ is itself functorial, in the sense that we have $g^{*}f^{*}\theta=(f\circ g)^{*}\theta$ and $\operatorname{id}^{*}\theta=\theta$.

Families of $\mathbb{R}^{d}$-bundles are the objects of a category $\matheurm{Biv}$, where a morphism $(B,p,\xi)\to(B^{\prime},p^{\prime},\xi^{\prime})$ consists of a map $g\colon B^{\prime}\to B$ together with a bundle map $b\colon g^{*}(B,p,\xi)\to(B^{\prime},p^{\prime},\xi^{\prime})$; the composition is defined by the rule

[TABLE]

Definition 2.1**.**

A bivariant theory with values in a category $\matheurm{E}$ is a functor

[TABLE]

Explicitly, a bivariant theory $\mathcal{C}$ consists of the following assignments:

• (a)

for each family of $\mathbb{R}^{d}$-bundles $\theta=(B,p,\xi)$, an object $\mathcal{C}(\theta)$ of $\matheurm{E}$;

• (b)

for each family of $\mathbb{R}^{d}$-bundles $\theta$ and each map $g\colon B^{\prime}\to B$, a morphism (contravariant operation) $g^{*}\colon\mathcal{C}(\theta)\to\mathcal{C}(g^{*}\theta)$ in $\matheurm{E}$;

• (c)

for each bundle map of families of $\mathbb{R}^{d}$-bundles $b\colon\theta\to\theta^{\prime}$, a morphism (covariant operation) $b_{*}\colon\mathcal{C}(\theta)\to\mathcal{C}(\theta^{\prime})$ in $\matheurm{E}$,

such that

1. (1)

the collection of the morphisms $g^{*}$ satisfies the standard properties for contravariant functoriality; 2. (2)

the collection of the morphisms $b_{*}$ satisfies the standard properties for covariant functoriality; 3. (3)

the covariant and contravariant operations commute with each other in the sense that each of the following squares is commutative:

[TABLE]

Remark 2.2**.**

This definition of bivariant theory is similar to the one considered in [9]. The main difference is that we now also allow bundles $\xi$ which are not vector bundles and the datum $\xi$ is not presented in terms of a classifying map to $\mathrm{BO(d)}$ or $\mathrm{BTop(d)}$. This notion of bivariant theory is also closely related to the definition of bivariant theory due to Fulton–MacPherson [5] with the difference that we do not require the structure of product operations.

A bivariant transformation $\tau\colon\mathcal{C}\to\mathcal{D}$ is defined to be a natural transformation of functors. Explicitly, this consists of a collection of morphisms in $\matheurm{E}$, $\tau(\theta)\colon\mathcal{C}(\theta)\to\mathcal{D}(\theta)$, for each family of $\mathbb{R}^{d}$-bundles $\theta$, which is natural with respect to the covariant and contravariant operations. Suppose now that $\matheurm{E}$ is a category with weak equivalences (for example, the category of spaces or spectra with the standard classes of weak equivalences). A bivariant transformation is a weak equivalence if it is given by weak equivalences for each family of $\mathbb{R}^{d}$-bundles.

We call a bivariant theory homotopy invariant if the contravariant operation $g^{*}$ is a weak equivalence in $\matheurm{E}$ when $g$ is a homotopy equivalence (equivalently, weak homotopy equivalence) and the contravariant operation $b_{*}$ is a weak equivalence in $\matheurm{E}$ when $b$ is a weak homotopy equivalence. (We call a bundle map $b\colon(B,p\colon X\to B,\xi)\to(B,p^{\prime}\colon X^{\prime}\to B,\xi^{\prime})$ a weak homotopy equivalence if the underlying map $X\to X^{\prime}$ is a weak homotopy equivalence.)

Example 2.3**.**

(Bivariant A-theory) The assignment

[TABLE]

(bivariant $A$-theory spectrum of the fibration $p$) extends canonically to a bivariant theory; see [15] or [8, Section 3]. This theory is homotopy invariant (see the proof of [8, Proposition 3.6] for covariant homotopy invariance and [8, Proposition 3.8] for contravariant homotopy invariance; we note that the first–mentioned proof also applies to the class of weak homotopy equivalences). Note that the $\mathbb{R}^{d}$-bundle $\xi$ plays no role in the definition of $\mathbf{A}$.

A bivariant theory gives rise to a collection of covariant and contravariant functors. We will be interested in the following two types of functors that arise from a bivariant theory. Let $\matheurm{Bun}$ denote the category of numerable topological $\mathbb{R}^{d}$-bundles. More precisely, $\matheurm{Bun}$ is the full subcategory of $\matheurm{Biv}$ on objects $(B,p,\xi)$ where $B=*$, that is, the objects of $\matheurm{Bun}$ are numerable topological $\mathbb{R}^{d}$-bundles $(\xi\colon V\to X)$ (where $X$ is a subset of $\mathcal{U}$ and $V$ is a subset of $X\times\mathcal{U}$), and a morphism is a map of base spaces covered by a fiberwise homeomorphism.

Definition 2.4**.**

The covariant part $\overline{\mathcal{C}}\colon\matheurm{Bun}\to\matheurm{E}$ of a bivariant theory $\mathcal{C}$ is the restriction of $\mathcal{C}$ to $\matheurm{Bun}$.

As the following construction shows, there is also a reverse process that takes covariant functors on $\matheurm{Bun}$ to bivariant theories.

Construction 2.5**.**

(Associated bivariant theory) Let $F\colon\matheurm{Bun}\to\matheurm{E}$ be a functor where $\matheurm{E}$ is the category of spaces or spectra. Suppose that $F$ is homotopy invariant, i.e., it sends weak homotopy equivalences to weak equivalences in $\matheurm{E}$. Following the construction of [9, Subsection 4.2], there is an associated bivariant theory $F^{\&}$ such that $\overline{F^{\&}}$ is $F$ (up to canonical weak equivalence). The assignment $F\mapsto F^{\&}$ is functorial in $F$. More specifically, the value of $F^{\&}$ at $(B,p\colon X\to B,\xi\colon V\to X)$ is given by the space (or spectrum) of sections of the fibration $F_{B}(\xi)\to B$ whose fiber at $x\in B$ is given by $F(\xi_{|p^{-1}(x)}\colon V_{|p^{-1}(x)}\to p^{-1}(x))$. In other words, $F^{\&}(B,p,\xi)$ is the homotopy limit of $F$ restricted to the fibers of $p$, where these fibers are regarded as defining a classifying diagram for $p$ with values in $\matheurm{Bun}$.

On the other hand, a bivariant theory $\mathcal{C}$ restricts to a collection of contravariant functors as follows. Let $\mathcal{S}_{B}$ denote the category of spaces over $B$ which are of the homotopy type of a CW complex. For any family of $\mathbb{R}^{d}$-bundles $\theta=(B,p,\xi)$, we can view $\mathcal{S}_{B}$ as a subcategory of $\matheurm{Biv}$ by sending $(g\colon B^{\prime}\to B)$ to the family of $\mathbb{R}^{d}$-bundles $g^{*}\theta$. As a consequence, a bivariant theory $\mathcal{C}$ restricts to a (contravariant) functor:

[TABLE]

2.2. Coassembly

The construction of the coassembly transformation for bivariant theories was introduced in [9, Subsection 4.2]. We recall here some facts about this construction. We restrict throughout to bivariant theories with values in the category $\matheurm{E}$ of spaces or spectra, equipped with the usual class of weak equivalences.

A homotopy invariant bivariant theory $\mathcal{C}$ is contravariantly excisive if the functor $\mathcal{C}_{/\theta}$ is excisive for every $\theta=(B,p,\xi)$ (that is, if $\mathcal{C}_{/\theta}$ sends homotopy colimits to homotopy limits) – this was called strongly excisive in [9]. This property essentially says that $\mathcal{C}$ is cohomological in $B$ with respect to the contravariant functoriality. If $\mathcal{C}_{/\theta}$ is an excisive functor with values in spectra, then it gives rise to a cohomology theory on spaces over $B$, with $B$-twisted coefficients given by the values of $\mathcal{C}_{/\theta}$ at $(\{x\},p^{-1}(x)\to\{x\},\xi_{|p^{-1}(x)})$ for each $x\in B$.

Example 2.6**.**

Let $F\colon\matheurm{Bun}\to\matheurm{E}$ be a functor where $\matheurm{E}$ is the category of spaces or spectra. Then the associated bivariant theory $F^{\&}$ of Example 2.5 is contravariantly excisive by construction.

A bivariant transformation $\tau\colon\mathcal{C}\to\mathcal{D}$ of homotopy invariant bivariant theories is a bivariant coassembly map if $\mathcal{D}$ is contravariantly excisive and $\tau$ restricts to a weak equivalence of covariant functors $\overline{\tau}\colon\overline{\mathcal{C}}\to\overline{\mathcal{D}}$. If $\mathcal{C}$ is contravariantly excisive, then any bivariant coassembly map $\mathcal{C}\to\mathcal{D}$ is necessarily a weak equivalence of bivariant theories. A bivariant coassembly map for bivariant theories was constructed in [9, Subsection 4.2] – the construction applies similarly to our present context. Given a bivariant theory $\mathcal{C}$, the bivariant coassembly map for $\mathcal{C}$ is given by a canonical bivariant transformation:

[TABLE]

that is defined essentially by the canonical maps to the respective homotopy limits.

We summarize the properties of the bivariant coassembly map in the next proposition. We write $[-,-]$ to denote the morphism sets in the homotopy categories of the functor categories $\matheurm{E}^{\matheurm{Biv}}$ and $\matheurm{E}^{\matheurm{Bun}}$, respectively, obtained by formally inverting the (pointwise) weak equivalences.

Proposition 2.7**.**

Let $\mathcal{C}$ and $\mathcal{D}$ be homotopy invariant bivariant theories and suppose that $\mathcal{D}$ is contravariantly excisive. Then the functor $\mathcal{C}\mapsto\overline{\mathcal{C}}$ induces a bijection of morphism sets:

[TABLE]

As a consequence, the bivariant coassembly map $\nabla_{\mathcal{C}}$ induces a bijection of morphism sets in the homotopy category of bivariant theories:

[TABLE]

Proof.

The proof is similar to [9, Proposition 4.3]. ∎

2.3. A formal index theorem

We can similarly consider bivariant theories $\mathcal{C}$ whose covariant part $\overline{\mathcal{C}}$ satisfies excision. By definition, a functor $F\colon\matheurm{Bun}\to\matheurm{E}$, where $\matheurm{E}$ is the category of spaces or spectra, is excisive if it is homotopy invariant and it preserves homotopy colimits. (It may be helpful here to identify $\matheurm{Bun}$ with the category of spaces over $\mathrm{BTop(d)}$, as homotopy theories.)

Definition 2.8** (Fully excisive).**

Let $\mathcal{C}$ be a homotopy invariant bivariant theory with values in the category of spaces or spectra. We say that $\mathcal{C}$ is fully excisive if it is contravariantly excisive and $\overline{\mathcal{C}}$ is excisive.

Construction 2.9** (Assembly).**

Let $F\colon\matheurm{Bun}\to\matheurm{E}$ be a homotopy invariant functor where $\matheurm{E}$ is the category of spaces or spectra. Following the construction of assembly in [14], there is an excisive functor $F^{\%}\colon\matheurm{Bun}\to\matheurm{E}$ and a natural transformation $\alpha_{F}\colon F^{\%}\to F$ which defines a universal approximation by an excisive functor: for any excisive functor $H\colon\matheurm{Bun}\to\matheurm{E}$, there is a bijection of morphism sets:

[TABLE]

The associated bivariant theory $(F^{\%})^{\&}$ is a fully excisive bivariant theory.

Theorem 2.10**.**

Let $\tau\colon\mathcal{C}\to\mathcal{D}$ be a bivariant transformation between homotopy invariant bivariant theories with values in the category of spaces or spectra. Suppose that $\overline{\mathcal{C}}$ is excisive. Then there is a unique bivariant transformation in the homotopy category of bivariant theories,

[TABLE]

such that the following diagram commutes in the homotopy category of bivariant theories:

[TABLE]

Proof.

By the naturality of the coassembly transformation, we obtain a commutative diagram as follows,

[TABLE]

The bottom transformation $\tau^{\&}$ factors uniquely through the canonical bivariant transformation $\alpha_{\overline{\mathcal{D}}}^{\&}$ using the bijections of Proposition 2.7 and Construction 2.9. ∎

Remark 2.11**.**

We may view Theorem 2.10 as an abstract index type theorem in the following way. Each class $x\in\pi_{0}\mathcal{C}(\theta)$ gives rise to two characteristic cohomology classes $(\tau^{\%}\circ\nabla_{\mathcal{C}})(x)$ and $(\nabla_{\mathcal{D}}\circ\tau)(x)$. The theorem then indentifies these two classes along the canonical assembly transformation $\alpha^{\&}_{\overline{\mathcal{D}}}$. In certain special cases of $\mathcal{C}$ and $x$, these two chararacteristic classes are related to transfer constructions. We refer to [15] for a nice overview of this idea.

Remark 2.12**.**

By passing to the homotopy category, we contend ourselves here with proving less than what is possible. Since all of our constructions are homotopy coherent and our identifications are canonical, Theorem 2.10 can also be formulated in the homotopy theory of bivariant theories. For this purpose, it would be more convenient to consider coassembly and assembly as parts of adjunctions between the respective $\infty$-categories of functors.

3. An Index Theorem for Topological Manifold Bundles

3.1. The (parametrized) topological cobordism category

The topological cobordism category was introduced and studied in [6]. Following the definition of the parametrized smooth cobordism category in [9], we also define a parametrized bivariant extension of the topological cobordism category.

Let $\theta=(B,p\colon X\to B,\xi\colon V\to X)$ be a family of $\mathbb{R}^{d}$-bundles. There is a (discrete) category $\mathrm{Cob}^{\delta}(\theta)$ of parametrized topological $\theta$-cobordisms over $B$ defined as follows. An object in $\mathrm{Cob}^{\delta}(\theta)$ is given by a quadruple $(E,\pi,a,l)$ where:

• (i)

$a\in\mathbb{R}$,

• (ii)

$\pi\colon E\to B$ is a numerable fiber bundle of compact $(d-1)$-dimensional topological manifolds, which is fiberwise embedded in $B\times\{a\}\times\mathbb{R}_{+}\times\mathbb{R}^{\infty}$ and the embedding is cylindrical near the fiberwise boundary $\partial_{\pi}E\subset E$,

• (iii)

$l$ is a tangential $\theta$-structure, i.e., a microbundle map $\epsilon\oplus T_{\pi}E\to\xi$ (fiberwise over $B$ and cylindrical near the fiberwise boundary), where $T_{\pi}E$ denotes the vertical tangent microbundle of $\pi$, and $\epsilon$ is the trivial $\mathbb{R}$-bundle.

A morphism in $\mathrm{Cob}^{\delta}(\theta)$ consists of $a_{0}<a_{1}\in\mathbb{R}$ and a numerable fiber bundle of compact topological $d$-manifolds,

[TABLE]

embedded fiberwise in $B\times[a_{0},a_{1}]\times\mathbb{R}_{+}\times\mathbb{R}^{\infty}$ and cylindrically near the boundary and the corners, together with a tangential $\theta$-structure, given by a microbundle map $l_{W}\colon T_{\pi}W\to\xi$, fiberwise over $B$ and cylindrical near the fiberwise boundary parts. The domain and target of this morphism are the intersections $W_{0}$ and $W_{1}$ of $W$ with $B\times\{a_{0}\}\times\mathbb{R}_{+}\times\mathbb{R}^{\infty}$ and $B\times\{a_{1}\}\times\mathbb{R}_{+}\times\mathbb{R}^{\infty}$ respectively, together with the restrictions of $l_{W}$ to these subsets. This defines a non-unital category where the composition of morphisms is given by union of subsets in $B\times\mathbb{R}\times\mathbb{R}_{+}\times\mathbb{R}^{\infty}$.

Remark 3.1**.**

For bundles $\pi\colon W\to B$ of compact topological manifolds with boundary, as in the previous definition, we find it convenient to define the vertical tangent microbundle $T_{\pi}W$ as the vertical tangent microbundle of the fiberwise horizontal interiors, that is, the intersection of $W$ with $B\times[a_{0},a_{1}]\times(0,\infty)\times\mathbb{R}^{\infty}$. (Since the inclusion of the fiberwise horizontal interior into the whole bundle is a fiberwise homotopy equivalence, this does not conflict with other possible definitions.)

Remark 3.2**.**

Since every numerable fiber bundle is a fibration, the fiber bundles in (ii) and (2) are also fibrations. In addition, since the fibers of these fibrations have the homotopy type of a CW complex, it follows that the same holds for the total spaces (see the proof of [8, Lemma A.1]).

Given a map $g\colon B^{\prime}\to B$, we get an induced functor (contravariant operation)

[TABLE]

which is defined by taking pullbacks of bundles along $g$. On the other hand, if $\theta=(B,p\colon X\to B,\xi)$ and $\theta^{\prime}=(B,q\colon Y\to B,\xi^{\prime})$ are families of $\mathbb{R}^{d}$-bundles and $b\colon\theta\to\theta^{\prime}$ is a bundle map, then post-composing with $b$ defines a functor (covariant operation)

[TABLE]

The operations of $b_{*}$ and $g^{*}$ are clearly functorial and commute with each other. Thus, the assignment $\mathrm{Cob}^{\delta}\colon\theta\mapsto\mathrm{Cob}^{\delta}(\theta)$ is a bivariant theory with values in the category of small non-unital categories $\matheurm{Cat}$.

Remark on notation. We will only consider cobordism categories of topological manifolds and we will always allow the objects to have boundary. Thus, in order to simplify the notation, we will use throughout the notation $\mathrm{Cob}^{\delta}(-)$ without any of the decorations that usually indicate these choices.

Following [9, Section 2], we also consider the associated simplicial thickening of this bivariant theory $\mathrm{Cob}^{\delta}(\theta)_{\bullet}$. We recall that for a family of $\mathbb{R}^{d}$-bundles $\theta=(B,p\colon X\to B,\xi\colon V\to X)$, $\mathrm{Cob}^{\delta}(\theta)_{\bullet}$ is a simplicial category (= simplicial object in $\matheurm{Cat}$) which is defined degreewise by

[TABLE]

where

[TABLE]

The simplicial operators are defined by the contravariant operations of the bivariant theory $\mathrm{Cob}^{\delta}(-)$.

For every small non-unital category $C$, the nerve $N_{\bullet}C$ of $C$ is a semi-simplicial set, and the classifying space of $C$, denoted by $BC$, is the geometric realization of the nerve $N_{\bullet}C$.

Definition 3.3**.**

The (fat) geometric realization of the degreewise classifying spaces

[TABLE]

is the classifying space of the parametrized topological $\theta$-cobordism category.

By construction, the rule $\theta\mapsto B\mathrm{Cob}(\theta)$ canonically extends to a bivariant theory with values in spaces. Definition 3.3 is in accordance with the existing definition of the topological cobordism category. Indeed, the covariant part of $B\mathrm{Cob}$ is equivalent to the functor $\xi\mapsto B\mathsf{Cob}^{\operatorname{Top},\xi}_{\partial}(d,\infty)$ from [6, section 7.4].

Proposition 3.4**.**

The bivariant theory $B\mathrm{Cob}$ is homotopy invariant.

Proof.

The proof in [9, Proposition 2.4] shows contravariant homotopy invariance and covariant homotopy invariance with respect to the homotopy equivalences. We show that $B\mathrm{Cob}$ is covariantly homotopy invariant also with respect to the weak homotopy equivalences. Let $\theta=(B,p\colon X\to B,\xi)$ be a family of $\mathbb{R}^{d}$-bundles. Let $g\colon X^{\prime}\to X$ be a map which is a fibration and a weak homotopy equivalence and where $X^{\prime}$ has the homotopy type of a CW complex. Let $\theta^{\prime}=(B,p\circ g\colon X^{\prime}\to B,\xi^{\prime})$ be the new family of $\mathbb{R}^{d}$-bundles, defined by pullback. Then it suffices to show that $B\mathrm{Cob}$ sends the bundle map $b\colon\theta^{\prime}\to\theta$ to a weak equivalence. For $k\geq 0$, consider the map of simplicial sets,

[TABLE]

We claim that this map is a trivial Kan fibration, for each $k\geq 0$, from which the required result follows. The claim amounts to solving lifting problems over $B\times\Delta^{n}$ of the form:

[TABLE]

where $\pi\colon W\to B\times\Delta^{n}$ is an element in $N_{k}\mathrm{Cob}^{\delta}(\theta)_{n}$ and $W_{|B\times\partial\Delta^{n}}$ denotes the restriction over $B\times\partial\Delta^{n}$. The existence of these lifts can be shown directly using standard arguments, or by appealing to the mixed model structure on the category of topological spaces [3, Theorem 2.1, Example 2.2], in which $g$ is a trivial fibration by definition, and $i$ is a cofibration by [3, Corollaries 3.7 and 3.12]. ∎

The bivariant theory $B\mathrm{Cob}$ lifts, through the functor $\Omega^{\infty}$, to a bivariant theory with values in the category of spectra, which we denote by $\mathbf{BCob}$. As in the smooth case [9, Section 2], this can be shown by using the partial monoidal structure on $\mathrm{Cob}^{\delta}(\theta)_{\bullet}$ given by union of subsets, whenever this is well-defined. This structure gives rise to a group-like (special) $\Gamma$-space which models an infinite loop space. The $\Gamma$-space structure can be described more precisely by varying the tangential $\theta$-structure as follows: the value of the $\Gamma$-space at the pointed set $n_{+}$ is

[TABLE]

where

[TABLE]

We omit the details as the arguments are similar to the smooth case (see [9, Section 2], [7]).

Proposition 3.5**.**

The covariant part of (the spectrum-valued theory) $\mathbf{BCob}$ is excisive.

Proof.

As explained in [6, Subsection 7.4], the results of [6, Section 5] generalize to manifolds with boundaries. In particular, [6, Corollary 5.8] has an analogue for manifolds with boundary,

[TABLE]

where $\mathbf{B}(\xi)$ denotes the suspension of a spectrum $\Psi^{\mathrm{Top},\xi}_{\partial}(d)$, whose $n$-th term is

[TABLE]

here we recall that $\psi^{\mathrm{Top},\xi}_{\partial}(d,n,p)$ denotes the space of $d$-dimensional $\xi$-manifolds, possibly with boundary, neatly embedded in $\mathbb{R}^{p}\times(0,1)^{n-p-1}\times[0,1)$.

The functor $\mathbf{B}(-)$ is invariant under weak equivalences and commutes with geometric realizations up to weak equivalence; this is shown for the non–boundary version $\Psi^{\mathrm{Top},(-)}(d)$ in [6, Lemma 7.3 and Theorem 7.4] and it follows for the boundary–version $\Psi^{\mathrm{Top},\xi}_{\partial}(d)$ (and therefore also for $\mathbf{B}(-)$) from the cofiber sequence of spectra explained in [6, p. 50].

Next we argue that $\Psi^{\mathrm{Top},\xi}_{\partial}(d)$ preserves coproducts in the $\xi$-variable up to weak equivalence. We can see this by observing that the spectrum $\Psi^{\mathrm{Top},\xi}_{\partial}(d)$ is equivalent to the spectrum whose $n$-th term is $\psi^{\mathrm{Top},\xi}_{\partial}(d,\infty,n)$ (with similarly defined structure maps) and then using the fact that the spaces $\psi^{\mathrm{Top},\xi}_{\partial}(d,\infty,n)$ preserve coproducts in the $\xi$-variable, up to weak equivalence, by the argument of [7]. Therefore, $\mathbf{B}(-)$ preserves coproducts up to weak equivalence. Using the Bousfield–Kan formula for general homotopy colimits, we conclude that $\mathbf{B}(-)$ preserves arbitrary homotopy colimits.

By the naturality of (3) in $\xi$, the equivalence (3) extends to an equivalence of $\Gamma$-spaces and therefore it induces an equivalence between the associated spectra. Since $\mathbf{B}(\xi)$ also defines a $\Gamma$-object in spectra, it follows [7, Proposition 5.2] that the spectrum associated with the $\Gamma$-space $\Omega^{\infty}(\mathbf{B}(\xi))$ is the connective cover $\mathbf{B}(\xi)_{\geq 0}$ of $\mathbf{B}(\xi)$. So, the equivalence (3) extends to an equivalence of (connective) spectra

[TABLE]

Thus, in order to conclude the proof, it is enough to show that $\mathbf{B}(\xi)_{\geq 0}$ is again excisive in $\xi$. Clearly, it preserves small coproducts up to weak equivalence; we are left to show that it also preserves homotopy pushouts. The functor $(-)_{\geq 0}$ does not preserve general homotopy pushouts; but it does preserve those for which $\pi_{0}$ of each of the spectra in the homotopy pushout diagram vanishes. In our case,

[TABLE]

is given by bordism classes of $\xi$-manifolds with boundaries. Since any such $\xi$-manifold with boundary is canonically null–bordant, it follows that the classifying space is indeed connected. ∎

3.2. The parametrized $A$-theory characteristic

There is a bivariant transformation

[TABLE]

from the loop space of the bivariant theory defined by the parametrized topological cobordism category with boundary to bivariant $A$-theory, which is defined as in the smooth case [9, 5.1] – the construction does not use smoothness and therefore applies to the topological cobordism category as well. Roughly speaking, this transformation is given by viewing a chain of composable cobordisms as a filtration of their composite. Moreover, in terms of the cobordism model for $A$-theory presented in [10, Section 4], it may be understood as the inclusion of the $\theta$-cobordism category into a “homotopy cobordism category”, which is a category of cospans of fiberwise homotopy finite spaces over $B$ with a structure map to $p$. The covariant part of this transformation was first considered by Bökstedt–Madsen [2].

Using the $\Gamma$-space method, the bivariant transformation (4) may be refined to a bivariant transformation of spectrum-valued theories which we write as

[TABLE]

Theorem 3.6**.**

There is a unique bivariant transformation in the homotopy category of bivariant theories with values in the category of spectra,

[TABLE]

such that the following diagram commutes in the homotopy category of bivariant theories:

[TABLE]

Proof.

This is a direct application of Theorem 2.10 using Proposition 3.5. ∎

Next we explain how Theorem 3.6 specializes to the Index Theorem for the $A$-theory characteristic of fiber bundles of compact topological manifolds from [4]. Let $\pi\colon E\to B$ be a fiber bundle of compact topological $d$-manifolds where $B$ is a CW complex. We may choose a fiberwise embedding of $\pi$ into $B\times(0,1)\times\mathbb{R}_{+}\times\mathbb{R}^{\infty}$, which is cylindrical near the boundary. We denote by $\xi\colon T_{\pi}E\to E$ the vertical tangent topological $\mathbb{R}^{d}$-bundle (using the Kister–Mazur theorem if necessary – see [6, Appendix A]). In this way, we obtain a family of $\mathbb{R}^{d}$-bundles $\theta\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=(B,\pi,\xi)$ and we may regard $(E,\pi,0<1,\operatorname{id})$ as a morphism in $\mathrm{Cob}^{\delta}(\theta)$ (from $\varnothing$ to $\varnothing$). This morphism defines also a class in \pi_{0}\big{(}\Omega B\mathrm{Cob}(\theta)\big{)} which we will denote by $[\pi]$.

The associated class $\tau[\pi]\in\pi_{0}\mathbf{A}(\theta)$ is given by the retractive space $E\sqcup E$ over $E$ – the bivariant $A$-theory characteristic of $p$, see [8, Section 4]. The image of this element under the coassembly map $\nabla_{\mathbf{A}}$ is the parametrized $A$-theory characteristic of $p$,

[TABLE]

where $A_{B}(E)\to B$ is the fibration that is obtained from $\pi$ by applying the (space-valued) $A$-theory functor fiberwise. On the other hand, the image of $[\pi]$ under the bivariant transformation $(\tau^{\%}\circ\nabla)$ yields a class \chi^{\%}(\pi)\in\pi_{0}\big{(}(\overline{\mathbf{A}}^{\%})^{\&}(\theta)\big{)}, the excisive $A$-theory characteristic of $p$,

[TABLE]

where $A^{\%}_{B}(E)\to B$ is the fibration obtained from $\pi$ by applying the functor $A^{\%}$ fiberwise. Then the commutativity of the diagram in Theorem 3.6 yields the following result due to Dwyer–Weiss–Williams [4].

Corollary 3.7**.**

Let $\pi\colon E\to B$ be a fiber bundle of compact topological $d$-manifolds where $B$ is a CW complex. Then the following diagram commutes up to homotopy:

[TABLE]

where $A^{\%}_{B}(E)\xrightarrow{\alpha_{\overline{\mathbf{A}},B}}A_{B}(E)$ denotes the $A$-theory assembly map fiberwise over $B$.

We expect that the map $\chi^{\%}(\pi)$ agrees with the corresponding excisive $A$-theory characteristic as defined in [4, 7.11], which used methods of controlled $A$-theory in order to model the $A$-theory assembly map. We also expect that this identification can be shown by considering bivariant versions of the constructions in [4, Section 7] and appealing to the uniqueness property of $\tau^{\%}$ in Theorem 3.6.

Given a family of $\mathbb{R}^{d}$-bundles $\theta=(B,p,\xi)$, there is an associated family of $\mathbb{R}^{d+1}$-bundles $\theta\oplus\epsilon\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=(B,p,\xi\oplus\epsilon)$. There is a stabilization map

[TABLE]

which sends an object $(E,\pi,a,l)$ to the object $(E^{\prime}\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=E\times[0,1],\pi^{\prime},a,l^{\prime})$, where $\pi^{\prime}$ is the composite $E^{\prime}\xrightarrow{\mathrm{proj}}E\xrightarrow{p}B$, and $l^{\prime}$ is the composite

[TABLE]

where the first map is the canonical bundle map over the projection $E^{\prime}\to E$. The neat embedding of $E^{\prime}$ is the product embedding of the embedding of $E$ and a neat embedding $[0,1]\to\mathbb{R}_{+}\times\mathbb{R}$, followed by a suitable homeomorphism $\mathbb{R}_{+}\times\mathbb{R}_{+}\to\mathbb{R}_{+}\times\mathbb{R}$ which straightens the corner (compare [11, Appendix A]). This, together with a similar rule for morphisms, defines a bivariant transformation

[TABLE]

After simplicial thickening, geometric realization, and $\Gamma$-space delooping, we obtain a diagram of spectrum-valued bivariant theories

[TABLE]

which commutes in the homotopy category. Hence the bivariant transformation $\tau$ for dimension $d$ factors through the one for dimension $d+1$.

Based on an analogy with the smooth case [9, Theorem 5.2], the results of [6], and the construction of the assembly map of $A$-theory in terms of higher simple homotopy theory [12] (which is again related to stabilized manifold theory [13]), we expect that the following holds:

Conjecture 3.8**.**

The connectivity of the covariant part of $\tau^{\%}$ increases to $\infty$ as $d$ increases to $\infty$.

Assuming this, a suitably stabilized version of the topological Bökstedt–Madsen map,

[TABLE]

would yield a model for the assembly map of $A$-theory, for any numerable $\mathbb{R}^{d}$-bundle $\xi$ over $X$.