The topological chiral homology of the spherical category

Abstract

We consider the spherical DG category $Sph_G$ attached to an affine algebraic group $G$. By definition, $Sph_G := IndCoh(LS_G(S^2))$ consists of ind-coherent sheaves of the stack of $G$-local systems on the $2$-sphere $S^2$. The $3$-dimensional version of the pair of pants endows $Sph_G$ with an $E_3$-monoidal structure. More generally, for an algebraic stack $Y$ (satisfying some mild conditions) and $n \geq -1$, we can look at the $E_{n+1}$-monoidal DG category $Sph(Y,n) := IndCoh_0((Y^{S^n})^\wedge_Y)$, where $IndCoh_0$ is the sheaf theory introduced in [AG2] and [centerH]. % The case of $Sph_G$ is recovered by setting $Y =BG$ and $n=2$. The cobordism hypothesis associates to $Sph(Y,n)$ an $(n+1)$-dimensional TQFT, whose value of a manifold $M^d$ of dimension $d \leq n+1$ (possibly with boundary) is given by the {topological chiral homology} $\int_{M^d} Sph(Y,n)$. % In this paper, we compute such homology (in virtually all cases): we have the Stokes style formula $$ \int_{M^d} Sph(Y,n) \simeq IndCoh_0 ( (Y^{\partial(M^d \times D^{n+1-d})})^\wedge_{Y^M} ) , $$ where the formal completion is constructed using the obvious projection $\partial(M^d \times D^{n+1-d}) \to M^d$. The most interesting instance of this formula is for $Sph_G \simeq Sph(BG,2)$, the original spherical category, and $X$ a Riemann surface. In this case, we obtain a monoidal equivalence $\int_X Sph_G \simeq H(LS_G^{Betti}(X))$, where $LS_G^{Betti}(X)$ is the stack of $G$-local systems on the topological space underlying $X$ and $H$ is the sheaf theory introduced in [centerH].