[논문 리뷰] Vexillary Grothendieck Polynomials via Bumpless Pipe Dreams

Elena S. Hafner|arXiv (Cornell University)|2022. 01. 28.

Advanced Combinatorial Mathematics인용 수 6

한 줄 요약

이 논문은 벡실라 골로텐지키 다항식의 최대 차수 항을 기여하는 빵프리스 파이프 드림을 특성화하는 새로운 방법을 제시하며, 드루프 이동과 K-이론적 드루프 이동을 사용하여 주어진 다항식의 최고차수 항에 대한 정밀한 공식을 증명한다. 이는 페첸익-스피어-베이거안드와 레이치고트-로비카스-베이거안드의 차수 공식 간의 직접적인 연결을 수립하고, 벡실라 골로텐지키 다항식의 중간 차수 성분에 대한 새로운 최고차수 항 공식을 증명한다.

ABSTRACT

Recent work of Pechenik, Speyer, and Weigandt proved a formula for the degree of any Grothendieck polynomial. A distinct formula for the degree of vexillary Grothendieck polynomials was proven by Rajchgot, Robichaux, and Weigandt. We give a new proof of Pechenik, Speyer, and Weigandt's formula in the special case of vexillary permutations and characterize the set of bumpless pipe dreams which contribute maximal degree terms to the Grothendieck polynomial in this case. Furthermore, we use this characterization to draw connections between the Pechenik-Speyer-Weigandt and Rajchgot-Robichaux-Weigandt formulas. We also use bumpless pipe dreams to prove new results about the support of vexillary Grothendieck polynomials, addressing special cases of conjectures of Mészáros, Setiabrata, and St. Dizier.

연구 동기 및 목표

• 빵프리스 파이프 드림을 사용하여 벡실라 순열에 대한 페첸익-스피어-베이거안드의 차수 공식을 재증명하는 것.
• 벡실라 골로텐지키 다항식에서 최대 차수 항을 기여하는 빵프리스 파이프 드림을 특성화하는 것.
• 빵프리스 파이프 드림의 조합론을 통해 페첸익-스피어-베이거안드와 레이치고트-로비카스-베이거안드의 차수 공식 간의 직접적인 연결을 수립하는 것.
• 벡실라 골로텐지키 다항식의 지지집합에 대한 새로운 결과를 도출하여, 셰타브로스, 세티아브라타, 스탠트 디지에르의 추측을 다루는 것.

제안 방법

• 논문은 각 marked BPD가 다항식 전개에서 단항식에 대응하는 조합론적 모델로 marked bumpless pipe dreams(BPDs)를 사용한다.
• Rothe BPD에서 다른 BPD로의 변환을 위해 드루프 이동과 K-이론적 드루프 이동을 도입하여, 단항식의 차수를 유지하거나 변화시킨다.
• 골로텐지키 다항식의 차수는 suffixes에서 증가하는 수열을 형성하기 위해 제거해야 할 원소의 최소 수를 세는 Rajchgot 코드 $r_i$를 통해 분석된다.
• 차수-$k$ 성분 $\mathfrak{G}_\omega^{(k)}$의 최고차수 항은 $r_i - c_i$ 기준에 따라 왼쪽에 있는 위치에 최대한 많은 업-엘보우를 가지는 BPD를 구성함으로써 결정된다.
• 이 방법은 $\mathfrak{G}_\omega^{(k)}$의 최고차수 단항식이 $x_1^{e_1} \cdots x_n^{e_n}$의 스칼라 배수임을 증명한다. 여기서 $e_i$는 합 조건을 만족하는 가장 작은 인덱스 $j$에 따라 정의된다.
• 증명은 비최대 구성이 드루프 이동 또는 엘보우 재배치를 통해 개선될 수 있음을 보여 최대성에 모순됨을 입증한다.

실험 결과

연구 질문

• RQ1 벡실라 순열에 대한 골로텐지키 다항식에서 최대 차수 항을 기여하는 빵프리스 파이프 드림은 무엇인가?
• RQ2 빵프리스 파이프 드림을 통한 조합론적 관계로 페첸익-스피어-베이거안드 공식과 레이치고트-로비카스-베이거안드 공식 간의 관계는 어떻게 연결되는가?
• RQ3 벡실라 골로텐지키 다항식의 차수-$k$ 성분에서 최고차수 항의 구조는 어떻게 되는가?
• RQ4 빵프리스 파이프 드림 이동을 사용하여 벡실라 골로텐지키 다항식의 지지집합을 완전히 특성화할 수 있는가?
• RQ5 어떤 조건이 marked BPD가 주어진 차수 성분에서 최고차수 단항식에 대응하는지를 보장하는가?

주요 결과

• 벡실라 순열에 대한 골로텐지키 다항식의 최대 차수 항은 $P$가 감소형이고 정확히 하나의 업-엘보우를 가지며, 그 업-엘보우가 가능한 한 가장 낮은 위치에 있는 marked BPD $(P, U(P))$에서 유래한다.
• 차수-$k$ 성분 $\mathfrak{G}_\omega^{(k)}$의 최고차수 항은 $x_1^{e_1} \cdots x_n^{e_n}$의 스칼라 배수이며, 여기서 $e_i = r_i$ for $i \geq j$, $e_{j-1} = c_{j-1} + k - \ell(\omega) - \sum_{i=j}^n (r_i - c_i)$, $e_i = c_i$ for $i < j-1$이며, $j$는 합 조건을 만족하는 가장 작은 인덱스이다.
• 최고차수 항은 $r_i > c_i$인 가장 낮은 파이프들을 순차적으로 드루프 이동하여 업-엘보우를 가능한 한 왼쪽으로 이동시키고, 필요한 업-엘보우 수가 충족될 때까지 이를 반복함으로써 달성된다.
• 빵프리스 파이프 드림 $P$가 최대 차수 항을 기여하려면 $P$가 감소형이면서 정확히 하나의 업-엘보우를 가지며, 그 업-엘보우가 가능한 한 가장 낮은 위치에 있어야 한다.
• 논문은 레이치고트-로비카스-베이거안드 공식이 라벨이 붙은 양의 도형 $\lambda(\omega)$의 반대대각선 경로의 구조를 통해 벡실라 순열에 대한 페첸익-스피어-베이거안드 공식과 동치임을 증명한다.
• 벡실라 골로텐지키 다항식의 지지집합은 $r_i - c_i$ 기준에 의해 제약을 받는 업-엘보우를 가지는 marked BPD에 대응하는 단항식의 집합으로 완전히 특성화되며, 이는 셰타브로스, 세티아브라타, 스탠트 디지에르의 추측의 특수 케이스를 확인한다.