[논문 리뷰] Noncommutative desingularization of orbit closures for some representations of $GL_n$

Jerzy Weyman, Gufang Zhao|arXiv (Cornell University)|2012. 04. 02.

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

한 줄 요약

이 논문은 $GL_n$-표현의 궤도 폐쇄, 즉 행렬식, 대칭 및 펄라피안 다양체를 포함하여 비가환적 분해를 구축한다. 이는 부분 플라그 다양체 위의 예외적 집합을 이용하여 이루어지며, 이러한 비가환적 해소에 대해 명시적인 화살표와 관계를 제시함으로써, 최대 근사 행렬과 대칭 행렬의 경우 비가환 캘립트 해소(NCCRs)로 확인된다.

ABSTRACT

We describe noncommutative desingularizations of determinantal varieties, determinantal varieties defined by minors of generic symmetric matrices, and pfaffian varieties defined by pfaffians of generic anti-symmetric matrices. For maximal minors of square matrices and symmetric matrices, this gives a non-commutative crepant resolution. Along the way, we describe a method to calculate the quiver with relations for any non-commutative desingularizations coming from exceptional collections over partial flag varieties.

연구 동기 및 목표

• 행렬식, 대칭 및 펄라피안 다양체를 포함한 $GL_n$ 작용 하에서의 궤도 폐쇄로부터 유도된 비가환적 분해를 구축하기.
• 비가환 캘립트 해소(NCCRs)의 프레임워크를 최대 근사 행렬의 고차수 코르랭크 다양체 및 대칭/펄라피안 경우로 확장하기.
• 부분 플라그 다양체 위의 예외적 집합에서 유도된 비가환적 분해를 위한 화살표-관계를 계산하는 일반적인 방법 개발하기.
• 비가환적 분해의 기저로 사용되는 기저의 끝단 대수의 모듈러 범주와 특이 다양체 위의 코herent sheaf의 유도 범주 사이의 유도 동치를 확립하기.
• 끝단 대수가 최대 코hen-Macaulay임을 보장함으로써, Gorenstein의 경우 해소가 캘립트임을 보장하기.

제안 방법

• 그라스만리안 $\operatorname{Grass}(1,E)$ 위에서 카프란프의 완전한 강력한 예외적 집합을 활용하여, 그라스만리안 위의 벡터 번들의 전체 공간에서 틸팅 번들을 구성한다.
• 사영 사상에 의한 예외적 집합의 역상으로, 대칭 텐서 랭크 다양체의 분해 $\mathcal{Z}^{(d)}_s$ 위의 틸팅 대상을 정의한다.
• 정리 2.6을 적용하여, 틸팅 번들의 당김이 $\mathcal{Z}^{(d)}_s$ 위에서 틸팅 대상임을 보이며, 이는 유도 동치를 보장한다.
• 끝단 대수 $\operatorname{End}_{\mathcal{Z}^{(d)}_s}(p^{\prime*}\mathscr{T}il_K)$를 계산하고, Bott의 정리와 표현 이론적 분해를 통해 최대 코hen-Macaulay임을 증명한다.
• 단순 모듈러에 대한 $\operatorname{Ext}^t(S_i, S_j)$를 계산하여 화살표-관계를 유도한다. 이는 $\mathbb{P}^1$ 위의 선다발 $\mathcal{Q}^*$ 및 $\mathcal{R}^*$에서의 코homology 계산을 통해 이루어진다.
• Littlewood-Richardson 및 Cauchy-Littlewood 공식을 적용하여 외적과 대칭적 외적의 곱을 분해하고, 코homology의 0이 아닌 차수에서의 소멸을 증명한다.

실험 결과

연구 질문

• RQ1 비가환적 분해는 $GL_n$-표현의 궤도 폐쇄, 즉 행렬식, 대칭 및 펄라피안 다양체에 대해 체계적으로 구축될 수 있는가?
• RQ2 비가환적 분해의 기저로 사용되는 틸팅 번들의 끝단 대수가 최대 코hen-Macaulay 조건을 만족하는가?
• RQ3 부분 플라그 다양체 위의 예외적 집합에서 유도된 비가환적 해소의 화살표-관계를 명시적으로 계산할 수 있는가?
• RQ4 비가환적 분해가 Van den Bergh의 의미에서 비가환 캘립트 해소(NCCR)로 간주될 수 있는 조건은 무엇인가?
• RQ5 특이 궤도 폐쇄 위의 코herent sheaf의 유도 범주와 끝단 대수의 모듈러 범주 사이의 유도 동치 관계는 어떻게 되는가?

주요 결과

• 랭크 $\leq n-1$인 대칭 텐서 랭크 다양체 $X^{(d)}_s$에 대해, $\mathcal{Z}^{(d)}_s$ 위의 전체 공간에서 카프란프의 틸팅 번들의 당김은 틸팅 번들이며, 이는 유도 동치를 유도한다.
• 끝단 대수 $\operatorname{End}_{\mathcal{Z}^{(d)}_s}(p^{\prime*}\mathscr{T}il_K)$는 Bott의 정리와 표현 이론적 분해를 통해 코homology 소멸을 이용해 최대 코hen-Macaulay임이 입증된다.
• 특히 $n=2$인 경우, 유리 정규 곡선의 콘 위의 비가환적 분해에 대한 화살표-관계가 명시적으로 계산된다: 두 정점과 화살표 $\alpha: E$, $\beta: \mathbb{L}_{d-1}E$가 있으며, 관계는 $\alpha\beta(\mathbb{L}_{(d-1,1)}E)$, $\beta\alpha(\mathbb{L}_{(d-1,1)}E)$이다.
• 이 구성은 최대 근사 행렬의 정사각형 및 대칭 행렬에 대해 비가환 캘립트 해소(NCCR)를 제공한다. 끝단 대수가 최대 코hen-Macaulay이면서 해소가 유도 동치이기 때문이다.
• 이 방법은 고차수 코르랭크 행렬식 다양체 및 펄라피안 다양체로 일반화되며, 부분 플라그 다양체 위의 예외적 집합에서 화살표-관계를 계산하는 체계적인 방법을 제공한다.
• 핵심 기술 도구는 Schur 함수의 곱을 분석하고, 양의 차수에서의 코homology 소멸을 증명하기 위해 Cauchy-Littlewood 및 Littlewood-Richardson 공식의 적용이다.