Unmixing the Wilson line defect CFT. Part I. Spectrum and kinematics

This is the first of a series of two papers in which we study the one-dimensional defect CFT defined by insertions of local operators along a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{1}{2}$$\end{document} -BPS Wilson line in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{N}$$\end{document} = 4 super Yang-Mills. In this first paper we focus on the kinematical implications of invariance under the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak{o}\mathfrak{s}\mathfrak{p}\left({4}<^>{*}|4\right)$$\end{document} superconformal algebra preserved by the line. We study correlation functions involving both protected and unprotected supermultiplets and derive the associated superconformal blocks, using two types of superspace for short and long representations. We also discuss the spectrum of defect theories defined by the Wilson line, focusing in particular on fundamental lines in the planar limit: in this case we provide a detailed analysis of the type and number of states both at weak 't Hooft coupling, via the free gauge theory description of the defect CFT, and at strong coupling, where there is a dual description via AdS/CFT. Focusing on the strongly-coupled regime, which will be subject to a detailed analysis using analytic bootstrap techniques in [1], we also develop a strategy that allows to explicitly build superconformal primary operators and their superconformal descendants in terms of the elementary fields in the AdS Lagrangian description. The explicit results will be used in [1] to address the problem of operators mixing at strong coupling. This paper and the companion [1] provide an extended version of the results presented in [2].