---
title: Schur Half-Indices in 4d N=2 SYM
url: https://www.emergentmind.com/topics/schur-half-indices
type: topic
---

# Schur Half-Indices in 4d N=2 SYM

Searching arXiv for recent papers on Schur half-indices and closely related exact formulas.
Using arXiv search to verify the supplied papers and identify nearby Schur half-index literature.
Schur half-indices are supersymmetric partition functions on a hemisphere or half-space that furnish the boundary analogue of the 4d \(\mathcal N=2\) Schur index. In the formulation emphasized for pure super Yang–Mills, the relevant geometries are \(HS^3\times \mathbb R\) and, after holomorphic-topological twisting, \(\mathbb C\times \mathbb R\times \mathbb R_{\ge 0}\), with a supersymmetric boundary condition at \(\mathbb R_{\ge 0}=0\). They count protected local operators supported on a boundary or interface, and in the presence of Wilson lines they count local operators at the corresponding decorated boundary. For pure \(\mathcal N=2\) SYM with simple gauge group \(G\), the Neumann Schur half-index admits a uniform exact closed form for arbitrary \(G\), derived from Macdonald identities for untwisted affine Lie algebras [2511.08468]. In more recent developments, Schur half-indices have also been reformulated as \(q\)-oscillator matrix elements, generalized colored chord-counting problems, and, for \(SU(2)\) theories with matter, DSSYK-like transition amplitudes in non-vacuum sectors [2506.17384] [2507.12524].

## 1. Definition and physical setting

For 4d \(\mathcal N=2\) pure SYM with simple gauge group \(G\), rank \(r\), root system \(R\), positive roots \(R_+\), Weyl group \(W\), Weyl vector \(\rho\), and dual Coxeter number \(h^\vee\), the full Schur index is given by a gauge integral with vector-multiplet factor
\[
\mathcal{I}_{\text{vec,full}}(z,q)=(q,q)^{2r}\prod_{\alpha\in R}(qz^\alpha,q)^2.
\]
The corresponding Neumann half-index uses a single copy of the vector contribution,
\[
\mathcal{I}_{\text{vec}}(z,q)=(q,q)^r\prod_{\alpha\in R}(qz^\alpha,q),
\]
and with a Wilson line in representation \(R\), or highest weight \(\lambda\), is written as
\[
\mathrm I_G^\lambda(q)=\frac{1}{|W_G|}\oint_{T(G)}\frac{ds}{(2\pi i)^r s}\,w_H(s)\,\mathcal M_G(s,q)\,\chi_\lambda(s^{-1}).
\]
Here
\[
\mathcal M_G(s,q)=(q,q)^r\prod_{\alpha\in R}(s^\alpha q,q)
\]
is the Weyl-invariant Macdonald denominator [2511.08468].

Two equivalent physical realizations are emphasized. One is as a Witten index on \(HS^3\times\mathbb R\), with \(HS^3\) the hemisphere. The other is as an observable in the holomorphic-topological twist on
\[
\mathbb C\times \mathbb R\times \mathbb R_{\ge 0}.
\]
In the twisted operator-counting description, the full Schur index counts cohomology classes of local operators preserved by the Schur supercharge, while the Neumann half-index counts local operators on an interface between the empty theory and the 4d \(\mathcal N=2\) SYM theory, possibly with a Wilson line insertion [2511.08468].

This boundary interpretation is structurally important. The half-index is not “half of the full index” in a naive arithmetic sense; it is a distinct supersymmetric observable associated with a space with boundary and with a specified boundary condition. In the holomorphic-topological twist, the full Schur index is identified with a gauged partition function of complex chiral \(bc\) ghosts, whereas the Neumann half-index corresponds to gauged real chiral \(bc\) ghosts. This distinction is the conceptual origin of later bilinear factorization statements for the full index [2511.08468].

## 2. Exact formulas for pure super Yang–Mills

