[논문 리뷰] A Solomon descent theory for the wreath products G ~ S_n

Pierre Baumann, Christophe Hohlweg|arXiv (Cornell University)|2005. 03. 01.

Advanced Combinatorial Mathematics인용 수 8

한 줄 요약

이 논문은 유한 아벨 군 $G$ 에 대해 $G \wr \mathfrak{S}_n$ 의 솔로몬 유형 내림 이론을 개발한다. 맨타시-루텐아우어 대수, 쿼asi대칭 함수, 스펙트의 표현 이론을 사용한다. 핵심 기여는 군 대수 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 내부에 있는 부분대수 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ 와 표현 대수 $R(G \wr \mathfrak{S}_n)$ 로의 전사 대수 준동형사상 $\theta_G$ 를 구성하는 것이다. 이는 솔로몬의 내림 대수를 와이어드 제품으로 일반화한다.

ABSTRACT

We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.

연구 동기 및 목표

• 유한 아벨 군 $G$ 에 대해 코xeter 군에서의 솔로몬의 내림 대수 이론을 와이어드 제품 $G \wr \mathfrak{S}_n$ 으로 확장한다.
• 내림 구조를 포착하는 군 대수 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 내부의 부분대수 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ 를 구성한다.
• 표현 대수 $R(G \wr \mathfrak{S}_n)$ 로의 전사 대수 준동형사상 $\theta_G: \mathord{\mathsf{MR}}_n(\mathbb{Z}G) \to R(G \wr \mathfrak{S}_n)$ 를 수립하여 표현 이론을 군 대수로 상승시킨다.
• 자유 쿼아지대칭 대수 구조를 $\mathbb{Z}G$ 에 적용하여 말벤투-루텐아우어 대알제브라 프레임워크를 와이어드 제품으로 일반화한다.

제안 방법

• 정수 $\mathbb{Z}$-모듈 $V$ 에 대해 자유 쿼아지대칭 대수 $\mathscr{F}(V)$ 를 정의하고, 외부 곱과 코곱을 부여하여 계수화된 이중대수를 형성한다.
• 자기 자신을 부분이중대수로 가지는 맨타시-루텐아우어 이중대수 $\mathord{\mathsf{MR}}(V)$ 를 $\mathscr{F}(V)$ 의 부분이중대수로 구성하며, $V$ 가 자유일 경우 자유 결합 대수가 된다.
• 정수 모듈의 쌍대성에 기반해 $\mathscr{F}(V)$ 와 $\mathscr{F}(W)$ 를 쌍대성으로 연결하고, $V$ 가 자기쌍대일 경우 자가쌍대성을 보장한다.
• $B$-분할과 $l$-벡터 분할을 도입하여 쿼아지대칭 함수를 매개변수화하고, $\mathbf{sr}(\mathbf{I})$ 위에 지배 순서 $\preccurlyeq$ 를 정의한다.
• $B$-분할 $\mathbf{c}$ 를 인덱스로 하는 형식적 멱급수 $F_{\mathbf{c}}$ 를 정의하고, 행렬 수세기 구성으로 인해 $F_{\mathbf{K}(\mathbf{c})}$ 인 쿼아리리본 함수와 같음을 보인다.
• $\mathord{\mathrm{QSym}}(B)$, 즉 색칠된 쿼아지대칭 함수의 대수가 $\mathord{\mathit{QSym}^{(l)}}$ 인 수준-$l$ 쿼아지대칭 함수에 포함됨을 보였다.

실험 결과

연구 질문

• RQ1 솔로몬의 내림 대수 구성법을 코xeter 군에서 유한 아벨 군 $G$ 에 대해 와이어드 제품 $G \wr \mathfrak{S}_n$ 으로 일반화할 수 있는가?
• RQ2 군 대수 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 의 어떤 부분대수가 표현 대수 $R(G \wr \mathfrak{S}_n)$ 로의 대수 준동형사상을 지지하는가?
• RQ3 맨타시-루텐아우어 대수와 쿼아지대칭 함수는 와이어드 제품 군 대수의 맥락에서 어떻게 상호작용하는가?
• RQ4 $l$-벡터 분할과 그 지배 순서는 내림 기저를 매개변수화하는 데 어떤 역할을 하는가?
• RQ5 $V = \mathbb{Z}G$ 에 대해 자유 쿼아지대칭 대수 $\mathscr{F}(V)$ 는 어떻게 대칭 군과 와이어드 제품 군의 이중대수 구조를 통합하는가?

주요 결과

• 유한 아벨 군일 경우 군 대수 $\mathbb{Z}[G \wr \mathfrak{S}_n]$ 내의 부분대수 $\mathord{\mathsf{MR}}_n(\mathbb{Z}G)$ 는 자유 결합 대수와 동형이다.
• 표현 대수 $R(G \wr \mathfrak{S}_n)$ 로의 전사 대수 준동형사상 $\theta_G: \mathord{\mathsf{MR}}_n(\mathbb{Z}G) \to R(G \wr \mathfrak{S}_n)$ 가 존재하여 $G \wr \mathfrak{S}_n$ 의 특성 이론을 군 대수로 상승시킨다.
• 분할 $\mathbf{c}$ 와 관련된 형식적 멱급수 $F_{\mathbf{c}}$ 는 유일한 $l$-벡터 분할 $\mathbf{K}(\mathbf{c})$ 를 만족하는 $\mathbf{c} \preccurlyeq \mathord{\mathbf{sr}}(\mathbf{K}(\mathbf{c}))$ 를 통해 쿼아리리본 함수 $F_{\mathbf{K}(\mathbf{c})}$ 와 같다.
• 색칠된 쿼아지대칭 함수의 대수 $\mathord{\mathrm{QSym}}(B)$ 는 수준-$l$ 쿼아지대칭 함수인 $\mathord{\mathit{QSym}^{(l)}}$ 에 부분대수로서 포함된다.
• $\mathbb{Z}G$ 가 자기쌍대일 경우, $\mathbb{Z}G$ 에 대한 계수화된 이중대수 $\mathscr{F}(\mathbb{Z}G)$ 는 말벤투-루텐아우어 구성법을 일반화하며 자가쌍대 성질을 지닌다.
• $\mathscr{F}(V)$ 의 구성은 함자적이며 쌍대성과 호환되므로, 와이어드 제품 내림 대수의 통합 프레임워크를 제공한다.