[논문 리뷰] The projective cover of tableau-cyclic indecomposable $H_n(0)$-modules

Seung-Il Choi, Young-Hun Kim외 2명|arXiv (Cornell University)|2020. 08. 16.

Algebraic structures and combinatorial models참고 문헌 19인용 수 4

한 줄 요약

이 논문은 이중 완전, 확장된 슈어, 그리고 쿼시스임เมตร릭 슈어 함수와 관련된 타블로-순환 불가분 $H_n(0)$-모듈에 대한 사영 코버를 구성한다. 이는 사영 불가분 모듈에서 이러한 타블로-순환 모듈로의 일련의 전상사상을 수립하고, 타블로에서 내림내림 조건과 열 공유 조건을 사용하여 직접 합성의 사영 코버가 불가분이 되는 조건을 조합론적으로 기술한다.

ABSTRACT

Let $α$ be a composition of $n$ and $σ$ a permutation in $\mathfrak{S}_{\ell(α)}$. This paper concerns the projective covers of $H_n(0)$-modules $\mathcal{V}_α$, $X_α$ and $\mathbf{S}^σ_α$, which categorify the dual immaculate quasisymmetric function, the extended Schur function, and the quasisymmetric Schur function when $σ$ is the identity, respectively. First, we show that the projective cover of $\mathcal{V}_α$ is the projective indecomposable module $\mathbf{P}_α$ due to Norton, and $X_α$ and the $ϕ$-twist of the canonical submodule $\mathbf{S}^σ_{β,C}$ of $\mathbf{S}^σ_β$ for $(β,σ)$'s satisfying suitable conditions appear as $H_n(0)$-homomorphic images of $\mathcal{V}_α$. Second, we introduce a combinatorial model for the $ϕ$-twist of $\mathbf{S}^σ_α$ and derive a series of surjections starting from $\mathbf{P}_α$ to the $ϕ$-twist of $\mathbf{S}^{\mathrm{id}}_{α,C}$. Finally, we construct the projective cover of every indecomposable direct summand $\mathbf{S}^σ_{α, E}$ of $\mathbf{S}^σ_α$. As a byproduct, we give a characterization of triples $(σ, α, E)$ such that the projective cover of $\mathbf{S}^σ_{α, E}$ is indecomposable.

연구 동기 및 목표

• 단일 타블로에 의해 생성되는 타블로-순환 $H_n(0)$-모듈의 사영 코버를 결정하는 것, 특히 쿼시스임เมตร릭 특성에 따라 이중 완전, 확장된 슈어, 그리고 쿼시스임เมตร릭 슈어 함수에 해당하는 경우.
• 사영 불가분 모듈 $\mathbf{P}_\alpha$에서 $\mathbf{S}^\sigma_{\lambda(\alpha),C}$의 $\phi$--twist로 이어지는 전상사상의 사슬을 수립하여 $\mathbf{P}_\alpha$를 더 복잡한 타블로 모듈과 연결하는 것.
• 형태 $\alpha$와 유형 $\sigma$를 갖는 표준 순열된 구성 타블로를 사용하여 $\mathbf{S}^\sigma_\alpha$의 $\phi$-twist에 대한 조합론적 모델을 제공하는 것.
• 각 불가분 직접 합성의 사영 코버 $\mathbf{S}^\sigma_{\alpha,E}$를 구성하고, 이 코버가 불가분이 되는 삼중조 $(\sigma,\alpha,E)$를 특성화하는 것.

제안 방법