The central exact formula for the Neumann Schur half-index in pure \(\mathcal N=2\) SYM is
\[
\boxed{\mathrm I_G^\lambda(q)=\chi_\lambda(a)\,q^{\frac{c_2(\lambda)}{2h^\vee}}}
\]
with
\[
a=\exp\!\left(2\pi i\frac{\rho}{h^\vee}\right),\qquad c_2(\lambda)=|\lambda+\rho|^2-|\rho|^2.
\]
This formula is uniform for arbitrary simple \(G\) [2511.08468].

The coefficient \(\chi_\lambda(a)\) is the character evaluated on Kostant’s principal element of type \(\rho\). Using the Weyl character and denominator formulas, it can be written as
\[
\chi_{\lambda}(a)=\prod_{\alpha\in R_+}
\frac{\sin\!\left(\frac{\pi}{h^\vee}\langle \lambda+\rho,\alpha\rangle\right)}
{\sin\!\left(\frac{\pi}{h^\vee}\langle \rho,\alpha\rangle\right)}.
\]
Hence the half-index may also be expressed as
\[
\mathrm I_G^\lambda(q)=
q^{\frac{c_2(\lambda)}{2h^\vee}}
\prod_{\alpha\in R_+}
\frac{\sin\!\left(\frac{\pi}{h^\vee}\langle \lambda+\rho,\alpha\rangle\right)}
{\sin\!\left(\frac{\pi}{h^\vee}\langle \rho,\alpha\rangle\right)}.
\]

A striking feature is the sparsity of the coefficient. The paper states that \(\chi_\lambda(a)\in\{0,\pm1\}\), so only dominant weights in
\[
\lambda\in (W\cdot h^\vee Q^\vee)\cap P_+
\]
contribute. In particular, the undecorated Neumann half-index is trivial:
\[
\mathrm I_G(q)\equiv \mathrm I_G^0(q)=1.
\]
The interpretation given is that with Neumann boundary condition and no line insertion, only the identity operator contributes [2511.08468].

For \(G=SU(2)\), with \(\lambda=n\omega\), one has
\[
\mathrm I_{SU(2)}^{n\omega}(q)=
\sin\!\left(\frac{(n+1)\pi}{2}\right)\,q^{n(n+2)/8}.
\]
Consequently,
\[
\mathrm I_{SU(2)}^0(q)=1,\qquad
\mathrm I_{SU(2)}^\omega(q)=0,\qquad
\mathrm I_{SU(2)}^{2\omega}(q)=-q,\qquad
\mathrm I_{SU(2)}^{4\omega}(q)=q^3.
\]
This makes the selection rule completely explicit in the rank-one case [2511.08468].

## 3. Macdonald identities and bilinear factorization

The exact evaluation is derived by expanding the Macdonald denominator in the Kostant–Fegan form,
\[
\mathcal M(s,q)=\sum_{\mu\in P_+}\chi_\mu(a)\chi_\mu(s)\,q^{\frac{1}{2h^\vee}c_2(\mu)},
\]
and then using character orthogonality,
\[
\frac{1}{|W_G|}\oint_{T(G)}\frac{ds}{(2\pi i)^r s}\,w_H(s)\,
\chi_\lambda(s)\chi_{\lambda'}(s^{-1})=\delta_{\lambda,\lambda'}.
\]
This immediately yields the closed half-index formula above. The same structure may also be written in terms of the skew affine denominator \(J_{\hat\rho}\), with the torus integral picking out the unique lattice term satisfying \(u\cdot(h^\vee\gamma)=\lambda\) [2511.08468].

All dependence on the gauge group enters through standard Lie-theoretic data: \(R\), \(R_+\), \(W\), \(\rho\), \(h^\vee\), \(P_+\), \(Q^\vee\), and \(c_2(\lambda)\). This is why the result is completely uniform for arbitrary simple \(G\). The relevant Macdonald identities are those for untwisted affine Lie algebras, including the Weyl-invariant expansion
\[
\mathcal M(s,q)=\sum_{\gamma\in Q^\vee}
q^{\frac12 h^\vee\langle\gamma,\gamma\rangle+\langle\rho,\gamma\rangle}\,
\chi_{h^\vee\gamma}(s)
\]
and its Kostant–Fegan form quoted above [2511.08468].

