Hecke 代數

Hecke 代數，又叫 Hecke 環，係對稱羣環 (en:group ring for the en:symmetric group)$\mathbb{c}\mathfrak{S}_d$嘅$\epsilon-$形變，響代數數論同表示論都會出現。

定義

設

• $\epsilon \in \mathbb{C}$
• $l \geq 1$

Hecke 環$\mathfrak{H}_l(\epsilon)$產生自一揸符號：

• $\sigma_1, \sigma_2, ......, \sigma_{l-1}$

而啲$\sigma_i$要符合：

• $\sigma_i\sigma_i^{-1}=\sigma_i^{-1}\sigma_i=1$
• 當|i-j|>1，就有 $\sigma_i\sigma_j=\sigma_j\sigma_i$
• 當j=i+1，就有$\sigma_i\sigma_j\sigma_i=\sigma_j\sigma_i\sigma_j$
• $(\sigma_i+1)(\sigma_i-\epsilon)=0$

當l=1時，就約定$\mathfrak{H}_1(\epsilon)=\mathbb{C}$。

留意：最後一項條件中當$\epsilon=1$時，我地得返對稱羣入面嘅關係$\sigma_i^2=1$，此所謂形變。

參攷

• Vyjayanthi Chari / Andrew Pressley (1994), "A Guide to Quantum Groups", Cambridge, ISBN 0-521-55884-0 , p.332