[논문 리뷰] On the Hall algebra of semigroup representations over F_1

Matt Szczesny|arXiv (Cornell University)|2012. 04. 24.

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

한 줄 요약

이 논문은 유한 생성된 영을 가진 반군에 대한 $ℝ_1$ 위에서의 유한 표현의 할란 대수를 도입하며, 이 대수가 원시 원소들의 리 대수의 보편 포락 대수와 동형임을 보여준다. 핵심 결과는 자유 모노이드 $⌈ t⌉$의 할란 대수가 크라이머의 뿌리가 있는 숲에 대한 호프 대수와 동형임을 보여주며, 이는 숲에 대한 새로운 교환 법칙을 정의하고 다른 반군들, 특히 군 모노이드로 일반화할 수 있음을 시사한다.

ABSTRACT

Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of finite $\A$--modules. $\H_{\A}$ is shown to be the universal enveloping algebra of a Lie algebra $ _{\A}$, called the \emph{Hall Lie algebra} of $\C_{\A}$. In the case of the $\fm$ - the free monoid on one generator $\fm$, the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\fm$-modules) is isomorphic to Kreimer's Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\A$ is a quotient of $\fm$ by a congruence, and the monoid $G \cup \{0\}$ for a finite group $G$.

연구 동기 및 목표

• 유한 생성된 영을 가진 반군 $ℝ$에 대해 $ℝ_1$ 위에서의 유한 $ℝ$-모듈의 할란 대수를 정의하고 연구하기.
• 정규 사상의 부분범주 $ℝ_{\mathcal{C}^{N}_{\operatorname{A}}}$의 할란 대수 $ℝ_{\mathcal{C}^{N}_{\operatorname{A}}}$가 원시 원소들의 리 대수의 보편 포락 대수와 동형임을 확립하기.
• 할란 대수와 조합론적 호프 대수, 특히 뿌리가 있는 숲 사이의 연결 고리를 탐색하기.
• 비加법 범주에 대해 정규 사상으로 제한함으로써 할란 대수의 구성 방식을 일반화하기.
• $G$가 유한군일 때 $¯{G} = G \cup \{0\}$의 할란 대수와 버너드 링 $\Omega(G)$ 사이의 관계를 규명하기.

제안 방법

• $\u211d$-모듈을 영을 가진 반군 $\u211d$의 작용이 있는 유한 포인트된 집합으로 정의하기.
• $\u211d$-모듈의 범주 $\mathcal{C}_{\u211d}$를 구성하고, 유한한 확장 수를 보장하기 위해 정규 사상의 부분범주 $\mathcal{C}^{N}_{\u211d}$로 제한하기.
• 구조 상수가 짧은 정규 수열의 수를 세는 방식으로, 동형류 클래스 위의 자유 $\mathbb{Z}$-모듈로 할란 대수 $\mathbb{H}_{\mathcal{C}^{N}_{\u211d}}$를 정의하기.
• $\mathbb{Q}$와 텐서곱한 후 코커뮤터티 코곱과 항등원을 갖게 하여, 할란 대수 $\mathbb{H}_{\mathcal{C}^{N}_{\u211d}}$에 호프 대수의 구조를 도입하기.
• 밀너-무어 정리를 적용하여 $\mathbb{H}_{\mathcal{C}^{N}_{\u211d}}$가 원시 원소들의 리 대수의 보편 포락 대수와 동형임을 보여주기.
• 특수 케이스 분석: $\u211d = \langle t\rangle$, $\u211d = \overline{G}$, 그리고 퀼리 대수 $\u211d(Q)$.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q$ 위에서의 아벨 범주에서의 할란 대수 구성 방식을 비가환 범주로 확장하여 $\mathbb{F}_1$ 위에서의 비가환 범주로 일반화할 수 있는가?
• RQ2 $\mathbb{F}_1$ 위에서의 유한 $\langle t\rangle$-모듈의 할란 대수의 구조는 어떻게 되며, 기존의 조합론적 호프 대수와 어떤 관련이 있는가?
• RQ3 $\overline{G} = G \cup \{0\}$의 할란 대수는 고전적인 대수적 불변량인 $G$의 버너드 링 $\Omega(G)$와 관련이 있는가?
• RQ4 정규 사상은 비가환 범주에서 유한성과 정규성 성질을 복원하는 데 어떤 역할을 하는가?
• RQ5 반군 표현에 대한 $\mathbb{F}_1$ 위의 할란 대수는 뿌리가 있는 숲과 군 작용의 조합론적 성질을 어떻게 반영하는가?

주요 결과

• 영을 가진 $\langle t\rangle$-모듈의 할란 대수 $\mathbb{H}_{\mathcal{C}^{N}_{\langle t\rangle}}$는 크라이머의 뿌리가 있는 숲에 대한 호프 대수와 동형이다.
• 이 동형은 뿌리가 있는 숲에 대해 두 가지 새로운 교환 법칙을 정의할 수 있게 하며, 이는 숲의 대수적 구조를 확장한다.
• $\overline{G} = G \cup \{0\}$ 모노이드의 경우, 할란 대수 $\mathbb{H}_{\overline{G}}$는 다항식 대수 $\mathbb{Q}[\overline{M}_i]$와 동형이며, 여기서 $\overline{M}_i$는 $G$의 부분군의 쌍대류에 대응하는 불가약한 $\overline{G}$-모듈이다. 원시 원소들의 리 대수는 아벨리안이다.
• $\operatorname{Rep}^\wedge[\overline{G}]$의 외적 대수는 유한군 $G$의 버너드 링 $\Omega(G)$와 동형이며, 이는 할란 대수와 고전적 표현 이론 사이의 직접적인 연결 고리를 확립한다.
• $\mathcal{C}^{N}_{\overline{G}}$ 범주는 단순적이며, 모든 대상이 불가약한 모듈의 직합으로 유일하게 분해되며, 모든 짧은 정규 수열이 분리된다.
• 할란 대수 $\mathbb{H}_{\mathcal{C}^{N}_{\operatorname{A}}}$는 밀너-무어 정리에 의해 원시 원소들의 리 대수의 보편 포락 대수 $\mathbb{U}(\mathfrak{n}_{\mathcal{C}^{N}_{\operatorname{A}}})$와 동형이다.