[論文レビュー] Quiver Grassmannians of extended Dynkin type D - Part 2: Schubert decompositions and F-polynomials

Oliver Lorscheid, Thorsten Weist|arXiv (Cornell University)|Jul 1, 2015

Algebraic structures and combinatorial models参考文献 13被引用数 9

ひとこと要約

本稿では、$\tilde{D}_n$ 型の拡張ディンキン型のクーヴィーの分解不能表現に対するすべてのクーヴィー・グラスマンニアンがアフィン空間へのシューベルト分解をもつことを確立し、そのオイラー特性の母関数（F多項式）の明示的計算が可能になる。係数クーヴィーにおける非矛盾的部分集合による組み合わせ的セル記述とBGP反射函手を用いて、すべての分解不能表現のF多項式の閉形式の公式が導かれる。これにより、$\tilde{D}_n$ 型の変異有限クラスター代数におけるすべてのクラスター変数の明示的表現が得られる。主な貢献は、異なるアウスランダー＝レーセン・成分をまたがるF多項式を結ぶ非再帰的かつ成分に依存しない公式である。

ABSTRACT

Extending the main result of Part 1, in the first part of this paper we show that every quiver Grassmannian of a representation of a quiver of extended Dynkin type $D$ has a decomposition into affine spaces. In the case of real root representations of small defect, the non-empty cells are in one-to-one correspondence to certain, so called non-contradictory, subsets of the vertex set of a fixed tree-shaped coefficient quiver. In the second part, we use this characterization to determine the generating functions of the Euler characteristics of the quiver Grassmannians (resp. $F$-polynomials). Along these lines, we obtain explicit formulae for all cluster variables of cluster algebras coming from quivers of extended Dynkin type $D$.

研究の動機と目的

• タイプ$\tilde{D}_n$のクーヴィーの分解不能表現のすべてのクーヴィー・グラスマンニアンに対して、アフィン空間へのシューベルト分解を確立すること。
• 組み合わせ的セル記述を用いて、これらのグラスマンニアンのオイラー特性の母関数（F多項式）を計算すること。
• すべての$\tilde{D}_n$の分解不能表現のF多項式の明示的で非再帰的な公式を導出すること。
• これらの結果を用いて、$\tilde{D}_n$ 型の変異有限クラスター代数におけるすべてのクラスター変数の明示的表現を得ること。
• プレプロジェクティヴ、プレインジェクティヴ、および例外的チューブ表現を含む、異なるアウスランダー＝レーセン成分間でのF多項式計算を統一すること。

提案手法

• 木構造の係数クーヴィーの部分集合を用いたクーヴィー・グラスマンニアンのシューベルト分解を用い、非空セルは非矛盾的部分集合に対応する。
• BGP反射函手を用いて、異なるクーヴィーの向きや成分間でのF多項式を関連づけ、とくに高次の欠損を持つ表現に対して有効である。
• カルデールォ＝チャポトンの公式を用いて、$\tilde{D}_n$ 型の変異有限クラスター代数におけるF多項式とクラスター変数を結びつける。
• 虚のシュール根$\boldsymbol{\tilde{\beta}}$および単射根$s_q$に対する次元ベクトルの相対関係に基づくF多項式の再帰的関係を導出する。
• アウスランダー＝レーセンクーヴィーの構造を用いて、欠損に基づいて表現を分類し、$\boldsymbol{\tilde{\beta}} - t_M$ が単射かどうかで場合分けを実施する。
• F多項式が小さい欠損を持つ表現では、主により次元が小さいプレプロジェクティヴ／プレインジェクティヴ表現および均一的チューブ表現のF多項式に依存しており、これらは明示的に既知であることに着目する。

実験結果

リサーチクエスチョン

• RQ1 タイプ$\tilde{D}_n$の分解不能表現のすべてのクーヴィー・グラスマンニアンは、欠損が大きくてもアフィン空間へのセル分解をもつのか。
• RQ2 $\tilde{D}_n$の分解不能表現のF多項式の明示的構造は何か、とくに欠損が$-1$または$2$の場合に注目する。
• RQ3 プレプロジェクティヴ、プレインジェクティヴ、例外的チューブなど、異なるアウスランダー＝レーセン成分に属する表現のF多項式どうしの関係は何か。
• RQ4 $\tilde{D}_n$のアウスランダー＝レーセンクーヴィーのすべての成分において、F多項式の閉形式で非再帰的な公式を導出できるか。
• RQ5 任意の分解不能表現のF多項式を、より次元が小さい分解不能表現のF多項式で表す一様な公式は存在するか。

主な発見

• タイプ$\tilde{D}_n$の分解不能表現のすべてのクーヴィー・グラスマンニアンは、アフィン空間へのセル分解をもつ。これは、欠損が小さい場合の既存の結果を一般化する。
• 欠損$-1$の表現に対しては、$\boldsymbol{\tilde{\beta}} - t_M$ が単射である場合、$F_M = F_{t_M} F_{r\boldsymbol{\tilde{\beta}}} - x^{\boldsymbol{\tilde{\beta}}} F_{(r-1)\boldsymbol{\tilde{\beta}}}$ であり、そうでない場合は $F_M = F_{t_M} F_{r\boldsymbol{\tilde{\beta}}} - x^{\boldsymbol{\tilde{\beta}} - \boldsymbol{\tau}^{-1}t_M} F_{\boldsymbol{\tilde{\beta}} - \boldsymbol{\tau}^{-1}t_M} F_{(r-1)\boldsymbol{\tilde{\beta}}}$ である。
• 小さい欠損を持つすべてのプレプロジェクティヴおよびプレインジェクティヴ表現のF多項式は、より次元が小さいプレプロジェクティヴ／プレインジェクティヴ表現および均一的チューブ表現のF多項式にのみ依存し、これらは明示的に既知である。
• 欠損$2$の表現に対しては、論文の第一部分の結果を用いて、同じシューベルトセル分解の枠組みでF多項式が決定される。
• F多項式の公式とカルデールォ＝チャポトンの公式を組み合わせることで、$\tilde{D}_n$ 型の変異有限クラスター代数におけるすべてのクラスター変数の明示的表現が得られる。
• 公式は異なるアウスランダー＝レーセン成分間でのF多項式計算を統一し、異なる成分の表現を直接関連付ける点で、従来の再帰的アプローチとは異なる。