[논문 리뷰] The shifted plactic monoid

Luís Serrano|ArXiv.org|2008. 11. 13.

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

한 줄 요약

이 논문은 이중 Knuth 관계 또는 Haiman의 혼합 삽입을 통해 정의된 고전적 플라크(monoid)에 대응하는 조합론적 구조로 이중 플라크 모노이드를 도입한다. 플라크 슈어 $P$-함수를 통해 이중 리틀우드-리치아드슨 규칙을 확립함으로써, 이중 설정에서 대칭 함수 이론의 비가환 프레임워크를 제공한다.

ABSTRACT

We introduce a shifted analog of the plactic monoid of Lascoux and Schützenberger, the \emph{shifted plactic monoid}. It can be defined in two different ways: via the \emph{shifted Knuth relations}, or using Haiman's mixed insertion. Applications include: a new combinatorial derivation (and a new version of) the shifted Littlewood-Richardson Rule; similar results for the coefficients in the Schur expansion of a Schur $P$-function; a shifted counterpart of the Lascoux-Schützenberger theory of noncommutative Schur functions in plactic variables; a characterization of shifted tableau words; and more.

연구 동기 및 목표

• 반세미표준 이중 양 타블로우에 대해 고전적 플라크 모노이드의 이중 해석을 개발하기 위해.
• 비가환 슈어 함수 이론을 Lascoux-Schützenberger 이론에 따라 이중 설정으로 확장하기 위해.
• 플라크 슈어 $P$-함수를 사용하여 이중 리틀우드-리치아드슨 규칙의 새로운 조합론적 유도를 제공하기 위해.
• Sagan-Worley 대응에서의 쌍대성에 의해 이중 타블로우 단어를 특성화하기 위해.
• 이중 플라크 대수와 슈어 $P$-함수의 링 사이의 표준적 동형사상을 확립하기 위해.

제안 방법

• 자유 모노이드 $X$ 위에서의 몫으로서 이중 플라크 모노이드 $\mathbf{S}(X)$ 를 정의한다. 이는 이중 Knuth 관계에 의한 것이다.
• Haiman의 혼합 삽입을 사용하여, 동일한 혼합 삽입 타블로우를 가진 단어들의 집합으로서 이중 플라크 클래스를 정의한다.
• 이중 플라크 동치가 연결(concatenation)에 대해 보존됨을 증명함으로써, 모노이드 구조가 유지됨을 보장한다.
• 형태 $\lambda$ 에 대한 모든 이중 플라크 클래스의 합으로서 플라크 슈어 $P$-함수 $\mathcal{P}_\lambda$ 를 구성한다.
• 생성된 링이 $P_\lambda \mapsto \mathcal{P}_\lambda$ 사상에 의해 일반 슈어 $P$-함수의 링과 표준적으로 동형임을 증명한다.
• 혼합 삽입과 Sagan-Worley 대응 사이의 쌍대성을 이용하여, 역의 기록 타블로우가 이중 표준 타블로우일 경우에만 이중 타블로우 단어가 됨을 특성화한다.

실험 결과

연구 질문

• RQ1 어떻게 이중 양 타블로우를 사용하여 고전적 플라크 모노이드를 이중 설정으로 일반화할 수 있는가?
• RQ2 혼합 삽입 하에 단어의 동치류를 특성화하는 이중 Knuth 관계의 해석은 무엇인가?
• RQ3 플라크 슈어 $P$-함수를 사용하여 이중 리틀우드-리치아드슨 규칙을 조합론적으로 도출할 수 있는가?
• RQ4 이중 플라크 대수 내의 비가환 슈어 $P$-함수와 그 가환 대응체 사이의 관계는 무엇인가?
• RQ5 혼합 삽입 하에 반세미표준 이중 타블로우를 유도하는 단어는 무엇으로 특성화되는가?

주요 결과

• 이중 플라크 모노이드 $\mathbf{S}(X)$ 는 이중 Knuth 관계에 의해 잘 정의되며, 단어 연결에 의해 유도된 모노이드 구조를 갖는다.
• 두 단어가 이중 Knuth 동치일 필요충분조건은 동일한 혼합 삽입 타블로우를 가진다는 것이다.
• 이중 플라크 슈어 $P$-함수 $\mathcal{P}_\lambda$ 는 형태 $\lambda$ 를 가진 모든 이중 플라크 클래스의 합이며, 이 함수들은 이중 플라크 대수를 생성한다.
• 생성된 링은 $P_\lambda \mapsto \mathcal{P}_\lambda$ 에 의해 일반 슈어 $P$-함수의 링과 표준적으로 동형이다.
• 이중 리틀우드-리치아드슨 계수 $b^\lambda_{\mu,\nu}$ 는 고정된 형태 $\lambda$ 를 가진 $T_\lambda$ 에 대해 $T_\mu T_\nu = T_\lambda$ 를 만족하는 이중 플라크 클래스의 쌍 $(T_\mu, T_\nu)$ 의 수와 같다.
• 어떤 단어가 이중 타블로우 단어일 필요충분조건은 그 역(이중단어로서의 역)의 기록 타블로우가 이중 표준 타블로우일 때이다. 이는 Sagan-Worley 대응의 쌍대성에 의해 유도된다.