[論文レビュー] On a triangulated category which behaves like a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon

Thorsten Holm, Peter Jørgensen|ArXiv.org|Feb 24, 2009

Algebraic structures and combinatorial models参考文献 13被引用数 7

ひとこと要約

本稿は、Auslander-Reiten ハイパーバイグラフが ℤA∞ である 2-Calabi-Yau 三角関手圏 D を導入し、その maximal 1-orthogonal な部分圏（クラスター・トランスレーティング部分圏）が、∞-角形の三角形分割と一対一対応することを示している。主な結果として、D にクラスター構造が存在し、クラスターの変異が Fomin-Zelevinsky の変異に対応することを確立しており、クラスター・トランスレーティング部分圏の関手的有限性は、∞-角形の三角形分割における局所的有限性またはファンネル構成によって特徴づけられる。

ABSTRACT

This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangulated category whose Auslander-Reiten quiver is a quotient of ZA_n. The cluster tilting subcategories of C form a cluster structure and they are classified in terms of triangulations of the (n+3)-gon. The category D behaves like a `cluster category of type A_{\infty}'.

研究の動機と目的

• Auslander-Reiten ハイパーバイグラフが ℤA∞ である 2-Calabi-Yau 三角関手圏 D を、無限大 Dynkin 型 A∞ のクラスター・カテゴリに類似した形で考察すること。
• ∞-角形の組合せ的三角形分割を用いて、D の maximal 1-orthogonal な部分圏を分類すること。
• これらの部分圏がクラスター構造をなしており、変異が Fomin-Zelevinsky のハイパーバイグラフ変異に対応することを確立すること。
• 関連する ∞-角形の三角形分割の幾何的性質（局所的有限性またはファンネル構成）を用いて、どのクラスター・トランスレーティング部分圏が関手的に有限であるかを特徴づけること。

提案手法

• 圏 D は、DG代数 A = C*(S²;k) のコンパクトな導来圏 D^c(A) として実現され、度数 0 と 2 に k を持つ DG代数に quasi-isomorphic である。
• maximal 1-orthogonal な部分圏は、その直交条件 A = (Σ⁻¹A)^⊥ = ⁻¹(ΣA) を通して調べられる。
• ∞-角形の三角形分割とは、頂点が ℤ である円周上に、隣接しない整数同士を結ぶ非交差弧の最大集合として定義される。
• このような三角形分割と D の maximal 1-orthogonal な部分圏との間の双対性を構成する。
• クラスターの変異は、関連する部分圏の AR ハイパーバイグラフにおける Fomin-Zelevinsky 変異として実現される。
• クラスター・トランスレーティング部分圏の関手的有限性は、関連する ∞-角形の三角形分割の幾何的性質（局所的有限性またはファンネル構成）によって決定される。

実験結果

リサーチクエスチョン

• RQ1 圏 D が無限大 Dynkin 型 A∞ のクラスター・カテゴリに類似していることから、型 A∞ のクラスター代数を定義できるか？
• RQ2 クラスター・トランスレーティング部分圏 𝒜 に対する商圏 D/𝒜 として現れるアーベル圏は何か、特に遺伝的圏の文脈においては？
• RQ3 D は、以前の研究で取り上げられたトゥーブラー型 2-Calabi-Yau 圏の被覆圏であるか？
• RQ4 AR ハイパーバイグラフが ℤΔ であるような 2-Calabi-Yau 圏が、A∞ でない他の無限大 Dynkin ハイパーバイグラフ Δ に対して存在するか？
• RQ5 有限型の場合の一般化として、型 A∞ の高次クラスター・カテゴリを構成できるか？

主な発見

• D の maximal 1-orthogonal な部分圏と ∞-角形（頂点が整数、弧が非交差対角線）の三角形分割との間に一対一対応が存在する。
• 対応する ∞-角形の三角形分割が局所的有限またはファンネル構成を含む場合に限り、maximal 1-orthogonal な部分圏は関手的に有限である。
• D のクラスターはクラスター構造をなしており、各クラスターに属する非分解的対象は一意に変異させることで新たなクラスターが得られる。
• クラスターの変異は、関連する部分圏の AR ハイパーバイグラフにおける Fomin-Zelevinsky 変異に対応する。
• 商圏 D/𝒜 は mod 𝒜 と同型であり、クラスターの変異は関連する無限大ハイパーバイグラフ Γ から Γ* への変化を誘発する。
• 例として、左・右両方のファンネルを持つような三角形分割は、関手的に有限な部分圏をもたらさないことが示され、有限性条件の逆は成り立たない反例が得られる。