[論文レビュー] The tropical totally positive Grassmannian

David E Speyer, Lauren Williams|ArXiv.org|Dec 15, 2003

Advanced Combinatorial Mathematics参考文献 10被引用数 13

ひとこと要約

本稿では、プルーシェ級数上のグラスマンニアン多様体のトロピカル化の正部分として、$\operatorname{Trop}^{+}Gr_{k,n}$ と表記されるトロピカル完全正のグラスマンニアンを導入する。$\operatorname{Trop}^{+}Gr_{2,n}$ が $A_{n-3}$ アソシアヘドロンに双対なスタンレー–ピットマンのファンと組合せ的に同型であり、$\operatorname{Trop}^{+}Gr_{3,6}$ と $\operatorname{Trop}^{+}Gr_{3,7}$ がそれぞれ $D_4$ および $E_6$ アソシアヘドロンに双対なファンと関係していることが示され、グラスマンニアンのクラスタ代数型と一致する。

ABSTRACT

Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.

研究の動機と目的

• アフィン多様体のトロピカル化の正部分を定義・研究すること。特に、グラスマンニアン $Gr_{k,n}$ を対象とする。
• トロピカル完全正のグラスマンニアンと古典的アソシアヘドロンのファンとの間の組合せ的・幾何的関係を確立すること。
• グラスマンニアンにおけるクラスタ代数構造とそのトロピカル正部分との関係を調査すること。
• 有限型クラスタ代数の正のトロピカル化の構造に関する一般的予想を提示すること。

提案手法

• プルーシェ級数上の値関数を用いて多様体のトロピカル化を定義し、正の実数係数に制限することで正部分を定義する。
• $\operatorname{Trop}^{+}Gr_{k,n}$ を、プルーリックイデアルのグレブナー・ファンから、そのラインアルティー空間を除いた多面体ファンとして構成する。
• ポストニコフによる完全正のグラスマンニアンのパrameter化を用いて、小規模な $k$ および $n$ に対して明示的なファン構造を導出する。
• $\operatorname{Trop}^{+}Gr_{2,n}$ のファン構造を分析し、$A_{n-3}$ アソシアヘドロンに双対なスタンレー–ピットマンのファンと組合せ的に同型であることを示す。
• $Gr_{3,6}$ および $Gr_{3,7}$ に対して、追加の正のローレンツ多項式のトロピカル化を用いて初期ファンを精錬し、$D_4$ および $E_6$ アソシアヘドロンのファンと同型なファンを構成する。
• 一般の予想を提示：クラスタ代数の正のトロピカル化のファンは、そのクラスタ複体のコーンに同型であり、ラインアルティー空間の次元が係数変数の数と等しい場合に限り成立する。そうでない場合は、コarsening（粗めの分割）となる。

実験結果

リサーチクエスチョン

• RQ1 グラスマンニアン $Gr_{k,n}$ のトロピカル化の正部分は、既知の多面体ファンとどのように関係しているか？
• RQ2 $k$ および $n$ が小さい場合の $\operatorname{Trop}^{+}Gr_{k,n}$ の組合せ的構造は何か？
• RQ3 グラスマンニアンのクラスタ代数型と $\operatorname{Trop}^{+}Gr_{k,n}$ のファン型との間に構造的対応があるか？
• RQ4 クラスタ代数の正のトロピカル化は、そのクラスタ複体を用いて記述できるか？
• RQ5 正のトロピカル化がクラスタ複体のコーンに同型なファンを生成するのはどのような条件下か？

主な発見

• $\operatorname{Trop}^{+}Gr_{2,n}$ のファンは、$A_{n-3}$ アソシアヘドロンに双対なスタンレー–ピットマンのファンと組合せ的に同型である。
• $\operatorname{Trop}^{+}Gr_{3,6}$ は、2つの新しい正のローレンツ多項式のトロピカル化を用いて初期ファンを精錬した後、$D_4$ アソシアヘドロンの正規ファンと組合せ的に同型である。
• $\operatorname{Trop}^{+}Gr_{3,7}$ は、14個の新しい正のローレンツ多項式のトロピカル化を用いて初期ファンを精錬した後、$E_6$ アソシアヘドロンの正規ファンと組合せ的に同型である。
• $Gr_{k,n}$ の正のトロピカル化は、次元 $(n-k-1)(k-1)$ の多面体ファンであり、$n$ 次元のラインアルティー空間を除いたものである。
• $\operatorname{Trop}^{+}Gr_{k,n}$ の構造は、$Gr_{k,n}$ のクラスタ代数型と一致しており、$Gr_{2,n}$、$Gr_{3,6}$、$Gr_{3,7}$ はそれぞれ $A_{n-3}$、$D_4$、$E_6$ 型に対応する。
• 一般の予想を提示：$\operatorname{Trop}^{+}\operatorname{Spec}\mathcal{A}$ のラインアルティー空間の次元が係数変数の数と等しい場合、商ファンはクラスタ複体 $S(\mathcal{A})$ のコーンに同型である。そうでない場合は、コarsening（粗めの分割）となる。