[論文レビュー] A geometric realization of tame categories

Karin Baur, Hermund André Torkildsen|arXiv (Cornell University)|Feb 23, 2015

Algebraic structures and combinatorial models参考文献 11被引用数 3

ひとこと要約

本稿は、輪環上における向き付き弧を用いて、型$\tilde{A}_n$の加群圏およびクラスター圏の幾何的実現を提供する。『長い移動』と呼ばれる弧間の移動を導入することで、無限小の根基の要素を組み合わせ的にモデル化し、長い移動を含む幾何的クォーバーと、切断された加群圏$\mathcal{J}_m(Q_{g,h})$との同型を確立することで、無限小の根基の完全な幾何的記述が得られ、未向きの弧を用いることでクラスター圏へと拡張される。

ABSTRACT

We give a geometric realization of module categories of type $ ilde{A}_n$. We work with oriented arcs to define a translation quiver isomorphic to the Auslander-Reiten quiver of the module category of type $ ilde{A}_n$. To get a description of the module category, we introduce long moves between arcs. These allow us to include the infinite radical in the geometric description. Finally, our results can also be used to describe the corresponding cluster categories by taking unoriented arcs instead.

研究の動機と目的

• 型$\tilde{A}_n$の加群圏における無限小の根基の幾何的・組合せ的記述を提供すること。
• アドラール＝レインクォーバーを越える要素を含む加群圏の幾何的モデルを、弧間の長い移動を導入することで拡張すること。
• 長い移動を含む幾何的クォーバーと、切断された加群圏$\mathcal{J}_m(Q_{g,h})$との対応関係を確立すること。
• 未向きの弧を用いることで、型$\tilde{A}_n$のクラスター圏の部分圏を記述するための幾何的モデルを適応すること。

提案手法

• 輪環の境界にマークされた点を持つ輪環上における向き付き弧を用いて、予プロジェクティブおよび予インジェクティブ成分の不定値モジュールをモデル化する。
• 弧の移動を用いて、$\operatorname{mod} kQ_{g,h}$のアドラール＝レインクォーバーと同型な移動クォーバー$\Gamma$を定義する。
• 無限小の根基$\operatorname{rad}^\infty(\operatorname{mod} \tilde{A})$のモルフィズムを表すために、弧間の『長い移動』を新しい幾何的道具として導入する。
• 元のクォーバー$\Gamma$に長い移動に対応する矢印を追加することで、新しいクォーバー$\overline{\Gamma}$を構成し、ARクォーバーの構造を保つ。
• 前回の研究で得られた切断クォーバー$Q_m$と同型である$\overline{\Gamma}_m$の全部分クォーバーを証明することで、$\mathcal{J}_m(Q_{g,h})$の幾何的実現が達成される。
• 向き付きの弧を未向きの弧に置き換え、軌道圏の構造をモデル化するための新たなスライスの頂点を追加することで、モデルをクラスター圏へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 型$\tilde{A}_n$の加群圏における無限小の根基は、輪環上における弧配置を用いてどのように幾何的に実現できるか？
• RQ2 無限小の根基に属するモルフィズムに対応する弧上の組合せ的作用は何か、そしてどのように形式化できるか？
• RQ3 切断された加群圏$\mathcal{J}_m(Q_{g,h})$は、長い移動を組み込んだ幾何的クォーバー・モデルによって完全に記述可能か？
• RQ4 幾何的モデルは、型$\tilde{A}_n$のクラスター圏の部分圏を記述するためにどのように拡張されるか？
• RQ5 未向きの弧と追加された頂点スライスの役割は、クラスター圏の構造をモデル化するために果たすものとは何か？

主な発見

• 向き付きの弧を用いた幾何的モデルにより、$\operatorname{mod} kQ_{g,h}$のアドラール＝レインクォーバーが、ARクォーバーと同型な移動クォーバー$\Gamma$として実現される。
• 長い移動は、無限小の根基$\operatorname{rad}^\infty(\operatorname{mod} \tilde{A})$のモルフィズムの幾何的表現として導入され、これらの要素の組合せ的解釈を提供する。
• $\Gamma$に長い移動の矢印を追加して得られるクォーバー$\overline{\Gamma}_m$は、[4]で得られた切断クォーバー$Q_m$と同型であり、$\mathcal{J}_m(Q_{g,h})$の幾何的実現が完全に達成される。
• 未向きの弧を用い、新たなスライスの頂点$\{\underline{\eta_i}\}$を追加することで、型$\tilde{A}_n$のクラスター圏への構成が拡張され、安定な移動クォーバー$\underline{\Gamma}_m$が得られる。
• $\underline{\Gamma}_m$の$k$-圏は、クラスター圏の部分圏$\mathcal{J}'_m(\mathcal{C}_{\tilde{A}})$と同値であり、その部分圏の幾何的記述が確立される。