[論文レビュー] On the Riemann-Hurwitz formula for graph coverings

Alexander Mednykh|arXiv (Cornell University)|May 2, 2015

Graph theory and applications参考文献 7被引用数 5

ひとこと要約

本稿は、固定辺および可逆辺を含む有限群作用を伴うグラフの正則分岐被覆に、リーマン＝フルヴィッツの公式を拡張する。固定および可逆辺を考慮に入れた3種類の要因グラフ構成—(X/G)_{tail}、(X/G)_{free}、(X/G)_{loop}—の genus 公式を、頂点および辺の安定化部分群の位数を用いて導出する。主な貢献として、可逆辺を安定化部分群の項を用いて扱う一般化された公式が得られる。

ABSTRACT

The aim of this paper is to present a few versions of the Riemann-Hurwitz formula for a regular branched covering of graphs. By a graph, we mean a finite connected multigraph. The genus of a graph is defined as the rank of the first homology group. We consider a finite group acting on a graph, possibly with fixed and invertible edges, and the respective factor graph. Then, the obtained Riemann-Hurwitz formula relates genus of the graph with genus of the factor graph and orders of the vertex and edge stabilisers.

研究の動機と目的

• 古典的なリーマン＝フルヴィッツの公式を、固定および可逆辺を含む有限群作用を伴うグラフ被覆へ一般化すること。
• 可逆辺を含むグラフに群 G が作用する際、要因グラフ X/G を定義する際の曖昧さを解消するため、ループを含む、半辺を含む、および自由ループを除去した3つの異なる構成を検討すること。
• 元のグラフの genus と要因グラフの genus、および頂点・辺の安定化部分群の位数との関係を示す genus 公式を確立すること。
• 頂点および辺の安定化部分群（特に可逆辺を含む）を考慮した、離散的アナログのリーマン＝フルヴィッツの公式を確立すること。

提案手法

• Darts の集合 D、頂点の集合 V、インシデント関数 I、ダート反転インボリューション λ からなる四重組 (D, V; I, λ) で定義されるグラフモデルを用いる。
• 要因グラフ X/G の3つの構成を定義する：(X/G)_{tail}（半辺を含む）、(X/G)_{free}（ループを除去した）、(X/G)_{loop}（可逆辺から生成されるループを含む）。
• 群作用理論を用いて安定化部分群を計算する：頂点のための G^v、辺集合のための G^e、辺の点ごとの安定化部分群 G^{e} を定義する。
• グラフのバーチカル・サブディビジョンを用い、白い2価頂点のスムージングによる genus 変化を分析することで、genus 公式を導出する。
• g(X/G)_{loop} = g(X/G)_{tail} + |T(X/G)| を用いて、ループ型とテイル型の構成を関連づけ、|T(X/G)| は可逆辺上のファイバー数を用いて計算する。
• 主要な公式を確立：g−1 = |G|(g(X/G)_{free}−1) + Σ|G^v|−1 − Σ|G^e|−1 + Σ|G^e|（可逆辺について）、安定化部分群の寄与を組み込んだものである。

実験結果

リサーチクエスチョン

• RQ1 固定および可逆辺を含む有限群作用を伴うグラフ被覆に、リーマン＝フルヴィッツの公式をどのように一般化できるか？
• RQ2 要因グラフ X/G の3つの異なる構成—半辺を含む、ループを除去した、ループを保持した—に対する正しい genus 公式は何か？
• RQ3 特に可逆辺を含む場合、頂点および辺の安定化部分群は、元のグラフおよび要因グラフの genus にどのように影響するか？
• RQ4 可逆辺を含む群作用の下で、(X/G)_{tail}、(X/G)_{free}、(X/G)_{loop} の genus 間の関係は何か？
• RQ5 安定化部分群の寄与と可逆辺に起因する位相的変化をすべて考慮した、統一された公式を導出できるか？

主な発見

• 元のグラフの genus は、g−1 = |G|(g(X/G)_{free}−1) + Σ_{v∈V(X)}(|G^v|−1) − Σ_{e∈E(X)}(|G^e|−1) + Σ_{e∈E^{inv}(X)}|G^e| を満たす。ここで E^{inv}(X) は可逆辺の集合である。
• (X/G)_{tail} の genus は (X/G)_{free} と同じであり、両者とも g(X/G)_{loop} = g(X/G)_{tail} + |T(X/G)| を満たす。
• (X/G)_{tail} の構成におけるテイル数 |T(X/G)| は、|T(X/G)| = (1/|G|)Σ_{e∈E^{inv}(X)}|G^{\{e\}}| で与えられる。ここで G^{\{e\}} は無向対 {x, x̄} の安定化部分群である。
• ハーモニック群作用（ダート上で自由）の場合、公式は g−1 = |G|(g(X/G)_{free}−1) + Σ|G^v|−1 + |E^{inv}(X)| に簡略化され、先行研究と整合的であることが確認される。
• (X/G)_{loop} の公式は g−1 = |G|(g(X/G)_{loop}−1) + Σ|G^v|−1 − Σ|G^{\{e\}}|−1 であり、ループに基づく要因グラフが辺の安定化部分群の寄与をどのように扱うかを示している。
• 要因グラフの genus は構成方法に依存する：(X/G)_{loop} が最も genus が大きく、(X/G)_{free} が最小である。これはループおよび半辺に起因する位相的変化による。