Invariants of rigid surface operators

Abstract

Lusztig used the symbol invariant to describe the Springer correspondence for classical groups. Similarly, the fingerprint invariant can describe the Kazhdan-Lusztig map. Both invariants pertain to rigid semisimple operators labeled by pairs of partitions $({\lambda }^{\prime },{\lambda }^{\prime \prime })$. It is conjectured that the symbol invariant is equivalent to the fingerprint invariant for rigid surface operators. In this study, we provide a proof of this conjecture. We classify the maps that preserve the fingerprint invariant and demonstrate that they also preserve the symbol invariant. Conversely, we classify the maps that preserve the symbol invariant and show that they also preserve the fingerprint invariant. The constructions of the symbol and fingerprint invariants in prior works are crucial to the proof. Additionally, we found that one condition in the definition of the fingerprint invariant is redundant for rigid surface operators. In the appendix, we present an alternative strategy to prove the equivalence of these invariants.

arXiv comment34 pages, 28 figures. The paper has been rewritten, and the conjecture is proven completely

References in corpus (9)

• Seiberg-Witten Theory and Random Partitions
• Probing N=4 SYM With Surface Operators
• Low-energy spectrum of N = 4 super-Yang-Mills on T^3: flat connections, bound states at threshold, and S-duality
• Bound states in N = 4 SYM on T^3: Spin(2n) and the exceptional groups
• AGT conjecture and AFLT states: a complete construction
• Solutions of Kapustin-Witten equations for ADE-type groups
• Symbol Invariant of Partition and the Construction
• Construction of the Symbol Invariant of Partition
• Fingerprint Invariant of Partitions and Construction