Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1711.10356

Invariants of rigid surface operators

Chuanzhong Li·Bao Shou
View original source ↗Read source document ↗Export metadata ↓

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 $(λ', λ'')$. 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.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chuanzhong Li, Bao Shou. 2024-06-29. Invariants of rigid surface operators. https://arxiv.org/abs/1711.10356

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT↗
arXiv2026

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT↗
arXiv2026

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT↗