ScalingStacks

Proof. The functor $-\otimes A\colon\mfld_{n}^{B}\to\mathcal{V}$ carries each contractible manifold to the underlying object of the commutative algebra $A$. For $(A_{i})_{i\in I}$ a finite sequence of commutative algebras in $\mathcal{V}$, the $I$-fold coproduct in $\Alg_{\com}(\mathcal{V})$ is the pointwise tensor product $\underset{i\in I}{\bigotimes}A_{i}$ (see Proposition 3.2.4.7 of [Lu2]). It follows that this functor $-\otimes A$ is symmetric monoidal. From the defining expression of factorization homology as a colimit, there results a natural transformation

between symmetric monoidal functors $\mfld_{n}^{B}\to\mathcal{V}$, which evaluates as an equivalence on objects of $\disk_{n}^{B}$. Lemma 3.18 grants that the domain of this natural transformation satisfies $\otimes$-excision. Because a collar-gluing $M^{\prime}\underset{M_{0}\times\mathbb{R}}{\bigcup}M^{\prime\prime}\cong M$ determines a pushout of underlying spaces $M^{\prime}\underset{M_{0}}{\coprod}M^{\prime\prime}\simeq M$, the codomain of this natural transformation too satisfies $\otimes$-excision. That the natural transformation evaluates on each $B$-framed $n$-manifold $M$ as an equivalence then follows by induction on a handle decomposition on $M$.

∎

Proof. The two sides are evidently equivalent in the case where $M$ is homeomorphic to $\mathbb{R}^{n}$, so to establish the result it suffices, as usual, to check by induction over a handle decomposition of $M$. Given a handle decomposition $N\underset{S^{k}\times\mathbb{R}^{n-k}}{\bigcup}\mathbb{R}^{n}\cong M$, we have a homotopy pullback diagram of spaces

which gives rise to a natural map in $R$-homology

from the homology of the mapping spaces to the cotensor product of the comodules $\mathsf{C}_{\ast}(X^{N},R)$ and $\mathsf{C}_{\ast}(X^{\mathbb{R}^{n}},R)$ over the coalgebra $\mathsf{C}_{\ast}(X^{S^{k}\times\mathbb{R}^{n-k}},R)$. This map is an equivalence exactly if the homological Eilenberg–Moore, or Rothenberg–Steenrod, spectral sequence for this homotopy Cartesian diagram converges. By Dwyer [Dw], the convergence of this Eilenberg–Moore spectral sequence is assured if the base $X^{S^{k}\times\mathbb{R}^{n-k}}$ is connected and the action

is nilpotent for a choice of basepoint $f\in X^{S^{k}\times\mathbb{R}^{n-k}}$. Since $X$ is $n$-connective, for $k<n$ any map $f:S^{k}\rightarrow X$ is nullhomotopic, and therefore the base $X^{S^{k}\times\mathbb{R}^{n-k}}\simeq X^{S^{k}}$ is connected. We can thus take $f$ to be the constant map valued at the basepoint of $X$, and so identify ${\sf fiber}_{f}(X^{\mathbb{R}^{n}}\rightarrow X^{S^{k}\times\mathbb{R}^{n-k}})\simeq\Omega^{k+1}X$. We now show the action of $\pi_{1}\bigl(X^{S^{k}}\bigr)$ on $\pi_{\ast}\Omega^{k+1}X$ is nilpotent. Consider the fiber sequence $\Omega^{k+1}X\to X^{S^{k}}\xrightarrow{{\sf ev}_{\ast}}X$. This fibration admits a section, given by the constant maps. Consequently, there is an identification as a semi-direct product:

Through this identification, the action of $\pi_{1}\bigl(X^{S^{k}}\bigr)$ on $\pi_{\ast}\Omega^{k+1}X$ is the unique action that extends the standard actions of $\pi_{1}X$ and of $\pi_{0}\Omega^{k+1}X$ on $\pi_{\ast}\Omega^{k+1}X$. By assumption, the action of $\pi_{1}X$ on $\pi_{\ast+k+1}X\cong\pi_{\ast}\Omega^{k+1}X$ is nilpotent. In the case that $k=0$, the same assumption grants that the action of $\pi_{0}\Omega^{k+1}X$ on $\pi_{\ast}\Omega^{k+1}X$ is nilpotent. In the case that $k>0$, the action of $\pi_{0}\Omega^{k+1}X$ on $\pi_{\ast}\Omega^{k+1}X$ is automatically nilpotent due to commutativity. Nilpotence of the action of $\pi_{1}\bigl(X^{S^{k}}\bigr)$ on $\pi_{\ast}\Omega^{k+1}X$ follows. Consequently, the natural map in $R$-homology above is an equivalence.

The remainder of this argument is checking that we have imposed sufficient finiteness conditions to ensure the convergence in cohomology as well as homology. Dualizing, we obtain an equivalence

Since $\pi_{n}X$ is finite, the mapping space $X^{K}$ has finitely many components for any $n$-dimensional finite CW complex $K$. Because the source spaces, $M$, $N$, $S^{k}\times\mathbb{R}^{n-k}$, and $\mathbb{R}^{n}$, all have have the homotopy types of finite $n$-dimensional CW complexes, we obtain that all these mapping spaces have finitely many components. Since they are additionally finite CW complexes and $X$ is finite type, the homology groups of the mapping spaces $\mathsf{H}_{i}(X^{K},R)$ are finite rank over $R$, and therefore $\mathsf{C}_{*}(X^{K},R)$ is its own double dual: the map $\mathsf{C}_{*}(X^{K},R)\rightarrow\mathsf{C}^{*}(X^{K},R)^{\vee}$ is an equivalence. Likewise, there is an equivalence between the dual of the tensor product and the cotensor product

– this can be seen by commuting duality with the colimit to obtain a limit of a cosimplicial object, then comparing termwise. Continuing, one then concludes the equivalence

thereby finishing the proof.

∎