[論文レビュー] Linear series and existence of branched covers

Brian Osserman|ArXiv.org|Jul 5, 2005

Algebraic Geometry and Number Theory参考文献 12被引用数 5

ひとこと要約

本稿は、退化技術と極限線形系を用いて、正の特性における射影直線のねじれ付き被覆の存在および非存在の新しい基準を確立する。特に分岐指数とモノドロミー巡回に注目している。被覆の存在を決定するための群論的条件であるp-適性を導入し、分岐指数が小さい場合、または分岐点が3つしかない場合に、鋭い非存在結果をもたらす。

ABSTRACT

In this paper, we use the perspective of linear series, and in particular results following from the degeneration tools of limit linear series, to give a number of new results on existence and non-existence of branched covers of the projective line in positive characteristic. Our results are both in terms of ramification indices and the sharper invariant of monodromy groups, and the first class of results are obtained by intrinsically algebraic and positive-characteristic arguments.

研究の動機と目的

• 特徴量0への上げ上げなしに、正の特性における射影直線のねじれ付き被覆の存在および非存在条件を確立すること。
• 単純な場合でも、モノドロミー群の位数がpで割り切れる場合に、正の特性における良い還元の失敗を扱うこと。
• 線形系と退化を用いた、完全に代数的で正の特性に特化した被覆の解析のための方法を開発すること。
• ハーツィッツ因子分解が実際に被覆に対応するための新しい群論的条件、すなわちp-適性によって特徴づけること。
• 特に分岐点が少ない場合の genus-0 場合において、退化技術がモノドロミーと被覆の存在を決定する際に「不釣り合いに効果的」であることを示すこと。

提案手法

• 本稿は、被覆を退化曲線上の極限線形系に特化することで解析するための退化技術を用いる。
• 極限線形系の理論を用いて、幾何的被覆と特別なファイバー上の組合せ的データを関連付ける。
• 主な革新は、分岐指数と巡回の構造に依存する、ハーツィッツ因子分解に対するp-適性の概念を導入することである。
• 部分積が自身で巡回であることを保証するため、純ブレード群作用に依存する。
• 十分大きなpに対して、単純なモノドロミーと正しい種数条件 2d−2=∑(e_i−1) を満たす任意のハーツィッツ因子分解はp-適性を満たし、その結果被覆が存在することを示す。
• 適性被覆と特別なファイバー上の幾何的局所生成系を結びつけ、純ブレード変換の後、モノドロミーデータが正の特性において幾何的に実現可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた対称群内の巡回のハーツィッツ因子分解が、正の特性におけるねじれ付き被覆に対応する条件は何か？
• RQ2 特徴量pが群の位数を割り切る場合、被覆の存在が分岐指数とモノドロミー巡回の構造にどのように依存するか？
• RQ3 特徴量0への上げ上げなしに、代数的および退化技術のみを用いて被覆の非存在を示すことは可能か？
• RQ4 正の特性において、局所モノドロミー巡回は、基本群の生成系の選び方にどの程度依存するか？
• RQ5 分岐点が少ない被覆の存在問題を解くにあたり、退化および極限線形系手法はどの程度効果的か？

主な発見

• ハーツィッツ因子分解が特徴量pにおけるねじれ付き被覆として実現可能であるための必要十分条件は、p-適性条件を満たすことであり、これは分岐指数e_iにのみ依存する。
• r=3個の分岐点、またはすべてのe_i < p の場合、p-適性条件は鋭い非存在基準を提供する。
• 単純なモノドロミーと種数条件 2d−2=∑(e_i−1) を満たす任意のハーツィッツ因子分解は、純ブレード作用により変換可能であり、すべての部分積が巡回となるようにできる。
• 特徴量5の場合、モノドロミー巡回が (1,3,5,8,2,4,6,7)、(10,8,6,4,9,7,5,3)、(10,3,1,9,4,2)(7,8) である種数1の被覆は存在しない。これは、関連する次数5被覆がその特徴量で存在しないことによる。
• 純ブレード変換の後、特別なファイバー上に幾何的局所生成系が存在することは、一般ファイバーからのモノドロミーデータが正の特性において幾何的に実現可能であることを保証する。
• この手法により、退化技術が「不釣り合いに効果的」であることが示された。古典的位相的議論が失敗する場合でも、期待を上回る強い結果が得られる。