[논문 리뷰] On dual stable Grothendieck polynomials and their sums

Motoki Takigiku|arXiv (Cornell University)|2018. 06. 17.

Polynomial and algebraic computation인용 수 1

한 줄 요약

이 논문은 이중 안정 Grothendieck 다항식 $g_\lambda$ 와 그 합 $\sum_{\mu\subset\lambda}g_\mu$ 가 동일한 곱 구조 상수를 공유함을 증명하며, 대칭 함수의 링에서 치환 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ 하에 선형 사상 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ 가 대수 자기환원사상임을 보여준다. 증명은 두 다항식의 피에리 유형 공식의 계수가 일치함을 보여서 기반한다.

ABSTRACT

We show that the dual stable Grothendieck polynomials $g_\lambda$ and their sums $\sum_{\mu\subset\lambda}g_\mu$ have the same product structure constants, that is, the linear map given by $g_\lambda\mapsto\sum_{\mu\subset\lambda}g_\mu$ is an algebra automorphism of the ring of symmetric function generated by $h_i\mapsto h_i+h_{i-1}+\dots+h_0$. This is done by seeing their Pieri-type formulas have the same coefficients.

연구 동기 및 목표

• 이중 안정 Grothendieck 다항식과 그 합의 대칭 함수 링 내에서의 대수적 구조를 조사한다.
• 선형 사상 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ 가 대칭 함수 링의 대수적 구조를 유지하는지 판단한다.
• 다항식 $g_\lambda$ 와 그 합의 곱 구조 상수를 비교하여 잠재적인 동형사상 또는 자기환원사상의 존재 여부를 규명한다.
• 변환 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ 가 대칭 함수 링의 대수적 관계를 유지하는지 확인한다.

제안 방법

• 이중 안정 Grothendieck 다항식 $g_\lambda$ 와 그 합 $\sum_{\mu\subset\lambda}g_\mu$ 의 피에리 유형 공식을 분석한다.
• 두 가족의 대칭 함수 피에리 규칙에서 계수를 비교한다.
• 피에리 공식의 계수 일치를 통해 곱 전개에서 동일한 구조 상수를 이끌어낸다.
• 선형 사상 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ 가 곱을 유지함을 증명하여 대수 자기환원사상임을 확립한다.
• 이 사상이 기본 대칭 함수에 대해 치환 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ 와 대응됨을 검증한다.

실험 결과

연구 질문

• RQ1 이중 안정 Grothendieck 다항식과 그 합은 동일한 곱 구조 상수를 가지는가?
• RQ2 선형 사상 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ 는 대칭 함수 링에서 대수 자기환원사상인가?
• RQ3 합 가족의 구조 상수는 $g_\lambda$ 와 동일한 계수 패턴으로 유도될 수 있는가?
• RQ4 변환 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ 는 대칭 함수 링의 대수적 관계를 유지하는가?

주요 결과

• $g_\lambda$ 와 $\sum_{\mu\subset\lambda}g_\mu$ 의 곱 구조 상수는 동일하다.
• 선형 사상 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ 는 대칭 함수 링의 대수 자기환원사상이다.
• 이 자기환원사는 기본 대칭 함수에 대한 치환 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ 에 의해 유도된다.
• 두 가족에 대한 피에리 유형 공식의 계수 일치가 구조적 동치를 확인한다.