[논문 리뷰] On the representation theory of finite J-trivial monoids

Tom Denton, Florent Hivert외 2명|arXiv (Cornell University)|2010. 10. 17.

Advanced Combinatorial Mathematics참고 문헌 29인용 수 21

한 줄 요약

이 논문은 유한한 $χ$-비자명 모노이드의 표현 이론에 대해 조합적 프레임워크를 수립한다. 핵심적으로, 카르탕 행렬, 쿼버, 프로젝티브 모듈러와 같은 주요 대수적 불변량들이 모노이드 자체의 원소를 세는 방식으로 순수하게 계산될 수 있음을 보여준다. 중심 기여는 모비우스 역행렬과 반복적 업그레이드를 이용한 체에 종속되지 않은 구조적 방법으로, 항등원을 정규직교 아이디포텐트로 분해함으로써 표현론적 데이터를 $O(n^2)$ 시간에 계산할 수 있도록 한다.

ABSTRACT

In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra. The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage. Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual Möbius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step. Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.

연구 동기 및 목표

• 유한한 $χ$-비자명 모노이드의 표현론적 불변량을 계산하기 위한 조합적이고 체에 종속되지 않는 방법을 개발하기 위해.
• 0-헤이크 대수의 표현 이론을 $χ$-비자명 모노이드의 특수한 경우로 간주함으로써 일반화하기 위해.
• 단지 모노이드 원소와 그 구조만을 사용하여 카르탕 행렬, 쿼버, 프로젝티브 모듈러를 계산하기 위한 알고리즘 프레임워크를 제공하기 위해.
• 반단순 몰입에서 모비우스 역행렬과 업그레이드를 이용해 항등원을 정규직교 아이디포텐트로 삼각형 분해하기 위해.
• 기존의 비감소 파킹 함수와 순서를 유지하는 재귀 함수에 대한 결과를 더 넓은 범위의 $χ$-비자명 모노이드로 확장하기 위해.

제안 방법

• 모노이드에 대해 $xy \leq x$ 및 $xy \leq y$ 를 만족하는 부분순서를 $χ$-비자명 성질을 이용해 정의한다.
• 반단순 몰입(격자)을 이용해 모비우스 역행렬을 적용하고, 몰입 대수에서 정규직교 아이디포텐트를 구성한다.
• 이 아이디포텐트들을 반단순 몰입에서 전체 모노이드 대수로 알고리즘적으로 업그레이드하는 단계를 구현한다.
• 카르탕 행렬과 쿼버 데이터를 모노이드에서 특정 순서 및 아이디포텐트 조건을 만족하는 원소를 세는 방식으로 조합론적으로 표현한다.
• 만족스러운 다이어그램의 접두사 트리와 만족스러운 만족도의 만족도 순서를 이용해 아이디포텐트에 대한 재귀적 분할 규칙을 구성한다.
• 각 유효한 $+/-\,$ 다이어그램 $D$ 에 대해 $L_D$ 와 $R_D$ 를 생성자와 사영을 이용해 재귀적으로 구성한 $C_D = L_D R_D$ 를 정의한다.

실험 결과

연구 질문

• RQ1 표현 이론의 $χ$-비자명 모노이드는 모노이드 자체의 조합론적 자료로 완전히 기술될 수 있는가?
• RQ2 카르탕 행렬과 쿼버는 선형대수학을 사용하지 않고 오직 원소 수세기만으로 계산 가능한가?
• RQ3 모노이드의 순서 구조에 기반한 구조적이고 재귀적인 방법으로 모노이드 대수의 항등원을 정규직교 아이디포텐트로 분해할 수 있는가?
• RQ4 순서를 유지하는 재귀 함수의 모노이드에서 아이디포텐트의 재귀적 분할 구조는 완전하고 원시적인 직교 분해를 제공하는가?
• RQ5 $χ$-비자명 모노이드의 표현론적 불변량은 기저 체에 얼마나 의존하는가?

주요 결과

• 모든 $χ$-비자명 모노이드의 카르탕 행렬은 상부 유니트리앙귤러이며, 기저 체에 종속되지 않고 모노이드 내 원소 수세기로 계산 가능하다.
• 대수의 쿼버는 특정 순서 및 아이디포텐트 조건을 만족하는 원소 쌍을 세는 것으로 완전히 결정되며, 0-헤이크 대수에 대해 명시적인 간선 레이블링이 제공된다.
• 반단순 몰입에서 모비우스 역행렬을 적용한 후 알고리즘적 업그레이드를 통해 항등원의 정규직교 아이디포텐트 분해를 구성하였으며, 이는 $n = |M|$ 일 때 $O(n^2)$ 복잡도를 달성한다.
• 만족도 격자 $L$ 에서 순서를 유지하는 재귀 함수의 모노이드에 대해 카르탕 행렬은 상부 유니트리앙귤러이며, 아이디포텐트 $C_D$ 는 완전하고 직교적인 집합을 이룬다.
• 분할 규칙을 통해 정의된 디믹포텐트 $C_D$ 는 테스트된 모든 경우(최대 8개 원소까지)에서 직접적으로 아이디포텐트임을 보여주며, 이는 원시적이고 직교적인 아이디포텐트 집합을 이룬다.
• 이 방법은 기존의 0-헤이크 대수와 비감소 파킹 함수에 대한 결과를 복구하면서도, 통일된 조합론적 프레임워크를 통해 더 넓은 범위의 모노이드로 확장한다.