[論文レビュー] Continuous Quivers of Type A (II) The Auslander-Reiten Space

Job Daisie Rock|arXiv (Cornell University)|Oct 9, 2019

Algebraic structures and combinatorial models参考文献 26被引用数 4

ひとこと要約

本稿は、連続的型 $A_{\mathbb{R}}$ 量子のためのアウスランダー＝レーセン空間を導入し、古典的なアウスランダー＝レーセン量子への一般化を実現する。非自明な拡張および有界導来カテゴリにおける区別された三角形が、この空間内での長方形およびほぼ完全な長方形に対応し、傾きが $\pm(1,1)$ であることを示し、AR空間内の幾何的配置を通じて拡張および三角形の幾何的分類を実現する。

ABSTRACT

This work is the sequel to Continuous Quivers of Type A (I). In this paper we define the Auslander-Reiten space of a continuous type $A$ quiver, which generalizes the Auslander-Reiten quiver of type $A_n$ quivers. We prove that extensions, kernels, and cokernels of representations of type $A_{\mathbb R}$ can be described by lines and rectangles in a way analogous to representations of type $A_n$. We provide a similar description for distinguished triangles in the bounded derived category whose first and third terms are indecomposable. Furthermore, we provide a complete classification of Auslander-Reiten sequences in the category of finitely generated representations of $A_{\mathbb R}$. This is part of a longer work; the other papers in this series are with Kiyoshi Igusa and Gordana Todorov. The goal of this series is to generalize cluster categories, clusters, and mutation for type $A_n$ quivers to continuous versions for type $A_{\mathbb R}$ quivers. (Added Section 5 to version 2.)

研究の動機と目的

• $A_{\mathbb{R}}$ 量子の連続的設定におけるアウスランダー＝レーセン量子の一般化を、アウスランダー＝レーセン空間を定義することによって実現する。
• 有限生成表現のカテゴリにおけるすべてのアウスランダー＝レーセン系列を分類する。
• 非自明な拡張の表現論的性質とAR空間内での長方形の間の幾何的対応関係を確立する。
• この対応関係を有界導来カテゴリ $\mathcal{D}^b(A_{\mathbb{R}})$ に拡張し、区別された三角形と幾何的配置を結びつける。
• ${\operatorname{rep}_k(A_{\mathbb{R}})}$ 内の16種類のアウスランダー＝レーセン系列の完全な分類を提供し、非射影的・非インジェクティブ的・単純的・隣接するソース・シンクペアに支持されるものでない非射影的インデコンポジブル表現に関する条件を提示する。

提案手法

• 同型類のインデコンポジブル表現に、$\mathbb{R} \times [-\pi/2, \pi/2]$ への写像 $\mathop{\boldsymbol{\Gamma}}$ を用いて、アウスランダー＝レーセン位相と一般化された距離を定義する。
• AR空間における「良い」傾きを、$\pm(1,1)$ として定義し、有効な幾何的配置を特徴付ける。
• $\mathop{\boldsymbol{\Gamma}}$ 写像を用いて、表現論的性質を $\mathbb{R}^2$ 内の幾何的性質に翻訳する。
• AR空間内での長方形およびほぼ完全な長方形を用いて、拡張を特徴付ける。頂点はインデコンポジブル表現に対応する。
• 三角形のシフトと、$\operatorname{Hom}(W[-1], V) \cong k$ などのホモロジー的性質を用いて、導来カテゴリからの結果を拡張する。
• シフトファンクターを適用し、$\operatorname{rep}_k(A_{\mathbb{R}})$ のハーディットカテゴリにおける核および余核の性質を用いて、$\mathcal{D}^b(A_{\mathbb{R}})$ 内の三角形を再構成する。

実験結果

リサーチクエスチョン

• RQ1 アウスランダー＝レーセン量子は、どのように連続的型 $A_{\mathbb{R}}$ 量子に一般化できるか？
• RQ2 $\operatorname{rep}_k(A_{\mathbb{R}})$ 内のアウスランダー＝レーセン系列の完全な分類は何か？
• RQ3 非自明なインデコンポジブル表現の拡張は、AR空間内のどの幾何的配置に対応するか？
• RQ4 有界導来カテゴリ $\mathcal{D}^b(A_{\mathbb{R}})$ 内の区別された三角形（第一および第三項がインデコンポジブル）の幾何的特徴づけは何か？
• RQ5 傾き $\pm(1,1)$ は、幾何的長方形と表現論的三角形との間の対応において、どのような役割を果たすか？

主な発見

• ${\operatorname{rep}_k(A_{\mathbb{R}})}$ 内に16種類のアウスランダー＝レーセン系列の完全な分類が存在し、任意の非射影的・非インジェクティブ的・非単純的で、隣接するソース・シンクペアに支持されないインデコンポジブル $M_{|a,b|}$ を含む一意な系列が存在する。
• インデコンポジブル表現の非自明な拡張 $V \hookrightarrow E \twoheadrightarrow W$ が存在するための必要十分条件は、AR空間内に $V$ が左端、$W$ が右端の頂点とする長方形またはほぼ完全な長方形が存在することである。
• 長方形が完全な場合、$E$ は2つのインデコンポジブルの直和に分解可能である。長方形がほぼ完全な場合、$E$ はインデコンポジブルである。
• AR空間内に「良い」傾き $\pm(1,1)$ を持つ長方形またはほぼ完全な長方形が存在する場合、非自明な拡張（スケーリングおよび同型を除く）と一対一対応が存在する。
• 有界導来カテゴリ $\mathcal{D}^b(A_{\mathbb{R}})$ 内で、非自明な区別された三角形 $V \to U \to W \to$ が存在するための必要十分条件は、AR空間内に $V$ が左端、$W$ が右端の頂点とする長方形またはほぼ完全な長方形が存在することである。
• このような三角形に対して、長方形が完全な場合、$U$ は2つのインデコンポジブルの直和に分解可能である。長方形がほぼ完全な場合、$U$ はインデコンポジブルであり、$\mathcal{D}^b(A_{\mathbb{R}})$ のAR空間内に存在するような幾何的配置と一対一対応が存在する。