Invariants of rigid surface operators

TL;DR

This paper proves the conjectured equivalence between two invariants, the symbol and fingerprint, used to classify rigid surface operators in classical groups, and explores their preservation under certain maps.

Contribution

It provides a proof that the symbol and fingerprint invariants are equivalent for rigid surface operators, clarifying their relationship and invariance properties.

Findings

Proved the conjecture of equivalence between symbol and fingerprint invariants.

Classified maps preserving each invariant and showed their equivalence.

Identified a redundant condition in the fingerprint invariant for 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', \lambda'')$. 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.