스테인버그 다양체와 환원군의 표현 이론

이 논문은 스테인버그 다양체 \(Z\) 를 중심으로 환원군 \(G\) 의 다양한 표현론적 현상을 통합적으로 고찰한다. 서두에서는 \(G\) 가 연결된 환원 대수군이며, \(\mathcal B\) 가 Borel 부분군들의 다양체임을 가정한다. 스테인버그가 처음 도입한 삼중점 다양체 \(S=\{(v,B,B')\in C\times\mathcal B\times\mathcal B\mid v\in B\cap B'\}\) 를 일반화한 \(Z\) 를 정의하고, 그 기하학적 구조를 파악한다. 1. **Irreducible components and Weyl group indexing** \(G\) 가 \(\mathcal B\times\mathcal B\) 에 작용하면 Bruhat 분해에 의해 \(W\) 가 궤도들을 인덱싱한다. 각 \(w\in W\) 에 대해 \(Z_w:=\pi^{-1}(G\cdot(B,wBw^{-1}))\) 를 정의하면, \(Z_w\) 는 차원 \(2\dim\mathcal B\) 의 불가약 성분이며, \(\{Z_w\mid w\in W\}\) 가 \(Z\) 의 전부 불가약 성분을 이룬다. 2. **Nilpotent orbits and two‑sided Steinberg cells** nilpotent 궤도 \(\mathcal O\subset\mathcal N\) 를 고정하고 \(\mu:Z\to\mathcal N\) 를 첫 번째 사영으로 두면 \(\mu^{-1}(\mathcal O)\) 역시 차원 \(2\dim\mathcal B\) 의 불가약 다양체다. 이때 \(\mathcal O\) 와 연관된 \(W_{\mathcal O}:=\{w\in W\mid Z_{\mathcal O}\cap Z_w\neq\varnothing\}\) 를 두‑면 Steinberg cell이라 부른다. 이러한 셀은 Weyl 군의 두‑면 Kazhdan‑Lusztig 셀보다 일반적으로 많지만, 확장된 affine Weyl 군 \(W_e\) 와는 일대일 대응이 존재한다는 점을 논문은 강조한다. 3. **Orbital varieties and left/right Steinberg cells** \(\mathcal O\cap\mathfrak u\) 의 불가약 성분을 orbital variety 라고 정의하고, 이를 \(Z\) 의 구조와 연결한다. 구체적으로, \(w\in W_{\mathcal O}\) 일 때 \(B\cap wBw^{-1}\) 가 \(\mathcal O\) 와 교차하는 부분이 바로 orbital variety 가 된다. 이를 통해 각 \(w\) 에 대해 왼쪽 Steinberg cell \(V_\ell(w)=B\cap w^{-1}Bw\cap\mathcal O\) 와 오른쪽 Steinberg cell \(V_r(w)=B\cap wBw^{-1}\cap\mathcal O\) 를 정의하고, 두‑면 셀은 이들 좌·우 셀들의 합집합으로 분해된다. 이 과정은 Joseph‑Spaltenstein 이론과 Robinson‑Schensted 대응을 기하학적으로 재현한다. 4. **Borel–Moore homology and the group algebra of \(W\)** Kazhdan‑Lusztig은 \(W\times W\) 가 \(H_{2\dim\mathcal B}^{\mathrm{BM}}(Z)\) 에 작용함을 보였으며, 그 작용은 두‑면 정규 표현을 제공한다. Ginzburg, Kashiwara‑Tanisaki는 전체 보렐‑무어 동조에 곱 구조를 정의하여, 전체 동조가 \(\mathbb C