[논문 리뷰] Reduced words for clans

Brian Burks, Brendan Pawlowski|arXiv (Cornell University)|2018. 06. 13.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 3

한 줄 요약

이 논문은 클랜의 약화 순서에서의 약화된 단어에 대해 Matsumoto-Tits 유형 정리를 수립한다—GL(ℂ^p)×GL(ℂ^q)의 궤도를 인덱싱하는 조합적 대상. 이는 단어에 대한 동치 관계를 도입하여 클랜의 약화된 단어 집합을 포괄하고, 이러한 집합이 동치 클래스의 합집합임을 증명하며, 표준 및 이격 표준 표편과의 연결을 통한 수량 공식을 제공한다. 대칭 함수와 후크 길이 공식을 통해 정확한 수를 산출한다.

ABSTRACT

Clans are combinatorial objects indexing the orbits of $GL(\mathbb{C}^p) imes GL(\mathbb{C}^q)$ on the variety of flags in $\mathbb{C}^{p+q}$. This geometry leads to a partial order on the set of clans analogous to weak Bruhat order on the symmetric group, and we study the saturated chains in this order. We prove an analogue of the Matsumoto-Tits theorem on reduced words in a Coxeter group. We also obtain enumerations of reduced word sets for particular clans in terms of standard tableaux and shifted standard tableaux.

연구 동기 및 목표

• 약화 순서에서 클랜의 약화된 단어에 대한 조합적 프레임워크를 개발하여 코xeter 군에서의 Matsumoto-Tits 정리를 일반화한다.
• 궤도 기하학을 존중하는 단어에 대한 동치 관계를 사용하여 클랜의 약화된 단어 집합의 구조를 특성화한다.
• 표준 및 이격 표준 표편을 사용하여 특정 클랜의 약화된 단어를 수량화한다.
• 클랜 순서 집합에서 최대 사슬의 수를 코딩하는 스체우어 함수와 스체우어 Q-함수를 포함하는 대칭 함수 항등식을 수립한다.

제안 방법

• Cl랜에 대해 약화 브루하트 순서와 유사한 부분 순서를 정의하며, [n-1] 내의 인접 전치에 의해 표시되는 커버링 관계를 가진다.
• 코xeter 관계와 부호 전환 규칙 $a_1\cdots a_\ell \equiv (n-a_1)a_2\cdots a_\ell$에 의해 생성되는 단어 위의 동치 관계 $\equiv$를 도입하여 클랜 기하학의 대칭성을 포괄한다.
• 클랜 $\gamma$에 관련된 대칭 함수 $F_\gamma$를 사용하며, 단항식의 계수는 $\gamma$에 대한 약화된 단어의 수를 세며, 히스테리의 프레임워크를 확장한다.
• 일치하지 않는 클랜과 $[p]\times[q]$ 내의 분할 사이의 전단사 사상 수립을 통해 $F_\gamma$를 스체우어 함수의 곱 $s_{\lambda^+}s_{\lambda^-}$와 연결한다.
• 이격 후크 길이 공식을 적용하여 형상 $\lambda = (n-1,n-3,\ldots,n-2q+1)$의 표준 이격 표편의 수를 계산하며, 이는 최대 사슬의 수를 나타낸다.
• 다음과 같은 항등식을 증명한다: $\sum_{\gamma \text{ 일치하지 않음}} F_\gamma = 2^q P_{(n-1,n-3,\ldots,n-2q+1)} = Q_{(n-1,n-3,\ldots,n-2q+1)}$, 이는 합이 스체우어 Q-함수와 연결됨을 보여준다.

실험 결과

연구 질문

• RQ1 약화된 단어 집합이 단일 동치 클래스가 아니므로, 코xeter 군에서의 Matsumoto-Tits 정리를 클랜의 약화 순서로 확장할 수 있는가?
• RQ2 클랜의 약화된 단어 집합은 대칭 함수와 어떻게 관련되어 있으며, 표준 및 이격 표준 표편을 통해 수량화할 수 있는가?
• RQ3 $(p,q)$-클랜의 약화 순서에서 최대 사슬의 정확한 수는 얼마이며, 이는 대칭 함수 항등식에 어떻게 코딩되는가?
• RQ4 일치하지 않는 클랜의 조합론과 이격 양자 표편 사이의 관계는 무엇이며, 이는 어떤 대칭 함수 항등식을 이끌어내는가?
• RQ5 대칭 함수 $2^{\kappa(z)}\hat{F}_z$가 단일 스체우어 Q-함수와 같아지는 조건은 무엇이며, 이는 약화된 단어의 수량화와 어떻게 관련되는가?

주요 결과

• 코xeter 관계와 부호 전환 규칙 $a_1\cdots a_\ell \equiv (n-a_1)a_2\cdots a_\ell$에 의해 생성되는 단어에 대한 동치 관계 $\equiv$는 각 약화된 단어 집합 $\mathcal{R}(\gamma)$가 동치 클래스의 합집합임을 보장하며, 이는 가장 강력한 그러한 관계이다.
• 모든 클랜 $\gamma$에 대해, 약화된 단어 집합 $\mathcal{R}(\gamma)$는 $\equiv$에 대한 동치 클래스의 합집합이며, $a \equiv b$이면 모든 클랜의 동일한 약화된 단어 집합에 속한다.
• 일치하지 않는 클랜에 대한 대칭 함수의 합 $\sum_{\gamma \text{ 일치하지 않음}} F_\gamma$는 $2^q P_{(n-1,n-3,\ldots,n-2q+1)}$와 같으며, 이는 스체우어 Q-함수 $Q_{(n-1,n-3,\ldots,n-2q+1)}$와도 동일하여 대칭 함수 항등식을 수립한다.
• Clan_{p,q}에서 최대 사슬의 수는 $2^{pq} g^{\lambda}$이며, 여기서 $g^{\lambda}$는 형상 $\lambda = (n-1,n-3,\ldots,n-2q+1)$의 표준 이격 표편의 수로, 이격 후크 길이 공식을 통해 계산된다.
• 일치하지 않는 클랜에 대한 $\sum_{\gamma \text{ 일치하지 않음}} F_\gamma$에서 $x_1x_2\cdots x_{pq}$의 계수는 $2^{pq} g^{\lambda}$이며, 이는 최대 사슬의 수와 일치하여 수량 공식을 확인한다.
• 사상 $\gamma \mapsto \lambda^+ (\gamma)$는 일치하지 않는 $(p,q)$-클랜과 $[p]\times[q]$ 내 분할 사이의 전단사 사상이며, $\lambda^-(\gamma)^t = \lambda^+(\gamma)^\vee$를 만족하며, 다음 항등식을 이끌어낸다: $\sum_{\lambda \subseteq [p]\times[q]} s_\lambda s_{\lambda^{\vee t}} = Q_{(p+q-1,p+q-3,\ldots,p-q+1)}$.