[논문 리뷰] Derived equivalences for symmetric groups and sl\_2-categorification

Joseph Chuang, Raphaël Rouquier|ArXiv.org|2004. 07. 12.

Algebraic structures and combinatorial models참고 문헌 17인용 수 71

한 줄 요약

이 논문은 아벨 범주 위에서 ${\mathfrak{sl}}_2$-분류화를 도입하여, 분류화된 단순 반사가 유도 및 호모토피 범주에서 자기준동형사상으로 작용함을 증명한다. 또한, 동일한 결함군을 가진 대칭군의 블록들이 뛰어난 리카르드 동치임을 보이며, 이는 대칭군에 대한 브우에의 아벨 결함군 추측을 확인하는 바이며, 유한체 위의 일반선형군과 순환 헤케 대수로의 결과를 확장한다.

ABSTRACT

We define and study sl\_2-categorifications on abelian categories. We show in particular that there is a self-derived (even homotopy) equivalence categorifying the adjoint action of the simple reflection. We construct categorifications for blocks of symmetric groups and deduce that two blocks are splendidly Rickard equivalent whenever they have isomorphic defect groups and we show that this implies Broué's abelian defect group conjecture for symmetric groups. We give similar results for general linear groups over finite fields. The constructions extend to cyclotomic Hecke algebras. We also construct categorifications for category O of gl\_n(C) and for rational representations of general linear groups over an algebraically closed field of characteristic p, where we deduce that two blocks corresponding to weights with the same stabilizer under the dot action of the affine Weyl group have equivalent derived (and homotopy) categories, as conjectured by Rickard.

연구 동기 및 목표

• 아벨 범주 위에서 $E$와 $F$라는 함자를 포함하는 ${\mathfrak{sl}}_2$-분류화의 일반적 프레임워크를 수립하고, $X$와 $T$라는 자기환원형 사상이 열거된 애드조인트와 함께 분해된 애프린 헤케 대수의 관계를 만족시킴.
• 리카르드의 복합체를 통한 분류화된 단순 반사가 유도 및 호모토피 범주에서 자기준동형사상으로 작용함을 증명함으로써, 블록들 사이의 유도 동치를 가능하게 함.
• 동일한 결함군을 가진 대칭군의 두 블록이 뛰어난 리카르드 동치임을 보이며, 이는 브우에의 아벨 결함군 추측이 이 경우에 성립함을 확인함.
• 일반선형군과 유한체 위의 순환 헤케 대수로 분류화 기법을 확장함.
• 그라스만이안의 코homology를 통한 최소 분류화를 실현하고, 분류화된 반사 함자와 이들의 실현에서의 딜로지 함수사상 간의 동치를 보임.

제안 방법

• 정확한 함자 $E$와 $F$를 아벨 범주 위에서 정의하고, $X$(on $E$)와 $T$(on $E^2$)라는 자기환원형 사상이 분해된 애프린 헤케 대수의 관계를 만족시키도록 함.
• 분해된 애프린 헤케 대수의 몫을 사용하여 최소 분류화를 구성하며, 이는 그라스만이안의 코homology 환과 모리타 동치임.
• 일반적인 ${\mathfrak{sl}}_2$-분류화의 연구를 최소 사례로 줄이기 위해 최소 분류화에서 다른 분류화로의 함자를 사용함.
• 분류화된 반사 함자 $\Theta$를 함자의 복합체로 실현하고, 최소 사례에서의 명시적 계산을 통해 유도 및 호모토피 범주에서 자기준동형사상으로 작용함을 증명함.
• 최소 분류화에서 $\Theta$가 (적절한 이동을 제외하고) 아벨 범주에서의 자기준동형사상이 되므로 일반 결과를 도출함.
• 그로텐디크 군에서 분류화된 $[E,F]$ 관계를 구성하여, ${\mathfrak{sl}}_2$에서의 $[e,f]=h$ 관계에 해당하는 분류화된 형태를 얻음.

실험 결과

연구 질문

• RQ1 아핀 웨일 군에서 단순 반사의 수반 작용이 유도 및 호모토피 범주에서 자기준동형사상으로 분류화될 수 있는가?
• RQ2 동일한 결함군을 가진 대칭군의 두 블록이 동일한 유도 범주를 가질 수 있는가?
• RQ3 유도 동치가 뛰어난 리카르드 동치를 암시하므로, 대칭군에 대해 브우에의 아벨 결함군 추측이 참인가?
• RQ4 분류화 프레임워크는 일반선형군과 유한체 위의 순환 헤케 대수로 확장될 수 있는가?
• RQ5 그라스만이안 코homology 실현에서 분류화된 반사 함자와 딜로지 함수사상은 동치인가?

주요 결과

• 분류화된 단순 반사 $\Theta$는 Theorem 6.4에서 증명된 바와 같이 유도 및 호모토피 범주에서 자기준동형사상으로 작용함.
• 동일한 결함군을 가진 대칭군의 두 블록은 뛰어난 리카르드 동치이며, 이는 브우에의 아벨 결함군 추측이 대칭군에 대해 성립함을 의미함.
• 차원 $n+1$인 단순 ${\mathfrak{sl}}_2$-모듈의 최소 분류화는 $G_{i,n}$의 코homology를 통해 실현되며, $A_i = H^*(G_{i,n})$임.
• $E^{(1,r)}$ 함자는 최소 분류화에서 $H^*(G_{i,i+r})$에 의해 주어지는 이중모듈러 함자와 동치이며, 이는 분할 거듭제곱의 기하적 실현을 제공함.
• $D^b(H^*(G_i){\rm -mod})$에 제한된 분류화된 반사 $\Theta[-i]$는 조건 $\{(V,V') \mid V \cap V' = 0\}$를 만족하는 라그랑주 그라스만이안 부분다양체의 코homology에 의해 주어지는 함자와 동치임.
• $E^2$ 위의 자기환원형 사상 $T$는 ${\mathbf{P}}^1$-포장 $\pi: G_{i,i+1} \times_{G_{i+1}} G_{i+1,i+2} \to G_{i,i+2}$를 통해 구성되며, $T(c_1(L_{i+1})) = c_1(L_{i+2}) - 1$를 만족하고, 필요한 $R$-행렬의 구조를 제공함.