Coordinate projections of $c$-vectors of cluster algebras from the annulus

技術的要約：アニュラススからのクラスター代数のc-ベクトルの座標射影

問題設定
本論文は、非サイクルなクラスター代数 $A(Q)$ に付随する $c$-ベクトル $C(Q)$ の集合の座標射影について調査する。符号コヒーレンス（sign-coherence）および Nájera Chávez の研究により、$C(Q)$ は基礎となるキバー $Q$ の符号付き実シュア根（signed real Schur roots）の集合に対応する。頂点のペア $(v, w)$ に対して、研究は射影 $\pi_{vw}: C(Q) \to \mathbb{Z}^2$ に焦点を当て、特に座標の差 $c_v - c_w$ が有界である場合の像の挙動を検討する。

中心的な問いは以下の通りである：

1. バンドの存在性（Band Existence）: どのペア $(v, w)$ において、差 $c_v - c_w$ は $C(Q)$ 上で有界となるか？
2. 射影の充填（Projection Filling）: 差が有界であるとき、射影 $\pi_{vw}(C(Q))$ は $|x - y| \leq b_{vw}$ で定義される格子線の「バンド」全体を全射的に覆うのか、それとも隙間が存在するのか？

手法
著者は、タメ（tame）なヘレディタリー代数の表現論およびアフィン根系の組合せ論を用いる。主要な手法的ツールは以下の通りである：

• 根系の分解: アフィン型の根を、実根 $\alpha + m\delta$（ここで $\delta$ は零根）の形式を持つものと、前射影的（preprojective）、正則（regular）、前単射的（preinjective）な成分に分類することを利用する。
• 欠陥形式（The Defect Form）: 移行的（transjective）なモジュール（前射影的および前単射的モジュール）と正則モジュールを分離する線形形式である、オースレンダー・レイター（Auslander–Reiten）欠陥 $\partial$ を分析する。本論文は、この欠陥と座標の差との間の直接的な関連性を確立している。
• 移行的根 vs 正則根: 移行的根が $\delta$ シフトによって無限族を生成する（ラインを充填する）一方で、正則根は有限集合を形成するという事実を利用する。
• 計算による検証: 特定の例外的な型に対して、本論文は、コックスター変換による根論的生成やシード変異を用いた独立した計算手法を用いて、非充填（non-filling）のペアを分類する。

主要な貢献と結果

1. バンド存在の二分法（定理 1.1）
本論文は、すべての非サイクル型において一様な有界性の基準を確立する。零根 $\delta$ を持つアフィン型キバーにおいて、差 $c_v - c_w$ が有界であるための必要十分条件は $\delta_v = \delta_w$ である。この場合、界 $b_{vw}$ は基礎となる有限根系上の最大差によって決定される。$\delta_v \neq \delta_w$ である場合、移行的成分の無限性により、差は非有界となる。

2. アニュラスのケース ($\tilde{A}_n$) とソース・シンク配向
ソース・シンク配向（唯一のソース $s$、唯一のシンク $t$）を持つアニュラスのクラスター代数（型 $\tilde{A}_n$）について、本論文は充填の問題に関する完全な解決策を提供する（定理 1.2）：

• すべての座標の差は 1 によって有界である。
• 任意のペア $(v, w) \neq (s, t)$ について、射影はバンド $\{|c_v - c_w| \leq 1\}$ 全体を充填する。
• ソース・シンクのペア $(s, t)$ については、射影は非対角線（$c_s - c_t = \pm 1$）を充填するが、対角線（$c_s = c_t$）の充填には失敗する。この対角線には、有限の正則実シュア根のみが含まれる。

3. 普遍的な障害としての欠陥
本論文は、充填に対する本質的な障害としてオースレンダー・レイター欠陥を特定している。

• バンドのラインが充填されるための必要十分条件は、それが移行的根を含むことである。
• 対角線が充填に失敗するための必要十分条件は、欠陥形式 $\partial$ が座標の差 $x_v - x_w$ と一致することである。
• 型 $\tilde{A}_n$ において、欠陥はまさに $x_s - x_t$ であり、これがソース・シンク配向における特有の非充填対角線を説明している。
• 他のアフィン型（例：$\tilde{D}_4$）では、欠陥は座標の差とは一致しない。したがって、欠陥は非自明な不変量として存在するものの、すべての座標射影はそれぞれのバンドを完全に充填する。

4. 高次係数における非充填ペアの分類
本研究は、係数 1（ここで $\delta_v = \delta_w = 1$）を超えて、より高い係数を持つペアへと拡張されている。

• 係数 1: 定理 8.7 は、係数 1 のあらゆるアフィン型において、唯一の非充填ペアは $\tilde{A}_n$ のソース・シンクのペアであることを証明している。
• 係数 $\geq 2$: 正則根が移行的根の到達範囲を超えてバンドを拡張する場合、バンドの「境界」（$|c_v - c de_w| > 1$ となるライン）において非充填が発生し得る。
• 計算による分類: $\tilde{A}_{p,q}, \tilde{D}_n, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ 型に対するコンピュータ支援による分類により、以下が明らかになった：
  • 唯一の非充填ペアは $\tilde{A}_{p,q}$ のソース・シンクの対角線である。
  • 型 $\tilde{E}_7$ には、ちょうど一つの非対角線の非充填ペア（係数 2 の頂点）が存在する。ここでは、正則根が差 $\pm 2$ に達するのに対し、移行的根は $\pm 1$ に限定されている。
  • その他のテストされた型（$\tilde{D}_n, \tilde{E}_6, \tilde{E}_8$）はすべて完全に充填される。

意義と主張
本論文は、射影の全射性という組合せ論的な問いが、欠陥として知られるホモロジー的不変量の検出器として機能することを主張している。

• 位相的解釈: アニュラスモデルにおいて、欠陥はコア曲線に対する弧の符号付き交差数に対応する。非充填の対角線は、コアを横切らない弧（正則モジュール）の軌跡を表し、充填されたラインはコアを横切る弧（移行的モジュール）を表す。
• 普遍性: この結果は、欠陥が常に充填に対する障害である一方で、特定の配向（$\tilde{A}_n$ のソース・シンク配向など）においてのみ、座標射影によって「可視化」されることを示している。他の型においては、障害は存在するものの、単一の座標の差によって孤立させられることはない。
• 未解決問題: 本論文は、すべてのアフィン型における非充填ペアの完全な分類（特に係数 $\geq 2$ のペアについて、計算範囲を超えたもの）は依然として未解決であることを明記している。著者は、非充填は「正則な到達範囲」が「移行的到達範囲」を上回るときに発生すると予想しているが、チューブのランクに基づくこれらの到達範囲の一般的な公式は提示されていない。

本研究は、新しい応用や実験的な提案を行うものではなく、座標射影という観点を通じて、クラスター代数の幾何学的およびホモロジー的な構造の理解を深めるものである。