[논문 리뷰] TQFT with corners and tilting functors in the Kac-Moody case

Catharina Stroppel|ArXiv.org|2006. 05. 03.

Algebraic structures and combinatorial models참고 문헌 46인용 수 24

한 줄 요약

이 논문은 대칭가능한 Kac-Moody 케이스에서 분해 불가능한 프로젝티브 함자를 분류하며, Frenkel과 Malikov의 추측을 증명한다. 이 함자들이 전체 프로젝티브 기울임 대상 위에서의 작용에 의해 결정됨을 보이고, 끈 막대 뚜렷이 연결된 막대 위상수학적 이론(TQFT)을 자연 변환을 통해 끈 막대 코보르디즘에 관련된 함자들 간에 구성한다.

ABSTRACT

We study projective functors (i.e. direct summands of compositions of translations through walls) for parabolic versions of $\cO$ as well as for integral regular blocks outside the critical hyperplanes in the symmetrizable Kac-Moody case. It turns out that in both situations the functors are completely determined by their restriction to the additive category generated by (the limit of) a `full projective tilting' object. We describe how projective functors in the parabolic setup give rise to an invariant of tangle cobordisms and formulate a conjectural direct connection to Khovanov homology. Our main result, however, is the classification theorem for indecomposable projective functors in the Kac-Moody case verifying a conjecture of F. Malikov and I. Frenkel.

연구 동기 및 목표

• 대칭가능한 Kac-Moody 케이스에서 분해 불가능한 프로젝티브 함자를 분류하고, Frenkel과 Malikov의 추측을 검증한다.
• Str05에서 제시한 함성적 끈 막대 불변량을 방향이 있는 끈 막대와 코보르디즘으로 확장하여, 모서리가 있는 3차원 TQFT를 도출한다.
• 조합적 구조를 통해 파라불릭 카테고리 O의 프로젝티브 함자와 Khovanov 호몰로지 사이의 직접적인 연결 고리를 설정한다.
• Kazhdan-Lusztig의 텐서 곱을 피하고, 번역 함자를 통해 프로젝티브 함자를 정의함으로써 이전 증명의 빈도를 피한다.
• 프로젝티브 함자들이 전체 프로젝티브 기울임 대상의 제한에 의해 완전히 결정됨을 보인다.

제안 방법

• 기본 블록과 정규 정수 블록의 카테고리 O에서 벽을 넘는 번역 함자의 합성의 직접 합성으로서 프로젝티브 함자를 정의한다.
• 구조 정리를 사용하여 함자들의 Hom-공간과 그들이 전체 프로젝티브 기울임 대상에 작용하는 방식의 Hom-공간을 연결한다.
• 끈 막대 코보르디즘 간의 자연 변환을 할당하여 방향이 있는 끈 막대 코보르디즘의 함성적 불변량을 구성한다.
• 이 불변량이 스칼라를 제외한 상수에 대해 잘 정의되어 있음을 증명하고, 모서리가 있는 다각형에 대한 3차원 TQFT를 도출한다.
• 기울임 등가와 중심 이론을 적용하여 함자들을 기울임 모듈과 Kac-Moody 설정에서의 프로젝티브 대상과 연결한다.
• 분해 불가능한 프로젝티브 함자들의 동형류, 분해 불가능한 기울임 대상, 그리고 해당 블록에서의 분해 불가능한 프로젝티브 대상 간의 자연 이분사 사상 수립.

실험 결과

연구 질문

• RQ1 Kac-Moody 케이스에서의 프로젝티브 함자는 어떻게 분류될 수 있으며, 이는 Frenkel과 Malikov의 추측을 확인하는가?
• RQ2 파라불릭 카테고리 O에서의 프로젝티브 함자는 전체 프로젝티브 기울임 대상 위에서의 작용에 의해 완전히 결정되는가?
• RQ3 프로젝티브 함자 카테고리와 Khovanov 호몰로지 사이에 직접적인 조합적 연결 고리가 존재하는가?
• RQ4 함자들 간의 자연 변환은 어떻게 모서리가 있는 3차원 TQFT를 유도하는가?
• RQ5 중심과 기울임 등가의 역할은 Kac-Moody 설정에서 프로젝티브 함자를 분류하는 데 어떤 기여를 하는가?

주요 결과

• Kac-Moody 케이스에서 분해 불가능한 프로젝티브 함자에 대한 분류 정리가 증명되었으며, Frenkel과 Malikov의 추측을 확인한다.
• 파라불릭 카테고리 O에서의 프로젝티브 함자는 전체 프로젝티브 기울임 대상의 극한에 의해 생성된 가환 카테고리 위에서의 제한에 의해 완전히 결정된다.
• 모서리가 있는 3차원 TQFT가 구성되었으며, 끈 막대 코보르디즘이 함자들 간의 자연 변환을 유도하고 스칼라를 제외한 상수에 대해 불변량을 형성한다.
• 구조 정리를 통해 프로젝티브 함자들 간의 Hom-공간은 그들이 전체 프로젝티브 기울임 모듈에 작용하는 방식의 Hom-공간과 동형이다.
• 분해 불가능한 프로젝티브 함자들의 동형류, 분해 불가능한 기울임 대상, 그리고 해당 블록에서의 분해 불가능한 프로젝티브 대상 간에 자연 이분사 사상이 존재한다.
• 프로젝티브 함자들에 대해 Krull-Remak-Schmidt 성질이 성립하여, 분해 불가능한 합성의 유일한 분해가 보장된다.