[논문 리뷰] On Double Schubert and Grothendieck polynomials for Classical Groups

A. N. Kirillov|arXiv (Cornell University)|2015. 04. 07.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 4

한 줄 요약

이 논문은 고전적 리 군 유형 A, B, C, D에 대한 이중 슈부르트 및 그로텐디크 다항식을 구성하기 위한 새로운 대수적-조합론적 프레임워크를 제안한다. 이는 NiCoxeter 및 IdCoxeter 대수에서 양자 양-버터스 방정식의 해로부터 유도된 전이 행렬을 활용한다. 주요 기여는 공명성, 소멸성 및 정규화 조건을 만족하는 삼중 β-그로텐디크 다항식 𝔾_w^W(X,Y,Z)를 정의한 것으로, Id_βCoxeter(W)에서 인수분해된 생성함수를 통해 조합론적 파이프드림 기술이 가능해진다.

ABSTRACT

We give an algebra-combinatorial constructions of (noncommutative) generating functions of double Schubert and double $β$-Grothendieck polynomials corresponding to the full flag varieties associated to the Lie groups of classical types $A,B, C$ and $D$. Our approach is based on the decomposition of certain `` transfer matrices `` corresponding to the exponential solution to the quantum Yang--Baxter equations associated with either NiCoxeter or IdCoxeter algebras of classical types. The "triple"~$β$-Grothendieck polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ we have introduced, satisfy, among other things, the coherency and (generalized) vanishing conditions. Their generating function has a nice factorization in the algebra $Id_βCoxeter(W)$, and as a consequence, the polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ admit a combinatorial description in terms of $W$-type pipe dreams.

연구 동기 및 목표

• 고전적 리 군 유형 A, B, C, D에 대한 이중 슈부르트 및 그로텐디크 다항식의 대수-조합론적 구성법을 개발한다.
• 공명성 및 일반화된 소멸 조건을 만족하는 삼중 β-그로텐디크 다항식 𝔾_w^W(X,Y,Z)를 정의하고 연구한다.
• Id_βCoxeter(W) 대수에서 인수분해된 생성함수를 확립하여 W-유형 파이프드림을 통한 조합론적 기술이 가능하도록 한다.
• 고전적 유형에 대해 슈부르트 다항식의 안정성 및 공명성 성질을 그로텐디크 설정으로 확장한다.
• 양자 통합계에서 유도된 전이 행렬을 통해 고전적 유형 간의 구성법을 통합한다.

제안 방법

• 고전적 유형의 NiCoxeter 및 IdCoxeter 대수에서 양자 양-버터스 방정식의 지수적 해를 사용하여 생성함수를 구성한다.
• 양자 R-행렬에 대응하는 전이 행렬을 도입하여 슈부르트 및 그로텐디크 다항식의 구조를 캡슐화한다.
• 삼중 β-그로텐디크 다항식 𝔾_w^W(X,Y,Z)를 Id_βCoxeter(W) 대수의 원소로 정의하고, 인수분해된 생성함수를 갖는다.
• 다중 다중 다항식의 공명성 조건을 강제하기 위해 덴줄라 연산자 ∂_α^(x) 및 ∂_α^(y)를 적용한다.
• 웨일 군 W의 반사 표현을 사용하여 v ∈ W 가 변수 X_n에 작용하는 방식을 정의한다.
• W(D_n) → W(D_{n+1}) 임bedding을 통해 안정성을 확립하고, 변수 절단에 대한 다항식의 호환성을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 고전적 리 군 유형 전반에 걸쳐 대수적 구조를 활용하여 이중 슈부르트 및 그로텐디크 다항식을 체계적으로 구성할 수 있는가?
• RQ2 이러한 다항식이 그로텐디크 설정에서 공명성 및 소멸 조건을 만족시키는 데 기여하는 대수적 프레임워크는 무엇인가?
• RQ3 비가환 대수에서 다항식의 생성함수를 인수분해할 수 있으며, 이는 조합론적으로 어떤 의미를 갖는가?
• RQ4 새로운 삼중 β-그로텐디크 다항식은 B, C, D 유형의 고전적 이중 슈부르트 다항식을 어떻게 일반화하는가?
• RQ5 양자 R-행렬과 전이 행렬은 이러한 에퀴바리언트 다항식을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 삼중 β-그로텐디크 다항식 𝔾_w^W(X,Y,Z)의 생성함수는 Id_βCoxeter(W) 대수에서 인수분해 가능하며, 이는 구성의 핵심이다.
• 다항식 𝔾_w^W(X,Y,Z)는 공명성 조건을 만족한다: l(ws_α) = l(w)+1 이면 ∂_α^(x)𝔾_w^W = 𝔾_{ws_α}^W 이고, 그렇지 않으면 0이다.
• 일반화된 소멸 조건을 만족한다: v ≤ w 브루아트 순서에서 그렇지 않으면 𝔾_w^W(X, -v(X)) = 0이다.
• 항등원에 대한 정규화 조건 𝔾_id^W(X,Y,Z) = 1 이 성립한다.
• 대수적 인수분해 덕분에 𝔾_w^W(X,Y,Z)는 W-유형 파이프드림을 통한 조합론적 기술이 가능하다.
• 안정성 성질이 성립한다: w ∈ W(D_n) 이면 x_{n+1}=0, y_{n+1}=0 조건 하에서 𝔾_w^{D_{n+1}}(X_{n+1},Y_{n+1}) = 𝔾_w^{D_n}(X_n,Y_n) 이다.