[논문 리뷰] Generators of the Hecke algebra of $(S_{2n},B_n)$

Kürşat Aker, Mahir Bilen Can|arXiv (Cornell University)|2010. 09. 27.

Molecular spectroscopy and chirality참고 문헌 10인용 수 3

한 줄 요약

이 논문은 $B_n$가 초입방체군인 대칭 쌍 $(S_{2n}, B_n)$의 헤크 대수에 대한 링 생성자를 제시한다. $H_i$는 관련 그래프에서 정확히 $i$개의 사이클을 가진 순열의 합으로 정의되며, 이들이 대수를 생성함을 증명하고, 쇼 마츠모토가 제기한 추측을 확인한다. 이 추측은 Jucys-Murphy 원소와 아이디포텐트 $ε_{B_n}$ 를 통한 대수적 다항식에서 헤크 대수로의 사상의 전성에 관한 것이다.

ABSTRACT

A set of ring generators for the Hecke algebra of the Gel'fand pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of the symmetric group $S_{2n}$ is presented. Various corollaries are given. A conjecture of Sho Matsumoto is proven.

연구 동기 및 목표

• 헤크 대수 $H_{\mathbb{Z}}(S_{2n}, B_n)$에 대한 유한한 링 생성자 집합을 규명하는 것, 이는 $S_{2n}$의 정수군 링의 교환 부분대수이다.
• 필터링을 갖춘 유니버설 링 $\mathcal{H}$를 구성하여, 그 관련 군이 $\mathcal{Z}$의 파라하트-하이먼 유니버설 링과 동형임을 보이는 것.
• 그래프 $\Gamma(w)$에서 정확히 $i$개의 연결 성분(사이클)을 가진 순열의 합으로 정의된 원소 $H_i$가 $H_{\mathbb{Z}}(S_{2n}, B_n)$를 링으로 생성함을 증명하는 것.
• 쇼 마츠모토의 추측을 확인하는 것: $n$개의 변수를 갖는 대칭 다항식 $F$를 $F(J_1, J_3, \dots, J_{2n-1}) \cdot \varepsilon_{B_n}$로 보내는 사상이 $H_{\mathbb{Z}}(S_{2n}, B_n)$로 전성임을 증명하는 것.
• 이 문서에서 구성한 유니버설 링 $\mathcal{H}$와 파라하트-하이먼 유니버설 링 $\mathcal{Z}$ 사이의 동형사상을 확립하여 표현 이론과 하이버트 스킴 및 퀄리 다양체의 코homology를 연결하는 것.

제안 방법

• 헤크 대수 $H_{\mathbb{Z}}(S_{2n}, B_n)$를 $S_{2n}$ 위에서 $B_n$-이항 함수의 콘볼루션에 의한 링으로 정의한다.
• 각 $w \in S_{2n}$에 대해 정점이 $2n$개의 원소이고, $t = (1\,2)(3\,4)\cdots(2n-1\,2n)$의 작용에 의해 정의되는 간선을 갖는 그래프 $\Gamma(w)$를 도입한다.
• $\Gamma(w)$가 정확히 $i$개의 연결 성분(사이클)을 갖는 모든 $w \in S_{2n}$의 합으로 $H_i$를 정의한다.
• 파라하트와 하이먼의 $\mathcal{Z}$에 대한 구성과 유사하게 필터링을 통한 유니버설 링 $\mathcal{H}$를 구성하고, $\operatorname{gr}\mathcal{H} \cong \operatorname{gr}\mathcal{Z}$임을 보인다.
• Jucys-Murphy 원소 $J_k = \sum_{j=1}^{k-1} (j\,k)$와 아이디포텐트 $\varepsilon_{B_n} = \frac{1}{|B_n|} \sum_{b \in B_n} b$를 사용하여 $H_i$를 $e_{n-i}(J_1, J_3, \dots, J_{2n-1}) \cdot \varepsilon_{B_n}$로 표현한다.
• 헤크 대수에서 기저 원소의 곱 $K_\lambda K_{(r)}$의 구조 상수는 $m_{r+|\rho|}(\lambda)$, $r!$, $|K_\rho(n+1)|$를 포함하는 공식으로 주어지며, 이는 정리 4.4의 핵심 계수 공식을 이끈다.

실험 결과

연구 질문

• RQ1 헤크 대수 $H_{\mathbb{Z}}(S_{2n}, B_n)$에 대한 최소한의 링 생성자 집합은 무엇인가?
• RQ2 헤크 대수 $H_{\mathbb{Z}}(S_{2n}, B_n)$의 구조는 파라하트와 하이먼이 구성한 유니버설 링 $\mathcal{Z}$와 어떻게 관련이 있는가?
• RQ3 쇼 마츠모토의 추측이 참인가? 즉, $F \mapsto F(J_1, J_3, \dots, J_{2n-1}) \cdot \varepsilon_{B_n}$ 사상이 $H_{\mathbb{Z}}(S_{2n}, B_n)$로 전성인가?
• RQ4 헤크 대수 $H_{\mathbb{Z}}(S_{2n}, B_n)$에서 기저 원소의 곱의 구조 상수에 대한 정확한 공식은 무엇인가?
• RQ5 이 문서에서 구성한 유니버설 링 $\mathcal{H}$와 파라하트-하이먼 유니버설 링 $\mathcal{Z}$ 사이에 표준적인 동형사상이 존재하는가?

주요 결과

• 헤크 대수 $H_{\mathbb{Z}}(S_{2n}, B_n)$는 $1 \leq i \leq n$에 대해 $H_i$로 생성되며, 여기서 $H_i$는 그래프 $\Gamma(w)$에서 정확히 $i$개의 사이클을 가진 모든 $w \in S_{2n}$의 합이다.
• 이 논문에서 구성한 유니버설 링 $\mathcal{H}$는 파라하트-하이먼 유니버설 링 $\mathcal{Z}$와 동형이며, 둘 다 하이버트 스킴 $\operatorname{Hilb}^n(\mathbb{C}^2)$의 코homology 링과 관련된 군을 갖는다.
• $H_i$는 식 $H_i = e_{n-i}(J_1, J_3, \dots, J_{2n-1}) \cdot \varepsilon_{B_n}$를 만족하며, 쇼 마츠모토의 추측을 확인한다.
• $H_{\mathbb{Z}}(S_{2n}, B_n)$에서 기저 원소의 곱 $K_\lambda K_{(r)}$의 구조 상수는 $b_{\lambda\,(r)}^{(r+|\rho|)\cup\lambda-\rho} = \frac{(m_{r+|\rho|}(\lambda)+1)(r+|\rho|+1)r!}{\prod_{i \geq 0} m_i(\rho)!}$로 주어지며, 여기서 $\rho$는 크기가 $i$인 부분이 $m_i(\rho)$개 있는 분할이다.
• $\mathcal{H}$의 관련 군은 $\operatorname{gr}\mathcal{Z}$와 동형이며, $\mathcal{H}$는 가чёт한 다항식 대수이다.
• 이 구성은 표현 이론, 하이버트 스킴의 코homology, 나카지마 퀄리 다양체를 유니버설 링 $\mathcal{H}$를 통해 직접 연결한다.