Multiplicative structure in the stable splitting of S L_n(C)

Abstract: The space of based loops in

S L_{n} (m a t h b b C)

, also known as the affine Grassmannian of

S L_{n} (m a t h b b C)

, admits an

m a t h b b E_{2}

or fusion product. Work of Mitchell and Richter proves that this based loop space stably splits as an infinite wedge sum. We prove that the Mitchell--Richter splitting is coherently multiplicative, but not

m a t h b b E_{2}

. Nonetheless, we show that the splitting becomes

m a t h b b E_{2}

after base-change to complex cobordism. Our proof of the

m a t h b b A_{i} n f t y

splitting involves on the one hand an analysis of the multiplicative properties of Weiss calculus, and on the other a use of Beilinson--Drinfeld Grassmannians to verify a conjecture of Mahowald and Richter. Other results are obtained by explicit, obstruction-theoretic computations.

Review text

The authors study the multiplicative homotopy type of the based loops $\Omega \mathrm{SL}_n(\mathbb{C})\simeq \Omega \mathrm{SU}(n)$ from the point of view of the multiplicative stable homotopy category. Note that there are two multiplications on it, one arising from the composition of based loops and the other one from the group multiplication on $\mathrm{SU}(n)$. Recall the following Bott filtration constructed by \textit{S. A. Mitchell} [Math. Z. 193, 347--362 (1986; Zbl 0613.57025)] and independently \textit{G. Segal} [Lond. Math. Soc. Lect. Note Ser. 139, 153--164 (1989; Zbl 0702.58017)] \[ *=F_{n,0}\to F_{n,1}\to F_{n,2}\to \cdots \cdots \to \Omega \mathrm{SU}(n) \] and the stable homotopy equivalence (obtained by Mitchell and Richter) $\Sigma^{\infty}_+\Omega \mathrm{SU}(n)\simeq \bigvee_{k\geq 1}\Sigma^{\infty}F_{n,k}/F_{n,k-1}.$ \par First, the authors show that the suspension of the Bott filtration is an $\mathbb{A}_{\infty}$-algebra object in filtered spectra and they prove that the Bott filtration of $\Sigma^{\infty}_+\Omega \mathrm{SU}(n)$ is equivalent to its associated graded one as an $\mathbb{A}_{\infty}$-algbera object in filtered spectra. Next, they show that the above result is best possible. Indeed, they prove that the Bott filtration of $\Sigma^{\infty}_+\Omega \mathrm{SU}(n)$ is not equivalent to its $\mathbb{E}_2$ associated graded one as an $\mathbb{E}_2$-algebra object in filtered spectra if $n\geq 4$. However, they show that the above result can be improved in the complex bordism theory. \par Let $MU$ denote the $\mathbb{E}_{\infty}$-ring spectrum of complex bordism and let $R_k$ $(k=1,2)$ be any two (ungraded) $\mathbb{E}_2$-algebras with the same underlying $\mathbb{A}_{\infty}$-ring spectrum $\Sigma^{\infty}_+\Omega \mathrm{SU}(n)$. In this situation they prove that there is an equivalence $MU\wedge R_1\simeq MU\wedge R_2$ as $\mathbb{E}_2$-$MU$-algebras. Their proofs are based on the analysis of the multiplicative properties of Weiss calculus and explicit obstruction computations.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Multiplicative structure in the stable splitting of $\Omega S L_n(\mathbb{C})$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631943)