[논문 리뷰] A Pieri rule for Demazure characters of the general linear group

Sami Assaf, Danjoseph Quijada|arXiv (Cornell University)|2019. 08. 22.

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

한 줄 요약

이 논문은 일반선형군에서 임의의 키 다항식과 단일부분 키 다항식의 곱 전개에 대한 取消-없음, 다중성-없음의 조합론적 공식을 제시한다. 이는 고전적 피에리 법칙을 일반화한 것으로, Kohnert 다이어그램 위에 정의된 새로운 삽입 알고리즘을 사용하며, 이는 로빈슨-슈렌스테드-크누프 대응을 일반화한 것이다. 부호는 서로 겹치는 이미지 합집합에서 유래하며, 부호 반전 인보리션을 사용하지 않는다.

ABSTRACT

The Pieri rule is a nonnegative, multiplicity-free formula for the Schur function expansion of the product of an arbitrary Schur function with a single row Schur function. Key polynomials are characters of Demazure modules for the general linear group that generalize the Schur function basis of symmetric functions to a basis of the full polynomial ring. We prove a nonsymmetric generalization of the Pieri rule by giving a cancellation-free, multiplicity-free formula for the key polynomial expansion of the product of an arbitrary key polynomial with a single part key polynomial. Our proof is combinatorial, generalizing the Robinson--Schensted--Knuth insertion algorithm on tableaux to an insertion algorithm on Kohnert diagrams.

연구 동기 및 목표

• 스체우르 다항식에 대한 고전적 피에리 법칙을 일반선형군의 키 다항식, 즉 데무르르 특성에 대해 일반화하는 것.
• 임의의 키 다항식과 단일부분 키 다항식의 곱에 대한 취소-없음, 다중성-없음의 공식을 제공하는 것.
• RSK 대응을 일반화하는 Kohnert 다이어그램 위의 조합론적 삽입 알고리즘을 개발하는 것.
• 삽입 이미지의 구조를 이용해 이러한 곱의 키 다항식 전개가 언제 비음이 아닌지 특성화하는 것.

제안 방법

• 저자들은 비대칭 설정으로 일반화된 RSK 삽입을 위한 Kohnert 다이어그램 위에 새로운 삽입 알고리즘을 정의한다.
• 삽입 과정을 제어하고 잘 정의됨을 보장하기 위해 Kohnert 다이어그램 위의 왼쪽 교환 순서를 도입한다.
• 주요 전단사 사상은 세 가지 핵심 사상, 즉 하단 삽입, 정규화, 상단 삽입을 통해 구성되며, 이들이 서로 역전단사임을 증명한다.
• 삽입 과정은 키 다항식과 단일행 슈어 함수의 곱에 미치는 영향을 추적하며, 부호는 겹치는 이미지 성분에서 유래한다.
• 증명은 삽입 과정에 기반한 Kohnert 다이어그램의 분할에 의존하며, 단사적 분할 사상과 이미지 특성화가 포함된다.
• 부호 반전 인보리션을 피하기 위해, 삽입 이미지의 구조를 직접 분석함으로써, 이미지가 반드시 서로소일 필요는 없다.

실험 결과

연구 질문

• RQ1 스체우르 다항식에 대한 고전적 피에리 법칙을 키 다항식의 비대칭 설정으로 어떻게 일반화할 수 있는가?
• RQ2 어떤 Kohnert 다이어그램 위의 조합론적 삽입 알고리즘이 단일부분 키 다항식과의 곱 전개에서의 계수를 실현하는가?
• RQ3 왜 전개에 부호가 나타나며, 언제 실제로 비음이 아닌가?
• RQ4 삽입 사상의 이미지는 결과 키 다항식 전개의 구조와 어떻게 관련이 있는가?
• RQ5 이 삽입 기반 접근법은 릴리티드-리치얼드 법칙이나 키 다항식에 대한 스튜버트-스트럭처 계수에 대해 새로운 통찰을 제공할 수 있는가?

주요 결과

• 논문은 임의의 키 다항식과 단일부분 키 다항식의 곱에 대해 취소-없음, 다중성-없음의 공식을 확립하며, 계수는 {1, -1}에 속한다.
• Kohnert 다이어그램 위의 삽입 알고리즘은 RSK 대응을 일반화하며, 비대칭 피에리 법칙에 대한 직접적인 조합론적 증명을 제공한다.
• 삽입 사상의 이미지는 반드시 서로소일 필요 없는 Kohnert 다이어그램의 합집합이며, 이는 전개에서 부호가 나타나는 이유를 설명한다.
• 저자들은 키 전개가 비음이 되는 조건을 특성화한다: 정확히 삽입 이미지가 서로소일 때이며, 이는 입력 다이어그램에 대한 특정 조합론적 조건에서 발생한다.
• 이 결과는 벡실라리 경우에서 키 전개의 비음성에 대한 새로운 단순화된 증명을 제공하며, 슈베르트 다항식을 통한 기하학적 동기를 제공한다.
• 이 토대는 키 다항식에 대한 완전한 리틀우드-리치얼드 법칙으로 향하는 길을 제시하며, 오랫동안 미해결인 슈베르트 스트럭처 계수 계산 문제에 영향을 줄 수 있다.