Princípio de reconhecimento de espaços de laços relativos

• Autor(a) principal: Vieira, Renato Vasconcellos
• Data de Publicação: 2018
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
• Texto Completo: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18032019-195116/
• topic: 2-operads; 2-operads; Espaços de laços; Espaços de laços relativos; Espectros; Espectros relativos; Loop spaces; Operads; Operads; Princípio de reconhecimento; Princípio de reconhecimento relativo; Recognition principle; Relative loop spaces; Relative recognition principle; Relative spectra; Spectra

O princípio de reconhecimento de espaços de $\\infty$-laços é que o funtor $\\Omega^\\infty:\\textttightarrow \\mathcal E^\\infty[\\texttt]$ dado por $\\Omega^\\infty Y_\\bullet=\\text_{\\bullet\\shortrightarrow\\infty}\\Omega^\\bullet Y_\\bullet$ induz uma equivalência entre a categoria homotópica de espectros conectivos e a categoria homotópica de $\\mathcal E^\\infty$-álgebras grouplike para qualquer resolução cofibrante $\\mathcal E^\\infty$ do operad $\\mathcal Com$ de monóides comutativos. Nesta tese é provado um princípio de reconhecimento de 2-espaços de $N$-laços para $2<N\\leq\\infty$. Quando $N=\\infty$ esse princípio afirma o seguinte: Um espectro relativo é um par de espectros $B_\\bullet$ e $Y_\\bullet$ equipados com uma sequências de aplicações pontuadas $\\iota_\\bullet:B_\\bulletightarrow Y_{\\bullet+1}$ compatíveis com as estruturas de espectros. Um espectro relativo é conectivo se o par de espectros subjacentes forem conectivos. Denotamos a categoria de espectros relativos por $\\texttt^ earrow$ e de espectros relativos conectivos por $\\texttt^ earrow_0$. Um $2E_\\infty$-operad é uma resolução cofibrante $\\mathcal E_2^\\infty$ do 2-operad $\\mathcal Com^\\shortrightarrow$ de homomorfismos de monóides comutativos. Uma $\\mathcal E^\\infty_2$-álgebra $(X_c,X_o)$ é grouplike se $X_c$ e $X_o$ forem grouplike. Denotamos a categoria de $\\mathcal E^\\infty_2$-álgebras por $\\mathcal E^\\infty_2[\\texttt]$ e a categoria de $\\mathcal E^\\infty_2$-álgebras grouplike por $\\mathcal E^\\infty_2[\\texttt]_$. O 2-espaço de $\\infty$-laços de um espectro relativo é o par de espaços $\\Omega^\\infty_2\\iota_\\bullet:=\\text_{\\bullet\\shortrightarrow\\infty}(\\Omega^\\bullet Y_\\bullet,\\Omega^{\\bullet}_{\\text} \\iota_\\bullet)$. Temos que as imagens do funtor $\\Omega^\\infty_2$ admitem uma estrutura natural de $\\mathcal E^\\infty_2$-álgebra, logo $\\Omega^\\infty_2$ define um funtor $\\texttt^ earrowightarrow \\mathcal E^\\infty_2[\\texttt]$. Existe um funtor $B^\\infty_2:\\mathcal E^\\infty_2[\\texttt]ightarrow \\texttt^ earrow$ e uma adjunção $(\\mathbb L B^\\infty_2\\dashv\\mathbb R\\Omega^\\infty_2)$ entre as categorias homotópicas $\\mathcal Ho\\mathcal E^\\infty_2[\\texttt]$ e $\\mathcal Ho\\texttt^ earrow$ que induzem uma equivalência entre as categorias homotópicas $\\mathcal Ho\\mathcal E^\\infty_2[\\texttt]_$ e $\\mathcal Ho\\texttt^ earrow_0$.