arXiv++ Combinatorics

The symbol invariant is used to describe the Springer correspondence for the classical groups by Lusztig. And the fingerprint invariant can be used to describe the Kazhdan-Lusztig map. They are invariants of rigid semisimple operators described by pairs of partitions $(λ^{'}, λ^{"})$. We construct a nice representative element of the rigid semisimple operators with the same symbol invariant. The fingerprint of the representative element can be obtained immediately. We also discuss the representative element of rigid semisimple operator with the same fingerprint invariant. Our construction can be regarded as the maps between these two invariants.

The fingerprint invariant of partitions can be used to describe the Kazhdan-Lusztig map for the classical groups. We discuss the basic properties of fingerprint. We construct the fingerprints of rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. To calculate the fingerprint of a rigid semisimple operator $(λ^{'};λ^{"})$, we decompose $λ^{'}+λ^{"}$ into several blocks. We define operators to calculate the fingerprint for each block using the results of fingerprint of the unipotent operators.

Symbol is used to describe the Springer correspondence for the classical groups. We prove two structure theorems of symbol. We propose a construction of the symbol of the rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. This construction is natural and consists of two basic building blocks. Using this construction, we give closed formulas of symbols for the rigid partitions in the $B_n, C_n$, and $D_n$ theories. One part of the closed formula is universal and other parts are determined by the specific theory. A comparison of between this closed formula and the old one is made. Previous results can be illustrated more clearly by this closed formula.