[논문 리뷰] Quiver Hecke algebras and 2-Lie algebras

Raphaël Rouquier|arXiv (Cornell University)|2011. 12. 15.

Algebraic structures and combinatorial models참고 문헌 20인용 수 8

한 줄 요약

이 논문은 쿠이버 히크 대수와 2-리 대수 사이의 깊은 연결 고리를 설정하며, 카크-무디 대수의 반을 및 그 양자군을 분류화하는 2-범주적 프레임워크를 구축한다. 퀼리 그라스만يان 위의 펄스프 시브 층의 범주는 근본 기저를 분류화하며, 순환 쿠이버 히크 대수는 보편 단순 2표현을 실현하고, 분해 불가능 프로젝티브 모듈이 근본 기저 벡터에 대응함을 보여준다—에리키의 정리를 일반화한 것이다.

ABSTRACT

This text provides an introduction and complements to some basic constructions and results in 2-representation theory of Kac-Moody algebras.

연구 동기 및 목표

• 쿼이버 히크 대수를 사용하여 카크-무디 대수의 2-범주적 프레임워크를 개발하여 반 카크-무디 대수를 분류화한다.
• 쿼이버 표현의 모듈리 스택과 펄스프 시브 층을 통한 쿠이버 히크 대수의 기하적 실현을 수립한다.
• 순환 쿠이버 히크 대수 위의 분해 불가능 프로젝티브 모듈의 범주가 최고 무게 표현의 근본 기저에 대응함을 증명한다.
• 퀼리 그라스만يان 위의 시브 층의 범주에 대한 2표현이 보편 단순 2표현과 동치임을 보인다.
• 2표현과 컨볼루션 함수를 통한 근본 기저의 대수적·기하적 구성 간 통합을 도모한다.

제안 방법

• 다항식 실현을 통한 쿠이버 히크 대수의 구축과 함께, 카크-무디 대수의 반을 분류화함을 보인다.
• 쿼이버 표현의 모듈리 스택 위에서의 컨볼루션 함수를 사용하여, 카크-무디 대수의 2-category에 대한 2표현을 정의한다.
• 루스지츠의 퀄리 그라스만얀 위의 펄스프 시브 층의 범주를 적용하여 쿠이버 히크 대수의 모노이드 범주의 실현을 한다.
• 유도된 시브 층의 범주 위에서 컨볼루션 함수의 작용이 보편 단순 2표현과 동형인 2표현을 유도함을 보인다.
• 퀼리 그라스만얀 위의 시브 층의 범주의 코호몰로지 군이 양자군의 작용을 통해 단순 최고 무게 모듈을 실현함을 증명한다.
• 정의의 미세국소화된 시브 층 범주를 사용하여, 그레디에이션된 2표현을 구성하며, 그 코호몰로지 군이 최고 무게 λ의 단순 모듈과 동형임을 보인다.

실험 결과

연구 질문

• RQ1 쿼이버 히크 대수를 어떻게 사용하여 카크-무디 대수의 반과 그 양자군을 분류화할 수 있는가?
• RQ2 쿼이버 표현의 모듈리 스택과 펄스프 시브 층을 통한 쿠이버 히크 대수의 기하적 실현은 무엇인가?
• RQ3 순환 쿠이버 히크 대수는 카크-무디 대수의 2-category에 대한 보편 단순 2표현과 어떻게 관련이 있는가?
• RQ4 순환 쿠이버 히크 대수 위의 분해 불가능 프로젝티브 모듈은 기약 최고 무게 모듈의 근본 기저 벡터에 대응하는가?
• RQ5 퀼리 그라스만얀 위의 시브 층의 범주에 대한 2표현이 보편 단순 2표현과 동치임을 증명할 수 있는가?

주요 결과

• 쿼이버 표현의 모듈리 스택 위의 펄스프 시브 층의 범주는 쿠이버 히크 대수의 모노이드 범주와 동치이며, 이는 기하적 분류화를 수립한다.
• 퀼리 그라스만얀 위의 시브 층의 유도된 범주 위에서 컨볼루션 함수의 작용은 보편 단순 2표현과 동형인 2표현을 유도한다.
• 퀼리 그라스만얀 위의 시브 층의 범주의 코호몰로지 군은 양자군의 작용을 통해 단순 최고 무게 모듈을 실현하며, E_i와 F_i의 작용은 세르 관계를 만족한다.
• 특성 0의 체 위에서 순환 쿠이버 히크 대수의 분해 불가능 프로젝티브 모듈은 기약 최고 무게 모듈 L(λ)의 근본 기저 원소에 대응한다.
• 범주 P(λ) 위의 2표현은 보편 단순 2표현과 동치이며, 2-category A(Γ)의 그레디에이션된 작용은 컨볼루션 작용으로부터 연장된다.
• 등식 (B(λ) ⊗k k^Γ ⊗Z Q̄_l)^i-gr ≅ P(λ)가 성립하며, 이는 근본 기저가 시브 층 범주를 통해 기하적으로 실현됨을 증명한다.