플래그 다양체의 동기 부여 체르니 클래스와 안정적 포락에 대한 체발리 공식

초록

이 논문은 일반화된 플래그 다양체 (G/P) 에서 슈버트 셀의 동기 부여 체르니 클래스에 임의의 라인 번들 (\mathcal L_\lambda) 을 곱하는 체발리 공식을 제시한다. 공식은 Lenart‑Postnikov의 (\lambda)-체인으로 기술되며, Ram의 affine Hecke algebra 전이 행렬과 Demazure‑Lusztig 연산자를 활용한다. 또한 K‑이론적 안정적 포락(stable envelopes)과의 동등성을 이용해 극화(polarization)와 기울기(slope) 변환에 대한 벽 교차(wall‑crossing) 공식도 얻는다. 부가적으로 듀얼리티, Whittaker 함수, Hall‑Littlewood 다항식 등에 대한 새로운 전개식과 양성(positivity) 결과를 제시한다.

상세 분석

본 연구는 세 가지 주요 수학적 구조를 연결한다. 첫째, 동기 부여 체르니 클래스 (MC_y(X(w)^\circ)) 는 Brasselet‑Schürmann‑Yokura가 정의한 K‑이론적 특성 클래스로, (y) 파라미터를 통해 이상적인 경우(예: (y=0) 또는 (y=-1))에 각각 이상적인 사상이나 고정점 클래스로 특수화된다. 둘째, affine Hecke algebra (\mathcal H) 의 두 기저 ({T_wX^\lambda})와 ({X^{-\lambda}T_{w^{-1}}^{-1}) 사이의 전이 행렬 계수 (c_{w,\lambda}^{u,\mu}) 는 Ram이 alcove walk algebra을 이용해 λ‑체인으로 명시적으로 계산된다. 이때 λ‑체인은 Lenart‑Postnikov이 제시한 루트 체인으로, 각 단계는 기본 alcove (A^\circ) 에서 (A^\circ-\lambda) 로 이동하는 반사들의 순서를 기록한다. 셋째, Demazure‑Lusztig 연산자 (T^{L}_w) 는 K‑이론적 동기 부여 체르니 클래스를 재귀적으로 생성하는데, (MC_y(X(w)^\circ)=T^{L}_w