[논문 리뷰] Tensor product of Kraśkiewicz and Pragacz's modules

Masaki Watanabe|arXiv (Cornell University)|2014. 10. 29.

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

한 줄 요약

이 논문은 임의의 두 Kraśkiewicz-Pragacz (KP) 모듈의 텐서곱이 KP 모듈의 필터링을 갖는다는 것을 증명하며, 스체버트 다항식의 곱이 스체버트 다항식의 양의 합임이라는 고전적 양의 성질에 대한 모듈 이론적 실현을 제공한다. 결과는 귀납법과 Ext의 소멸 증명을 통해 얻어지며, 스체버트 다항식의 스체버트 함수와 구조 상수에 응용된다.

ABSTRACT

This paper explores further properties of modules related with Schubert polynomials, introduced by Kraśkiewicz and Pragacz. In this paper we show that any tensor product of Kraśkiewicz-Pragacz modules admits a filtration by Kraśkiewicz-Pragacz modules. This result can be seen as a module-theoretic counterpart of a classical result that the product of Schubert polynomials is a positive sum of Schubert polynomials.

연구 동기 및 목표

• 스체버트 다항식의 곱이 스체버트 다항식의 양의 합임이라는 고전적 사실에 대한 모듈 이론적 대응을 확립하기 위해.
• Kraśkiewicz와 Pragacz가 제기한 질문, 즉 기본 모듈 $\mathcal{S}_{s_\nu}$를 포함하는 텐서곱에 대한 KP 필터링 존재성 문제를 해결하기 위해.
• 일반적인 텐서곱 $\mathcal{S}_w \otimes \mathcal{S}_v$로 이 결과를 확장하고 스체버트 계산에서 새로운 양의 성질을 도출하기 위해.

제안 방법

• 모든 경우를 다루는 대신 모듈의 특수한 경우를 증명하여, Monk의 공식을 사용해 $\mathcal{S}_w \otimes \mathcal{S}_{s_\nu}$가 귀납법과 Ext 소멸을 통해 KP 필터링을 갖는다는 것을 보였다.
• 필터링의 부분몫을 분석하기 위해 $T_w = \bigotimes_{2\leq i\leq n} \bigotimes^{l_i(w)} \mathcal{S}_{s_{i-1}}$의 특성 공식을 사용하였다.
• 특성 공식을 통해 $H_N$ 위의 이중선형 형식을 적용하여 $T_w$의 특성에서 $n_{wu}$ 계수를 계산하였으며, 이는 역순열의 사전순서와 연결되었다.
• Ext 소멸과 무게 조건에 관한 [3, Proposition 5.4]의 결과를 활용하여, $u^{-1} \underset{\mathrm{lex}}{>} w^{-1}$이면 $\mathrm{Ext}^1(\mathcal{S}_w, \mathcal{S}_u) = 0$임을 보였다.
• 귀납법을 $w$에 대해 적용하고 정확한 수열 $0 \to \mathcal{S}_w \otimes \mathcal{S}_v \to T_w \otimes \mathcal{S}_v \to N \otimes \mathcal{S}_v \to 0$을 사용하여 필터링을 올리었다.
• Corollary 2.6(2)를 적용하여, 외부 항목들이 모두 KP 필터링을 갖는다면 중간 항목 역시 그러하다는 결론을 이끌어냈다.

실험 결과

연구 질문

• RQ1 Kraśkiewicz-Pragacz 모듈 $\mathcal{S}_w \otimes \mathcal{S}_v$의 텐서곱은 KP 모듈의 필터링을 갖는가?
• RQ2 스체버트 다항식 곱의 고전적 양의 성질은 $\mathfrak{b}$-모듈의 범주에서 실현될 수 있는가?
• RQ3 스체버트 다항식의 구조 상수는 $\mathcal{S}_w \otimes \mathcal{S}_v$의 부분몫과 확장의 관점에서 어떻게 구성되는가?
• RQ4 Ext 군 $\mathrm{Ext}^1(\mathcal{S}_w, \mathcal{S}_u)$는 텐서곱의 가능한 필터링을 어떻게 제약하는가?

주요 결과

• 모든 $w,v \in S_\infty^{(n)}$에 대해 텐서곱 $\mathcal{S}_w \otimes \mathcal{S}_v$는 KP 필터링을 갖는다. 이는 스체버트 다항식 양의 성질에 대한 모듈 이론적 대응을 확립한다.
• $T_w$의 KP 필터링에서 $\mathcal{S}_u$의 계수 $n_{wu}$는 $\mathfrak{S}_{uw_0}$에서 $x^{\mathrm{inv}(ww_0)}$의 계수와 같으며, 이는 $w^{-1} \underset{\mathrm{lex}}{\leq} u^{-1}$일 때에만 비영이 된다.
• $\mathcal{S}_w$는 $T_w$에 정확히 한 번의 중복도로 부분모듈로 포함되며, 나머지 모든 부분몫 $\mathcal{S}_u$는 $u^{-1} \underset{\mathrm{lex}}{>} w^{-1}$를 만족한다.
• 이 결과는 $s_\lambda(\mathcal{S}_w)$가 KP 필터링을 갖는다는 것을 의미하므로, $s_\lambda(x^\alpha, x^\beta, \dots)$는 스체버트 다항식의 양의 합이 된다.
• 스체버트 기저에서 $\mathfrak{S}_u \mathfrak{S}_v$의 구조 상수는 $\dim \mathrm{Hom}_{\mathfrak{b}}(\mathcal{S}_u \otimes \mathcal{S}_v, \mathcal{S}_{w_0w}^* \otimes K_\rho)$와 같다.