[논문 리뷰] Combinatorial relations on skew Schur and skew stable Grothendieck polynomials

Melody Chan, Nathan Pflueger|arXiv (Cornell University)|2019. 09. 26.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 5

한 줄 요약

이 논문은 스케일드 안정 스토퍼 군의 다항식 $G_{\tau}$ 를 스케일드 숈르 다항식 $s_{\mu}$ 에 대해 조합론적 전개하는 것을 확립한다. 이는 집합값을 가진 반표준 표준형에 대한 새로운 행 삽입 알고리즘을 사용하여 이루어지며, 주요 결과는 $G_{\tau}$ 를 더 큰 형상 $\mu \supseteq \tau$ 에 대한 부호가 붙은 합으로 표현하는 것으로, 계수는 $\mu/\tau$ 의 상부 및 하부 영역에 있는 특정 표준형의 수를 세는 방식이다. 이는 이전의 스토퍼 군 및 숈르 다항식 전개 결과를 통합하고 대칭적이며 기하학적으로 유도된 공식을 제공한다.

ABSTRACT

We give a combinatorial expansion of the stable Grothendieck polynomials of skew Young diagrams in terms of skew Schur functions, using a new row insertion algorithm for set-valued semistandard tableaux of skew shape. This expansion unifies some previous results: it generalizes a combinatorial formula obtained in earlier joint work with López Martín and Teixidor i Bigas concerning Brill-Noether curves, and it generalizes a 2000 formula of Lenart and a recent result of Reiner-Tenner-Yong to skew shapes. We also give an expansion in the other direction: expressing skew Schur functions in terms of skew Grothendieck polynomials.

연구 동기 및 목표

• 직선 형상에 대한 이전 결과를 일반화하여, 스케일드 안정 스토퍼 군 다항식 $G_{\sigma}$ 를 스케일드 숈르 다항식 $s_{\mu}$ 에 대해 조합론적 전개를 제공하는 것.
• Lenart (2000) 및 Reiner-Tenner-Yong의 결과를 스케일드 형상 설정으로 일반화하고 통합하는 것.
• 스케일드 숈르 다항식을 스케일드 스토퍼 군 다항식으로 표현하는 역전개를 수립하여 관계의 방향을 뒤집는 것.
• 기하학적으로 유도된 공식을 제공하여, [CP17] 에서 보고된 브릴-노이터 다양체의 오일러 특성 수치를 집합값 표준형의 수로 설명하는 것.

제안 방법

• 스케일드 형상에 대한 집합값 반표준 표준형에 대한 새로운 행 삽입 알고리즘을 도입하며, 이는 Sagan-Stanley 및 Buch 의 이전 작업을 일반화한다.
• 두 가지 보조 표준형 유형을 정의한다: 상부 영역 $A(\mu/\sigma)$ 에서의 행-약하게 제한된 반표준 표준형, 하부 영역 $B(\mu/\sigma)$ 에서의 행-제한된 역행-엄격 표준형.
• 삽입 알고리즘을 사용하여 $G_{\sigma}$ 의 선형 전개를 유도한다: $\sum_{\mu \supseteq \sigma} (-1)^{|B(\mu/\sigma)|} a_{\sigma,\mu} \cdot s_{\mu}$, 여기서 $a_{\sigma,\mu}$ 는 두 표준형 수의 곱이다.
• 형상 분할에 대한 부호가 반전되는 치환을 사용하여, 역전개에서 $\lambda \supsetneq \sigma$ 인 경우 $s_{\sigma}$ 의 계수는 0이 됨을 보여 역전개 공식을 증명한다.
• 레마 4.2 를 적용하여, 允가능한 형상 분할에 대한 정합된 합이 형상이 최소일 경우를 제외하고는 항상 0이 됨을 보여 역전개를 증명한다.
• 스케일드 형상의 부분순서 구조를 사용하고 상자에 $S$, $R$, 또는 $\emptyset$ 를 레이블링하여 허용 가능한 분할을 정의하고, 부호가 반전되는 치환을 구성한다.

실험 결과

연구 질문

• RQ1 스케일드 안정 스토퍼 군 다항식은 스케일드 숈르 다항식의 선형 조합으로 어떻게 표현될 수 있으며, 조합론적 계수는 무엇인가?
• RQ2 이러한 전개에서 계수의 조합론적 해석은 무엇인가? 특히 스케일드 형상의 상부 및 하부 영역에 있는 표준형을 통해 어떻게 설명되는가?
• RQ3 이 전개는 역전개가 가능한가? 즉, 스케일드 숈르 다항식을 스케일드 스토퍼 군 다항식의 선형 조합으로 표현할 수 있으며, 그 결과 계수의 구조는 어떠한가?
• RQ4 이 전개는 Lenart (2000) 과 Reiner-Tenner-Yong 이 직선 형상에 대해 얻은 이전 결과를 어떻게 일반화하는가?
• RQ5 이 전개는 기하학적 또는 표현론적 의미를 지니는가? 특히 브릴-노이터 다양체와 오일러 특성과의 관련성은 무엇인가?

주요 결과

• 스케일드 안정 스토퍼 군 다항식 $G_{\sigma}$ 는 선형 전개 $G_{\sigma} = \sum_{\mu \supseteq \sigma} (-1)^{|B(\mu/\sigma)|} a_{\sigma,\mu} \cdot s_{\mu}$ 를 갖는다. 여기서 $a_{\sigma,\mu}$ 는 $A(\mu/\sigma)$ 에서의 행-약하게 제한된 반표준 표준형 수와 $B(\mu/\sigma)$ 에서의 행-제한된 역행-엄격 표준형 수의 곱이다.
• 이 전개는 $\sigma$ 가 직선 형상일 경우에 Lenart 의 2000년 결과를 특수한 경우로 포함하며 일반화된다.
• 역전개 공식이 수립된다: $s_{\sigma} = \sum_{\mu \supseteq \sigma} (-1)^{|A(\mu/\sigma)|} b_{\sigma,\mu} \cdot G_{\mu}$, 여기서 $b_{\sigma,\mu}$ 는 $A(\mu/\sigma)$ 에서의 행-약하게 제한된 역행-엄격 표준형 수와 $B(\mu/\sigma)$ 에서의 행-제한된 반표준 표준형 수를 세는 것이다.
• 증명은 형상 분할에 대한 부호가 반전되는 치환에 기반하며, $s_{\sigma}$ 의 계수에 기여하는 것은 오직 최소 항 $\lambda = \sigma$ 만 존재하므로 역전개 항등식이 성립함을 보여준다.
• 스케일드 집합값 표준형에 대한 새로운 행 삽입 알고리즘은 Bandlow-Morse 와 Sagan-Stanley 의 이전 작업을 확장하며, 전개 유도를 위한 조합론적 프레임워크를 제공한다.
• 이 결과는 [CP17] 에서 보고된 브릴-노이터 다양체의 오일러 특성에 대한 조합론적 설명을 제공하며, 대수기하학과 대칭함수 이론을 표준형 수세기로 연결한다.