[论文解读] Tropical $F$-polynomials and General Presentations

Jiarui Fei|arXiv (Cornell University)|Nov 24, 2019

Algebraic structures and combinatorial models参考文献 27被引用 5

一句话总结

本文为有限维基本代数的箭图表示引入了热带 $F$-多项式，并建立了其与一般表示之间的对偶性。通过实施 Schur 表示，本文提供了 Fock-Goncharov 对偶配对的表示理论解释，并证明了表示的 Newton 多面体在路径代数情形下，其正规扇结构同构于簇扇，且边箭图对应于交换箭图。

ABSTRACT

We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.

研究动机与目标

• 为有限维基本代数的表示定义热带 $F$-多项式，并将其与一般表示联系起来。
• 以权向量为参数，解释热带 $F$-多项式求值的同调不变量意义。
• 通过其 $F$-多项式呈现表示的 Newton 多面体，并研究其正规扇与 1-骨架。
• 通过实施 Schur 表示，建立 Fock-Goncharov 对偶配对的表示理论实现。
• 证明表示的通用 Newton 多面体在路径代数与 Dynkin 型预投射代数情形下，与簇扇一致。

提出的方法

• 将热带 $F$-多项式 $f_M(\delta)$ 定义为所有子表示 $L \subset M$ 上 $\delta(\underline{\dim} L)$ 的最大值。
• 将对偶热带 $F$-多项式 $\check{f}_M(\delta)$ 定义为所有商表示 $N$ 的 $\delta(\underline{\dim} N)$ 的最大值。
• 利用一般表示空间 $\operatorname{PHom}(\delta)$ 定义 $\hom(\delta, M)$ 与 $\operatorname{e}(\delta, M)$，分别为诱导映射在 $\operatorname{Hom}$ 空间上的核与余核的维数。
• 证明当 $n$ 足够大时，有 $f_M(n\delta) = \hom(n\delta, M)$ 与 $\check{f}_M(-n\delta) = \operatorname{e}(n\delta, M)$，从而将 $F$-多项式与同调数据联系起来。
• 将 Newton 多面体 $\mathsf{N}(M)$ 构造为映射 $\delta \mapsto \hom(\delta, M)$ 下 $\delta$-权的像的凸包。
• 证明当 $M$ 为 $\operatorname{E}$-刚性表示的直和时，$\mathsf{N}(M)$ 的对偶扇同构于代数的簇扇。

实验结果

研究问题

• RQ1 如何为有限维基本代数的表示定义热带 $F$-多项式？其与一般表示的关系为何？
• RQ2 在权向量处求值的热带 $F$-多项式具有何种同调解释？
• RQ3 表示 $M$ 的 Newton 多面体 $\mathsf{N}(M)$ 如何呈现？其正规扇与 1-骨架为何？
• RQ4 能否通过涉及实施 Schur 表示的表示理论构造，实现 Fock-Goncharov 对偶配对？
• RQ5 在何种条件下，$\mathsf{N}(M)$ 的对偶扇与代数的簇扇一致？

主要发现

• 当 $n$ 足够大时，有 $f_M(n\delta) = \hom(n\delta, M)$，为 $F$-多项式提供了表示理论解释。
• 对偶热带 $F$-多项式 $\check{f}_M(-n\delta)$ 等于 $\operatorname{e}(n\delta, M)$，将 $F$-多项式与扩张数据联系起来。
• Newton 多面体 $\mathsf{N}(M)$ 可通过映射 $\delta \mapsto \hom(\delta, M)$ 的像呈现。
• 当 $M$ 为 $\operatorname{E}$-刚性表示的直和时，$\mathsf{N}(M)$ 的对偶扇 $\mathsf{F}(M)$ 同构于代数的簇扇。
• 在路径代数情形下，$\mathsf{N}(M)$ 的边箭图即为对应簇代数的交换箭图。
• 在 Dynkin 型预投射代数情形下，$\mathsf{N}(A)$ 的顶点由理想 $I_w$ 标记，且 $\mathsf{F}(A)$ 为 Weyl 扇，与 $\operatorname{rep} A$ 的簇扇一致。