[論文レビュー] Fans and polytopes in tilting theory I: Foundations

Toshitaka Aoki, Akihiro Higashitani+3 more|arXiv (Cornell University)|Mar 29, 2022

Algebraic structures and combinatorial models被引用数 5

ひとこと要約

この論文は、有限次元代数のティルティング理論における基礎的組合的不変量として、g-単体的複体、g-ファン、g-多面体を導入する。2-termのシルティング複体のg-ベクトルを実Grothendieck群に用いて、非特異的ファンと多面体を構成し、g-多面体が凸（g-凸）である場合、それは2-termの単純な-mindedな集合の双対となる反射的多面体であることを示す。本論文では、g-凸代数を分類し、型A、B、Cおよびジャコビアン代数を含む。また、凸g-多角形の同型類は7つである。

ABSTRACT

For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $Δ(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $Δ(A)$. Using $g$-vectors of 2-term silting complexes, $Δ(A)$ gives a nonsingular fan $Σ(A)$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-fan. We give several basic properties of $Σ(A)$ including sign-coherence, sign decomposition, idempotent reductions, Jasso reductions, pairwise positivity and a connection with Newton polytopes of $A$-modules. Moreover, $Σ(A)$ gives a (possibly infinite and non-convex) polytope $P(A)$ in $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-polytope of $A$. We call $A$ $g$-convex if $P(A)$ is convex. In this case, we show that it is a reflexive polytope, and that the dual polytope is given by the 2-term simple minded collections of $A$. There are precisely 7 convex $g$-polyogons up to isomorphism. We give a classification of algebras whose $g$-polytopes are smooth Fano. We study $g$-fans and $g$-polytopes of two important classes of algebras. We show that the $g$-fan of a classical or generalized preprojective algebra is given by the Coxeter fan. It is $g$-convex if and only if it is of type $A$ or $B$, and in this case, its $g$-polytope is the dual polytope of the short root polytope. Moreover we classify Brauer graph algebras which are $g$-convex, and describe their $g$-polytopes as the root polytopes of type $A$ or $C$.

研究の動機と目的

• 有限次元代数のティルティング理論におけるg-単体的複体、g-ファン、g-多面体を、中心的組合的不変量として確立すること。
• 2-termのシルティング複体の文脈において、h-ベクトルおよびDehn-Sommerville方程式のティルティング理論的解釈を提供すること。
• g-多面体が凸（g-凸）であるようなg-凸代数を特徴づけ、そのような代数が2-termの単純な-mindedな集合の双対となる反射的多面体をもたらすことを示すこと。
• 3つの主要なクラスにおけるg-凸代数を分類すること：古典的／一般化された前射影的代数、非退化な有向グラフと潜在的を持つジャコビアン代数、ブレイアー図形代数。
• g-ファン、モジュールのニュートン多面体、g-ベクトルおよびファン構成を介したクラスター代数構造との関係を調査すること。

提案手法

• 有限次元代数Aの2-termのプレシルティング複体からg-単体的複体Δ(A)を構成する。
• 2-termのシルティング複体の非分解的和成分のg-ベクトルを用いて、実Grothendieck群K₀(proj A)ℝにおける非特異的ファンΣ(A)を定義する。
• 各2-termのシルティング複体の原点とg-ベクトルからなるn-単体の和集合としてg-多面体P(A)を形成する。
• 符号の整合性、符号分解、イデムポテンの削減、Jassoの削減を用いてg-ファンの構造的性質を分析する。
• 対ごとの正性およびニュートン多面体との関連を用いて、P(A)の幾何学的・組合的特徴を研究する。
• P(A)が凸である場合、g-多面体と2-termの単純な-mindedな集合との双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 g-多面体P(A)がいつ凸であり、その場合にどのような幾何学的・組合的性質を有するか？
• RQ2 g-単体的複体Δ(A)のh-ベクトルおよびDehn-Sommerville方程式は、どのようにティルティング理論的不変量と関係するか？
• RQ3 前射影的代数の文脈において、g-ファンΣ(A)とコクセター・ファンの正確な関係は何か？
• RQ4 非退化な有向グラフと潜在的を持つジャコビアン代数のうち、g-多面体がg-凸となるのはどのような場合か？また、これは型Aのミューテーション同値性とどのように関係するか？
• RQ5 どのようなブレイアー図形代数がg-凸であり、それに対応するg-多面体はルート多面体のどのタイプとして記述できるか？

主な発見

• 有限次元代数から生じる凸g-多角形は、同型類としてちょうど7つ存在する。
• g-多面体P(A)が反射的で、2-termの単純な-mindedな集合の双対であることは、P(A)が凸（g-凸）であることと同値である。
• 古典的または一般化された前射影的代数のg-ファンはコクセター・ファンと一致し、P(A)がg-凸であるのは、代数が型AまたはBである場合に限る。
• 非退化な有向グラフと潜在的を持つジャコビアン代数に対しては、g-ファンは対応するクラスター代数のものと一致し、P(A)がg-凸であるのは、有向グラフが型Aにミューテーション同値である場合に限る。
• ブレイアー図形代数は、そのg-多面体が型AまたはCのルート多面体である場合に限りg-凸である。
• g-ファンの構成により、K₀(proj A)ℝにおける対ごとの正性、符号整合性、符号分解性を有するファンが得られ、イデムポテンおよびJasso操作の下で良好に振る舞う削減が可能である。