• 쿼시스임เมตร릭 특성을 활용하여 $H_n(0)$-모듈을 쿼시스임เมตร릭 함수와 연결하며, 이중 완전, 확장된 슈어, 그리고 쿼시스임เมตร릭 슈어 함수에 집중한다.
• $\mathbf{P}_\alpha$에서 시작하여 $\mathcal{V}_\alpha$, $X_\alpha$, 그리고 마지막으로 $\mathbf{S}^\sigma_{\lambda(\alpha),C}$의 $\phi$-twist로 이어지는 일련의 $H_n(0)$-모듈 준동형 전상사상을 구성한다.
• 형태 $\alpha$와 유형 $\sigma$를 갖는 표준 순열된 구성 타블로를 사용하여 $\mathbf{S}^\sigma_\alpha$의 $\phi$-twist에 대한 조합론적 모델을 제안함으로써 명시적인 모듈 구성이 가능해진다.
• $\ell(\sigma s_i) < \ell(\sigma)$일 때, 코xmeyer 관계를 사용하여 $\mathbf{S}^\sigma_{\alpha,C}$와 $\mathbf{S}^{\sigma s_i}_{\alpha \cdot s_i, C}$ 사이의 $\phi$-twist 작용을 적용한다.
• $\mathrm{SPCT}^\sigma(\alpha)$ 내의 연결 성분 $E$의 구조를 활용하여 $\mathbf{S}^\sigma_\alpha$를 불가분 합성 $\mathbf{S}^\sigma_{\alpha,E}$로 분해한다.
• 소스 타블로의 내림내림 위치와 열 공유 조건을 기반으로 하여 $\mathbf{S}^\sigma_{\alpha,E}$의 사영 코버가 불가분이 되는 조건을 유도한다.

실험 결과

연구 질문

• RQ1 이중 완전 쿼시스임เมตร릭 함수에 해당하는 타블로-순환 $H_n(0)$-모듈 $\mathcal{V}_\alpha$의 사영 코버는 무엇인가?
• RQ2 $\mathbf{P}_\alpha$에서 $\mathbf{S}^\sigma_{\lambda(\alpha),C}$의 $\phi$-twist로 이어지는 전상사상의 사슬을 어떻게 구성할 수 있으며, 이 구성에서 $\phi$-twist의 역할은 무엇인가?
• RQ3 표준 순열된 구성 타블로의 소스 타블로에서 연결 성분 $E$의 조건을 충족하는 조합론적 조건은 무엇인가, 이는 $\mathbf{S}^\sigma_{\alpha,E}$의 사영 코버가 불가분이 되는 데 기여하는가?
• RQ4 $\phi$-twist 작용이 표준 순열된 구성 타블로에서 $H_n(0)$-작용과 어떻게 상호작용하여 $\mathbf{S}^\sigma_{\alpha,E}$로의 전상사상을 유도하는가?
• RQ5 모든 불가분 직접 합성 $\mathbf{S}^\sigma_{\alpha,E}$의 사영 코버를 명시적으로 구성할 수 있으며, 이 코버의 구조는 어떠한가?

주요 결과

• Norton에 의해 증명된 lin, $\mathcal{V}_\alpha$의 사영 코버는 사영 불가분 모듈 $\mathbf{P}_\alpha$이다.
• $\mathbf{P}_\alpha \twoheadrightarrow \mathcal{V}_\alpha \twoheadrightarrow X_\alpha \twoheadrightarrow \phi$-twist of $\mathbf{S}^{\sigma}_{\lambda(\alpha),C}$의 전상사상 사슬이 존재하며, 이는 $\mathbf{P}_\alpha$를 $\phi$-twist의 표준 부분모듈로 연결한다.
• $\mathbf{S}^\sigma_\alpha$의 $\phi$-twist는 표준 순열된 구성 타블로를 통해 조합론적 모델을 갖는다. 이는 전상사상의 명시적 구성이 가능하게 한다.
• $\mathbf{S}^\sigma_{\alpha,E}$의 사영 코버가 불가분이 되는 것은 소스 타블로의 각 내림내림 위치 $d_i$에 대해 인접한 후크 $\mathtt{H}_i$와 $\mathtt{H}_{i+1}$이 열을 공유하거나, $d_{i-1}+1$과 $d_{i+1}$이 $\tau_E$에서 공격하는 경우에 한하여 성립하며, 이는 정리 5.12에 의해 확인된다.
• 모든 표준 클래스 $E$는 불가분 조건을 만족하므로, $\mathbf{S}^\sigma_{\alpha,E}$ 중에서 사영 코버가 불가분인 큰 집합을 제공한다.
• 이 구성은 $\overline{\mathbf{P}}_{\boldsymbol{\upgamma}} \twoheadrightarrow \mathbf{S}^\sigma_{\alpha,E}$의 사영 표현을 제공하며, $\boldsymbol{\upgamma} = \boldsymbol{\upalpha}_E^{\min}$로, 그림 1에 도시된 lin.