弦论在 $\mathrm{AdS}_3 \times \mathrm{S}^3 \times \mathrm{S}^3 \times \mathrm{S}^1$ 上的全息对偶

弦论在 $\mathrm{AdS}_3 \times \mathrm{S}^3 \times \mathrm{S}^3 \times \mathrm{S}^1$ 上的CFT对偶被猜想为 $\mathcal{S}_\kappa$ 理论的 symmetric orbifold，前提是两种 $Q_5^\pm$ 量子数之一为另一者的倍数。我们详细确定了该 symmetric orbifold 的BPS谱，并表明它精确复现了最近在超重力中计算的BPS谱。我们还确定了以WZW模型表述的世界面理论的BPS谱，并表明除了一些间隙（令人联想到在相应的 $\mathbb{T}^4$ 计算中出现的那些）外，它也复现了该BPS谱。事实上，这种匹配似乎与熟悉的 $\mathbb{T}^4$ 情形一样好，因此我们的结果强烈支持这一猜想。