The same technology produces a bilinear structure for the full Schur index:
\[
\boxed{\mathbb I_G(q)=\sum_{\lambda\in P_+}\mathrm I_G^\lambda(q)^2.}
\]
This follows from the reproducing kernel
\[
K(s,t)=\sum_{\lambda\in P_+}\chi_\lambda(s)\chi_\lambda(t^{-1}),
\]
which acts as a Dirac-delta kernel identifying boundary gauge fugacities across the interface. Physically, this is the gluing of two Neumann hemispheres. In the ghost description, complex chiral \(bc\) ghosts split into two real chiral \(bc\) systems, and gluing the two real systems reproduces the full complex system [2511.08468].

The same paper also records the corresponding full-index \(q\)-series and eta-quotient formulas. For the full Schur index,
\[
\mathbb I_G(q)=\mathcal M_G(a,q^2),
\]
and in particular
\[
\mathbb I_G(q)=\sum_{\gamma\in Q^\vee}
q^{h^\vee\langle\gamma,\gamma\rangle+2\langle\rho,\gamma\rangle}.
\]
For Schur half-indices, this full-index background matters because the coefficient \(\chi_\lambda(a)\) is precisely the same principal specialization at Kostant’s element that underlies the product formulas for the full index [2511.08468].

## 4. Line operators, \(q\)-oscillators, chord counting, and Toda systems

For pure \(SU(N)\) SYM, Schur half-indices with line insertions admit a second, operator-algebraic description. The half-index is again the partition function on \(HS^3\times S^1\) with Neumann boundary conditions for the 4d \(\mathcal N=2\) vector multiplet, while half-BPS line operators lie along the half-equator. Their ordering defines a noncommutative \(\star\)-algebra \(\mathcal A_{\text{Schur}}\). For Wilson lines, however, the generated subalgebra is commutative and fuses by tensor product of \(SU(N)\) representations [2506.17384].

The Wilson-line half-index is given by the matrix integral
\[
\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<b}^N (z_az_b^{-1})^{\pm1};\mathfrak q
\prod_i\left(\chi_{\mathcal R_i}(\vec z)\right)^{k_i}
\Bigg|_{\prod_a z_a=1}.
\]
In the same work, \(\mathcal A_{\text{Schur}}\) is represented first by a \(\mathfrak q\)-Weyl algebra and then by \(N-1\) decoupled \(\mathfrak q\)-oscillators satisfying
\[
[a_i,a_i^\dagger]_{\mathfrak q}=1,\qquad [a_i,a_j^\dagger]_1=0\quad(i\neq j).
\]
The Schur half-index becomes a vacuum expectation value,
\[
\mathbb I_L^{(N)}=\langle 1^\partial|L|1^\partial\rangle
=\langle 0,\cdots,0|\pi(L)|0,\cdots,0\rangle.
\]
This realizes Schur half-indices as matrix elements in an ordinary Fock space [2506.17384].

For \(SU(3)\), the fundamental Wilson operators are explicitly
\[
W_{[1,0]}=x_1+x_2y_1+y_2,\qquad
W_{[0,1]}=x_2+x_1y_2+y_1,
\]
with \(x_i=(1-\mathfrak q)^{1/2}a_i^\dagger\) and \(y_i=(1-\mathfrak q)^{1/2}a_i\). Their moments reproduce half-indices such as
\[
\langle W_{[1,0]}^3\rangle=(1-\mathfrak q)^2,\qquad
\langle W_{[1,0]}^6\rangle=(1-\mathfrak q)^4(5+4\mathfrak q+\mathfrak q^2),
\]
and mixed moments such as
\[
\langle W_{[1,0]}W_{[0,1]}\rangle=(1-\mathfrak q)
\]
are equally explicit [2506.17384].

