On the smoothing theory delooping of disc diffeomorphism and embedding spaces

Abstract The celebrated Morlet–Burghelea–Lashof–Kirby–Siebenmann smoothing theory theorem states that the group $$\textrm{Diff}_\partial (D^n)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mtext>Diff</mml:mtext> <mml:mi>∂</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>D</mml:mi> <mml:mi>n</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> of diffeomorphisms of a disc $$D^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>D</mml:mi> <mml:mi>n</mml:mi> </mml:msup> </mml:math> relative to the boundary is equivalent to $$\Omega ^{n+1}\left( \textrm{PL}_n/\textrm{O}_n\right) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>Ω</mml:mi> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mfenced> <mml:msub> <mml:mtext>PL</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mtext>O</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> </mml:mfenced> </mml:mrow> </mml:math> for any $$n\ge 1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> and to $$\Omega ^{n+1}\left( \textrm{TOP}_n/\textrm{O}_n\right) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>Ω</mml:mi> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mfenced> <mml:msub> <mml:mtext>TOP</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mtext>O</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> </mml:mfenced> </mml:mrow> </mml:math> for $$n\ne 4$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≠</mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:math> . We revise smoothing theory results to show that the delooping generalizes to different versions of disc smooth embedding spaces relative to the boundary, namely the usual embeddings, those modulo immersions, and framed embeddings. The latter spaces deloop as $$\textrm{Emb}_\partial ^{fr}(D^m,D^n)\simeq \Omega ^{m+1}\left( \textrm{O}_n\backslash \!\!\backslash \textrm{PL}_n/\textrm{PL}_{n,m}\right) \simeq \Omega ^{m+1}\left( \textrm{O}_n\backslash \!\!\backslash \textrm{TOP}_n/\textrm{TOP}_{n,m}\right) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msubsup> <mml:mtext>Emb</mml:mtext> <mml:mi>∂</mml:mi> <mml:mrow> <mml:mi>fr</mml:mi> </mml:mrow> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>D</mml:mi> <mml:mi>m</mml:mi> </mml:msup> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>D</mml:mi> <mml:mi>n</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>≃</mml:mo> <mml:msup> <mml:mi>Ω</mml:mi> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mfenced> <mml:msub> <mml:mtext>O</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> <mml:mrow> <mml:mo>\</mml:mo> <mml:mspace/> <mml:mspace/> <mml:mo>\</mml:mo> </mml:mrow> <mml:msub> <mml:mtext>PL</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>/</mml:mo> <mml:msub> <mml:mtext>PL</mml:mtext> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>,</mml:mo> <mml:mi>m</mml:mi> </mml:mrow> </mml:msub> </mml:mfenced> <mml:mo>≃</mml:mo> <mml:msup> <mml:mi>Ω</mml:mi> <mml:mrow> <mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mfenced> <mml:msub> <mml:mtext>O</mml:mtext> <mml:mi>n</mml:mi> </mml:msub> <mml:mrow> <mml:mo>\</mml:mo> <mml:mspace/> <mml:mspace/> <mml:mo>\</mml:mo> </mml:mrow>