[論文レビュー] Birational transformations of weighted graphs

Hubert Flenner, Shulim Kaliman+1 more|ArXiv.org|Nov 2, 2005

Algebraic Geometry and Number Theory参考文献 12被引用数 14

ひとこと要約

本稿では標準重み付きグラフを導入し、任意の重み付きグラフが双有理同値を除いて一意な標準モデルを持つことを証明する。また、則面におけるものと類似した基本変換の合成として、このようなモデル間の双有理変換を分類し、代数群作用を伴うアフィン曲面の等変完成を研究する基盤を提供する。

ABSTRACT

We introduce the notion of a standard weighted graph and show that every weighted graph has an essentially unique standard model. Moreover we classify birational transformations between such models. Our central result shows that these are composed of elementary transformations. The latter ones are defined similarly to the well known elementary transformations of ruled surfaces. In a forthcoming paper, we apply these results in the geometric setup to obtain standard equivariant completions of affine surfaces with an action of certain algebraic groups. We show that these completions are unique up to equivariant elementary transformations.

研究の動機と目的

• 重み付き木から任意の重み付きグラフ（サイクル、ループ、多重辺を含む）への標準モデル理論の一般化。
• 各双有理同値類内での標準モデルの存在および本質的独自性の確立。
• 則面におけるものと類似した基本変換を用いて、標準重み付きグラフ間の双有理変換を分類すること。
• 以降の研究において、代数群作用を伴うアフィン曲面の等変完成を研究するための組合せ的枠組みを提供すること。

提案手法

• 標準重み付きグラフの概念を導入し、双有理変換を構成する基本的操作として内部および外部のブLOWUPを定義する。
• 支配関係と正規化変換の概念を用いて、グラフ間のブLOWUPおよびブLOWDOWNの系列を分析する。
• すべての標準モデル間の双有理写像を生成する基本変換（移動、シフト、回転）を定義する。
• すべての変換が各段階で共通の支配的グラフΓによって支配されることを保証するように、双有理写像を分析する。
• 線形および円形グラフに理論を適用し、すべての双有理写像が基本的ステップに分解可能であることを証明する。
• 隣接行列のスペクトル的および判別式不変量を用いて、双有理変換下でのグラフの性質を研究する。

実験結果

リサーチクエスチョン

• RQ1 任意の重み付きグラフは標準モデルをもつのか。また、そのモデルは双有理同値を除いて一意的か。
• RQ2 標準重み付きグラフ間の双有理変換を体系的に分類し、分解することは可能か。
• RQ3 則面におけるものに類似した、すべてのこのような双有理写像を生成する基本的構成要素（ブロック）は何か。
• RQ4 分岐点とセグメント構造は、双有理変換の形にどのような制約を課えるか。
• RQ5 重み付きグラフの双有理変換下で保存される不変量は何か。

主な発見

• すべての重み付きグラフは本質的に一意な標準モデルをもち、各双有理同値類における標準的代表元を確立する。
• 標準重み付きグラフ間の双有理変換は、すべてが則面におけるものと類似した基本変換の合成で構成される。
• 双有理写像の分類は、分岐点が保存されることに起因し、線形鎖および円形グラフの分析に帰着される。
• 基本変換は移動、シフト、回転によって定義され、それらの合成がすべての双有理写像を完全に記述する。
• 理論は、代数群作用を伴うアフィン曲面の等変完成の構成と分類のための組合せ的基盤を提供する。
• 隣接行列のスペクトル的および判別式不変量が計算され、双有理変換下で予測可能に振る舞うことが示された。