[논문 리뷰] Wall-crossings and a categorification of $K$-theory stable bases of the Springer resolution

Changjian Su, Gufang Zhao외 1명|arXiv (Cornell University)|2019. 04. 07.

Algebraic structures and combinatorial models참고 문헌 40인용 수 5

한 줄 요약

이 논문은 스프링거 분해에서 $K$-이론 안정 기저의 벽을 횡단하는 연산자가 애질리프 히브의 애질리프 대수 내의 Demazure-Lusztig 연산자에 의해 지배됨을 확립하고, 이 기저들이 양의 특성에서의 베르마 모듈을 통해 분류됨을 증명한다. 또한 벽을 횡단하는 행렬이 양자 코hom올로지의 단형 행렬과 일치함을 보이며, 심플렉틱 분해에 대해 Bezrukavnikov와 Okounkov의 추측을 확인한다.

ABSTRACT

We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirković, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.

연구 동기 및 목표

• 스프링거 분해에서 서로 다른 알코브에 대응하는 $K$-이론 안정 기저 간의 기저 변환 행렬을 결정하는 것.
• Bezrukavnikov–Mirković–Rumynin의 국소화를 따르며, 양의 특성에서의 베르마 모듈을 사용하여 $K$-이론 안정 기저를 분류화하는 것.
• 스프링거 분해의 $K$-이론 안정 기저에 대한 벽을 횡단하는 행렬이 양자 코hom올로지의 단형 행렬과 정확히 일치함을 증명하는 것.
• 안정 기저, 히브 대수, 기하학적 표현 이론 간의 연결 고리를 $K$-이론 및 양의 특성 설정으로 확장하는 것.

제안 방법

• 컨볼루션을 통한 애질리프 대수의 작용을 이용하여, Iwahori-불변량 내의 표준 기저와 Casselman 기저와 안정 기저를 연결하는 것.
• 양의 특성에서의 리 대수에 대한 국소화 정리를 적용하여, 베르마 모듈을 통한 $K$-이론 안정 기저의 분류화를 수행하는 것.
• 고정점으로의 제약과 정규화 및 이동 공식을 통한 안정 기저 값 비교를 통해 벽을 횡단하는 행렬을 계산하는 것.
• 암시적 계산을 통해 $A_2$ 사례에서 검증된 바, 벽을 횡단하는 대체 기법으로 Demazure-Lusztig 연산자를 사용하는 것.
• 양자 연결과 양자 코hom올로지의 단형 데이터를 이용하여, 벽을 횡단하는 행렬과 비교하는 것.
• 고정점 제약에 대한 정규화 및 이동 공식((4) 및 (19) 등)을 사용하여 안정 기저 원소의 제약을 명시적으로 계산하는 것.

실험 결과

연구 질문

• RQ1 스프링거 분해의 $K$-이론 안정 기저는 알코브 선택이 변경될 때 어떻게 변환되는가?
• RQ2 다른 $K$-이론 안정 기저 간의 벽을 횡단하는 데 지배하는 대수적 구조는 무엇인가?
• RQ3 $K$-이론 안정 기저는 양의 특성에서 표현을 통해 분류화될 수 있는가?
• RQ4 스프링거 분해의 $K$-이론 안정 기저에 대한 벽을 횡단하는 행렬은 양자 코hom올로지의 단형 행렬과 일치하는가?
• RQ5 베르마 모듈과 양의 특성에서의 국소화를 통한 기하학적 및 표현 이론적 해석은 안정 기저에 대해 존재하는가?

주요 결과

• 다른 알코브에 대응하는 $K$-이론 안정 기저 간의 벽을 횡단하는 연산자는 재표기된 바에 한하여 애질리프 대수 내의 Demazure-Lusztig 연산자로 주어진다.
• Bezrukavnikov–Mirković–Rumynin 국소화를 통한 양의 특성에서의 리 대수의 베르마 모듈은 $K$-이론 안정 기저를 분류화한다.
• 스프링거 분해의 $K$-이론 안정 기저에 대한 벽을 횡단하는 행렬은 정확히 양자 코hom올로지의 단형 행렬과 일치한다.
• $A_2$ 사례에서 벽을 횡단하는 계수 $f_{s_1s_2}^{ abla_2 o abla_1} = q^{1/2} - q^{-1/2}$이며, 이는 다른 최장 원소의 경우에도 동일하게 성립한다.
• 정규화 및 이동 공식은 고정점 제약의 명시적 계산을 가능하게 하여, 벽을 횡단하는 관계의 검증을 가능하게 한다.
• 결과적으로 Bezrukavnikov와 Okounkov의 추측, 즉 심플렉틱 분해에 대해 단형–안정 기저 대응의 일반성에 대한 추측을 확인한다.