2025-11-17T13:16:11.898615

Floer potentials, cluster algebras and quiver representations

Albers, Bertozzi, Reineke

We use cluster algebras to interpret Floer potentials of monotone Lagrangian tori in toric del Pezzo surfaces as cluster characters of quiver representations.

academic

Floer ポテンシャル、クラスター代数およびクイバー表現

基本情報

論文ID: 2309.16009
タイトル: Floer potentials, cluster algebras and quiver representations
著者: Peter Albers, Maria Bertozzi, Markus Reineke
分類: math.SG (シンプレクティック幾何学)、math.RT (表現論)
発表時期: 2023年9月 (arXiv プレプリント、2025年6月改訂)
論文リンク: https://arxiv.org/abs/2309.16009

要約

本論文はクラスター代数を利用して、トーラス del Pezzo 曲面における単調ラグランジアン・トーラスの Floer ポテンシャルをクイバー表現のクラスター指標として解釈する。

研究背景と動機

問題背景

Vianna の構成: R. Vianna の先駆的研究において、複素射影平面内の無限個の相互に Hamilton ホモトピックでない単調ラグランジアン・トーラスが構成された。これらのトーラスは Markov 三つ組により自然に指標付けされ、Markov 木に沿った幾何学的変異手続きにより帰納的に構成される。
Floer 理論: これらのトーラスを区別するため、その内部に含まれる Maslov 指数 2 の正則円盤計数情報を利用する必要があり、これが Floer ポテンシャルの概念をもたらした。
クラスター代数理論: クラスター代数の表現論的手法において、形式的に類似した変異不変性が存在する。すなわち、ポテンシャル付きクイバー表現の F-多項式（クラスター指標）は表現変異時にクラスター代数内の変異規則を通じて関連付けられる。

著者らは Floer ポテンシャルの代数的変異規則とクラスター代数におけるクラスター指標の変異規則の間に形式的な類似性を観察した。最初の3つの Vianna トーラスに関する実験を通じて、著者らは、トーラス del Pezzo 曲面内で構成された各単調ラグランジアン・トーラスに対して、ポテンシャル付きクイバーの表現を関連付けることができ、そのクラスター指標が自然にそのトーラスの Floer ポテンシャルに対応することを予測した。

核心的貢献

対応関係の確立: トーラス del Pezzo 曲面における単調ラグランジアン・トーラスの Floer ポテンシャルがクイバー表現のクラスター指標として解釈できることを証明した。
比較写像の構成: 8 に触発されて、二項 Laurent 多項式からクラスター代数への比較写像を構成し、この写像は両種類の代数的変異規則と両立する。
変異不変性の証明: 第 2.4 節においてクラスター指標変異不変性の適切なバージョンを述べ証明した。
初期種子の実現: 第 4 節において 10 の初期 Landau-Ginzburg 種子をクラスター指標として実現した。
主定理: 定理 4.3 は、すべての関連する Floer ポテンシャルが自然に構成された表現のクラスター指標であることを示す。

方法の詳細

タスク定義

本論文の核心的タスクは、シンプレクティック幾何学における Floer ポテンシャルと代数表現論におけるクラスター指標の間の精密な対応関係を確立することである。

理論的枠組み

Landau-Ginzburg ポテンシャル

実数 $a$ に対して、 $[a]_+ = \max(a,0)$ と定義する。整数原始ベクトル $v \in \mathbb{Z}^2$ を考える。 $v = (a,b)$ に対して、以下を定義する：

$v^⊥ = (b,-a)$
標準スカラー積： $(v,w) = ac + bd$
シンプレクティック形式： $\{v,w\} = ad - bc$

ベクトル $v$ は $\mathbb{C}(z_1,z_2)$ 上の変異写像を定義する： $\mu_v(F)(z_1,z_2) = F(z_1(1 + z_1^b z_2^{-a})^{-a}, z_2(1 + z_1^b z_2^{-a})^{-b})$

クラスター代数

反対称 $n \times n$ 行列 $B = (b_{i,j})$ が与えられたとき、方向 $i$ における変異 $\mu_i B = B' = (b'_{j,k})$ を以下のように定義する：

$b'_{j,k} = b_{j,k}$ （ $j = i$ または $k = i$ の場合）
$b'_{j,k} = b_{j,k} + [b_{j,i}]_+[b_{i,k}]_+ - [-b_{j,i}]_+[-b_{i,k}]_+$ （ $j \neq i \neq k$ の場合）

比較写像

定義 3.1 は重要な比較写像を与える： $\Phi = \Phi_s : \mathbb{C}[z_1^{\pm}, z_2^{\pm}] \to \mathbb{C}[x_1^{\pm}, \ldots, x_n^{\pm}]$ $\Phi_s(z^v) = \prod_i x_i^{-(v,v_i)}$

補題 3.2 はこの写像が変異と両立することを証明する： $\mu_i^C \circ \Phi_s = \Phi_{\mu_i s} \circ \mu_i^S$

クイバー表現

各トーラス del Pezzo 曲面に対して、対応するクイバーとポテンシャルを構成する：

$\mathbb{CP}^2$ : $B$ 行列は $\begin{pmatrix} 0 & 3 & -3 \\ -3 & 0 & 3 \\ 3 & -3 & 0 \end{pmatrix}$
$\mathbb{CP}^1 \times \mathbb{CP}^1$ : 対応する 4 頂点クイバー
$Bl_k\mathbb{CP}^2$ ( $k=1,2,3$ ): より複雑なクイバー構造に対応

実験的設定

検証戦略

論文は各ケースを検証する方法を採用し、各トーラス del Pezzo 曲面に対して：

対応する $B$ 行列とクイバー $Q(X)$ を構成する
十分に一般的な非退化ポテンシャル $S(X)$ を選択する
仮想表現 $P(X) = [V] - [(S_i^-)^c]$ を構成する
$CC_{P(X)}(x) = \Phi_{s(X)}(W(X))$ を検証する

具体的計算

$\mathbb{CP}^2$ の例として：

$y_1 = x_2^{-3}x_3^3$ , $y_2 = x_1^3x_3^{-3}$ , $y_3 = x_1^{-3}x_2^3$
$F_P(y) = F_V(y) = 1 + y_2 + y_2y_3$
$g_P = (-1, 2, -1)$
$CC_P(x) = x_1^{-1}x_2^2x_3^{-1} + x_1^{-1}x_2^{-1}x_3^2 + x_1^2x_2^{-1}x_3^{-1}$

主要結果

定理 4.3（主定理）

ラグランジアン種子に現れる各単調ラグランジアン・トーラス $L_i(X)$ の Floer ポテンシャルは、比較写像 $\Phi_{s_i(X)}$ の下で $(Q_i(X), S_i(X))$ の仮想表現 $P_i(X)$ のクラスター指標に対応する： $\Phi_{s_i(X)}(W_{L_i(X)}) = CC_{P_i(X)}(x)$