非アルキメデス体上の箙表現に調和ノルムが存在する条件
Harmonic Norms on Quiver Representations over Non-Archimedean Fields
この論文をやさしく読む
ひとことで言うと
特殊な距離構造を持つ体の上で、矢印付きグラフの表現に適切な調和ノルムが存在することを、安定性の条件から証明した研究です。
何に役立つ？
非アルキメデス幾何と表現論で、安定性と調和構造を結ぶ基礎になります。先行研究で残されていた存在問題に答えています。
この研究の面白いところ
体が球完備であるとは仮定せず、より広い完備体を扱います。完備化した空間で最小値が存在することだけでなく、分裂ノルムとして達成できることまで示しています。
どこまで分かった？
有限箙の多重安定表現という条件の下での理論結果です。要旨中の支持ヒンジなどの技術的構成の定義や詳細な証明は示されていません。任意の不安定表現についての存在を主張しているわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Kを任意の完備な非アルキメデス体とし、球完備性は必ずしも仮定しない。本研究では、K上の有限箙の任意の多重安定表現が、Haiden–Katzarkov–Kontsevich–Pandit（HKKP）の意味での分裂調和ノルムを持つことを証明し、彼らのプレプリント『Towards Categorical Kähler Geometry』の問いに答える。Moret-Baillyの閉像定理により、不安定化する部分対象を持つ表現からの一様な分離が得られる。次いで、ノルムの重みに関する有限の評価から、安定表現に対する線形の強圧性評価が得られ、したがってすべてのノルムからなる完備CAT(0)空間上で、拡張HKKPポテンシャルが最小値を持つ。第一変分を直接計算すると、分裂した最小化ノルムがHKKP調和ノルムに一致することが分かる。 厳密な支持ヒンジを用い、分裂ノルムによる最小値の達成を、任意の実数の半径ラベルを持つ箙に対する半安定還元へ帰着する。持ち上げた分裂をわずかに変えることで、逆向きにした各拡大を非分裂にできる。有限の傾き・ランク降下によって停止性を証明する。その結果、完備化されたノルム空間のすべての最小値は、矢の特異値プロファイルを同じに保った分裂ノルムによって達成され、値群や箙への制限は必要ない。非分裂の最小化ノルムを用い、1つおよび2つの半径の変更で分裂した最小値達成が得られることを例示する。また、2パラメータのBerkovich解析族によって、多重安定性、半安定性、選んだ分裂ノルムの調和性を区別する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $K$ be any complete non-Archimedean field, not necessarily spherically complete. We prove that every polystable representation of a finite quiver over $K$ admits a split harmonic norm in the sense of Haiden--Katzarkov--Kontsevich--Pandit (HKKP), answering a question from their preprint \emph{Towards Categorical Kähler Geometry}. Moret-Bailly's closed-image theorem gives a uniform separation from representations with destabilizing subobjects. A finite estimate on norm weights then yields a linear coercivity bound for stable representations and hence a minimum of the extended HKKP potential on the complete CAT(0) space of all norms. A direct first-variation computation identifies split minimizers with HKKP harmonic norms. Strict supporting hinges reduce split attainment to semistable reduction for quivers with arbitrary real radius labels. Small changes of the lifted splitting make each reversed extension nonsplit; a finite slope--rank descent proves termination. Consequently, every minimum in the completed norm space is attained by a split norm with the same arrow singular profiles, without restrictions on the value group or the quiver. Nonsplit minimizers illustrate split attainment in one and two radius modifications, and a two-parameter Berkovich analytic family separates polystability, semistability, and harmonicity of a chosen split norm.
著者のコメント
39 pages, comments welcome
arXiv ID: 2610.01694 ／ 要約の誤りについて