[논문 리뷰] Representations of Quivers over F1

Matthew Szczesny|arXiv (Cornell University)|2010. 06. 04.

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

한 줄 요약

이 논문은 가령의 한 원소로 이루어진 체 $\mathbb{F}_1$ 위에서의 퀼러 표현의 범주인 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$를 도입하며, 이는 핵심 대수적 구조인 커널, 코어널, 직접 합을 그대로 유지한다. 이 범주의 헬 알지브라 $\mathbf{H}_{\operatorname{Q}}$를 구성하고, $\rho' : \operatorname{U}(\mathfrak{n}_+) \to \mathbf{H}_{\operatorname{Q}}$라는 호프 대수 준동형사상을 증명함으로써, $\mathbf{H}_{\operatorname{Q}}$가 $\operatorname{Q}$의 기저 그래프와 관련된 카크-무디 대수의 니르포텐트 부분의 유니버설 쌓음 대수와 동형임을 보이며, 이는 헬 알지브라의 $q=1$ 극한을 실현한다.

ABSTRACT

We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U( _+) ightarrow \HQ$, from the enveloping algebra of the nilpotent part $ _+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.

연구 동기 및 목표

• 쿼버에 대한 $\mathbb{F}_1$ 표현 이론을 개발하기 위해, $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$를 잘 정의된 범주적 구조를 갖춘 범주로 정의한다.
• 표현 범주 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$가 조르당-홀더 정리와 크룰-슈마이트 정리의 유사판을 만족함을 입증하여, 헬 알지브라의 구성이 가능하도록 한다.
• 표현 범주 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$의 헬 알지브라 $\mathbf{H}_{\operatorname{Q}}$를 정의하고, 이것이 등급을 가진 호프 대수의 구조를 지닌다는 것을 보인다.
• 카크-무디 대수의 니르포텐트 부분 $\mathfrak{n}_+$가 기저 그래프 $\operatorname{Q}$와 관련된 것과 동일한 $\mathfrak{n}_+$에 대해, 호프 대수 준동형사상 $\rho' : \operatorname{U}(\mathfrak{n}_+) \to \mathbf{H}_{\operatorname{Q}}$의 존재를 증명한다.

제안 방법

• $\operatorname{Vect}(\mathbb{F}_1)$를 부분적 전단사 사상들을 사상으로 갖는 점이 있는 집합의 범주로 정의하여, $\mathbb{F}_1$ 위의 벡터 공간을 모델링한다.
• $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$를 $\operatorname{Vect}(\mathbb{F}_1)$ 내의 쿼버 표현의 범주로 구성하며, 정점에 점이 있는 집합을, 간선에 부분적 전단사 사상을 할당한다.
• 등급을 가진 복소수 값 함수의 유한 지지 집합으로서 $\mathbf{H}_{\operatorname{Q}}$를 정의하고, 확장 구조를 코딩하는 콘볼루션 곱을 갖춘다.
• $\mathbf{H}_{\operatorname{Q}}$에 $\Delta(f)([M],[N]) = f([M \oplus N])$를 통해 코곱을 도입하여, 이는 등급을 가진 연결된 코미터티브 이중대수임을 보장한다.
• 밀너-무어 정리를 적용하여 $\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_{\operatorname{Q}})$를 유추하며, 여기서 $\mathfrak{n}_{\operatorname{Q}}$는 원소의 리 대수이다.
• $\mathfrak{a}_+$를 특정한 인시던스 구조로 구성된 리 대수로 정의하고, $\psi: \mathfrak{a}_+ \to \mathfrak{n}_{\operatorname{Q}}$를 명시적으로 리 대수 동형사상으로 구성함으로써 $\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{a}_+)$를 보이고, 따라서 $\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_+)$임을 유도한다.

실험 결과

연구 질문

• RQ1 벡터 공간의 덧셈 구조가 없는 $\operatorname{Vect}(\mathbb{F}_1)$에서 쿼버에 대한 의미 있는 표현 이론을 개발할 수 있는가?
• RQ2 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$ 범주가 커널, 코어널, 직접 합과 같은 범주적 구성요소를 지닐 수 있으며, 조르당-홀더 및 크룰-슈마이트 정리의 유사판이 성립하는가?
• RQ3 $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$의 헬 알지브라 $\mathbf{H}_{\operatorname{Q}}$를 정의하고, 이것이 호프 대수의 구조를 지닌다는 것을 증명할 수 있는가?
• RQ4 $\overline{\operatorname{Q}}$의 기저 무향 그래프와 관련된 카크-무디 대수의 니르포텐트 부분에 대응하는 유니버설 쌓음 대수 $\operatorname{U}(\mathfrak{n}_+)$에서 $\mathbf{H}_{\operatorname{Q}}$로의 자연스러운 준동형사상이 존재하는가?
• RQ5 $\mathbf{H}_{\operatorname{Q}}$의 정확한 대수적 구조는 무엇이며, 이는 헬 알지브라의 $q=1$ 극한에서 알려진 리 대수와 어떻게 관련되어 있는가?

주요 결과

• $\operatorname{Rep}(\operatorname{Q},\mathbb{F}_1)$는 커널, 코어널, 직접 합을 지닌 $\mathbb{F}_1$-선형 범주이며, 조르당-홀더 및 크룰-슈마이트 정리의 유사판을 만족한다.
• $\mathbf{H}_{\operatorname{Q}}$는 등급을 가진 연결된 코미터티브 이중대수이므로 호프 대수이며, 밀너-무어 정리에 의해 $\operatorname{U}(\mathfrak{n}_{\operatorname{Q}})$와 동형이다.
• $\rho' : \operatorname{U}(\mathfrak{n}_+) \to \mathbf{H}_{\operatorname{Q}}$는 존재하며, 여기서 $\mathfrak{n}_+$는 $\overline{\operatorname{Q}}$가 기저로 되는 다이노프 다이어그램을 가진 카크-무디 대수의 니르포텐트 부분이다.
• 조르당 쿼버의 경우, $\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{a}_+)$이며, 리 대수 $\mathfrak{a}_+$는 $\mathfrak{n}_{\operatorname{Q}}$와 동형이므로 $\mathbf{H}_{\operatorname{Q}} \simeq \operatorname{U}(\mathfrak{n}_+)$임을 유도한다.
• $\rho'$는 단사이며, $\rho: \operatorname{U}(\mathfrak{b}') \to \widetilde{\mathbf{H}}_{\operatorname{Q}}$ 역시 단사임을 확인하여, $\mathbf{H}_{\operatorname{Q}}$와 $\operatorname{U}(\mathfrak{n}_+)$ 사이의 깊은 구조적 연결을 확인한다.
• $\mathbf{H}_{\operatorname{Q}}$는 순서 집합의 간격에 대한 인시던스 구조로부터 구성된 리 대수 $\mathfrak{a}_+$의 유니버설 쌓음 대수와 동형이며, 이 동형은 $\operatorname{U}(\mathfrak{n}_+)$로 가는 원하는 사상을 유도한다.