Totally Nonnegative Tropical Flags and the Totally Nonnegative Flag Dressian

技術要約：全非負トロピカル旗および全非負旗ドレシアン

問題提起
本論文は、完全旗多様体に適用される2つの異なる数学的枠組み、すなわち全非負性の理論とトロピカル幾何学の関係を調査するものである。具体的には、以下の2つの主要な問いに取り組んでいる：

1. 実数の場合： 全非負の完全旗多様体 $Fl_n^{\ge 0}$（全正な代表元を持つ旗の閉包として定義される）は、すべてのプルッカー座標が非負である旗の集合として単純に特徴付けられるか？ この特徴付けはグラスマン多様体については既知であるが、旗のマイナーの複雑な構造のために、これを完全旗多様体へと拡張することは非自明である。
2. トロピカルの場合： 全非負トロピカル完全旗多様体 $TrFl_n^{\ge 0}$（実現可能なトロピカル線形空間の旗をパラメータ化する）と、全非負完全旗ドレシアン $FlDr_n^{\ge 0}$（抽象的なトロピカル線形空間の旗をパラメータ化する）は一致するか？ 一般に、ドレシアンはトロピカル多様体を厳密に包含しているが、本論文は、非負（または正）の領域に制限した際にこの包含関係が崩れるかどうかを追求している。

手法
著者は、実旗多様体とそのトロピカル化に対して類似の結果を同時に展開するという、並行したアプローチを採用している。その手法は、組合せ論的構造と明示的なパラメータ化に大きく依存している：

• Marsh-Rietsch パラメータ化： 本論文は、Marsh と Rietsch によって導入された $Fl_n^{\ge 0}$ の細胞分解を利用する。この多様体は、ブルート順序における置換のペア $v \le w$ によってインデックス付けされた細胞 $R_{v,w}^>$ に分解される。各細胞は、基本行列 $x_i(a)$ と置換行列 $\dot{s}_i$ の積を含む写像 $\Phi_{v,w}$ によってパラメータ化される。
• グラフモデル (LGV 構成)： 各細胞に関連付けられた重み付き有向グラフ $G_{v,w}$ の構成が中心的なツールとなる。Lindström-Gessel-Viennot (LGV) レマを用いることで、旗のプルッカー座標は、$G_{v,w}$ における非交差パスの集まりの和として表現される。これは、パラメータ化の組合せ論的な解釈を提供する。
• 極限インデックス： 本論文は、「極限非ゼロ・プルッカー座標」という概念を導入している。これらは、基礎となる旗マトロイドの Gale 最小および最大基底から導かれる、集合 $[n]$ によってインデックス付けられた特定の座標である。著者は、これらのインデックスの要素を反復的に交換して極限インデックスを横断する写像 $\Xi$ を定義する。
• トロピカル化： パラメータ化写像およびプルッカー関係のトロピカル化が分析される。本論文は、Marsh-Riell ッツのパラメータ化のトロピカル化がトロピカル細胞のパラメータ化を与えること、および（特に3項の包含関係に関する）トロピカル・プルッカー関係が、極限座標から他のすべての座標を決定するのに十分であることを示している。

主要な貢献および結果

1. 全非負旗多様体の特徴付け：
   本論文は、全非負完全旗多様体 $Fl_n^{\ge 0}$ が、すべてのプルッカー座標 $P_I(F)$ が非負であるような旗 $F \in Fl_n$ の集合と一致することを述べる定理 6.24を証明している。

   • メカニズム： この証明は、非負のプルッカー座標を持つ任意の旗において、その支持集合（非ゼロの座標の集合）が「実現可能な旗ポジトロイド」を形成することを示すことに依拠している。その後、著者はこの支持集合に一致する特定の細胞 $R_{v,w}^>$ を構成し、非負の座標が、極限座標における減算フリーな有理式（ローレント単項式）を通じて、Marsh-Rietsch パラメータのパラメータを一意に決定することを示す。

2. トロピカル空間の等価性：
   本論文は、$TrFl_n^{\ge 0} = FlDr_n^{\ge 0}$ であることを確立する定理 6.24$^{trop}$を証明している。

   • メカニズム： この結果は実数の場合を鏡写しにしたものである。著者は、非負のドレシアンの任意の点は、実現可能な旗ポジトロイドに対応する支持集合を持つことを示す。パラメータ化写像のトロピカル逆写像（極限座標の積と商ではなく、和と差を用いるもの）を適用することで、トロピカルな重みを再構成できる。3項のトロピカル包含関係プルッカー関係は、他のすべての座標を極限座標から一意に決定するものであり、ドレシアンの関係式の解はすべて実現可能であることを証明している。

3. 極限座標の組合せ論的構造：
   論文の大部分は、「極限」プルッカー座標を特徴付けることに費やされている。

   • 命題 6.10： 任意の細胞 $R_{v,w}^>$ に対して、$G_{v,w}$ における非交差パスの集まりが各極限インデックスに対して一意に存在し、この集まりが対角パスの集まりと強欲（greedy）パスの集まりの和集合であることを証明している。
   • 代数的独立性： 著者は、極限非ゼロ・プルッカー座標（具体的には部分集合 $S_{v,w}$）が代数的に独立であり、減算フリーな有理式を通じて他の座標を生成することを確立している。これにより、パラメータ化写像 $\Phi_{v,w}$ の明示的な逆写像が可能となる。

意義および主張
本論文は、旗多様体に関する2つの視点、すなわち全非負性の幾何学的特徴付けと、トロピカル多様体の組合せ論的研究を統一することを主張している。

• 統一： 主要な意義は、「正（positivity）」の条件（非負のプルッカー座標）が、グラスマン多様体と同様に、全非負の旗多様体を特徴付けるのに十分であることを示している点にある。これは、プルッカー座標と Marsh-Rietsch パラメータとの依存関係に関する問題を解決するものである。
• トロピカルの一致： $TrFl_n^{\ge 0} = FlDr_n^{\ge 0}$ という結果は、グラスマン多様体における既知の結果（正のトロピカル・グラスマン多様体は正のドレシアンに等しい）の一般化として提示されている。本論文は、ドレシアンは一般に非実現的な点を含むものの、全非負の制限によって実現可能性が強制されることを強調している。
• 方法論的洞察： 著者は、実数の場合とトロピカルの場合の証明が「実質的に同一」であると述べており、これは旗多様体の代数幾何学とそのトロピカルな対応物の間の深い構造的並行性を示唆している。Marsh-Rietsch パラメータ化とグラフによる LGV 構成の使用は、これらの高次元空間を理解するための具体的かつ組合せ論的なメカニズムを提供している。

本論文は、任意のランク列 $r$（完全な旗を超えたもの）に対する旗多様体の特徴付けという一般的な問題を解決するとは主張していないが、導入部において、これらの結果を連続するランクの旗へと拡張する追随論文があることに触れている。現在の研究は、厳密に完全旗多様体とそのトロピカル化に焦点を当てている。