[논문 리뷰] Affine Schubert Varieties and Circular Complexes

Péter Magyar|ArXiv.org|2002. 10. 10.

Algebraic structures and combinatorial models참고 문헌 15인용 수 11

한 줄 요약

이 논문은 루스티그의 순환 퀼러 표현에 대한 결과를 이용하여, 원형 복합체의 다양체와 루프 군 $\widehat{GL}_n$ 안의 아핀 슈부르트 다양체의 열린 부분집합 사이의 기하학적 이隳모르를 수립한다. 원형 복합체 다양체에 대해 보트-사멜슨 해소를 구축함으로써, 이 다양체가 정규적이고, 코헨-맥컬레이이며, 유리적 특이점을 가짐을 증명한다. 이는 슈부르트 기하학을 통해 메하타와 트리베디의 결과를 복원하고 확장한다.

ABSTRACT

Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use a single unified theory to understand many large families of spaces. The most powerful result in this direction was given by Lusztig as a footnote to his work on canonical bases. He showed that the variety of nilpotent representations of a cyclic quiver (including nilpotent conjugacy classes of matrices) is isomorphic to an open subset of a Schubert variety for the loop group GL(n)^. In this paper, we attempt to describe the affine Schubert varieties and Lusztig's isomorphism in the simplest terms possible. We then apply this isomorphism to an interesting example, the variety of circular complexes, recovering some results of Mehta and Trivedi.

연구 동기 및 목표

• 원형 복합체 다양체를 루프 군 $\widehat{GL}_n$ 의 아핀 슈부르트 다양체의 열린 부분집합으로 해석하는 것.
• 노름화된 궤도와 슈부르트 다양체 사이의 루스티그의 이_iso모르를 원형 복합체의 경우에 적용하는 것.
• 아핀 웨일 군의 단순어를 이용하여 원형 복합체 다양체에 대한 보트-사멜슨 해소를 구축하는 것.
• 원형 복합체 다양체와 그 $GL_n(\mathbf{k})$-오빗이 정규적이고, 코헨-맥컬레이이며, 유리적 특이점을 가짐을 증명하는 것.

제안 방법

• 루프 군 $G = \widehat{GL}_n(\mathbf{k}) = GL_n(F)$, 여기서 $F = \mathbf{k}((t))$ 를 사용하여 아핀 플라그와 그라스만리안 다양체를 정의한다.
• 아핀 슈부르트 다양체를 아핀 웨일 군의 원소에 의해 인덱싱된 $G_0$-오빗의 폐쇄로 정의한다.
• 원형 복합체와 관련된 아핀 순열 $\pi$ 의 단순 분해를 케이블 교차를 이용한 와이어 다이어그램을 통해 구성한다.
• 단순어 $\mathbf{i}$ 와 관련된 보트-사멜슨 다양체 $Z_\mathbf{i}$ 를 사용하여 슈부르트 다양체 $X_\pi$ 의 특이점을 해소하고, 이는 원형 복합체 다양체 위로 분리적으로 정의된 사상이다.
• 보통의 보트-사멜슨 다양체의 구성 방법을 사용하여 플라그 다양체 위에서 반복적인 $\mathbb{P}^1$-패키징을 수행하고, 이의 차원은 단어의 길이와 같다.
• 중간 단계의 격자를 忽略하여 $Z_\mathbf{i}$ 에서 $X_\pi$ 로의 정규적이고 분리적인 사상을 정의함으로써, $X_\pi$ 가 반대 세포의 폐쇄의 분해화임을 보여준다.

실험 결과

연구 질문

• RQ1 원형 복합체 다양체는 어떻게 $\widehat{GL}_n$ 의 아핀 플라그 다양체 안의 슈부르트 다양체로 실현될 수 있는가?
• RQ2 원형 복합체 다양체의 기하학적 구조는 무엇이며, 표준 슈부르트 이론 도구를 통해 분해화가 가능한가?
• RQ3 루스티그의 순환 퀄러 표현과 아핀 슈부르트 다양체 사이의 이_iso모르는 원형 복합체의 경우에 어떻게 적용되는가?
• RQ4 원형 복합체 다양체의 특이점은 무엇이며, 이들은 유리적이고, 정규적이거나 코헨-맥컬레이인가?
• RQ5 원형 복합체 다양체에 대해 보트-사멜슨 해소를 구성할 수 있으며, 그 차원은 얼마인가?

주요 결과

• 루스티그의 구성에 의해 원형 복합체 다양체 $\mathcal{L}_c$ 는 루프 군 $\widehat{GL}_n$ 의 아핀 슈부르트 다양체의 열린 부분집합과 이_iso모르가 성립한다.
• 원형 복합체 다양체 $\mathcal{L}_c$ 의 차원은 $ab$ 이며, 이는 와이어 다이어그램에서의 케이블 교차 수로 계산된 관련 아핀 순열 $\pi$ 의 길이 $\ell(\pi)$ 와 일치한다.
• 단순어 $\mathbf{i} = (1,3,4,3,0,2)$ 를 사용하여 $c=1$, $a=2$, $b=3$, $n=5$ 인 경우에 대해 차원 $\ell(\pi) = 6$ 인 보트-사멜슨 해소 $Z_\mathbf{i}$ 가 구성된다.
• 해소 $Z_\mathbf{i}$ 는 $X_\pi$ 로 분리적이고 정규적인 사상을 가지며, $X_\pi$ 는 반대 세포의 폐쇄인 $X'_\pi \cong \mathcal{L}_c$ 와 이_iso모르이므로 분해화임을 증명한다.
• 원형 복합체 다양체 $\mathcal{L}_c$ 와 그 $GL_n(\mathbf{k})$-오빗은 모두 정규적이고, 코헨-맥컬레이이며, 유리적 특이점을 가지며, 슈부르트 이론적 방법을 통해 메하타와 트리베디의 결과를 확인한다.
• 이 구성은 $t^{-1}E_3/tE_1$ 의 몫을 통해 $Z_\mathbf{i}$ 를 유한차원 플라그 다양체에 매립함으로써 프로베니우스 분할 및 기타 표준 도구의 사용을 가능하게 한다.