[논문 리뷰] Prism tableaux for alternating sign matrix varieties

Anna Weigandt|arXiv (Cornell University)|2017. 08. 24.

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

한 줄 요약

이 논문은 대칭행렬(ASM) 다양체의 다중도를 계산하기 위한 조합적 도구로 프리즘 표를 도입한다. 이는 하위어구 복합체의 최대 차원 면과의 무게를 유지하는 일대일 대응을 통해 스튜어트 다항식을 일반화한다. 주요 결과는 ASM 다양체의 다중도를 프리즘 표의 합으로 표현하는 공식으로, 이는 ASM 격자에서 ASM 위에 있는 최소 길이의 순열에 대한 스튜어트 다항식 전개와 일치한다.

ABSTRACT

A prism tableau is a set of reverse semistandard tableaux, each positioned within an ambient grid. Prism tableaux were introduced to provide a formula for the Schubert polynomials of A. Lascoux and M.P. Schützenberger. This formula directly generalizes the well known expression for Schur polynomials as a sum over semistandard tableaux. Alternating sign matrix varieties generalize the matrix Schubert varieties of W. Fulton. We use prism tableaux to give a formula for the multidegree of an alternating sign matrix variety.

연구 동기 및 목표

• 스튜어트 다항식에 대한 프리즘 표 공식을 대칭행렬(ASM) 다양체로 확장한다.
• 프리즘 표를 사용하여 ASM 다양체의 다중도에 대한 조합적 공식을 제시한다.
• ASM 행렬식 이상의 그로버 분해와 프리즘 표 사이의 기하적 연결 고리를 확립한다.
• ASM 행렬식 이상의 기본 생성자들이 반대각선 항순서에서 그로버 기저를 이룬다는 것을 증명한다.
• 관련된 ASM에 대한 최소 프리즘 표의 무게 합과 ASM 다양체의 다중도가 동일하다는 것을 보인다.

제안 방법

• 프리즘 표를 분할과 정수의 튜플 $(\boldsymbol{\nu}, \boldsymbol{d})$와 관련된 $k$-튜플의 역반표준 표로 정의한다.
• 불안정한 삼중조합이 없는 최소 프리즘 표를 정의하여 집합 ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$를 형성한다.
• 프리즘 표 집합 ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$와 하위어구 복합체 $\triangle(Q_{n\times n}, A)$의 최대 차원 면 사이의 무게를 유지하는 일대일 대응을 구성한다. 여기서 $A = A_{\boldsymbol{\nu}, \boldsymbol{d}}$이다.
• ASM 다양체 $X_A$의 다중도가 $\triangle({\tt init}(I_A))$의 최대 차원 면에 대한 가중치 합과 동일하다는 사실을 이용한다.
• 행렬 $A'의 상단 왼쪽 $i\times j$ 부분행렬에서 크기 $r_A(i,j)+1$의 기본 행렬식이 반대각선 항순서 하에서 이상 $I_A$의 그로버 기저를 이룬다는 것을 증명한다.
• 행렬 슈베르트 다양체의 교차와 프로비니우스 분할의 호환성을 활용하여 $I_A = \bigcap_{u \text{ biGr}(A)} I_u$ 이고, ${\tt init}(I_A)$가 루트임을 보인다.

실험 결과

연구 질문

• RQ1 프리즘 표를 사용하여 대칭행렬 다양체의 다중도를 계산할 수 있는가?
• RQ2 스튜어트 다항식 공식을 일반화하는 ASM 다양체의 다중도에 대한 조합적 공식이 존재하는가?
• RQ3 ASM의 기본 행렬식이 해당 행렬식 이상을 정의하는가?
• RQ4 관련된 ASM에 대한 ASM 다양체의 다중도가 최소 프리즘 표의 무게 합과 같은가?
• RQ5 ASM에 관련된 하위어구 복합체는 그로버 분해를 통해 다양체의 기하학과 어떻게 관련되는가?

주요 결과

• 대칭행렬 다양체 $X_A$의 다중도는 $\boxed{\frak{A}_{\boldsymbol{\nu}, \boldsymbol{d}} = \bigoplus_{\tau \to \text{max facet}} \text{wt}(\tau)}$로 주어지며, 여기서 합은 $(\boldsymbol{\nu}, \boldsymbol{d})$에 대한 최소 프리즘 표를 따른다.
• 최소 프리즘 표 집합 ${\tt Prism}(\boldsymbol{\nu}, \boldsymbol{d})$와 하위어구 복합체 $\triangle(Q_{n\times n}, A)$의 최대 차원 면 사이에 무게를 유지하는 일대일 대응이 존재한다. 여기서 $A = A_{\boldsymbol{\nu}, \boldsymbol{d}}$이다.
• ASM 행렬식 이상의 기본 생성자 ${\tt EssGen}(A)$는 임의의 반대각선 항순서에서 그로버 기저를 이룬다.
• 초기 이상 ${\tt init}(I_A)$는 루트이며, $\triangle({\tt init}(I_A)) = \triangle(Q_{n\times n}, A)$ 이다. 이는 다양체의 기하학과 하위어구 복합체 사이의 연결 고리를 맺는다.
• 다중도 $\frak{A}_{\boldsymbol{\nu}, \boldsymbol{d}}$는 ASM 격자에서 $A' 위에 있는 모든 최소 길이 순열 $w'에 대한 스튜어트 다항식 $\frak{S}_w'의 합과 같다: $\frak{A}_{\boldsymbol{\nu}, \boldsymbol{d}} = \bigoplus_{w \to \text{min perm above } A} \frak{S}_w$.
• 이상 $I_A$는 $u \to \text{biGr}(A)$에 대해 이상 $I_u'의 교차로 분해되며, $X_A = \bigcap_{u \to \text{biGr}(A)} X_u$이다. 이는 조합적 모델의 기하학적 호환성을 확인한다.