[논문 리뷰] Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras

Florent Hivert, Thiéry, Nicolas M.|ArXiv.org|2006. 07. 17.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 6

한 줄 요약

이 논문은 대칭군과 그 히드라 대수와 관련된 세 개의 대수 타워의 표현 이론을 개발한다: 치환과 정렬 연산자로 생성되는 대수, 비감소 함수의 모노이드 대수, 비감소 주차 함수의 모노이드 대수. 단순 및 프로젝티브 모듈의 구조를 명시적으로 기술하고, 카르탕 사상과 유도 및 제약에 따른 코호모로지 대수와 코알제브라를 계산하며, 비대칭 및 비가환 대칭 함수의 새로운 해석을 제공하고 새로운 기저를 도입한다.

ABSTRACT

We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

연구 동기 및 목표

• 대칭군과 그 히드라 대수와 관련된 세 개의 대수 타워의 표현 이론을 연구한다.
• 이 대수들에 대한 단순 및 불가약 프로젝티브 모듈의 구조를 기술한다.
• 유도 및 제약에 따른 카르탕 사상과 코호모로지 대수를 계산한다.
• 비대칭 및 비가환 대칭 함수의 고전적 기저에 대한 새로운 해석을 제공한다.
• 이 대수들 맥락에서 새로운 기저를 도입한다.

제안 방법

• 논문은 세 개의 대수 타워를 구성한다: 기본 치환과 정렬 연산자로 생성되는 대수, 비감소 함수에서 유도된 대수, 비감소 주차 함수에서 유도된 대수.
• 모듈 이론적 기법(예: 프로젝티브 및 단순 모듈 포함)을 사용하여 각 대수의 표현 이론을 분석한다.
• 카르탕 불변량 행렬을 명시적으로 계산하여 부울 레이티스와 겔판트-츠레틴 레이티스 간의 연결 고리를 드러낸다.
• 유도 및 제약 작용에서 유도된 코호모로지 대수 및 코알제브라 구조를 도출하며, 곱과 코곱에 대한 명시적 공식을 제공한다.
• 비감소 주차 함수 대수의 레이디컬에 대한 몫과 0-히드라 대수 사이의 동형사상을 확립한다.
• 외부 곱과 부분집합 위의 레이티스 순서를 통해 프로젝티브 모듈의 구조를 기술하며, 그라스만리안 레이티스와의 분해 동형사상을 이끌어낸다.

실험 결과

연구 질문

• RQ1 치환과 정렬 연산자로 생성되는 대수의 표현 이론은 대칭군과 그 히드라 대수의 표현 이론과 어떻게 비교되는가?
• RQ2 비감소 함수의 모노이드 대수에서 단순 및 프로젝티브 모듈의 구조는 어떠한가?
• RQ3 세 타워의 코호모로지 링은 비대칭 및 비가환 대칭 함수의 고전적 기저와 어떻게 관련되는가?
• RQ4 이 타워들에서 코호모로지 대수 및 코알제브라 구조로부터 어떤 새로운 기저가 도출되는가?
• RQ5 비감소 주차 함수 대수의 모듈에 대한 제약 및 유도 규칙은 0-히드라 대수의 그것과 어떻게 비교되는가?

주요 결과

• 대수 ${\operatorname{H\mathfrak{S}}_{n}}$ 는 0-히드라 대수 ${\operatorname{H}_{n}}(0)$ 와 동형임을 보이며, 동일한 단순 모듈을 공유한다.
• 비감소 주차 함수 대수의 1차원 단순 모듈 $S_I$ 는 $2^{n-1}$ 개 존재하며, 구성 $I$ 에 따라 인덱싱되며, 내림세트에 의해 결정되는 작용을 갖는다.
• 비감소 주차 함수 대수의 프로젝티브 모듈 $P_I$ 는 불가약하며 구성에 따라 인덱싱되며, $\mathbb{C}^n$ 의 외부 곱에서 기하학적 실현이 가능하다.
• 비감소 주차 함수 대수의 카르탕 사상 $C$ 는 $C(P_I) = \sum_{J: \operatorname{Des}(J) \leq_G \operatorname{Des}(I)} S_J$ 로 주어지며, 여기서 $\leq_G$ 는 부분집합 위의 겔판트-츠레틴 순서이다.
• 비감소 주차 함수 대수의 코호모로지 대수는 비가환 대칭 함수의 대수 $\operatorname{NCSF}$ 와 동형이며, 그 코알제브라 구조는 $\operatorname{QSym}$ 의 코곱에 대응한다.
• 유도된 단순 모듈을 통해 $\operatorname{NCSF}$ 의 새로운 기저 $G_I$ 가 정의되며, 프로젝티브 모듈의 카르탕 이미지로부터 $\operatorname{NCSF}$ 의 새로운 기저 $R_I$ 가 도출된다.