Families of Arcs in 4-Manifolds and Maps of Configuration Spaces

Abstract

In this thesis we construct 3-parameter families $G(p,q,r)$ of embedded arcs with fixed boundary in a 4-manifold. We then analyze these elements of ${\pi }_3{\mathsf{Emb}}_{\partial }(I,M)$ using embedding calculus by studying the induced map from the embedding space to ``Taylor approximations" $T_k{\mathsf{Emb}}_{\partial }(I,M)$. We develop a diagrammatic framework inspired by cubical $\omega$-groupoids to depict $G(p,q,r)$ and related homotopies. We use this framework extensively in Chapter 4 to show explicitly that $G(p,q,r)$ is trivial in ${\pi }_3{T}_3{\mathsf{Emb}}_{\partial }(I,M)$ (however, we conjecture that it is non-trivial in ${\pi }_3{T}_4{\mathsf{Emb}}_{\partial }(I,M)$). In Chapter 5 we use the Bousfield-Kan spectral sequence for homotopy groups of cosimplicial spaces to show that the rational homotopy group ${\pi }_3^{\mathbb{Q}}{\mathsf{Emb}}_{\partial }(I,S^1\times B^3)$ is $\mathbb{Q}$. This thesis extends work by Budney and Gabai which proves analogous results for ${\pi }_2{\mathsf{Emb}}_{\partial }(I,M)$.