[論文レビュー] Tropical $F$-polynomials and General Presentations

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

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

ひとこと要約

本稿では、有限次元的基本代数のクーヴィー表現に対してトロピカル $F$-多項式を導入し、一般表現との双対性を確立する。Fock-Goncharovの双対性ペアリングの実スルーレプレスェンテーションを用いた表現論的解釈を提供し、パス代数の場合、表現のニュートン多面体がクラスター・ファンに同型な標準的なファン構造を持つことを証明する。また、エッジクーヴィーは交換クーヴィーに一致する。

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$-多項式を用いて表現のニュートン多面体 $\mathsf{N}(M)$ を提示し、その正規ファンと 1 スケルトンを研究する。
• 実スルーレプレスェンテーションを用いて、Fock-Goncharovの双対性ペアリングの表現論的実現を確立する。
• 表現の一般的ニュートン多面体がパス代数およびディンキン型のプレプロジェクティブ代数のクラスター・ファンに一致する条件を示す。

提案手法

• 部分表現 $L \subset M$ に対する $\delta(\underline{\dim} L)$ の最大値として、トロピカル $F$-多項式 $f_M(\delta)$ を定義する。
• 商表現 $N$ に対する $\delta(\underline{\dim} N)$ の最大値として、双対トロピカル $F$-多項式 $\check{f}_M(\delta)$ を定義する。
• 一般表現空間 $\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$-多項式とホモロジー的データを結びつける。
• 写像 $\delta \mapsto \hom(\delta, M)$ による $\delta$-重みの像の凸包として、ニュートン多面体 $\mathsf{N}(M)$ を構成する。
• $M$ が $\operatorname{E}$-リジッド表現の直和であるとき、$\mathsf{N}(M)$ の双対ファンが代数のクラスター・ファンに同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限次元的基本代数の表現に対して、トロピカル $F$-多項式をどのように定義でき、一般表現とどのように関係するか。
• RQ2 重みベクトルにおけるトロピカル $F$-多項式の評価のホモロジー的解釈は何か。
• RQ3 表現 $M$ のニュートン多面体 $\mathsf{N}(M)$ はどのように提示され、その正規ファンと 1 スケルトンは何か。
• RQ4 Fock-Goncharovの双対性ペアリングは、実スルーレプレスェンテーションを含む表現論的構成によって実現可能か。
• RQ5 $\mathsf{N}(M)$ の双対ファンが代数のクラスター・ファンと一致する条件は何か。

主な発見

• 十分大きな $n$ に対して、トロピカル $F$-多項式 $f_M(n\delta)$ は $\hom(n\delta, M)$ に等しくなる。これにより、$F$-多項式の表現論的解釈が得られる。
• 双対トロピカル $F$-多項式 $\check{f}_M(-n\delta)$ は $\operatorname{e}(n\delta, M)$ に等しくなる。これにより、$F$-多項式と拡張データが結びつけられる。
• ニュートン多面体 $\mathsf{N}(M)$ は写像 $\delta \mapsto \hom(\delta, M)$ の像を用いて提示可能である。
• $M$ が $\operatorname{E}$-リジッド表現の直和であるとき、$\mathsf{N}(M)$ の双対ファン $\mathsf{F}(M)$ は代数のクラスター・ファンに同型である。
• パス代数の場合、$\mathsf{N}(M)$ のエッジクーヴィーは対応するクラスター代数の交換クーヴィーに一致する。
• ディンキン型のプレプロジェクティブ代数の場合、$\mathsf{N}(A)$ の頂点はイデアル $I_w$ でラベル付けられ、$\mathsf{F}(A)$ はウェイリ・ファンに一致し、$\operatorname{rep} A$ のクラスター・ファンと一致する。