[论文解读] 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-项倾斜复形的g-向量，构造了一个非奇异扇和一个多面体，表明当g-多面体为凸（g-凸）时，其为与2-项简单-minded集合对偶的反射多面体；本文对g-凸代数进行了分类，包括A型、B型、C型及雅可比代数，并识别出7个同构类的凸g-多边形。

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-项倾斜复形的背景下，为h-向量和德恩-索莫维尔方程提供倾斜理论解释。
• 刻画g-凸代数——即g-多面体为凸的代数——并证明此类代数产生与2-项简单-minded集合对偶的反射多面体。
• 对三类关键代数中的g-凸代数进行分类：经典/广义预投射代数、非退化有势quiver的雅可比代数，以及布劳尔图代数。
• 探讨g-扇、模的牛顿多面体与通过g-向量和扇构造关联的丛代数结构之间的联系。

提出的方法

• 从有限维代数A的2-项预倾斜复形构造g-单纯复形Δ(A)。
• 利用2-项倾斜复形的不可约直和的g-向量，在实格罗滕迪克群K₀(proj A)ℝ中定义g-扇Σ(A)为非奇异扇。
• 将g-多面体P(A)定义为原点与每个2-项倾斜复形的g-向量构成的n-单纯形的并集。
• 应用符号一致性、符号分解、幂等元约化和贾索约化，分析g-扇的结构性质。
• 通过成对正性和牛顿多面体关联，研究P(A)的几何与组合特征。
• 当P(A)为凸时，建立g-多面体与2-项简单-minded集合之间的对偶性。

实验结果

研究问题

• RQ1 g-多面体P(A)在何时为凸？此时它具有哪些几何与组合性质？
• RQ2 g-单纯复形Δ(A)的h-向量与德恩-索莫维尔方程如何与倾斜理论不变量相关联？
• RQ3 在预投射代数背景下，g-扇Σ(A)与考克斯eter扇之间的确切关系为何？
• RQ4 对于哪些雅可比代数，g-多面体为g-凸？这与quiver的突变等价于A型有何关联？
• RQ5 哪些布劳尔图代数是g-凸的？其对应的g-多面体在根多面体的术语下如何表示？

主要发现

• 从有限维代数中恰好存在7个同构类的凸g-多边形。
• 当且仅当g-多面体P(A)为凸（即g-凸）时，P(A)为反射多面体，且与2-项简单-minded集合对偶。
• 经典或广义预投射代数的g-扇与考克斯eter扇一致，且P(A)为g-凸当且仅当该代数为A型或B型。
• 对于非退化有势quiver的雅可比代数，其g-扇与相应丛代数的g-扇一致，且P(A)为g-凸当且仅当quiver突变等价于A型。
• 布劳尔图代数为g-凸当且仅当其g-多面体为A型或C型根多面体。
• g-扇构造在K₀(proj A)ℝ中产生一个成对正、符号一致且符号可分解的扇，且在幂等元与贾索运算下具有良好的约化性质。