[논문 리뷰] Representation theory of the 0-Ariki-Koike-Shoji algebras

Florent Hivert, Jean-Christophe Novelli외 1명|ArXiv.org|2004. 07. 13.

Algebraic structures and combinatorial models참고 문헌 18인용 수 5

한 줄 요약

이 논문은 q=0에서 Ariki-Koike 대수를 특수화한 0-Ariki-Koike-Shoji 대수의 표현 이론을 조사한다. 단순 및 프로젝티브 모듈을 분류하고, 그들의 그로텐디크 링을 조합적 호프 대수—특히 Poirier의 준대칭 함수와 Mantaci-Reutenauer의 내림차순 대수—와 동형으로 식별하며, 색이 칠해진 구성과 리본을 통해 유도, 제약, 카르탕 불변량 및 분해 행렬에 대한 명시적 공식을 제공한다.

ABSTRACT

We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.

연구 동기 및 목표

• 0-Ariki-Koike-Shoji 대수의 단순 및 프로젝티브 모듈을 분류하여, 모든 단순 모듈이 1차원이며 순환 리본으로 매개변수화됨을 보여준다.
• 프로젝티브 모듈의 그로텐디크 링을 Mantaci-Reutenauer 내림차순 대수와, 단순 모듈의 그로텐디크 링을 Poirier의 준대칭 함수와 동일시한다.
• 색이 칠해진 구성과 리본 곱셈 규칙을 사용하여 모듈 위의 유도 및 제약 연산을 기술한다.
• Mantaci-Reutenauer 대수에서 대칭 함수와 Poirier의 기저로의 사상들을 통해 카르탕 불변량과 분해 행렬을 명시적으로 계산한다.
• 호프 대수 구조를 통해 단순 및 프로젝티브 모듈의 그로텐디크 링 간의 쌍대성을 수립한다.

제안 방법

• Shoji의 표현을 특수화하여 $\mathcal{H}_{n,r}(0)$을 정의하고, 관계식에서 $q=0$으로 설정한다.
• 색이 칠해진 구성과 순환 리본을 사용하여 단순 및 프로젝티브 모듈을 라벨링하는 특별한 기저를 도입한다.
• 리본 기저 원소 간의 곱셈 규칙을 설정: $u_p \neq v_1$ 이면 $R_{(I,u)}R_{(J,v)} = R_{(I,u)\cdot(J,v)}$, $u_p = v_1$ 이면 $R_{(I,u)\triangleright(J,v)}$.
• 프로젝티브 모듈을 리본 원소로 보내는 Isomorphism $\mathbf{ch}: \mathcal{K} \to \mathbf{MR}^{(r)}$를 구성하고, $\mathcal{K}$가 Mantaci-Reutenauer 내림차순 대수와 동형임을 증명한다.
• 프로젝티브 모듈의 동치류를 0-헤이크 대수 $H_n(0)$로 제약하는 데 사용되는 사영 $\pi: \mathbf{MR}^{(r)} \to \mathbf{Sym}$를 정의한다.
• 사상 $e: \mathbf{MR}^{(r)} \to \mathrm{Sym}^{(r)}$ 와 $d: \mathrm{Sym}^{(r)} \to \mathrm{QMR}^{(r)}$의 조합을 통해 카르탕 불변량과 분해 행렬을 Poirier 기저의 계수를 통해 계산한다.

실험 결과

연구 질문

• RQ1 0-Ariki-Koike-Shoji 대수의 단순 및 프로젝티브 모듈은 어떻게 분류되는가?
• RQ2 프로젝티브 모듈의 그로텐디크 링 $\mathcal{K}$의 구조는 무엇이며, 알려진 호프 대수와 어떤 관계가 있는가?
• RQ3 0-Ariki-Koike-Shoji 대수에서 모듈 위의 유도 및 제약 연산은 어떻게 행동하는가?
• RQ4 0-Ariki-Koike-Shoji 대수의 카르탕 불변량과 분해 행렬은 무엇인가?
• RQ5 $\mathcal{H}_{n,r}(0)$-모듈을 $H_n(0)$으로 제약하는 것을 대수적으로 어떻게 계산할 수 있는가?

주요 결과

• 모든 단순 $\mathcal{H}_{n,r}(0)$-모듈은 1차원이며, 순환 리본이라고 불리는 $r(r+1)^{n-1}$개의 조합적 대상으로 매개변수화된다.
• 프로젝티브 모듈의 그로텐디크 링 $\mathcal{K}$는 $\mathbf{ch}$ 사상이 $[P_{[K,\mathbf{c}]}]$ 를 $R_{(I,u)}$로 보내는 방식으로 Mantaci-Reutenauer 내림차순 대수 $\mathbf{MR}^{(r)}$와 동형이다.
• $\mathcal{H}_{n,r}(0)$-프로젝티브 모듈의 $H_n(0)$로의 제약는 호프 대수 준동형 $\pi: \mathbf{MR}^{(r)} \to \mathbf{Sym}$를 통해 계산되며, 이는 $S_j^{(i)}$ 를 $S_j$ 로 보낸다.
• $H_n(0)$-프로젝티브 모듈 $P_I$ 를 $\mathcal{H}_{n,r}(0)$로 유도하면, 형상 $I$ 를 가진 모든 반순환리본에 대해 $P_{[I,\mathbf{c}]}$ 의 직합으로 분해되며, 차원은 이러한 리본의 수로 주어진다.
• 카르탕 행렬 원소 $C_{[I,\mathbf{c}],[J,\mathbf{d}]}$ 는 $F_{[J,\mathbf{d}]}$ 가 $c(R_{[I,\mathbf{c}]}) = d \circ e(R_{[I,\mathbf{c}]})$ 에서의 계수이다. 여기서 $e$ 는 $h_j(X_i)$ 로 사상하고, $d$ 는 $F_{[(j),i^j]}$ 로 사상한다.
• 분해 행렬은 $d$ 를 통해 스슈어 함수의 텐서곱 $s_{\lambda^{(1)}}(X_1)\cdots s_{\lambda^{(r)}}(X_r)$ 를 Poirier 기저 $F_{[I,\mathbf{c}]}$ 로 표현한다.