The oscillator representation has a combinatorial interpretation as generalized colored chord counting. For \(SU(2)\), the relevant transfer matrix is the familiar
\[
W_{[1]}=(1-\mathfrak q)^{1/2}(a+a^\dagger),
\]
recovering the ordinary bivalent chord picture. For \(SU(N)\), the fundamental transfer matrix defines a model with \(N-1\) colors and \(N\)-valent elementary vertices. Same-color crossings carry weight \(\mathfrak q\), while different-color crossings carry weight \(1\). The paper states that
\[
\langle T_{[1,0,\cdots,0]}^k\rangle=
\mathbb I^{(N)}_{W_{[1,0,\cdots,0]}^k},
\]
so the half-index is exactly the partition function of this colored chord ensemble [2506.17384].

For Wilson lines, the same operators are also the commuting Hamiltonians of the relativistic open \(\mathfrak{su}(N)\) Toda chain. Their common eigenfunctions are \(\mathfrak q\)-Whittaker polynomials, and the Schur half-index measure is the corresponding spectral measure. This yields a proof of the oscillator/half-index formula for generic \(SU(N)\) [2506.17384].

## 5. Theories with matter and DSSYK-like reformulations

Schur half-indices also exist for \(SU(2)\) gauge theories with matter. In this setting the theory is placed on
\[
\mathbb R^+\times \mathbb R\times \mathbb C
\]
or equivalently on \(HS^3\times S^1\), with Neumann boundary conditions for gauge fields and compatible half-BPS boundary conditions for hypermultiplets, so that only one \(\mathcal N=1\) chiral inside each \(\mathcal N=2\) multiplet contributes. Operationally, the half-index is obtained by taking the square root of the full Schur-integrand [2507.12524].

For \(SU(2)\) with \(n_F\) fundamental half-hypermultiplets and \(n\) insertions of a fundamental Wilson line, the half-index is
\[
I_{n}(q,\{\gamma_l\},n_F)=8\int_0^{\pi}\frac{d\theta}{4\pi}\sin^2\theta\,
(q^2,q^2e^{\pm 2i\theta};q^2)_{\infty}
\prod_{l=1}^{n_F/2}\frac{1}{(qe^{\pm i\theta+i\gamma_l};q^2)_\infty}
\left(\frac{2\cos\theta}{\sqrt{1-q^2}}\right)^n.
\]
For one adjoint hypermultiplet,
\[
I^{adj}_{n}(q)=8\int_0^{\pi}\frac{d\theta}{4\pi}\sin^2\theta\,
(q^2,q^2e^{\pm 2i\theta};q^2)_{\infty}
\frac{1}{(q,qe^{\pm2i\theta};q^2)_\infty}
\left(\frac{2\cos\theta}{\sqrt{1-q^2}}\right)^n.
\]
The paper notes the convention shift \(q\to q^2\) relative to some earlier literature [2507.12524].

The main conceptual claim is a DSSYK-like reformulation. In ordinary DSSYK the transfer matrix is
\[
H=a+a^\dagger
\]
with \(q\)-oscillator algebra
\[
[a,a^\dagger]_{q^2}=1.
\]
For pure \(SU(2)\), the half-index with \(n\) Wilson lines matches the vacuum amplitude
\[
I_n(q,n_F=0)=\bra 0 H^n\ket 0.
\]
With matter, the same ordinary DSSYK Hamiltonian is retained, but the initial and final states become non-vacuum states:
\[
I_n(q,\{\gamma_l\},n_F)\cong \bra{\Psi}H^n\ket{\Phi}.
\]
Thus the matter content is encoded in the boundary states rather than in a modified bulk Hamiltonian [2507.12524].

