[論文レビュー] Harmonic morphisms and hyperelliptic graphs

Matthew Baker, Serguei Norine|ArXiv.org|Jul 9, 2007

Algebraic Geometry and Number Theory参考文献 6被引用数 10

ひとこと要約

本稿では、リーマン面間の正則写像の離散的類似として調和的同形写像を導入し、グラフ論的リーマン・フルヴィッツの公式を確立し、双曲的グラフを特徴づける。2辺連結グラフが高々1つの双曲的対合を有することを証明し、特異点を持たない双曲的グラフを $B_n$、$B(l_1,l_2,l_3)$（$l_i$ が奇数）または $Φ(l)$ として分類する。

ABSTRACT

We study harmonic morphisms of graphs as a natural discrete analogue of holomorphic maps between Riemann surfaces. We formulate a graph-theoretic analogue of the classical Riemann-Hurwitz formula, study the functorial maps on Jacobians and harmonic 1-forms induced by a harmonic morphism, and present a discrete analogue of the canonical map from a Riemann surface to projective space. We also discuss several equivalent formulations of the notion of a hyperelliptic graph, all motivated by the classical theory of Riemann surfaces. As an application of our results, we show that for a 2-edge-connected graph G which is not a cycle, there is at most one involution $ι$ on G for which the quotient $G/ι$ is a tree. We also show that the number of spanning trees in a graph G is even if and only if G admits a non-constant harmonic morphism to the graph B_2 consisting of 2 vertices connected by 2 edges. Finally, we use the Riemann-Hurwitz formula and our results on hyperelliptic graphs to classify all hyperelliptic graphs having no Weierstrass points.

研究の動機と目的

• リーマン面間の正則写像のグラフ論的類似を調和的同形写像を用いて開発すること。
• 有限グラフと調和的同形写像の文脈において、リーマン・フルヴィッツの公式を定式化すること。
• 木への2次調和的同形写像を許容する双曲的グラフ—すなわち、複数の同等な定義による特徴づけ—を特徴づけること。
• 特異点を持たない2辺連結双曲的グラフをすべて分類すること。
• 調和的同形写像と、生成木の数などの組合せ的不変量との関係を確立すること。

提案手法

• 水平的等角性を用いて、多重グラフ間の調和的同形写像を定義する：(HC1) 隣接頂点は隣接するか等しい頂点に写される；(HC2) 両端の頂点の前像次数は、その近傍において一定である。
• 頂点の分岐指数 $v_\phi(x)$ と重複度 $m_\phi(x)$ を導入し、調和的同形写像の次数を定義する。
• リーマン・フルヴィッツの公式を導出する：$\sum_{x \in V(G)} v_\phi(x) = 2g(G) + 2 - 2g(G') \cdot \deg(\phi)$、これは古典的公式に類似している。
• 調和的同形写像によって誘導されるジャコビアン上の函手的写像と調和1形式を用いて、グラフ上の線形系を研究する。
• リーマン・フルヴィッツの公式を応用し、頂点次数と前像構造の分析を通じて、特異点を持たない双曲的グラフを分類する。
• 除法論を用い、特に $r(D)$ と線形同値を含む、候補となるグラフにおける特異点の不在を検証する。

実験結果

リサーチクエスチョン

• RQ1 リーマン面間の正則写像の正しいグラフ論的類似とは何か？
• RQ2 有限グラフと調和的同形写像の文脈において、リーマン・フルヴィッツの公式はどのように定式化できるか？
• RQ3 グラフ論的設定における双曲的グラフの同等な特徴づけは何か？
• RQ4 2辺連結グラフが高々1つの双曲的対合を有するのはいつか？
• RQ5 どの双曲的グラフが特異点を持たず、それらは完全に分類可能か？

主な発見

• 2辺連結でサイクルでないグラフ $G$ に対して、商 $G/\iota$ が木であるような対合 $\iota$ は高々1つである。
• グラフ $G$ が生成木の数を偶数個もつことと、$G$ が2頂点2辺からなるグラフ $B_2$ への非定数調和的同形写像を許容することは同値である。
• 特異点を持たない2辺連結双曲的グラフは、すべて $B_n$（$n \geq 3$）、$B(l_1,l_2,l_3)$（$l_i \geq 1$ で奇数）または $\Phi(l)$（$l \geq 1$）に同型である。
• $B_n$ は特異点を持たない。なぜなら $r((n-1)(x) - (y)) = -1$ であるため、$r((n-1)(x)) = 0$ であると示せる。
• $l_i$ が奇数である $B(l_1,l_2,l_3)$ は特異点を持たない。なぜなら双曲的対合に固定点がないからである。
• $\Phi(l)$ は特異点を持たない。なぜならすべての頂点 $x_i$ に対して $r(3(x_i)) = 0$ であることが、除法の線形同値とチップ・ファイアリングの議論により確認できるからである。