[论文解读] On the Riemann-Hurwitz formula for graph coverings

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

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

一句话总结

本文将黎曼-赫尔茨公式推广至具有有限群作用的图的正则分支覆盖，考虑了固定边与可逆边。通过引入顶点与边稳定子的阶，推导出三种不同因子图构造——(X/G)_{tail}、(X/G)_{free} 与 (X/G)_{loop}——的亏格公式，关键贡献在于提出一个广义公式，通过稳定子项准确刻画可逆边的影响。

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.

研究动机与目标

• 将经典的黎曼-赫尔茨公式推广至具有有限群作用的图覆盖，涵盖包含固定边与可逆边的情形。
• 通过考虑三种不同构造方式（含环、含半边、移除自由环），解决在群作用下图 X 有可逆边时因子图 X/G 定义的模糊性。
• 建立将原图亏格与因子图亏格及顶点与边稳定子阶相关联的亏格公式。
• 提供黎曼-赫尔茨公式的离散类比，考虑在群作用下顶点与边（包括可逆边）的稳定子贡献。

提出的方法

• 采用四元组 (D, V; I, λ) 的图模型，其中 D 为箭头集合，V 为顶点集合，I 为关联函数，λ 为箭头反转对合。
• 定义因子图 X/G 的三种构造方式：(X/G)_{tail}（含半边）、(X/G)_{free}（移除环）、(X/G)_{loop}（保留由可逆边产生的环）。
• 应用群作用理论计算稳定子：G^v 表示顶点稳定子，G^e 表示边集稳定子，G^{e} 表示边点稳定子。
• 通过图的重心剖分推导亏格公式，并分析在平滑白 2-价顶点时亏格的变化。
• 利用关系式 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 的三种不同构造方式——含半边、移除环、保留环——的正确亏格公式是什么？
• RQ3 顶点与边（尤其是可逆边）的稳定子如何影响原图与因子图的亏格？
• RQ4 在具有可逆边的群作用下，因子图 (X/G)_{tail}、(X/G)_{free} 与 (X/G)_{loop} 的亏格之间存在何种关系？
• RQ5 能否推导出一个统一公式，同时考虑稳定子贡献与可逆边引起的拓扑变化？

主要发现

• 原图的亏格满足 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} 的亏格等于 (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，表明基于环的因子图如何体现边稳定子的贡献。
• 因子图的亏格取决于构造方式：由于环与半边引起的拓扑变化，(X/G)_{loop} 的亏格最高，(X/G)_{free} 的亏格最低。