[논문 리뷰] KLR algebras and the branching rule I: the Gelfand-Tsetlin basis in type An

Pedro Vaz|arXiv (Cornell University)|2013. 09. 02.

Algebraic structures and combinatorial models참고 문헌 14인용 수 1

한 줄 요약

이 논문은 A_n 유형의 순환 KLR 대수의 몫 범주를 도입하여 sl(n) ⊂ sl(n+1) 포함에 대한 분기 규칙을 분류화한다. 이 구조를 반복적으로 적용함으로써 A_n 유형의 겔판트-츠레틴 기저를 실현하고, 카호보프-라우다 순환 추측에 대한 새로운 간단한 증명을 제공하며, 맥카이, 스토시치, 바즈의 카탈로깅적 웨일 모듈에 대한 추측을 증명한다.

ABSTRACT

We define a quotient of the category of finitely generated modules over the cyclotomic Khovanov-Lauda-Rouquier algebra for type An and show it has a module category structure over a direct sum of certain cyclotomic Khovanov-Lauda-Rouquier algebras of type An-1, this way categorifying the branching rules for the inclusion of sl(n) in sl(n+1). Using this we give a new, elementary proof of Khovanov-Lauda cyclotomic conjecture. We show that continuing recursively gives the Gelfand-Tsetlin basis for type An. As an application we prove a conjecture of Mackaay, Stosic and Vaz concerning categorical Weyl modules.

연구 동기 및 목표

• A_n 유형의 순환 KLR 대수 위의 유한 생성 모듈의 몫 범주를 정의하는 것.
• 이 몫 범주가 A_{n-1} 유형의 KLR 대수들의 직합 위의 모듈 범주 구조를 지닌다는 것을 보여주는 것.
• 이 구조를 통해 sl(n) ⊂ sl(n+1) 포함에 대한 분기 규칙을 분류화하는 것.
• 카호보프-라우다 순환 추측에 대한 새로운 간단한 증명을 제공하는 것.
• 이 구조를 반복적으로 적용하여 A_n 유형의 겔판트-츠레틴 기저를 수립하는 것.

제안 방법

• A_n 유형의 순환 KLR 대수 위의 유한 생성 모듈의 몫 범주를 구성하는 것.
• 이 몫 범주가 A_{n-1} 유형의 순환 KLR 대수들의 직합 위의 모듈 범주 구조를 지닌다는 것을 보여주는 것.
• 이 모듈 범주 구조를 활용하여 sl(n) ⊂ sl(n+1)의 분기 규칙을 분류화하는 것.
• 이 구조를 반복적으로 적용하여 A_n 유형의 겔판트-츠레틴 기저를 생성하는 것.
• 반복적 구조를 활용하여 카호보프-라우다 순환 추측을 증명하는 것.
• 이 틀을 활용하여 맥카이, 스토시치, 바즈의 카탈로깅적 웨일 모듈에 대한 추측을 검증하는 것.

실험 결과

연구 질문

• RQ1 KLR 대수를 통해 sl(n) ⊂ sl(n+1) 포함에 대한 분기 규칙을 어떻게 분류화할 수 있는가?
• RQ2 A_n 유형의 순환 KLR 대수의 몫에서 어떤 모듈 범주 구조가 도출되는가?
• RQ3 이 분류화를 통해 A_n 유형의 겔판트-츠레틴 기저를 반복적으로 구성할 수 있는가?
• RQ4 이 구조가 카호보프-라우다 순환 추측에 대한 새로운 증명을 제공하는가?
• RQ5 이 틀을 활용하여 맥카이, 스토시치, 바즈의 카탈로깅적 웨일 모듈에 대한 추측을 검증할 수 있는가?

주요 결과

• A_n 유형의 순환 KLR 대수의 몫 범주는 A_{n-1} 유형의 KLR 대수들의 직합 위의 모듈 범주 구조를 지닌다.
• 이 구조는 sl(n) ⊂ sl(n+1) 포함에 대한 분기 규칙을 분류화한다.
• 이 구조를 반복적으로 적용하면 A_n 유형의 겔판트-츠레틴 기저가 도출된다.
• 이 틀은 카호보프-라우다 순환 추측에 대한 새로운 간단한 증명을 제공한다.
• 이 방법은 맥카이, 스토시치, 바즈의 카탈로깅적 웨일 모듈에 대한 추측을 확인한다.