[论文解读] Combinatorics of $F$-polynomials

Jiarui Fei|arXiv (Cornell University)|Sep 23, 2019

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

一句话总结

该论文利用稳定化函子构建了 quiver 表示的 $F$-多项式组合框架，刻画了其 Newton 多面体的顶点并完整描述了面限制。证明了对于无环 quiver 的刚性表示，一个维数向量是顶点当且仅当它与自身的补向量正交，并通过单项变量变换和在修改 quiver 上的诱导表示，给出了 $F_M$ 到任一面的限制的显式公式。

ABSTRACT

We use the stabilization functors to study the combinatorial aspects of the $F$-polynomial of a representation of any finite-dimensional basic algebra. We characterize the vertices of their Newton polytopes. We give an explicit formula for the $F$-polynomial restricting to any face of its Newton polytope. For acyclic quivers, we give a complete description of all facets of the Newton polytope when the representation is general. We also prove that the support of the $F$-polynomial is saturated for any rigid representation. We provide many examples and counterexamples, and pose several conjectures.

研究动机与目标

• 理解与 quiver 表示相关的 $F$-多项式的组合结构。
• 刻画 $F$-多项式 Newton 多面体的顶点。
• 描述 $F_M$ 到其 Newton 多面体每个面的限制。
• 研究 $F_M$ 的支撑集是否饱和，特别是对刚性表示。
• 通过稳定化函子建立 $F$-多项式、表示理论与丛代数组合之间的联系。

提出的方法

• 使用稳定化函子 $t_{\overline{\delta}}$ 和 $=\check{t}_{\overline{\delta}}$ 分析子表示，并在修改的 quiver 上诱导映射。
• 对每个具有外法向量 $\delta$ 的面，应用函子 $\pi_\delta(M)$ 构造在 quiver $Q_\epsilon$ 上的诱导表示，从而实现面限制公式的构造。
• 通过单项变量变换 $\iota_\delta$ 将面上的限制 $F$-多项式与诱导表示的 $F$-多项式关联起来。
• 通过条件 $\gamma \perp (\alpha - \gamma)$ 刻画刚性表示下 Newton 多面体 $\mathsf{N}(M)$ 的顶点。
• 使用有理多面锥 $\mathbb{R}_{\geq 0}\Delta_0(M)$ 和 $\mathbb{R}_{\geq 0}\Delta_1(M)$ 描述面的法向量。
• 应用 $\tau$-tilting 理论与表示理论的结果，解释 $\operatorname{Gr}_\gamma(M)$ 及其欧拉示性数的结构。

实验结果

研究问题

• RQ1 哪些维数向量对应于 $F$-多项式 $F_M$ 的 Newton 多面体的顶点？
• RQ2 如何显式描述 $F_M$ 到其 Newton 多面体一个面的限制？
• RQ3 对于刚性表示，特别是无环 quiver 情形，$F_M$ 的支撑集是否饱和？
• RQ4 $F$-多项式的组合与子表示及格拉斯曼簇的结构之间有何关系？
• RQ5 能否用修改 quiver 上的诱导表示来表达 $F$-多项式到一个面的限制？

主要发现

• 维数向量 $\gamma$ 是 $\mathsf{N}(M)$ 的顶点当且仅当 $\operatorname{Gr}_\gamma(M)$ 是单点。
• 对于无环 quiver 的刚性表示，$\gamma$ 是 $\mathsf{N}(M)$ 的顶点当且仅当 $\gamma \perp (\alpha - \gamma)$，其中 $\perp$ 表示对维数为 $\gamma$ 和 $\alpha - \gamma$ 的 $L$ 与 $N$，有 $\operatorname{Hom}(L,N) = \operatorname{Ext}(L,N) = 0$。
• 具有外法向量 $\delta$ 的面的 $F_M $ 限制为 $\mathbb{y}^{\underline{\dim}t_{\overline{\delta}}(M)} \iota_\delta(F_{\pi_\delta(M)})$，从而给出了面限制的完整公式。
• 对于刚性表示，$F_M$ 的支撑集是饱和的，即 Newton 多面体中所有格点的系数均非零。
• 在无环 quiver 设置下，$c_\gamma = 1$ 当且仅当 $\gamma$ 是 $\mathsf{N}(F)$ 的顶点的猜想成立。
• 论文提供了显式例子，表明顶点条件的逆命题在一般情况下不成立，但推测其在具有通用表示的 Jacobian 代数中成立。