[논문 리뷰] Canonical bases of loop algebras via quot schemes II

Olivier Schiffmann|arXiv (Cornell University)|2004. 08. 29.

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

한 줄 요약

이 논문은 스타 다이녹 심블을 가진 카크-무디 대수에 관련된 양자 루프 대수의 양의 반쪽에 대한 표준 기저를 구성한다. 이를 위해 매끄럽고 사영적인 곡선 X에 대해 유한군 작용 G가 존재하고 X/G ≅ ℙ¹인 일관된 코herent sheaf의 Quot 스킴 위의 G-등변 가시적 복합체 층을 사용한다. 핵심 결과는 이러한 층들의 컨볼루션 대수의 완비화와 유한 및 온전한(타원 곡선) 경우의 양자 루프 대수의 완비화된 양의 부분과의 위상 동형을 증명하는 것으로, 이는 비-카크-무디 양자 토로이드 대수에 대한 첫 번째 표준 기저를 확립한다.

ABSTRACT

This paper is a sequel (and contains a better treatment) of math.QA/0404032; We construct some canonical bases for quantum toroidal algebras of types D_4, E_6, E_7, E_8 using perverse sheaves on quot schemes parametrizing equivariant coherent sheaves on elliptic curves. We also study some compatibility properties of these bases with some natural filtrations and modules.

연구 동기 및 목표

• 양자 군에서의 기하적 표준 기저 구성 방법을 양자 루프 대수로 확장하여, 비-카크-무디 설정에서도 적용 가능하게 하는 것.
• 코herent sheaf 카테고리에서 부분모듈의 격자에 존재하는 무한 깊이 문제를 다루기 위해 Quot 스킴의 귀납적 극한이 필요하다는 점을 해결하는 것.
• G-등변 가시적 복합체 층의 컨볼루션 대수를 통해 양자 루프 대수의 양의 부분을 기하학적으로 실현하는 것.
• 이 대수의 완비화가 유한 및 온전한 경우에서 양자 루프 대수의 완비화된 양의 부분과 동형임을 증명하는 것.
• D₄, E₆, E₇, E₈ 유형의 비-카크-무디 양자 토로이드 대수에서 표준 기저의 존재를 확립하는 것.

제안 방법

• 매끄럽고 사영적인 곡선 X에 대해 X/G ≅ ℙ¹인 G-등변 코herent sheaf의 카테고리 사용으로, 기존의 퀼리 또는 가중 사영선 설정을 대체한다.
• 고정된 sheaf의 몫을 매개변수화하는 Quot 스킴 위에서 G-등변, 단순, 가시적 복합체 층으로부터 컨볼루션 대수 𝔻_𝔸를 구성한다.
• 표준 기저는 이 컨볼루션 대수에 나타나는 모든 단순 편향 층의 집합으로 정의되며, 이들이 대수의 완비화 𝔻_𝔸를 생성함을 보여준다.
• 전이 함자, sheaf 카테고리 간의 유도 및 제한 함자, 그리고 하드러-나라시안 필터링을 사용하여 안정적 및 비안정적 층을 분석하는 방법을 포함한다.
• 완비화된 양자 루프 대수와의 동형 증명은 Quot 스킴의 귀납적 극한과 부분모듈 격자의 구조에 기반한다.
• 이 구성은 두 가지 주요 경우에서 검증된다: X = ℙ¹일 때(유한 유형, 양자 아핀 대수를 주는 경우)와 X가 타원 곡선이고 G = ℤ/nℤ일 때(온전한 유형, 양자 토로이드 대수를 주는 경우).

실험 결과

연구 질문

• RQ1 카크-무디 대수의 스타 다이녹 심블을 가진 양자 루프 대수의 양의 반쪽에 대해 기하적 방법을 사용하여 표준 기저를 구성할 수 있는가?
• RQ2 코herent sheaf 카테고리에서 부분모듈 격자의 무한 깊이 문제는 어떻게 다뤄져야 하며, 잘 정의된 기저를 정의할 수 있는가?
• RQ3 G-등변 가시적 복합체 층의 컨볼루션 대수는 유한 및 온전한 경우에서 완비화된 양자 루프 대수의 양의 부분과 동형인가?
• RQ4 이 구성은 비-카크-무디 대수인 양자 토로이드 대수에서 표준 기저를 제공하는가?
• RQ5 단순 편향 층으로 이루어진 표준 기저의 매개변수화 및 기하적 기술은 무엇인가?

주요 결과

• Quot 스킴 위의 G-등변 가시적 복합체 층으로 구성된 대수 𝔻_𝔸는 단순 편향 층으로 이루어진 표준 기저를 가지며, 이는 완비화 𝔻_𝔸̂를 생성한다.
• 유한 유형의 경우(X = ℙ¹), 완비화 𝔻_𝔸̂ ⊗ ℂ(v)는 양자 아핀 대수 𝒰_v(ℒ𝔰ₗ₂)의 완비화된 양의 부분과 동형이 되며, 드리플린의 표현에서 𝒰_v(ℒ𝔫)에 대한 표준 기저를 제공한다.
• 온전한 유형의 경우(X가 타원 곡선이고 G = ℤ/nℤ), 완비화 𝔻_𝔸̂ ⊗ ℂ(v)는 양자 토로이드 대수의 완비화된 양의 부분과 동형이 되며, 이는 비-카크-무디 대수에서 처음으로 표준 기저를 확립한다.
• 이 구성은 D₄, E₆, E₇, E₈ 유형의 비-카크-무디 양자 토로이드 대수에 대해 표준 기저를 제공하며, 이러한 기저 원소들의 기하적 매개변수화를 제공한다.
• 부분모듈 격자의 무한 깊이 문제는 Quot 스킴의 귀납적 극한을 사용하고 하드러-나라시안 필터링을 통해 층을 분해함으로써 성공적으로 다루어진다.
• 동형은 층 시퀀스의 인자 수에 대한 귀납법을 통해 증명되며, Quot 스킴 사이의 통합 사상과 기저가 대수 구조에서 닫혀 있음을 검증함으로써 이루어진다.