[論文レビュー] Singularity Properties of Graph Varieties

Guy Kapon|arXiv (Cornell University)|May 14, 2019

Advanced Graph Theory Research参考文献 2被引用数 4

ひとこと要約

本稿は、グラフの頂点にベクトルを割り当てる代数的多様体（グラフ多様体）— その際、辺に対応するベクトルの間にシンプレクティック直交性制約が課される— の特異性の性質を調査する。退化技術、次元の上限、標準バンドルの計算を用いて、有界な退化度と十分に大きなシンプレクティック空間次元を持つグラフに対して、多様体が既約であること、その射影的バージョンがちょうど森（木の集合）である場合にのみ滑らかであること、および次元の上限を改善した条件下で元の多様体が有理特異点を持つことを示している。特に、木や一般のグラフに対して明示的な結果を得ている。

ABSTRACT

For a graph $G=(V,E)$, and a symplectic vector space $(W, \left)$, we define a variety $X(G,W)$ consisting of all functions $w:V o W$ satisfying $\left = 0$ for any edge $\{u,v\}$ in $G$. We study the singularities of this varieties.

研究の動機と目的

• グラフ $G$ とシンプレクティックベクトル空間 $W$ に対して、グラフ多様体 $X(G,W)$ の次元と既約性を特定すること。
• 射影的バージョン $\widetilde{X}(G,W)$ が滑らかになる条件を同定し、特にグラフ構造とどのように関係するかを特定すること。
• 多様体 $X(G,W)$ が有理特異点を持つことを保証する $W$ の次元の下界を改善すること、特に森や一般のグラフに対して。
• これらの結果を表現論に応用し、代数群の既約表現の成長に関する境界を精緻化すること。

提案手法

• 各辺 $\{u,v\}$ に対して $f$ を $\langle f(u), f(v) \rangle$ に写す写像 $\phi: W^V \to \mathbb{F}^E$ の零点集合としてグラフ多様体 $X(G,W)$ を定義する。
• 射影写像とファイバー次元の議論を用いて、退化度と次元の制約のもとで、既約性と次元公式を証明する。
• 原点での吹き上げを用いて射影的バージョン $\widetilde{X}(G,W)$ を導入し、特異点の組合せ論的解析によりその滑らかさを特徴付ける。
• グラフを部分グラフ（例えば辺やレベル）に分割することで退化技術を適用し、頂点と辺に帰納的で重み付きの彩色スキームを導入する。
• 木に対して特異点の明示的解消を構成し、Kodairaの消失定理と標準バンドルの計算を用いて有理特異点を証明する。
• 組合せ論的彩色境界を $p_4(D) = \frac{D^2(D+1)^2}{2} - 1$ を用いて導出し、$\dim(W) \geq 2p_4(D)$ のとき一般のグラフに対して有理特異点が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフ $G$ とシンプレクティック空間 $W$ に対して、グラフ多様体 $X(G,W)$ が既約で、次元が $\dim(W)|V| - |E|$ に等しくなるのはどのような条件下か？
• RQ2 射影的グラフ多様体 $\widetilde{X}(G,W)$ が滑らかになるのはいつか？ これはグラフ構造とどのように関係するか？
• RQ3 多様体 $X(G,W)$ が有理特異点を持つために必要な $W$ の最小次元は何か？ また、森や木といった特定のグラフクラスに対してこの境界をどのように改善できるか？
• RQ4 多様体 $X(G,W)$ の特異性の性質は、代数群の表現論的境界とどのように関係するか？

主な発見

• 最大次数 $D$ の $d$-退化グラフ $G$ に対して、$\dim(W) \geq D + d$ ならば、$X(G,W)$ は既約で次元 $\dim(W)|V| - |E|$ を持つ。
• 射影的グラフ多様体 $\widetilde{X}(G,W)$ は、$\dim(W) \geq D + d$ の下で、$G$ が森である場合に限り滑らかである。
• $G$ が森で $\dim(W) \geq D + 1$ ならば、$X(G,W)$ は有理特異点を持つ。
• 一般のグラフに対しては、$\dim(W) \geq 2p_4(D)$ のとき $X(G,W)$ は有理特異点を持つ。ここで $p_4(D) = \frac{D^2(D+1)^2}{2} - 1$ であり、以前の境界を改善している。
• 木に対しては、この境界をさらに $\dim(W) \geq D$ に改善でき、よりきつい次元条件のもとで有理特異点が成立することが示された。
• これらの結果は [AA15] および [AA18] の境界を精緻化し、代数群の既約表現の成長に関するより良い推定値を導く。