[論文レビュー] Generic Caldero-Chapoton functions with coefficients and applications to surface cluster algebras

Christof Geiß, Daniel Labardini-Fragoso+1 more|arXiv (Cornell University)|Jul 10, 2020

Algebraic structures and combinatorial models参考文献 35被引用数 4

ひとこと要約

本稿は、表面から生じるクラスター代数における係数付き一般化カルデロ＝チャパトン関数の幾何的枠組みを、正則写像と表現多様体の既約成分を用いて確立する。任意の境界上に2つ以上のマークされた点をもつ表面に対して、係数がフルランクでない場合でも、一般化カルデロ＝チャパトン関数が係数のローレンツ多項式環上での基底をなすことを証明し、ジャコビ有限性を仮定しない初等的代数幾何学的手法により、先行研究を一般化する。

ABSTRACT

We realize Derksen-Weyman-Zelevinsky's mutations of representations as densely-defined regular maps on representation spaces, and study the generic values of Caldero-Chapoton functions with coefficients, giving, for instance, a sufficient combinatorial condition for their linear independence. For a quiver with potential $(Q,S)$, we show that if $k$ is a vertex not incident to any oriented 2-cycle, then every generically $τ$-reduced irreducible component $Z$ of any affine variety of (decorated) representations has a dense open subset $U$ on which Derksen-Weyman-Zelevinsky's mutation of representations $μ_k$ can be defined consistently as a regular map to an affine variety of (decorated) representations of the Jacobian algebra of the mutated QP $μ_k(Q,S)$. Our techniques involve only basic linear algebra and elementary algebraic geometry, and do not require to assume Jacobi-finiteness. Thus, the paper yields a new and more general proof of the mutation invariance of generic Caldero-Chapoton functions, generalizing and providing a new natural geometric perspective on results of Derksen-Weyman-Zelevinsky and Plamondon. (For Jacobi-finite non-degenerate quivers with potential, this invariance was shown by Plamondon using the machinery of Ginzburg dg-algebras and Hom-finite generalized cluster categories.) We apply our results, together with results of Mills, Muller and Qin, to prove that for any choice of geometric coefficient systems, not necessarily of full rank, the cluster algebra associated to a possibly punctured surface with at least two marked points on the boundary has the generic Caldero-Chapoton functions as a basis over the Laurent polynomial ring of coefficients.

研究の動機と目的

• クラスター代数における係数付き一般化カルデロ＝チャパトン関数の幾何的でミューテーション不変な枠組みを提供すること。
• Ginzburg dg代数やホモロジー論的道具を用いずに、初等的代数幾何学のみを用いて、プラモンドンのミューテーション不変性結果をジャコビ有限性の設定を超えて一般化すること。
• 任意の幾何的係数をもつ表面クラスター代数において、一般化カルデオ＝チャパトン関数が基底をなすこと、特に係数がフルランクでない場合でも成り立つことを確立すること。
• 少なくとも2つの境界マーク点をもつ表面クイバーに対して、上位クラスター代数とクラスター代数が一致することを証明すること。
• ミルズ、ミュラー、チンの結果を、クラスター基底構成の新しい幾何的視点によって統合すること。

提案手法

• デルセン＝ウェイマン＝ツェレヴィンスキーの表現ミューテーションが、ポテンシャル付きクイバーの表現多様体上での稠密に定義された正則写像として実現される。
• 任意の結合代数に対して、g-ベクトル、E-不変量、およびHom次元の上半連続性が確立される。
• 一般にτ-削減された既約成分が、ミューテーションが一貫して定義される正則写像としての写像先であるミューテートド・ジャコビ代数への稠密な開部分集合をもつことが示される。
• ミューテーションされた軌道のザリスキ閉包が、ミューテーション後の設定において一般にτ-削減された成分を導くことが証明され、成分レベルでのミューテーション則が確立される。
• この構成は、三角形分割された表面に適用され、ミルズ、ミュラー、チンの結果を用いて、任意の係数系において基底性が証明される。
• Ginzburg dg代数やHom有限性の仮定を避けており、線形代数と行列式の初等的代数幾何学のみに依拠する。

実験結果

リサーチクエスチョン

• RQ1 ジャコビ有限性を仮定せず、高度なホモロジー論的道具を用いずに、一般化カルデオ＝チャパトン関数のミューテーション不変性を証明できるか？
• RQ2 交換行列のどの組み合わせ的条件のもとで、一般化カルデオ＝チャパトン関数の集合が係数環上での線形独立性をもつのか？
• RQ3 非フルランク係数系をもつ表面クラスター代数において、一般化カルデオ＝チャパトン基底は上位クラスター代数と一致するか？
• RQ4 ジャコビ有限性が成り立たない状況において、表現多様体の既約成分のミューテーションが正則写像として一貫して定義可能か？
• RQ5 表面クラスター代数の一般基底は、幾何的係数系の選択に依存しないのか、非フルランクのものも含めて？

主な発見

• 本稿は、境界上に少なくとも2つのマーク点をもつ任意の表面に対して、一般化カルデオ＝チャパトン関数が係数のローレンツ多項式環上での上位クラスター代数の基底をなすことを証明している。
• ジャコビ有限性がなくても、表現のミューテーションが表現多様体の稠密な開部分集合上で稠密に定義された正則写像として定義可能であることが示された。
• 一般成分のミューテーションによる像のザリスキ閉包が、ミューテーション後の設定において一般にτ-削減された成分を導くことが証明され、成分レベルでのミューテーション則が確立された。
• 少なくとも2つの境界マーク点をもつ表面クイバーに対して、任意の幾何的係数系（フルランクでないものも含む）において、一般化カルデオ＝チャパトン関数の集合がクラスター代数を張ることを示した。
• 非係数系および主係数系の状況において、表面が穴がなく境界上に少なくとも2つのマーク点をもつ場合、一般基底はムジッカー＝シュフィラー＝ウィリアムズのバングル基底と一致する。
• Ginzburg dg代数やHom有限性を避けて、初等的代数幾何学のみを用いることで、プラモンドンの不変性結果を一般化した。