[논문 리뷰] On certain varieties attached to a Weyl group element

G. Lusztig|arXiv (Cornell University)|2010. 12. 09.

Advanced Algebra and Geometry참고 문헌 12인용 수 19

한 줄 요약

이 논문은 웨일 군 원소와 관련된 대수기하 구조를 조사하며, 이러한 다양체의 준자기동형사상들 사이의 브레드 군 관계에 초점을 맞춘다. 감소된 표현과 브레드 모노이드 구조를 사용하여, 특정 웨일 군 원소에 대해 다양체 $X_w$가 브레드 군 관계와 연결된 분해를 갖는다는 것을 증명하며, 순환 히케 알제브라의 맥락에서 브뢰와 미셸의 이전 추측을 확장한다.

ABSTRACT

Let w be an elliptic element of the Weyl group of a connected reductive group G. Let X be the set of pairs (g,B) where g is an element of G, B is a Borel subgroup of G and B,gBg^{-1} are in relative position w. Then G acts naturally on X. Assume that w has minimal length in its conjugacy class. We show that the set of G-orbits in X has a well defined structure of an affine algebraic variety V. When G is a classical group we show that this variety is an affine space modulo the action of a finite diagonalizable group. In this case we also construct some nontrivial automorphisms of X.

연구 동기 및 목표

• 웨일 군 원소 $w$와 관련된 다양체 $X_w$의 기하적 구조를 이해하는 것.
• 브레드 모노이드 $\beta^+$의 맥락에서 $X_w$의 준자기동형사상들 사이의 브레드 군 관계를 확립하는 것.
• 특정 $w$에 대해 순환 히케 알제브라를 포함하는 브뢰와 미셸의 더 강력한 추측을 검증하는 것.
• $w$의 동일한 길이를 갖는 $\cdot$-공轭으로 문제를 단순화하여 분석을 용이하게 하는 것.
• 감소된 표현들 사이의 브레드 이동 시퀀스를 구성함으로써 정리 0.3(a)를 증명하는 것.

제안 방법

• 코xeter 군 $W$와 관련된 브레드 모노이드 $\beta^+$를 사용하여, 표준 사상들을 통해 $W$를 $\beta^+$에 매장한다.
• 지크-마이클, 지크-김-피퍼, 헤의 결과를 활용하여 '좋은 원소'를 적용하여 $w$를 조건 ($*$)를 만족하는 형태로 공轭한다.
• 순차적인 교체를 통해 $w$의 감소 표현을 $w_0$의 표현으로 바꾸는 브레드 이동의 시퀀스를 구성한다. 이는 순서 $u$를 가진 교대 쌍 $s,t$를 그들의 브레드 이미지 $t,s,t,\dots$로 대체함으로써 이루어진다.
• 구조적 관계를 브레드 군 작용과 연결하기 위해 준동형사상 $\hat{\sigma}_i$를 활용한다.
• $X_w$의 점의 안정자군 $Z$를 분석하여, 이가 유니포텐트이면서 보렐 부분군에 포함됨을 보인다.
• $\beta^+$에서 $ww^\bullet w^{\bullet 2}\cdots w^{\bullet e-1} = 1$ 및 $\hat{w}\hat{w}^\bullet\cdots\hat{w}^{\bullet e-1} = \hat{w}_0 z$ (어떤 $z \in \beta^+$에 대해)의 분해를 사용하여 주요 결과를 도출한다.

실험 결과

연구 질문

• RQ1 웨일 군 원소 $w$와 관련된 다양체 $X_w$의 준자기동형사상에서 브레드 군 관계는 어떻게 발생하는가?
• RQ2 순환 히케 알제브라를 포함하는 브뢰와 미셸의 더 강력한 추측은 특정 $w$에 대해 검증될 수 있는가?
• RQ3 $\cdot$-공轭을 통해 '좋은 원소'는 $X_w$의 구조를 어떻게 단순화하는가?
• RQ4 브레드 모노이드 $\beta^+$는 $w$와 $w_0$의 감소 표현의 조합론을 어떻게 표현하는가?
• RQ5 $X_w$에서 안정자군 $Z$의 기하적 의미는 무엇인가?

주요 결과

• 조건 ($*$)를 만족하는 $w$에 대해, 다양체 $X_w$는 브레드 군 관계와 연결된 분해를 갖는다. 이 조건은 $\cdot$-공轭 후에도 유지된다.
• 조건 ($*$)를 만족하는 $w$에 대해, $W$에서 $ww^\bullet w^{\bullet 2}\cdots w^{\bullet e-1} = 1$이 성립하고, $\beta^+$에서 $\hat{w}\hat{w}^\bullet\cdots\hat{w}^{\bullet e-1} = \hat{w}_0 z$ (어떤 $z \in \beta^+$에 대해)가 성립한다.
• 브레드 곱의 왼쪽과 오른쪽 측면의 생성자 수는 $ke = f + h$를 만족한다. 여기서 $k$는 $w$의 길이, $e$는 지수, $f,h$는 $w_0$와 $z$의 길이다.
• 감소 표현들 사이의 브레드 이동 시퀀스는 순서 $u$를 가진 교대 쌍 $s,t$를 그들의 브레드 이미지 $t,s,t,\dots$로 대체함으로써 구성되며, 이는 $\beta^+$에서의 곱을 유지한다.
• $X_w$의 점의 안정자군 $Z$는 유니포텐트이면서 보렐 부분군에 포함되며, 이는 작용에 대한 기하적 제약 조건을 확인한다.
• 정리 0.3(a)의 증명은 공轭 불변성과 준동형사상의 성질을 활용하여, $w$가 ($*$) 조건을 만족하는 경우로 축소된다.