[論文レビュー] A note on Brill-Noether thoery and rank determining sets for metric graphs

Chang Mou Lim, Sam Payne+1 more|arXiv (Cornell University)|Jun 27, 2011

Algebraic Geometry and Number Theory参考文献 18被引用数 11

ひとこと要約

本稿は、分離辺をもたない genus 4 のメトリックグラフにおいて、期待される Brill-Noether 数 $\rho(4,1,3) = 0$ を超えて、$W^1_3(\Gamma)$ が正の次元をもつものを作成する。さらに、これらのグラフにおける最小のランク決定集合のサイズが $g+1$ を超えることが示され、Luo の予想に反する。また、上半連続的であり、代数曲線におけるものと類似した専用不等式を満たす、Brill-Noether ランクの新しい概念を導入する。

ABSTRACT

We produce open subsets of the moduli space of metric graphs without separating edges where the dimensions of Brill-Noether loci are larger than the corresponding Brill-Noether numbers. These graphs also have minimal rank determining sets that are larger than expected, giving couterexamples to a conjecture of Luo. Furthermore, limits of these graphs have Brill-Noether loci of the expected dimension, so dimensions of Brill-Noether loci of metric graphs do not vary upper semicontinuously in families. Motivated by these examples, we study a notion of rank for the Brill-Noether locus of a metric graph, closely analogous to the Baker-Norine definition of the rank of a divisor. We show that ranks of Brill-Noether loci vary upper semicontinuously in families of metric graphs and are related to dimensions of Brill-Noether loci of algebraic curves by a specialization inequality.

研究の動機と目的

• メトリックグラフ上の Brill-Noether 細胞の次元が、代数幾何学と同様に上半連続的かどうかを調査すること。
• Luo が提唱した、メトリックグラフ上の最小ランク決定集合のサイズが常に $g+1$ 以下であるという予想を検証すること。
• 分離辺をもたない genus 4 のメトリックグラフにおいて、$\dim W^1_3(\Gamma) > \rho(4,1,3) = 0$ となる例を構成し、期待される振る舞いと矛盾すること。
• Brill-Noether ランクの新しい概念を定義し、代数的除法群の Baker-Norine ランクに類似した性質を研究すること。
• メトリックグラフの Brill-Noether ランクと代数曲線上の Brill-Noether 細胞の次元を結ぶ専用不等式を確立すること。

提案手法

• 三価のメトリックグラフである「ループのループ」を構成する。これは $g \geq 3$ の genus をもち、$2g-2$ 個の頂点と、特定の接続パターンを持つ単一および二重辺をもつ。
• Luo のランク決定集合理論を適用し、三価頂点の集合がサイズ $2g-2$ の最小ランク決定集合であることを示す。
• genus 1 の部分グラフにおける $v$-還元と発火移動を用いて、除法群の同値性を分析し、特定の次数 3 の除法群のランクが 0 であることを特定する。
• 新しい不変量を導入する：Brill-Noether ランク $w^r_d(\Gamma)$ を、$\Gamma$ 上の任意の効果的除法群で次数 $r + k$ であるものが、ある次数 $d$ でランク $r$ の効果的除法群に含まれるような最大の $k$ として定義する。
• 有理近似と対称積のコンパクト性を用いて、メトリックグラフの族における Brill-Noether ランクの上半連続性を証明する。
• 専用不等式を確立する：$X$ が特異ファイバーが $\Gamma$ である正則半安定モデルをもつ曲線であれば、$w^r_d(\Gamma) \geq \dim W^r_d(X)$ が成り立ち、Baker の専用補題を一般化する。

実験結果

リサーチクエスチョン

• RQ1 メトリックグラフ上の Brill-Noether 細胞 $W^r_d(\Gamma)$ の次元は、Brill-Noether 数 $\rho(g,r,d)$ を超えることがあるか？
• RQ2 メトリックグラフ上の最小ランク決定集合のサイズは、常に $g+1$ 以下である、という Luo の予想は正しいか？
• RQ3 分離辺をもたないメトリックグラフの族において、$W^r_d(\Gamma)$ の次元は上半連続的か？
• RQ4 メトリックグラフの Brill-Noether 細胞に対するランクの概念を、Baker-Norine の除法群ランクに類似した形で定義できるか？
• RQ5 メトリックグラフの Brill-Noether ランクは、代数曲線に対して専用不等式を満たすか？

主な発見

• 分離辺をもたない genus 4 メトリックグラフのモジュライ空間の開部分集合において、$\dim W^1_3(\Gamma) = 1 > \rho(4,1,3) = 0$ であることが示され、Brill-Noether 細胞の次元が上半連続的でないことが判明した。
• genus $g$ の「ループのループ」における最小ランク決定集合のサイズは $2g-2$ であり、$g \geq 4$ のとき $g+1$ を超えるため、Luo の予想に対する反例が得られた。
• Brill-Noether ランク $w^r_d(\Gamma)$ は適切に定義されており、メトリックグラフの族において上半連続的である。
• 任意の smooth 曲線 $X$ について、その特異ファイバーが $\Gamma$ である正則半安定モデルが存在するとき、不等式 $w^r_d(\Gamma) \geq \dim W^r_d(X)$ が成り立つ。これは Baker の専用補題を一般化する。
• genus 4 の「ループのループ」において、除法群 $v_1 + w_1$ は、次数 3 でランクが 1 以上のいかなる効果的除法群にも含まれないため、$w^1_3(\Gamma) = 0$ であり、期待される値 $\rho(4,1,3)$ と一致する。