[논문 리뷰] On the K-theory stable bases of the Springer resolution

Changjian Su, Gufang Zhao외 1명|arXiv (Cornell University)|2017. 08. 26.

Advanced Algebra and Geometry참고 문헌 21인용 수 12

한 줄 요약

이 논문은 애질리프 히브레드 대수 작용과 루트 다항식을 이용하여 스프링거 분해 $T^*G/B$의 K-이론적 제약 공식을 수립한다. 이는 Kostant-Kumar의 왜곡된 군 대수를 통한 K-이론적 안정 기저의 대수적 기술을 제공하고, 부분 플라그 다양체에 대한 제약 공식을 증명하며, Langlands 쌍대의 비분기 주요 시리즈 표현에서 안정 기저와 캐슬먼 기저 사이의 연결을 맺어 이들의 전이 행렬에 대한 닫힌 공식을 도출한다.

ABSTRACT

Cohomological and K-theoretic stable bases originated from the study of quantum cohomology and quantum K-theory. Restriction formula for cohomological stable bases played an important role in computing the quantum connection of cotangent bundle of partial flag varieties. In this paper we study the K-theoretic stable bases of cotangent bundles of flag varieties. We describe these bases in terms of the action of the affine Hecke algebra and the twisted group algebra of Kostant-Kumar. Using this algebraic description and the method of root polynomials, we give a restriction formula of the stable bases. We apply it to obtain the restriction formula for partial flag varieties. We also build a relation between the stable basis and the Casselman basis in the principal series representations of the Langlands dual group. As an application, we give a closed formula for the transition matrix between Casselman basis and the characteristic functions.

연구 동기 및 목표

• 스프링거 분해 $T^*G/B$에 대한 코homological 안정 기저의 K-이론적 유사체를 개발하기 위해.
• 플라그 다양체의 코 tangent 번들에 대한 K-이론적 안정 기저에 대한 제약 공식을 유도하기 위해.
• Langlands 쌍도의 비분기 주요 시리즈 표현에서 K-이론적 안정 기저와 캐슬먼 기저 사이의 연결을 수립하기 위해.
• 캐슬먼 기저와 K-이론에서의 특성 함수 사이의 전이 행렬에 대한 닫힌 표현식을 제공하기 위해.
• 루트 다항식 방법을 K-이론으로 일반화하여, 히브레드 대수 작용을 통한 안정 기저의 대수적 계산을 가능하게 하기 위해.

제안 방법

• 저자들은 안정 기저 위에서의 애질리프 히브레드 대수 작용을 계산하기 위해 강성 기법을 사용하여, Kostant-Kumar의 왜곡된 군 대수를 통한 대수적 특성화를 가능하게 한다.
• 등변 $K$-이론 $K_{G imes bC^*}(Z)$의 스텐베르크 다양체를 통해 안정 기저를 정의하며, 이는 애질리프 히브레드 대수와 동형이다.
• 루트 다항식을 사용하여 제약 공식을 유도하며, Billey–Graham–Willems 방법을 K-이론으로 일반화한다. 이는 $q$-변형과 $e^\alpha$-항을 포함한 명시적 표현을 수반한다.
• 제약 계산은 $T_w'$ 및 $T_w$ 연산자를 통해 이루어지며, $q^{-\ell(w)/2}$와 $q^{\ell(w_{0}w)/2}$를 포함한 정규화 인자를 수반한다.
• 위트너 기능과 $\tilde{L}_\tau$ 사상은 위트너 기능을 통해 등변 오일러 특성수를 $K$-이론적 위트너 함수와 일치시키며, 캐슬먼 기저와의 연결을 확립한다.
• 전이 행렬은 $\tilde{\Gamma}_\tau(\mu)$ 구성과 $\tilde{W}_\tau(\mu)$ 기능을 통해 계산된다.

실험 결과

연구 질문

• RQ1 애질리프 히브레드 대수와 왜곡된 군 대수를 이용하여 $T^*G/B$의 K-이론적 안정 기저를 어떻게 대수적으로 기술할 수 있는가?
• RQ2 부분 플라그 다양체에 대한 K-이론적 안정 기저에 대한 제약 공식은 무엇이며, 이는 코homological 경우를 어떻게 일반화하는가?
• RQ3 K-이론적 안정 기저는 Langlands 쌍도의 비분기 주요 시리즈 표현에서 캐슬먼 기저와 어떻게 관련이 있는가?
• RQ4 캐슬먼-샤리카 공식의 K-이론적 해석은 무엇이며, 이는 위트너 함수와 어떻게 관련이 있는가?
• RQ5 등변 $K$-이론에서 캐슬먼 기저와 특성 함수 사이의 전이 행렬에 대해 닫힌 공식을 유도할 수 있는가?

주요 결과

• K-이론적 안정 기저 $\operatorname{stab}_{\pm}(w)$는 애질리프 히브레드 대수 작용에 의해 생성된다: $\operatorname{stab}_{+}(w) = q^{-\ell(w)/2} T_{w^{-1}}' \cdot \operatorname{stab}_{+}(e)$ 및 $\operatorname{stab}_{-}(w) = q^{\ell(w_{0}w)/2} (T_{w_{0}w})^{-1} \cdot \operatorname{stab}_{-}(w_0)$.
• 제약 공식이 수립된다: $\operatorname{stab}_{+}(w)|_v = q^{-\ell(w)/2} v(a^{+}_{w^{-1},v^{-1}}) \prod_{\alpha>0}(1-e^{\alpha})$, $\operatorname{stab}_{-}(w)$에 대해서는 $K^{\tau}_{w,v}$와 $q$-변형 항을 포함한 유사한 표현이 존재한다.
• 캐슬먼 기저와 특성 함수 사이의 전이 행렬은 $\tilde{\Gamma}_\tau(\mu)$와 $q$-변형된 $e^{\alpha}$-항을 포함하는 닫힌 공식으로 주어진다.
• $K$-이론적 위트너 기능 $\tilde{L}_\tau$는 $\prod_{\beta>0}(1-q^{-1}e^{\beta}(\tau)) \cdot p_*(-\otimes \mathcal{O}(\rho))$로 정의되며, 이는 위트너 함수의 $K$-이론적 유사체와 일치한다.
• 캐슬먼-샤리카 공식은 $K$-이론에서 해석된다: $\tilde{W}_\tau(\mu) = W_\tau(\varpi^\mu)$로, 고전적 공식의 $K$-이론적 유사체를 확인한다.
• 캐슬먼 기저와 특성 함수 사이의 전이 행렬은 명시적으로 $q^{\dim G/B} \delta_B(\varpi^\mu)^{1/2} \sum_w e^{w\mu}(\tau) \prod_{\beta>0} \frac{1 - q^{-1} e^{-w\beta}(\tau)}{1 - e^{-w\beta}(\tau)}$로 계산된다.