[논문 리뷰] Frozen Pipes: Lattice Models for Grothendieck Polynomials

Ben Brubaker, Claire Frechette외 3명|arXiv (Cornell University)|2020. 07. 08.

Advanced Combinatorial Mathematics참고 문헌 31인용 수 7

한 줄 요약

이 논문은 양방향 이중 \/$(\beta,q)$-그로텐디크 다항식을 양자 통합계와 대수적 K-이론 사이의 연결 고리로 삼는 해석 가능한 격자 모형의 분할 함수로 도입한다. 양-바이저 방정식과 $U_q(\widehat{\mathfrak{sl}}_{n+1})$ R-행렬의 드린펠트 변환을 사용하여, 저자들은 이중 $\beta$-그로텐디크 다항식에 대한 새로운 코시 항등식과 분할 규칙을 증명하며, 폼킨-키릴로프의 결과를 일반화한다.

ABSTRACT

We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(\widehat{\mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $β$-Grothendieck polynomials and dual double $β$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $β$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $β$-Grothendieck polynomials, and prove a new branching rule for double $β$-Grothendieck polynomials.

연구 동기 및 목표

• 이중 \/$\beta$-그로텐디크 다항식을 일반화한 두 파라미터 다변수 다항식의 가닥을, 분할 쌍에 따라 인덱싱하는 것.
• 이 다항식들이 양자군의 구조를 지닌 해석 가능한 격자 모형의 분할 함수로 나타남을 보이는 것.
• 격자 모형의 양-바이저 방정식을 사용하여 $K$-이론적 쇼브레르 계산에서 새로운 항등식과 구조적 결과를 도출하는 것.
• 폼킨-키릴로프의 코시 항등식을 재증명하고 일반화하며, 이중 $\beta$-그로텐디크 다항식에 대한 분할 규칙을 수립하는 것.

제안 방법

• 분할 차분 연산자를 통해 이중 이방향 $(\beta,q)$-그로텐디크 다항식을 재귀적으로 정의한다.
• 이중 이방향 다항식과 분할 함수가 일치하는 해석 가능한 격자 모형을 구축한다.
• 모형의 양자군을 $U_q(\widehat{\mathfrak{sl}}_{n+1})$ R-행렬의 드린펠트 변환으로 식별한다.
• 양-바이저 방정식을 사용하여 다항식의 조합적 항등식과 구조적 성질을 도출한다.
• 도표적 계산법과 격자 모형의 대칭성을 활용하여 항등식과 분할 규칙을 증명한다.
• 모형의 구조를 활용하여 폼킨-키릴로프의 코시 항등식을 재증명하고 일반화한다.

실험 결과

연구 질문

• RQ1 어떻게 이중 $\beta$-그로텐디크 다항식과 그 이중형을 해석 가능한 격자 모형을 통해 통합할 수 있는가?
• RQ2 이중 이방향 $\beta$-그로텐디크 다항식을 위한 격자 모형의 해석성에 기여하는 양자군의 구조는 무엇인가?
• RQ3 격자 모형의 양-바이저 방정식을 사용하여 이중 이방향 $\beta$-그로텐디크 다항식에 대한 새로운 코시 항등식을 유도할 수 있는가?
• RQ4 이중 $\beta$-그로텐디크 다항식의 분할 규칙은 무엇이며, 어떻게 격자 모형으로부터 유도되는가?
• RQ5 격자 모형의 분할 함수는 $K$-이론적 쇼브레르 계산의 계수를 어떻게 표현하는가?

주요 결과

• 이중 이방향 $(\beta,q)$-그로텐디크 다항식은 드린펠트 변환된 $U_q(\widehat{\mathfrak{sl}}_{n+1})$ R-행렬을 갖는 해석 가능한 격자 모형의 분할 함수로 나타남을 보였다.
• 격자 모형의 양-바이저 방정식을 사용하여 이중 이방향 $\beta$-그로텐디크 다항식에 대한 새로운 코시 항등식을 증명하였다.
• 격자 모형 프레임워크와 도표적 계산법을 활용하여 폼킨-키릴로프의 코시 항등식을 재증명하였다.
• 이중 $\beta$-그로텐디크 다항식에 대한 분할 규칙을 수립하였다: $\mathcal{G}^{(\beta)}_w(\mathbf{x};\mathbf{y}) = \sum_{v \in I_w} \left(\prod_{i=1}^n d_i\right) \mathcal{G}^{(\beta)}_{v^{-}}(x_2,\ldots,x_n; y_1,\ldots,y_{n-1})$, 여기서 $d_i$ 는 $w(i)$ 와 $v(i+1)$ 의 비교에 따라 달라진다.
• 그라스만 수열 순열의 경우, 조건 $w_{\min} \leq_L v \leq_L w_{\max}$ 는 분할 $\lambda_w$ 와 $\lambda_v$ 의 교차 조건과 동치이다.