[논문 리뷰] Poset models for Weyl group analogs of symmetric functions and Schur functions

Robert G. Donnelly|arXiv (Cornell University)|2018. 11. 26.

Algebraic structures and combinatorial models참고 문헌 55인용 수 6

한 줄 요약

이 논문은 Weyl 군 대칭을 통해 고전적 대칭 함수를 일반화하는 새로운 조합적 프레임워크를 제안한다. 엣지 색칠된 순서형 포스셋(분할 포스셋)을 사용하여 Weyl 군의 대칭 함수 및 슈어 함수의 유사체를 모델링하며, 정점 색칠 기법과 새로운 분할 정리로 '크리스탈리네 분할 포스셋'을 구성한다. 이는 Weyl 이중형 함수를 모델링하며, 그 가우시안성과 벤더–크니트 추측 및 심플렉틱 유사체에 대한 새로운 증명을 제공한다.

ABSTRACT

The `Weyl symmetric functions' studied here naturally generalize classical symmetric (polynomial) functions, and `Weyl bialternants,' sometimes also called Weyl characters, analogize the Schur functions. For this generalization, the underlying symmetry group is a finite Weyl group. A `splitting poset' for a Weyl bialternant is an edge-colored ranked poset possessing a certain structural property and a natural weighting of its elements so that the weighted sum of poset elements is the given Weyl bialternant. Connected such posets are of combinatorial interest in part because they are rank symmetric and rank unimodal and have nice quotient-of-product expressions for their rank generating functions. Supporting graphs of weight bases for irreducible semisimple Lie algebra representations provide one large family of examples. However, many splitting posets can be obtained outside of this Lie theoretic context. This monograph provides a tutorial on Weyl bialternants / Weyl symmetric functions and splitting posets that is largely self-contained and independent of Lie algebra representation theory. New results are also obtained.

연구 동기 및 목표

• . 이 논문은 리 대수 표현 이론에 의존하지 않는, 자가 포함적인 조합적 프레임워크를 제시하여 Weyl 대칭 함수와 이중형 함수를 다루는 것을 목적으로 한다.
• Weyl 이중형 함수 중에서 유일한 분할 포스셋을 갖는 것과, 미니멀 및 쿼asi-미니멀 무게와 관련된 것을 분류하고 특성화하는 것을 목적으로 한다.
• 이론적 리 대수의 맥락을 초월하여 분할 포스셋을 구성하는 데 새로운 조합 기준을 개발하는 것을 목적으로 한다.
• 크리스탈 구조 이론과 유사한 분해와 곱셈 분해를 모델링하기 위해 '크리스탈리네 분할 포스셋'을 도입하는 것을 목적으로 한다.
• 포스셋의 구조적 방법을 통해 가우시안 포스셋, 리틀우드–리치아드 규칙, 무게 기반 지지 그래프의 결과를 통합하고 일반화하는 것을 목적으로 한다.

제안 방법

• . 이 논문은 '분할 포스셋'—가중치가 자연스럽게 부여된 엣지 색칠된 순서형 포스셋—의 개념을 도입하여, 원소의 가중합이 주어진 Weyl 이중형 함수와 일치하도록 한다.
• 스템브릿지의 취소 추론를 재구성하여, 포스셋이 분할 포스셋이 되기 위한 새로운 조합 기준을 확립하고, 크리스탈리네 분할 포스셋의 구성에 기여한다.
• 정점에 색을 칠하여 하위 면을 식별하고 분할 조건을 검증하는 데 사용되는 새로운 '정점 색칠 기법'을 개발한다.
• 새로운 분할 정리를 적용하여, 각 원소의 P(ω)-색 정점에 색을 입혀, 모든 표준 크리스탈 그래프를 포함하는 크리스탈리네 분할 포스셋을 구성한다.
• 사슬의 곱과 동형인 분배 랏타이스의 구조(L(Mω) 등)를 사용하여 Weyl 이중형 함수를 모델링하고 그 가우시안성을 증명한다.
• 겔판드 유형 패턴에 이 프레임워크를 적용하여, 특정 심플렉틱 및 직교 Weyl 이중형 함수가 분배 랏타이스로 모델링됨을 보여준다.

실험 결과

연구 질문

• RQ1 . 어떤 Weyl 이중형 함수가 유일한 분할 포스셋을 갖는가? 그리고 이를 조합적으로 어떻게 특성화할 수 있는가?
• RQ2 분할 포스셋 개념을 분할 외에도 곱셈 분해(Littlewood–Richardson) 및 분기 규칙을 모델링할 수 있도록 어떻게 확장할 수 있는가?
• RQ3 특히 리 대수 표현 이론의 맥락을 초월하여, 어떤 조합 조건이 포스셋이 분할 포스셋이 되도록 보장하는가?
• RQ4 정점 색칠 기법을 사용하여, 비-크리스탈리네 형태의 새로운 분할 포스셋 가족을 구성할 수 있는가?
• RQ5 새로운 분할 포스셋 기준이 기존 결과, 예를 들어 벤더–크니트 추측과 그 심플렉틱 유사체와 어떻게 관련되어 있는가?

주요 결과

• . 이 논문은 다이아몬드 색칠된 분배 랏타이스 L(Mω)가 Weyl 이중형 함수 χMω에 대한 분할 분배 랏타이스임을 증명하며, 이는 P(Mω)가 가우시안임을 의미한다.
• 정점 색칠과 새로운 분할 기준을 사용하여, 프로터–스탄리 가우시안 포스셋 정리의 새로운 증명을 제공한다.
• 포스셋의 구조적 프레임워크를 통해 벤더–크니트 추측의 ex-추측을 재증명하고, 이에 대한 새로운 심플렉틱 유사체를 확립한다.
• 유일한 분할 포스셋을 갖는 Weyl 이중형 함수를 분류하고, 미니멀 및 쿼아지-미니멀 균형 무게에 대한 분할 포스셋에 대한 새로운 조합적 특성화를 제시한다.
• 일부 겔판드 유형 패턴 랏타이스가 심플렉틱 및 직교 Weyl 이중형 함수를 모델링함을 보여주며, 기존의 포스셋 모델의 범위를 확장한다.
• 정점 색칠 방법을 통해 모든 크리스탈 그래프가 크리스탈리네 분할 포스셋으로 성공적으로 구성되었고, 곱셈 구조 하에서 그 유일성도 증명하였다.