The chord-diagram interpretation is modified accordingly. Matter introduces “special segments” or “reservoir segments,” whose Hilbert-space avatars are coherent states of the \(q\)-oscillator. For one reservoir,
\[
\ket{\Psi_\gamma}
=\sum_{k=0}^{\infty}
\left(\frac{qe^{i\gamma}}{\sqrt{1-q^2}}\right)^k
\frac{1}{[k]_{q^2}!}\ket{\mathbf k},
\qquad
a\ket{\Psi_\gamma}
=\frac{qe^{i\gamma}}{\sqrt{1-q^2}}\ket{\Psi_\gamma}.
\]
For \(n_F=4\), the half-index is an amplitude between two coherent states,
\[
I_n(q,\gamma,n_F=4)=\bra{\Psi_{\gamma^*}}H^n\ket{\Psi_\gamma}.
\]
The same object is also identified with the partition function of a particle on the quantum disk, whose noncommutative coordinate algebra is
\[
z^*z=q^2zz^*+1-q^2.
\]
After analytic continuation \(q^\mu\to e^{i\gamma}\), the quantum-disk density becomes exactly the \(n_F=4\) Schur half-index density [2507.12524].

The polynomial family governing the transfer matrices varies with matter content: continuous \(q\)-Hermite for \(n_F=0\), generalized/continuous big \(q\)-Hermite for \(n_F=2\), Al-Salam–Chihara for \(n_F=4\), continuous dual \(q\)-Hahn for \(n_F=6\), Askey–Wilson for \(n_F=8\), and continuous \(q\)-ultraspherical for the adjoint case. This situates Schur half-indices within the \(q\)-Askey scheme of orthogonal polynomials [2507.12524].

## 6. Terminology, neighboring constructions, and scope

The phrase “Schur half-index” does not have a single use across the broader literature. The supplied papers distinguish several nearby notions.

| Notion | Meaning in the supplied literature |
|---|---|
| Boundary or hemisphere Schur half-index | Partition function on \(HS^3\times S^1\) or half-space with supersymmetric boundary conditions |
| Schur index with a half line defect | Schur index counting endpoint operators for a \(1/2\)-BPS line supported on a ray |
| Interface line defect half-index | Half-index counting BPS local operators at the junction of an interface and a line operator |

In the Argyres–Douglas context, “half” can mean a half-line rather than a hemisphere. The index
\[
\mathcal I_{L_1(\theta_1)\cdots L_n(\theta_n)}(q)
=\mathrm{Tr}_{\mathcal H'}\!\left[e^{2\pi iR}q^{E-R}\right]
\]
counts endpoint operators for half line defects on \(S^3\times S^1\). The paper is explicit that this is not a boundary or hemisphere half-index; the “half” refers to the defect being a half-line [1708.05323].

A different neighboring construction appears for \(\mathcal N=4\) SYM interfaces. There the half-index counts BPS local operators at the junction of a codimension-1 interface and a codimension-2 line operator. In the Higgs limit, normalized D5-interface Wilson-line one-point functions become principal specializations of Schur polynomials,
\[
\langle \mathcal W_{\mathcal R}\rangle_{\mathcal D^{U(N)|U(M)}^{(H)}(\mathfrak q)}
=\chi_{\mathcal R}(\mathfrak q^{N-M+1},\mathfrak q^{N-M+3},\dots,\mathfrak q^{N+M-1}),
\]
but this construction is not the conventional 4d Schur limit of the superconformal index [2510.25168].

Class-\(\mathcal S\) line-operator technology is also adjacent. The supplied excerpt of the network/skein-relation paper does not define Schur half-indices, hemisphere indices, boundary conditions, or gluing formulas explicitly. A plausible implication is that its puncture-local skein relations may constrain defect-decorated half-index building blocks, but that is an inference rather than an explicit statement of the excerpt [1701.04090].

Within the boundary/hemisphere meaning of the term, however, the main structural picture is now clear. In pure \(\mathcal N=2\) SYM, the Neumann Schur half-index is an exactly solvable Macdonald-denominator integral with a one-term closed form [2511.08468]. With Wilson lines in pure \(SU(N)\) SYM it is equivalently a \(q\)-oscillator vacuum expectation value, a generalized colored chord partition function, and, for the Wilson subalgebra, a relativistic Toda spectral observable [2506.17384]. With matter in \(SU(2)\) theories it admits a DSSYK-like interpretation in non-vacuum sectors, and for \(n_F=4\) also a quantum-disk realization [2507.12524]. These descriptions define the current core of the subject.

Source: https://www.emergentmind.com/topics/schur-half-indices