Relativistic Toda Lattice and Equivariant $K$-Homology of Affine Grassmannian

기술 요약: 상대론적 토다 격자(Relativistic Toda Lattice)와 아핀 그래스만 다양체의 공변적 K-호몰로지

문제 제기
본 논문은 $G=SL_n(\mathbb{C})$에 대한 플래그 다양체 $G/B$의 $T$-공변적 양자 $K$-이론(T-equivariant quantum $K$-theory)과 아핀 그래스만 다양체 $Gr_{SL_n}$의 $T$-공변적 $K$-호몰로지(T-equivariant $K$-homology)의 맥락에서 "양자가 아핀과 같다(quantum equals affine)" 현상을 조사한다. 비공변적 버전의 이 대응 관계는 이전에 상대론적 토다 격자를 사용하여 탐구된 바 있으나, 공변적 사례의 경우 더 엄밀한 대수적 실현이 필요했다. 본 연구가 다루는 핵심 과제는 국소화된 양자 $K$-환(localized quantum $K$-ring) $QK_T(SL_n(\mathbb{C})/B)$와 공변적 $K$-호몰로지 환 $K_T^*(Gr_{SL_n})$을 연결하는 $K$-페테르손 동형 사상(K-Peterson isomorphism)—즉, 각각의 슈베르트 기저(Schubert bases) 사이의 대응 관계를 확립하는 것—을 명시적으로 구성하는 것이다.

방법론
저자들은 Ruijsenaars가 도입한 **상대론적 토다 격자(relativistic Toda lattice)**를 활용하는 적분 가능한 계(integrable systems) 접근법을 채택한다. 방법론은 다음과 같은 단계로 진행된다:

1. 기하학적 설정: 저자들은 상대론적 토다 격자의 위상 공간 $Y$와 $PGL_n(\mathbb{C})$와 관련된 중심화자 가족(centralizer family) $Z$를 정의한다. 이들은 이 다양체들의 좌표 환(coordinate rings)이 각각 양자 $K$-환과 공변적 $K$-호몰로지의 다항식 버전에 대응함을 확립한다:
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. 유리 사상(Birational Map) 구성: 상대론적 토다 격자 방정식을 풀음으로써, 저자들은 열린 조밀 부분 집합 $Y^\circ$와 $Z^\circ$ 사이의 유리 사상 $\Phi_n$을 구성한다. 이 사상은 토다 격자의 동역학적 변수 $(z_i, Q_i)$를 중심화자 가족으로부터 유도된 특정 $\tau$-함수($\tau_i$) 및 $\sigma$-함수($\sigma_i$)를 포함하는 유리 식들로 보내는 유 рациона 치환(rational substitution)을 통해 정의된다.
3. 대수적 실현: 본 논문은 양자 이중 그로텐디크 다항식(quantum double Grothendieck polynomials, $G_w^Q$)을 통한 양자 $K$-환의 제시와, $K$-이론적 이중 $k$-슈르 함수($\tilde{g}_x^{(k)}$)를 통한 아핀 $K$-호몰로지의 실현이라는 최근의 발전을 활용한다.
4. 가환 도식: 저자들은 $\Phi_n$이 특정 대수 자기 동형 사상 $\sigma$에 의해 뒤틀렸을 때($\tilde{\Phi}_n = \sigma \circ \Phi_n$), Kato의 추상적 $K$-페테르손 사상과 가환 도식을 형성함을 입증한다.

주요 기여 및 결과

• $K$-페테르손 사상의 명시적 대수적 실현: 주요 결과(정리 1.1)는 $K$-페테르손 동형 사상에 대한 명시적인 공식을 제공한다. 이 사상 $\tilde{\Phi}_n$은 양자 슈베르트 클래스 $Q^\xi G_w^Q(z|\eta)$를 아핀 슈베르트 클래스 $\tilde{g}_{x\omega_k}^{(k)}(y|b)$로 보내는데, 여기서 $x = w t_\xi$이고 $\omega_k$는 아핀 Weyl 군에 대한 특정 침사(involution)이다. 이는 두 기저 사이의 구체적인 조합론적 대응 관계를 확립한다.
• 데마주 연산자의 인터트위닝(Intertwining): 저자들은 구성된 사상이 양자 측의 양자 데마주 연산자($D_i^Q$)와 아핀 측의 아핀 데마주 연산자($D_i$)의 작용을 (침사 $\omega_k$에 의해) 서로 엮어줌(intertwine)을 증명한다. 이 성질은 가장 긴 원소(longest element)로부터 모든 슈베르트 클래스로 대응 관계를 확장하는 데 결정적이다.
• 행렬식 공식: $k$-작은 분할(partition $\lambda$가 $\lambda_1 + \ell(\lambda) \leq n$을 만족하는 경우)에 대해, 저자들은 $K$-이론적 이중 $k$-슈르 함수 $\tilde{g}_\lambda^{(k)}(y|b)$와 그 비폐쇄적(non-closed) 대응물 $g_\lambda^{(k)}(y|b)$에 대한 명시적인 행렬식 공식을 유도한다. 이 공식들은 이 함수들을 중심화자 가족의 좌표 함수들을 포함하는 행렬의 행렬식으로 표현한다.
• 인수 분해 공식: 주 정리의 직접적인 응용으로서, 저자들은 유일한 최대 $k$-기약 $k$-유계 분할 $\nu_n$에 대한 $K$-이론적 이중 $k$-슈르 함수의 인수 분해 공식을 유도한다(정리 1.2). 이 공식은 $\tilde{g}_{\nu_n}^{(k)}$를 더 단순한 함수들과 $\tau$-함수 관련 항들의 곱으로 표현하며, 이는 비공변적 설정에서의 추측을 확인해 준다.

의의
본 논문은 공변적 설정에서 $K$-페테르손 동형 사상의 구체적인 대수적 정식화를 제공한다는 점에서 의의를 갖는다. 상대론적 토다 격자 이론에 기반함으로써, 저자들은 이 동형 사상의 조합론적 구조에 대한 새로운 통찰을 제공한다. 특히, 본 연구는 양자 이중 그로텐디크 다항식과 $K$-이론적 이중 $k$-슈르 함수 사이의 간극을 메움으로써, 양자 기하학과 아핀 기하학 간의 결과 전이를 가능하게 한다. 최대 $k$-기약 분할에 대한 인수 분해 공식의 유도는 이 이론의 일관성과 유용성에 대한 비자명한 검증 역할을 한다. 본 결과는 Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono, Yamaguchi의 선행 연구를 바탕으로 하며, 적분 가능한 계와 공변적 양자 $K$-이론 사이의 연결을 공고히 한다.