--- title: Wilson Line Schur Index in 4D SCFTs url: https://www.emergentmind.com/topics/wilson-line-schur-index type: topic --- # Wilson Line Schur Index in 4D SCFTs Searching arXiv for recent and foundational papers on the Wilson line Schur index and closely related line-defect Schur indices. I will use the available arXiv search capability to verify the most relevant literature on Wilson-line-decorated Schur indices, line-defect correlators, and giant-graviton/brane expansions. The Wilson line Schur index is the Schur-sector superconformal index of a four-dimensional supersymmetric theory in the presence of supersymmetric Wilson line defects. In the most common realization, the defect wraps the temporal \(S^1\) of \(S^3\times S^1\), and gauge invariance on compact \(S^3\) leads naturally to conjugate insertions, often placed at the north and south poles of \(S^3\). In \(\mathcal N=4\) \(U(N)\) SYM, the fundamental example is the Schur index with a fundamental Wilson line and an anti-fundamental Wilson line; in class-\(\mathcal S\) theories, the same protected quantity is often represented by a network defect on the UV curve rather than by an elementary loop in a weakly coupled Lagrangian frame [1201.5539][2403.11543][2303.14887][1701.04090]. ## 1. Definitions and basic setup For a \(4d\) \(\mathcal N=2\) SCFT, the ordinary Schur index is the protected trace \[ \mathcal I^{\rm Schur}(q;\text{flavor fugacities}), \] and a line-defect Schur index is obtained by inserting a BPS line operator \(L\), producing a defect index of the form \[ \mathcal I^{\rm Schur}_{\mathcal T\text{ w/. }L}. \] In the language of half-line defects, one also encounters \[ \mathcal I_L(q)=\Tr_{\mathcal H'}[(-1)^F q^{E-R}], \] where \(\mathcal H'\) is the Hilbert space on \(S^3\) in the presence of the defect configuration [1708.05323]. In \(\mathcal N=4\) \(U(N)\) SYM, one convenient Schur-limit convention is \[ I_N=\mathrm{tr}\!\left[(-1)^F q^{J_1}x^{R_x}y^{R_y}\right],\qquad q=xy, \] with the line-decorated index denoted \(I_{\text{line},N}\). In the presence of \(1/2\)-BPS Wilson lines, the symmetries generated by \(J_2\) and \(R_z\) are broken, so one lands on the Schur index after setting the corresponding fugacities to zero. The specific defect configuration studied most extensively is a pair of \(1/2\)-BPS Wilson lines in the fundamental and anti-fundamental representations inserted at the north and south poles of \(S^3\), respectively [2403.11543]. An equivalent \(\mathcal N=2\) presentation of the same \(\mathcal N=4\) theory uses \[ I^{U(N)}(\eta;q)=\Tr_{\rm BPS}\Big[(-1)^{\rm F}\, q^{H+J+\bar J}\eta^{R_{1}-R_{2}}\Big], \] and the fundamental two-point defect correlator \[ I_{\rm F}^{U(N)}(\eta;q)\equiv I^{U(N)}_{\tiny\yng(1),\overline{\tiny\yng(1)}}(\eta;q). \] The two notational systems are related in the literature by \[ q=\sqrt{xy},\qquad \eta=\sqrt{x/y}. \] This coexistence of conventions is standard rather than contradictory: it reflects different choices of fugacity basis for the same protected observable [2403.14553]. A closely related but distinct object is the Schur half-index with Wilson line insertions. In \(4d\) \(\mathcal N=2\) pure \(SU(N)\) SYM, the half-index is defined on \(HS^3\times S^1\) with Neumann boundary conditions for the vector multiplet, and Wilson-line insertions produce matrix integrals and operator formulas that are analogous to, but not identical with, the full Schur index [2506.17384]. This distinction is important: the full Wilson line Schur index is a correlator on \(S^3\times S^1\), whereas the half-index is a boundary observable. ## 2. Localization, matrix integrals, and character insertions The essential localization fact is that a Wilson line wrapping the temporal circle enters the Schur matrix model as a character of the gauge holonomy. For a \(1/2\)-BPS Wilson line in representation \(R\) at the north pole and its anti-line at the south pole, the localized line-operator index has the generic form \[ I_R = \int [dU]_{B=0}\,\chi_R(e^{i\lambda})\chi_{\bar R}(e^{i\lambda})\, Z^{1\text{-loop}_{B=0}(e^{i\lambda_i},x,\eta_a), \] and in the Schur specialization one simply sets the additional fugacities to unity. This was already explicit in the general \(S^1\times S^3\) line-operator formalism, where the line operator index was defined before specializing to the Schur limit \(q=x^2\) [1201.5539]. For \(\mathcal N=4\) \(U(N)\) SYM in the Schur limit, the matrix-model insertion for a pair of Wilson lines in \(R\) and \(\bar R\) is \[ \Tr_R(e^{2i\alpha})\Tr_{\bar R}(e^{2i\alpha}), \] and for the fundamental representation \[ \Tr_\Box(e^{2i\alpha})\Tr_{\bar\Box}(e^{2i\alpha})=\sum_{j,k=1}^N e^{2i\alpha_j}e^{-2i\alpha_k}. \] A normalized version, \[ \mathcal I_R(N), \] is often used; it is the expectation value of the character insertion divided by the ordinary Schur index without loops. The same work emphasized that conjugate insertions are required by Gauss-law constraints on compact \(S^3\) [1510.02480]. In the \(\mathcal N=4\) line-defect correlator literature, the same observable is frequently written directly as a holonomy integral with character insertions: \[ I^{U(N)}_{R_1,R_2,\dots}(\eta;q) =\oint_{|z|=1} D^N z\, \prod_n \chi_{R_n}(z)\, \PE\!\Big[f(\eta;q)\chi_{\tiny\yng(1)}(z)\chi_{\tiny\overline{\yng(1)}}(z^{-1})\Big]. \] For the basic fundamental/anti-fundamental pair, \[ I_{\rm F}^{U(N)}(\eta;q)=I^{U(N)}_{\tiny\yng(1),\overline{\tiny\yng(1)}}(\eta;q), \] and the insertion is the adjoint character \(\chi_{\tiny\yng(1)}(z)\chi_{\overline{\tiny\yng(1)}}(z^{-1})\) [2403.14553]. A more general exact Fermi-gas treatment exists for \(\mathcal N=4\) and \(\mathcal N=2^*\) \(U(N)\) SYM. There the Schur line defect correlators \[ \langle W_{\mathcal R_1}\cdots W_{\mathcal R_k}\rangle^{U(N)}(t;q) \] are rewritten in terms of a one-particle density matrix and determinant formulas. Antisymmetric and symmetric Wilson lines are generated by the standard symmetric-function generating functions \[ E(s;\sigma)=\prod_{i=1}^N(1+s\sigma_i),\qquad H(s;\sigma)=\prod_{i=1}^N\frac{1}{1-s\sigma_i}, \] while charged Wilson lines correspond to power sums \(p_n(\sigma)\) [2303.14887]. ## 3. Exact methods and large-\(N\) structure At large \(N\), the Wilson line Schur index typically factorizes into the ordinary large-\(N\) Schur index and a defect contribution interpreted holographically as a worldsheet fluctuation index. For the fundamental/anti-fundamental pair in \(\mathcal N=4\) \(U(N)\) SYM, \[ I_{\rm F}^{U(\infty)}(\eta;q)=I_{\rm F1}(\eta;q)\,I^{U(\infty)}(\eta;q), \] with \[ I_{\rm F1}(\eta;q)=\frac{1-q^2}{(1-\eta q)(1-\eta^{-1}q)} =\PE\big[-q^2+(\eta+\eta^{-1})q\big]. \] This identifies the defect factor with the index of fluctuations of a fundamental string on \(AdS_2\subset AdS_5\) [2403.14553]. In the \(x,y\) convention for the same theory, the ordinary large-\(N\) Schur index is \[ I_\infty=I_{\rm sugra}=\mathrm{Pexp}\, i_{\rm sugra},\qquad i_{\rm sugra}=\frac{q}{1-q}-\frac{x}{1-x}-\frac{y}{1-y}, \] while the line-decorated answer is \[ I_{\text{line},\infty}=I_{\rm sugra}I_{F1} =\mathrm{Pexp}(i_{\rm sugra}+i_{F1}),\qquad i_{F1}=x+y-q. \] In the unrefined limit \(x=y=t\), \[ I_{\text{line},\infty}=1+4t+10t^2+22t^3+44t^4+82t^5+146t^6+\cdots. \] This is the basic large-\(N\) benchmark for finite-\(N\) analyses [2403.11543]. The Fermi-gas approach gives exact grand-canonical formulas and leading large-\(N\) asymptotics. For the fundamental normalized expectation value in \(\mathcal N=4\) \(U(N)\) SYM, \[ W_\Box(\kappa)=\sum_{p\in 2\mathbb Z+1} \frac{\kappa\,\ch(p+2)}{(\kappa+\ch p)(\kappa+\ch(p+2))}, \] and at leading large \(N\), \[ \mathcal I_\Box(N)\sim \frac{1+q}{1-q}. \] For higher symmetric and antisymmetric representations, the same analysis leads to the large-\(N\) generating function \[ \frac{1}{(st;q)_\infty(stq;q)_\infty}, \] checked explicitly for the first few representations and suggesting dependence only on the number of boxes at leading order [1510.02480]. A complementary large-\(N\) framework expands arbitrary Wilson-line correlators in power-sum variables. For charged Wilson lines in \(\mathcal N=4\) \(U(N)\) SYM, the normalized two-point function is \[ \langle \mathcal{W}_{n}\mathcal{W}_{-n}\rangle^{U(\infty)}(t;q) = \frac{n(1-q^n)}{(1-q^{n/2}t^{2n})(1-q^{n/2}t^{-2n})}, \] and even-point functions factorize: \[ \left\langle \prod_{j=1}^{k}(\mathcal W_{n_j}\mathcal W_{-n_j})^{m_j}\right\rangle^{U(\infty)} = \prod_{j=1}^{k}m_j!\, \Bigl(\langle \mathcal W_{n_j}\mathcal W_{-n_j}\rangle^{U(\infty)}\Bigr)^{m_j}. \] Using Newton identities and Jacobi–Trudi identities, this yields exact large-\(N\) correlators for symmetric, antisymmetric, hook, rectangular, and in principle arbitrary representations [2309.11712]. ## 4. Finite-\(N\) corrections, giant gravitons, and brane expansions A major recent development is the reorganization of finite-\(N\) Wilson line Schur indices into giant-graviton or brane sectors. For the fundamental/anti-fundamental pair in \(\mathcal N=4\) \(U(N)\) SYM, explicit low-\(N\) unrefined series were computed, \[ \begin{aligned} I_{\text{line},1}&=1+2t+t^2+2t^3+2t^4+0t^5+3t^6+\cdots,\\ I_{\text{line},2}&=1+4t+7t^2+8t^3+11t^4+16t^5+15t^6+\cdots,\\ I_{\text{line},3}&=1+4t+10t^2+18t^3+25t^4+36t^5+52t^6+\cdots, \end{aligned} \] tending to the large-\(N\) series. The leading finite-\(N\) correction obeys \[ I_{\text{line},N}-I_{\text{line},\infty}=-(N+1)t^N+O(t^{N+1}), \] whereas the undecorated Schur index begins at one higher power. This shift is one of the central motivations for the giant-graviton description [2403.11543]. The resulting proposal is a double-sum giant-graviton expansion \[ \frac{I_{\text{line},N}}{I_\infty}=\text{(disconnected sector)}+\text{(F1 ending on \(R_x\)-giants)}+\text{(F1 ending on \(R_y\)-giants)}, \] whose explicit form involves sums over wrapping numbers \(m_x,m_y\), worldvolume indices \(F^{(x)}_{m_x},F^{(y)}_{m_y}\), line-decorated worldvolume indices \(F^{(x)}_{\text{line},m},F^{(y)}_{\text{line},m}\), and semi-infinite string factors \(I^{(x)}_{F1},I^{(y)}_{F1}\). The proposal is numerically checked up to \[ O(t^{3N+7})\qquad (N\le 3), \] and in a \(y\)-Taylor expansion the double sum collapses exactly to a simple sum [2403.11543]. The single-giant sector can be computed in closed form by a finite-difference relation. If \[ \frac{I^{U(N)}(\eta;q)}{I^{U(\infty)}(\eta;q)}=1+G_N(\eta;q)+O(q^{2N}), \] then for the fundamental line pair \[ G_N^{\rm F}(\eta;q)= G_N(\eta;q)+\frac{1}{1-f(\eta;q)} \Big[G_{N+1}(\eta;q)-2G_N(\eta;q)+G_{N-1}(\eta;q)\Big]. \] This implies exact factorization of the defect single-giant term against the wrapped-D3 contribution: \[ G_{\rm F}^{+}(\eta;q)= \Big(1+\frac{1}{\eta q}\frac{(1-q^2)(1-\eta q)}{1-\eta^{-1}q}\Big)G_{\rm D3}^{+}(\eta;q), \] and after subtracting the disconnected contribution, \[ G_{\rm F}^{+}(\eta;q)= G_{\rm D3}^{+}(\eta;q)\times \frac{1}{\eta q}\,\PE[2\eta^{-1}q-2q^2]. \] The plethystic-exponential factor matches the fluctuation index of two half-infinite strings ending on the giant graviton, while the prefactor \(1/(\eta q)\) is reproduced by field theory but remains without a first-principles worldsheet derivation [2403.14553]. For anti-symmetric Wilson lines, the analogous holographic object is a D5-brane. If \[ I_{N,k}= \left\langle s_{\{1^k\}}(U)\,s_{\{1^k\}}(U^{-1})\right\rangle^{U(N)}, \] then at large \(N\) \[ \frac{I_{\infty,k}}{I_{\rm sugra}} = \sum_{\lambda\vdash k}\frac{1}{z_\lambda}[I_{\rm F1}]_\lambda, \] while the large-\(k\) limit is governed by the D5 fluctuation index \[ I_{\rm D5}=\PE\!\left(\frac{x}{1-x}+\frac{y}{1-y}\right). \] The proposed large-\(N\) brane expansion is \[ \frac{I_{\infty,k}}{I_{\rm sugra}I_{\rm D5}} = \sum_{m_x,m_y\ge0}x^{km_x}y^{km_y}\mathcal F_{m_x,m_y}, \] and the finite-\(N\) extension is a quadruple sum weighted by both \(k\) and \(k'=N-k\). In a \(y\)-series organization, these reduce to simple sums or double sums. The physical interpretation is in terms of disk D3-branes ending on the D5-brane, with finite-\(k\) and finite-\(N\) corrections carried by the wrapped disks \(\mathcal D_x,\mathcal D_y,\mathcal D'_x,\mathcal D'_y\) [2404.08302]. ## 5. Class-\(\mathcal S\), network defects, and chiral-algebra structure In class-\(\mathcal S\) theories, the natural line-defect language is often not an elementary Wilson loop but a network on the UV curve. The Schur index with line insertion is then a network-decorated TQFT correlator. For example, in the \(A_3\) case the elementary pants networks \[ \wp(1,2,1),\qquad \wp(1,1,2),\qquad \wp(2,1,1) \] appear on a three-punctured sphere, and puncture-dependent skein relations generate exact identities among the corresponding line-inserted Schur indices. In free-theory examples, all elementary pants networks can reduce to flavor Wilson lines under these skein relations, showing that ordinary Wilson-line-like defects arise as special or reduced cases of the more general network formalism [1701.04090]. For \(A_1\) class-\(\mathcal S\) theories, closed-form expressions are known for all type-1 \(SU(2)\) Wilson line indices. If \(\mathcal T[\Sigma_{g,n}]\) is an \(A_1\) class-\(\mathcal S\) theory with \(g\ge1\), then the spin-\(j\) type-1 Wilson line index is \[ \langle W_{j\in\mathbb Z}\rangle^{(1)}_{g\ge1,n} = \mathcal I_{g,n} -\frac{1}{2}\left[\prod_{i=1}^n\frac{i\eta(\tau)}{\vartheta_1(2\mathfrak b_i)}\right] \sum_{\substack{m=-j\\m\ne0}}^{+j} \left[\frac{\eta(\tau)}{q^{m/2}-q^{-m/2}}\right]^{2g-2} \prod_{i=1}^n \frac{b_i^m-b_i^{-m}}{q^{m/2}-q^{-m/2}}, \] while \[ \langle W_{j\in\mathbb Z+\frac12}\rangle^{(1)}_{g\ge1,n}=0. \] This shows explicitly that the Wilson line Schur index is a rational-coefficient linear combination of the ordinary Schur index and a non-vacuum character-like contribution built from \(\eta(\tau)\) and puncture factors \(\vartheta_1(2\mathfrak b_i)\) [2307.15650]. The chiral-algebra interpretation makes this structure systematic. In the BRST/free-field picture, a Wilson-line insertion in representation \(\mathcal R\) leads to \[ \langle W_\mathcal R\rangle= \operatorname{tr}_{M(\mathcal R)}q^{L_0-c/24}b^f, \] where \(M(\mathcal R)\) is a module of the associated chiral algebra. In general, \[ \langle W_\mathcal R\rangle=\sum_j L_j(b,q)\operatorname{ch}M_j, \] with rational \(L_j(b,q)\). The \(\mathcal N=4\) \(SU(2)\) half Wilson line provides a simple example: \[ \langle W_{j\in\mathbb Z}\rangle = \mathcal I_{\mathcal N=4} -\frac{i}{2}\frac{\vartheta_4(\mathfrak b)}{\vartheta_1(2\mathfrak b)} \sum_{\substack{m=-j\\m\ne0}}^j \frac{b^m-b^{-m}}{q^{m/2}-q^{-m/2}}, \qquad \langle W_{j\in\mathbb Z+\frac12}\rangle=0, \] and this decomposes into a rational-coefficient combination of the vacuum and non-vacuum characters of the associated VOA [2307.15650]. A broader defect-chiral-algebra relation appears in half-line defect Schur indices. There one has an expansion \[ \mathcal I_L(q)=\sum_\beta v_{L,\beta}(q)\chi_\beta(q), \] and the \(q\to1\) values \(V_{L,\beta}=v_{L,\beta}(1)\) define a map from the line-defect algebra to a Verlinde-like algebra. In the examples \((A_1,A_2)\), \((A_1,A_4)\), \((A_1,A_6)\), \((A_1,D_3)\), and \((A_1,D_5)\), this map is linearly related to vacuum expectation values of the defects in \(U(1)_r\)-invariant vacua after compactification on \(S^1\) [1708.05323]. This is not a statement about Wilson lines alone, but it places Wilson line Schur indices within the general algebraic structure of Schur defects. ## 6. Related limits: half-indices, modularity, and high-temperature reduction The Schur half-index with Wilson lines furnishes a distinct but tightly related framework. For \(4d\) \(\mathcal N=2\) pure \(SU(N)\) SYM, the half-index with Wilson insertions is \[ \mathbb I^{(N)}_{W_{\mathcal R_1}^{k_1},W_{\mathcal R_2}^{k_2},\cdots} = \frac{(\mathfrak q;\mathfrak q)^{N-1}}{N!} \oint_{\mathbb T^{N-1}} \prod_{a=1}^{N-1}\frac{dz_a}{2\pi i z_a}\, \prod_{a