[论文解读] Harmonic morphisms and hyperelliptic graphs

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

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

一句话总结

本文引入调和同态作为黎曼曲面之间全纯映射的离散类比，建立了图论意义上的黎曼-赫尔维茨公式，并刻画了双椭圆图。证明了2-边连通图最多只有一个双椭圆对合，并将所有不含魏尔斯特拉斯点的双椭圆图分类为 $B_n$、$B(l_1,l_2,l_3)$（其中 $l_i$ 为奇数），或 $ Phi(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-边连通图最多只存在一个双椭圆对合？
• RQ5 哪些双椭圆图不含魏尔斯特拉斯点，且如何实现完全分类？

主要发现

• 对于非环状的2-边连通图 $G$，至多存在一个对合 $\iota$，使得商图 $G/\iota$ 为一棵树。
• 图 $G$ 的生成树数量为偶数，当且仅当 $G$ 存在一个非平凡的调和同态映射到图 $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$，该结论通过除子线性等价性与芯片移动论证得到验证。