[논문 리뷰] Koszul duality of affine Kac-Moody algebras and cyclotomic rational DAHA

Peng Shan, Michela Varagnolo외 1명|arXiv (Cornell University)|2011. 07. 01.

Algebraic structures and combinatorial models참고 문헌 37인용 수 12

한 줄 요약

이 논문은 기울기 또는 특이성 킬로스즈 듀얼리티를 애매한 카크-무디 대수의 O 분류에 대해 설정한다. 이는 기울기나 프로젝티브 대상이 존재하는 단절된 O의 형태를 사용하여 이루어지며, 이는 양의 또는 음의 수준에서 기울기나 프로젝티브 모듈이 존재하지 않는 문제를 해결한다. 탈중량된 O 분류를 도입하고, 유한 차원의 애매한 카크-무디 대수의 O 분류와 관련된 순간 그래프를 활용하여, 유한 차원의 애매한 카크-무디 대수의 O 분류와 관련된 유학적 펄서브 샤프스를 연결함으로써, O 분류에 대한 킬로스즈 듀얼리티를 증명한다. 이는 큼직한 q-스처 알제브라와 순환 유리 이중 아핀 히브레드 대수(CRDAHA)에 적용되며, 카우앙-미야치의 추측을 증명한다. 이 추측은 순환 유리 이중 아핀 히브레드 대수에서 수준-랭크 듀얼리티와 라인겔-킬로스즈 듀얼리티의 상호작용을 다룬다.

ABSTRACT

We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras.

연구 동기 및 목표

• 애매한 카크-무디 대수의 O 분류에 대해 기울기 또는 특이성 킬로스즈 듀얼리티를 설정한다.
• 양의 또는 음의 수준에서 기울기나 프로젝티브 모듈이 존재하지 않는 문제를 해결하기 위해, O 분류의 단절된 형태를 도입한다.
• 유한 차원의 애매한 카크-무디 대수의 O 분류에서 순간 그래프와 유학적 펄서브 샤프스 간의 관계를 설정하여 기하학적 제어를 한다.
• 킬로스즈 듀얼리티를 q-스처 대수와 순환 유리 이중 아핀 히브레드 대수(CRDAHA)에 적용한다.
• 카우앙-미야치의 추측을 증명한다. 이 추측은 순환 유리 이중 아핀 히브레드 대수에서 수준-랭크 듀얼리티와 라인겔-킬로스즈 듀얼리티의 상호작용을 킬로스즈 듀얼리티 프레임워크를 통해 연결한다.

제안 방법

• 비임계 수준에서 기울기 O 분류의 단절된 형태를 도입하여, 기울기와 프로젝티브 대상을 모두 갖는 유한한 최고 무게 분류를 얻는다.
• 다항식 환의 국소화 위에서의 탈중량된 O 분류를 사용하여, 킬로스즈 듀얼리티 함수를 지원하는 최고 무게 분류를 구성한다.
• 순간 그래프와 그 위의 샤프스를 사용하여, 유한 차원의 애매한 카크-무디 대수의 O 분류에서의 유학적 펄서브 샤프스를 대체하는 대수적 모델을 제공한다.
• 부록 A에 제시된 새로운 기하학적 도구를 통해, 순간 그래프 위의 샤프스와 카시와라의 애매한 플래그 다양체 위의 유학적 펄서브 샤프스 간의 관계를 설정한다.
• 표준 킬로스즈 듀얼리티와 라인겔 듀얼리티를 사용하여, 양의 수준과 음의 수준 분류 간의 관계를 설정하고, 양의 수준에서 국소화 정리의 부재를 우회한다.
• 피비그의 함수를 탈중량된 O 분류에서 순간 그래프 샤프스로 사용하여, 킬로스즈 듀얼리티 함수를 대수적으로 실현한다.

실험 결과

연구 질문

• RQ1 양의 또는 음의 수준에서 기울기나 프로젝티브 모듈이 존재하지 않는다는 점을 감안할 때, 애매한 카크-무디 대수의 O 분류에 대해 기울기 또는 특이성 킬로스즈 듀얼리티를 설정할 수 있는가?
• RQ2 유한 차원의 애매한 카크-무디 대수의 O 분류에서 순간 그래프를 어떻게 사용하여 유학적 펄서브 샤프스를 모델링할 수 있으며, 이는 킬로스즈 듀얼리티를 뒷받침하는가?
• RQ3 순환 유리 이중 아핀 히브레드 대수의 펄서브 공간에서 수준-랭크 듀얼리티와 킬로스즈 듀얼리티 간의 관계는 무엇인가?
• RQ4 O 분류의 킬로스즈 듀얼리티는 q-스처 대수와 그 쌍대 대수의 킬로스즈 성질을 유도하는가?
• RQ5 카우앙-미야치의 추측, 즉 순환 유리 이중 아핀 히브레드 대수에서 수준-랭크 듀얼리티와 라인겔-킬로스즈 듀얼리티의 상호작용을 킬로스즈 듀얼리티 프레임워크를 통해 증명할 수 있는가?

주요 결과

• 비임계 수준에서의 단절된 기울기 O 분류는 기울기와 프로젝티브 대상을 모두 갖는 끝없는 최고 무게 분류이다.
• 단절된 O 분류는 킬로스즈이며, 이 분류의 킬로스즈 쌍대는 동일한 분류의 라인겔 쌍대와 동치이다.
• q-스처 대수는 킬로스즈 대수와 모리타 동치임을 보였으며, 이에 따른 킬로스즈 쌍대는 이론적 프레임워크를 통해 명시적으로 기술되었다.
• 순환 유리 이중 아핀 히브레드 대수(CRDAHA)의 O 분류는 킬로스즈임이 증명되었으며, 이 킬로스즈 동치는 수준-랭크 듀얼리티와 호환된다.
• 카우앙-미야치의 추측, 즉 순환 유리 이중 아핀 히브레드 대수에서 수준-랭크 듀얼리티와 라인겔-킬로스즈 듀얼리티의 상호작용을 증명하기 위해 개발된 킬로스즈 듀얼리티 이론을 사용하여 검증되었다.
• 새로운 기하학적 도구가 확립되었다: 순간 그래프 위의 샤프스와 유한 차원의 애매한 카크-무디 대수의 O 분류에서의 유학적 펄서브 샤프스 간의 대응 관계가 설정되었으며, 이는 별도의 관심 분야로도 중요하다.