[논문 리뷰] Left Demazure-Lusztig operators on equivariant (quantum) cohomology and K theory

Leonardo C. Mihalcea, Hiroshi Naruse외 1명|arXiv (Cornell University)|2020. 08. 28.

Advanced Algebra and Geometry참고 문헌 22인용 수 4

한 줄 요약

이 논문은 부분 플라그 다양체 $G/P$ 의 등변 (양자) 코homology와 K-이론에 작용하는 왼쪽 Demazure-Lusztig 연산자를 도입하며, 와일 군 원소에 의한 왼쪽 곱셈에 의해 유도되는 작용을 통해 이 연산자가 재귀적으로 쇼버트 클래스를 생성함을 증명한다. 주요 기여는 이러한 연산자가 등변 코homology와 K-이론에서 각각 Chern-Schwartz-MacPherson 및 매니폴드적 Chern 클래스를 생성하며, 양자 코homology와 K-이론으로 자연스럽게 확장되어 양자 곱과 호환되는 Leibniz 법칙을 만족함을 밝혀낸 것이다.

ABSTRACT

We study the Demazure-Lusztig operators induced by the left multiplication on partial flag manifolds $G/P$. We prove that they generate the Chern-Schwartz-MacPherson classes of Schubert cells (in equivariant cohomology), respectively their motivic Chern classes (in equivariant K theory), in any partial flag manifold. Along the way we advertise many properties of the left and right divided difference operators in cohomology and K theory, and their actions on Schubert classes. We apply this to construct left divided difference operators in equivariant quantum cohomology, and equivariant quantum K theory, generating Schubert classes, and satisfying a Leibniz rule compatible with the quantum product.

연구 동기 및 목표

• 부분 플라그 다양체 $G/P$ 의 등변 코hom로지와 K-이론에 대한 왼쪽 Demazure-Lusztig 연산자를 정의하고 연구한다.
• 이 연산자가 등변 코hom로지에서 Chern-Schwartz-MacPherson 클래스와 등변 K-이론에서 매니폴드적 Chern 클래스를 생성함을 보인다.
• 왼쪽 연산자 프레임워크를 등변 양자 코hom로지와 K-이론으로 확장하여 양자 곱과의 호환성을 유지한다.
• 쇼버트 클래스 재귀와 헤케 대수의 구조와 호환되는 기하학적 및 대수적 프레임워크를 구축한다.

제안 방법

• 논문은 와일 군 원소에 의한 왼쪽 곱셈을 통해 $G/P$ 에서 왼쪽 분할 차분 연산자를 정의하며, 이는 등변 코hom로지와 K-이론 환에 자동형사를 유도한다.
• 등변 양자 코hom로지와 K-이론에서의 양자 곱과 호환되는 왼쪽 Demazure-Lusztig 연산자를 분할 차분 연산자의 변형으로 구성한다.
• 작자들은 $\overline{\Psi}_P: K_T(G/P) \xrightarrow{\sim} R(T) \otimes_{R(G)} R(T)^{W_P}$ 를 이용해 K-이론 클래스를 표현 이론과 연결하고, 문자 공식을 통해 작용을 계산한다.
• 왼쪽/오른쪽 작용, 국소화, 그리고 푸시-풀 연산을 연결하는 교환 다이어그램을 증명하며, K-이론과 등변 코hom로지의 기존 구성과의 일관성을 보여준다.
• 왼쪽 곱셈이 등변 양자 코호모로지와 K-이론에 자동형사를 유도함을 바탕으로, 이는 쇼버트 클래스의 재귀적 생성을 가능하게 한다.
• 컨볼루션 연산자와 Harada-Landweber-Sjamaar 모델과의 연결을 통해 왼쪽 헤케 대수 작용의 기하학적 실현을 제공한다.

실험 결과

연구 질문

• RQ1 왼쪽 Demazure-Lusztig 연산자는 부분 플라그 다양체 $G/P$ 의 등변 코hom로지와 K-이론에 어떻게 작용하는가?
• RQ2 이 연산자가 $G/P$ 의 쇼버트 세포의 Chern-Schwartz-MacPherson 및 매니폴드적 Chern 클래스를 생성할 수 있는가?
• RQ3 왼쪽 연산자는 양자 곱과의 호환성을 유지하면서 등변 양자 코호모로지와 K-이론으로 확장될 수 있는가?
• RQ4 등변 코호모로지와 K-이론의 맥락에서 왼쪽과 오른쪽 와일 군 작용은 기하학적으로 및 대수학적으로 어떻게 관련되어 있는가?
• RQ5 완전 및 열화된 헤케 대수의 관점에서 왼쪽 작용의 정확한 대수적 구조는 무엇인가?

주요 결과

• 왼쪽 Demazure-Lusztig 연산자는 부분 플라그 다양체 $G/P$ 의 등변 코호모로지에서 쇼버트 세포의 Chern-Schwartz-MacPherson 클래스를 생성한다.
• 동일한 연산자는 부분 플라그 다양체 $G/P$ 의 등변 K-이론에서 쇼버트 세포의 매니폴드적 Chern 클래스를 생성한다.
• 왼쪽 연산자는 등변 양자 코호모로지와 K-이론으로 확장되며, 양자 곱과 호환되는 Leibniz 법칙을 만족한다.
• 등변 K-이론에서의 왼쪽 작용은 국소화 동형사상 $\overline{\Psi}_P$ 하에서 $1 \otimes \partial'_i$ 의 작용과 동형이며, 표현 이론과 연결된다.
• 왼쪽 및 오른쪽 작용은 $\pi_*$ 와 $\pi^*$ 를 포함하는 교환 다이어그램을 통해 각각 국소화 및 푸시-풀 맵과 가환함을 보였다.
• 왼쪽 Demazure 연산자는 컨볼루션 연산자와 일치하며, Harada-Landweber-Sjamaar 모델과 일치함을 통해 기하학적 및 대수적 프레임워크 간의 일관성을 확립한다.