[논문 리뷰] Categorifications of the extended affine Hecke algebra and the affine q-Schur algebra S(n,r) for 2 < r < n

Marco Mackaay, Anne‐Laure Thiel|arXiv (Cornell University)|2013. 02. 13.

Algebraic structures and combinatorial models참고 문헌 13인용 수 6

한 줄 요약

이 논문은 3 ≤ r < n 인 경우 확장된 애파인 히브 기하대수와 애파인 양자 슈어 대수 bS(n,r)에 대한 분류를 도표적 2-category와 확장된 특이 소르겔 이중모듈러를 사용하여 수행한다. 논문은 2-category U(bsl_n)[y]의 y-변형을 정의하고, 도표적 확장된 이중모듈러에서 bS(n,r)[y]로의 2-함수를 정의하며, 분류된 대수의 그로텐디크 군이 bS(n,r)와 동형임을 증명함으로써 애파인 설정에서 완전한 분류를 확립한다.

ABSTRACT

We categorify the extended affine Hecke algebra and the affine quantum Schur algebra S(n,r) for 2 < r < n, using Elias-Khovanov and Khovanov-Lauda type diagrams. We also define the affine analogue of the Elias-Khovanov and the Khovanov-Lauda 2-representations of these categorifications into an extension of the 2-category of affine (singular) Soergel bimodules.

연구 동기 및 목표

• . 논문은 [MSV13]의 유한형 A 분류 결과를 애파인 설정으로 확장하고자 한다.
• 그들은 애파인 양자 슈어 대수 bS(n,r)에 대한 2-표현을 확장된 특이 소르겔 이중모듈러 위에 구성하고자 한다.
• 저자들은 도표적 2-category DEBim*_{bAr-1}에서 bS(n,r)*[y]로의 2-함수를 정의하고, 그 충실성을 증명하고자 한다.
• 핵심 목표는 분류된 대수 bS(n,r)[y]의 그로텐디크 군이 원래 대수 bS(n,r)를 복원함을 보이는 것이다.
• 논문은 y-변형된 2-category U(bsl_n)[y]의 구조와 그 카루비 코어를 연구하며, 그것이 크룰-슈미트임을 증명한다.

제안 방법

• . 저자들은 Elias-Williamson과 Khovanov-Lauda의 도표적 분류 기법을 사용하여 애파인 형 A에 대한 2-category DEBim*_{bAr-1}을 정의한다.
• 그들은 Q[y] 위에서 동차 2-모르피즘을 정의하고 deg(y) = 2로 하여 2-category U(bsl_n)의 y-변형을 구성한다.
• DEBim*_{bAr-1}에서 bS(n,r)*[y]로의 2-함수 Σn,r를 정의하며, 도표적 관계와 공액 변환 기법을 통해 충실성을 증명한다.
• 확장된 특이 소르겔 이중모듈러 위에서 Q[y,x1,...,xr]에 대한 2-표현 F′: bS(n,r)*[y] → ESBim*_{bAr-1}을 구성한다.
• 2-함수의 잘 정의성은 공액 변환을 사용하여 색깔 수가 낮은 경우로 감소시키고, 차수 조건을 점검함으로써 bS(n,r)[y]의 관계를 검증함으로써 확보된다.
• 그로텐디크 군은 F와 F′를 포함하는 가환 도표를 통해 계산되며, (y)의 가상의 영항성은 bS(n,r)[y]의 그로텐디크 군이 bS(n,r)의 것과 동형임을 연결하는 데 사용된다.

실험 결과

연구 질문

• RQ1 . 3 ≤ r < n 인 경우, 유한형 애파인 히브 기하대수와 양자 슈어 대수의 분류 결과를 애파인 설정으로 확장할 수 있는가?
• RQ2 DEBim*_{bAr-1}에서 y-변형된 애파인 양자 슈어 대수 bS(n,r)*[y]로의 2-함수는 충실하고, 가능하면 전사인가?
• RQ3 확장된 특이 소르겔 이중모듈러 ESBim*_{bAr-1} 위에서 bS(n,r)*[y]의 2-표현은 대수적 구조의 기하적 실현을 제공하는가?
• RQ4 분류된 대수 bS(n,r)[y]의 그로텐디크 군과 원래 대수 bS(n,r) 사이의 관계는 무엇인가?
• RQ5 U(bsl_n)의 y-변형은 크룰-슈미트 성질과 그로텐디크 군의 구조에 어떤 영향을 미치는가?

주요 결과

• . 2-함수 Σn,r: DEBim*_{bAr-1} → bS(n,r)*[y]는 충실함이 증명되었으며, 저자들은 그것이 전사일 것이라 추측한다.
• 2-함수 F′: bS(n,r)*[y] → ESBim*_{bAr-1}는 잘 정의되고 차수를 유지하며, bS(n,r)*[y]의 2-표현을 확립한다.
• bS(n,r)[y]의 카루비 코어의 그로텐디크 군은 bS(n,r)와 동형이며, 이는 bS(n,r)[y]가 bS(n,r)를 분류함을 증명한다.
• bS(n,r)[y]에서 y에 의해 생성된 이상은 가상의 영항성이며, 이는 bS(n,r)[y]의 그로텐디크 군이 bS(n,r)의 것과 동형임을 보장한다.
• 2-category U(bsl_n)[y]는 크룰-슈미트임이 입증되었으며, 그 2-hom 공간들이 Q 위에서 유한차원이면서 deg(y) = 2 > 0 이기 때문이다.
• 도표적 2-category DEBim*_{bAr-1}는 확장된 애파인 특이 소르겔 이중모듈러의 범주 EBim*_{bAr-1}과 2-동치이며, Elias와 Williamson의 유한형 결과를 확장한다.