[논문 리뷰] Some schemes related to the commuting variety

Allen Knutson|arXiv (Cornell University)|2003. 06. 18.

Coding theory and cryptography참고 문헌 2인용 수 4

한 줄 요약

이 논문은 공액행렬의 교환자(commutator)가 대각행렬이 되는 $n \times n$ 행렬 쌍으로 정의되는 대각 교환자 스킴을 소개하며, 이가 축소된 완전교차이자, 그 중 하나가 교환 범주(commuting variety)임을 증명한다. 일변수부하군을 통한 그로브너 분해(degeneration)를 통해 특수 섬유가 $n!$개의 성분으로 분해되며, 각 성분은 순열에 의해 색인화되고, 각각 행렬 쇼버트 다양체(variety)에 대응함을 보이며, 재구성된 리 대수(reductive Lie algebra)에 대해 이 스킴이 정확히 두 개의 성분을 가진다는 추측을 제기한다.

ABSTRACT

The_commuting variety_ is the pairs of NxN matrices (X,Y) such that XY = YX. We introduce the_diagonal commutator scheme_, {(X,Y) : XY-YX is diagonal}, which we prove to be a reduced complete intersection, one component of which is the commuting variety. (We conjecture there to be only one other component.) The diagonal commutator scheme has a flat degeneration to the scheme {(X,Y) : XY lower triangular, YX upper triangular}, which is again a reduced complete intersection, this time with n! components (one for each permutation). The degrees of these components give interesting invariants of permutations.

연구 동기 및 목표

• 행렬의 수를 줄이는 정의 방정정식을 가진 관련 스킴을 도입하여 $\mathfrak{gl}_n$에서의 교환 범주의 구조를 연구하기 위해.
• 대각 교환자 스킴이 축소된 완전교차임을 증명하고, 그 중 하나가 교환 범주임을 보여주기 위해.
• 일변수부하군 작용 하에서 이 스킴의 평탄한 분해를 분석하여 순열에 의해 색인화된 $n!$개 성분으로의 분해를 드러내기 위해.
• 모든 재구성된 리 대수에 대해 대각 교환자 스킴이 정확히 두 개의 성분을 가진다는 추측을 하며, 이는 교환 범주의 코헨-맥컬레이성과 축소성에 대한 함의를 지닌다.
• 행렬 쇼버트 다양체로의 분해를 통한 방법을 통해 교환 스킴의 축소성과 코헨-맥컬레이성을 뒷받침하는 증거를 제공하기 위해.

제안 방법

• 대각행렬로 이루어진 카르탕 부분대수 $\mathfrak{h}$를 고려하여, $D = \{(X,Y) \in \mathfrak{gl}_n \oplus \mathfrak{gl}_n : [X,Y] \in \mathfrak{h}\}$로 정의된 대각 교환자 스킴을 정의한다.
• 일변수부하군 $\check{\rho}(t) = \operatorname{diag}(1, t, \dots, t^{n-1})$를 사용하여 $z \in \mathbb{C}^\times$로 매개변수화된 평탄한 가속가(가속가) $D^z$를 정의하며, 여기서 $D^1 = D$이다.
• 평탄한 극한 $D^0 = \lim_{z \to 0} D^z$를 취하며, 이는 $XY$가 하삼각행렬이고 $YX$가 상삼각행렬임을 정의하는 축소된 완전교차로 나타남을 보인다.
• $B_- \times B_+$ (하삼각행렬과 상삼각행렬의 곱)의 작용을 $D^0$에 대해 분석하여, 각 성분을 보존하고 각 성분 $D^0_\pi$ 위에서 추이적으로 작용함을 보인다.
• 순열 행렬 $\pi$를 포함하는 특정 쌍의 $B_- \times B_+$ 궤도의 폐쇄로 성분 $D^0_\pi$를 정의하며, 이들이 정확히 기약성분임을 증명한다.
• 행렬 쇼버트 다양체 기법과 그로브너 기저 이론을 사용하여, 극한 방정정식들이 충분함(즉, '그로브너로 충분함')임을 보이며, 추가 방정정식이 필요하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 대각 교환자 스킴이 $\mathfrak{gl}_n$에서 축소된 완전교차인가?
• RQ2 대각 교환자 스킴의 평탄한 분해는 순열에 의해 색인화된 $n!$개의 성분을 가지는가?
• RQ3 분해된 스킴의 성분들은 순열에 의해 색인화된 $B_- \times B_+$ 궤도의 폐쇄로 묘사될 수 있는가?
• RQ4 이 분해는 교환 범주의 축소성 또는 코헨-맥컬레이성에 대한 증거를 제공하는가?
• RQ5 행렬 $X$와 $Y$의 거듭제곱과의 트레이스 수직성 조건에서 유도된 방정정식들은 대각 교환자 스킴의 비교환 성분을 정의하는 데 충분한가?

주요 결과

• 대각 교환자 스킴 $D$ 는 $\mathfrak{gl}_n \oplus \mathfrak{gl}_n$에서 축소된 완전교차이며, 그 중 하나가 교환 범주이다.
• 분해의 평탄한 극한 $D^0$ 역시 축소된 완전교차이며, $XY$가 하삼각행렬이고 $YX$가 상삼각행렬임을 정의한다.
• 스킴 $D^0$ 은 정확히 $n!$개의 기약성분 $D^0_\pi$로 분해되며, 각각 순열 $\pi \in S_n$에 대응하며, 각각은 $B_- \times B_+$ 궤도의 폐쇄로 유도된다.
• 일반 섬유 성분 중 교환 범주에 대응하는 성분은 항등순열 $\mathbf{1}$에 대응하는 $D^0_\mathbf{1}$로 특수화되며, 비재구성적 구조를 가질 수 있다.
• $n=3$의 경우, 분해에서 성분의 차수를 명시적으로 계산한다: $d'_{123} = A^3B^3$, $d'_{213} = 2A^3B + 2A^2B^2 + 2AB^3$, 등과 같이 계산되며, 총합은 $(A+B)^6$이 된다.
• 저자들은 $\mathfrak{gl}_3$의 경우에서 트레이스 수직성 조건(정리 5)에서 유도된 방정정식들이 대각 교환자 스킴의 비교환 성분을 정의함을 확인하였으며, 이는 이러한 방정정식들이 두 번째 성분을 자르는 데 충분함을 지지하는 추측에 대한 증거가 된다.