[논문 리뷰] Non-commutative desingularization of determinantal varieties, II: Arbitrary minors

Ragnar-Olaf Buchweitz, Graham Leuschke외 1명|arXiv (Cornell University)|2011. 06. 09.

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

한 줄 요약

이 논문은 임의의 소수행렬에 의해 정의된 행렬식 다양체에 대한 비가환 분해가 존재함을 증명하며, 이는 이전의 최대 소수행렬에 대한 결과를 일반화한다. 특성 0 기법을 사용하여, 피에리 관계를 갖는 잘라낸 영 연장 퀴버 위에서 생성자와 관계를 통해 비가환 분해를 명시적으로 기술하고, 보다달과 올로프의 추측을 증명함으로써, 가환 분해의 유도 범주 사이의 완전 충실한 매장이 성립함을 확인한다.

ABSTRACT

In our paper "Non-commutative desingularization of determinantal varieties, I" we constructed and studied non-commutative resolutions of determinantal varieties defined by maximal minors. At the end of the introduction we asserted that the results could be generalized to determinantal varieties defined by non-maximal minors, at least in characteristic zero. In this paper we prove the existence of non-commutative resolutions in the general case in a manner which is still characteristic free, and carry out the explicit description by generators and relations in characteristic zero. As an application of our results we prove that there is a fully faithful embedding between the bounded derived categories of the two canonical (commutative) resolutions of a determinantal variety, confirming a well-known conjecture of Bondal and Orlov in this special case.

연구 동기 및 목표

• 최대 소수행렬에서부터 임의의 소수행렬으로까지 행렬식 다양체의 비가환 분해를 일반화하기.
• 특성 0에서 생성자와 관계를 통해 비가환 분해의 명시적 표현을 구성하기.
• R이 고렌스타인일 때, 기저 모듈러스의 내림차순 링이 비가환 캐프랑트 분해(Non-Commutative Crespant Resolution, NCCR)임을 증명하기.
• 행렬식 다양체의 두 개의 표준적 가환 분해의 유도 범주 사이에 완전 충실한 매장이 존재함을 확립하기.
• 유도 범주 프레임워크를 사용하여 보다달과 올로프의 추측을 이 특수한 케이스에서 확인하기.

제안 방법

• l-소수행렬로 정의된 행렬식 다양체의 분해상에서 기저 벡터장 T를 구성하기.
• E = End_R(T)로 정의된 내림차순 링을 정의하며, 이는 R-모듈로서 최대 코hen-맥컬레이이며 유한한 전반적 차원을 가짐을 보여준다.
• 특성 0의 표현 이론을 사용하여 외부 거듭제곱을 기약 GL-모듈로 분해함으로써, T_α의 직접 합성분으로서 N_α를 구성한다.
• B_{l,m−l}에 속하는 분할로 색인화된 정점과 F^∨ ⊗ G의 기저에 대응하는 화살표를 갖는 잘라낸 영 연장 퀴버를 도입한다.
• 퀴버화된 클리포드 대수의 구조를 통해 관계를 정의하며, 피에리 규칙과 추적 없는 성분을 포함한다.
• A = End_R(N)가 잘라낸 영 연장 퀴버 위의 경로 대수와 피에리 관계로 묶인 대수와 동형임을 증명함으로써, E와의 모리타 동치를 확립한다.

실험 결과

연구 질문

• RQ1 최대 소수행렬 외의 비최대 소수행렬로 정의된 행렬식 다양체에 대해 비가환 분해가 존재하는가?
• RQ2 특성 0에서 이러한 비가환 분해가 생성자와 관계를 통해 명시적으로 기술될 수 있는가?
• RQ3 행렬식 다양체의 두 표준적 가환 분해의 유도 범주 사이에 완전 충실한 매장이 존재하는가?
• RQ4 내림차순 링 E = End_R(T)의 구조는 전반적 차원과 최대 코헨-맥컬레이성 측면에서 어떻게 행동하는가?
• RQ5 특성 0에서 비가환 분해가 퀴버화된 클리포드 대수로 실현될 수 있는가?

주요 결과

• 내림차순 링 E = End_R(T)는 R-모듈로서 최대 코헨-맥컬레이이며, 전반적 차원이 유한하므로 비가환 분해로 확인된다.
• 특성 0에서 대수 A = End_R(N)는 잘라낸 영 연장 퀴버 위의 경로 대수와 피에리 관계로 묶인 대수와 동형이며, 명시적 표현을 제공한다.
• 모듈 N_α는 R에 대해 최대 코헨-맥컬레이이며, T_α는 β ≤ α인 N_β의 직접 합성으로 분해되며, N_α는 중복도 1로 나타난다.
• m = n일 때, R는 고렌스타인이며 E는 반덴 버그의 의미에서 비가환 캐프랑트 분해(NCCR)이다.
• 비가환 분해의 유도 범주가 가환 분해의 유도 범주에 완전 충실하게 매장되며, 보다달과 올로프의 추측을 확인한다.
• 비가환 분해는 퀴버화된 클리포드 대수로 실현되며, 이 구조는 특성 0과 GL-표현의 분해에 의해 결정된다.