[論文レビュー] The Geometry of the Minimal Resultant Locus

Robert Rumely|arXiv (Cornell University)|Feb 24, 2014

advanced mathematical theories参考文献 23被引用数 8

ひとこと要約

本稿は、非アルキメデス的体上のベルコヴィッチ射影直線の型II点に対して、∑wϕ(P) = d−1 を満たす標準的重み割り当て wϕ(P) を導入し、これらの重みの台を「主要集合」と定義する。主な結果は、次数 d ≥ 2 の有理写像 ϕ に対する最小結果関数の局所 (MinResLoc) が、関連する確率測度 νϕ = (1/(d−1))∑wϕ(P)δP の重心に一致することであり、また、次数 d の有理写像のモジュライ空間における半安定還元を示す点の集合の閉包とも一致する。

ABSTRACT

Let K be a complete, algebraically closed, nonarchimedean valued field, and let f(z) be a rational function in K(z) of degree d at least 2. We show there is a natural way to assign non-negative integer weights w_f(P) to points of the Berkovich projective line over K, in such a way that the sum over all points is d-1. When f(z) has bad reduction, the set of points with nonzero weight forms a distributed analogue of the single point which occurs when f(z) has potential good reduction. Using this, we characterize the Minimal Resultant Locus of f(z) in dynamical and moduli-theoretic terms: dynamically, it is the barycenter of the weight-measure attached to f(z); moduli-theoretically, it is the closure of the set of type II points where f(z) has semi-stable reduction in the sense of Geometric Invariant Theory.

研究の動機と目的

• 完備かつ代数的に閉じた非アルキメデス的体上の有理写像 ϕ に対する最小結果関数の局所 (MinResLoc) の幾何学的および力学的意味を理解すること。
• ∑wϕ(P) = d−1 を満たすように、ベルコヴィッチ射影直線上の型II点への標準的重み割り当て wϕ(P) を定義し、それらを研究すること。
• MinResLoc を動的的に、測度 νϕ = (1/(d−1))∑wϕ(P)δP の重心として特徴付けること。
• 幾何的不変量理論における半安定および安定還元を用いて、MinResLoc のモジュライ理論的特徴付けを確立すること。
• 反発的固定点および固定点の木が MinResLoc の構造を決定する役割を明確にすること。

提案手法

• 型II点 P における重み wϕ(P) を、結果関数 ordResϕ(·) のラプラシアンから導かれる degϕ(P) −1 + P におけるシアリング方向の数として定義する。
• すべての型II点にわたる重みの和が d−1 に等しいことを証明し、重み公式を確立する。
• 反発的固定点と古典的固定点の木の交わりが、古典的および反発的固定点によって張られる木に一致することを示す。
• ベルコヴィッチ木上で非アルキメデス的重み公式および傾きの計算を適用し、重み割り当てと主要集合を導出する。
• 主木上の質量分布と木構造を用いて、MinResLoc を測度 νϕ の重心として特徴付ける。
• MinResLoc が ϕγ が半安定還元を示す点 P = γ(ζG) からなることを示し、モジュライ理論的リンクを確立する。また、ϕγ が安定還元を示すときかつそのときに限り MinResLoc は一点に一致する。

実験結果

リサーチクエスチョン

• RQ1 非アルキメデス的体上の有理写像 ϕ に対して、次数 d ≥ 2 のとき、最小結果関数の局所 MinResLoc(ϕ) はどのような動的意味を持つのか？
• RQ2 ∑wϕ(P) = d−1 を満たすように、非負整数の重み wϕ(P) を型II点に一意的に割り当てることは可能か？
• RQ3 主集合（重みの台）と ϕ の固定点、特に反発的固定点との関係は何か？
• RQ4 幾何的不変量理論を用いて、MinResLoc(ϕ) は有理写像のモジュライ空間とどのように関係するか？
• RQ5 MinResLoc(ϕ) が一点または線分となる条件は何か？

主な発見

• 最小結果関数の局所 MinResLoc(ϕ) は、各型II点 P に割り当てられた標準的重み wϕ(P) を用いた測度 νϕ = (1/(d−1))∑wϕ(P)δP の重心に一致する。
• 主集合は正の重みを持つ型II点からなり、∑wϕ(P) = d−1 を満たす。ϕ が潜在的良い還元をもつとき、主集合は良い還元を示す唯一の点に単一化する。
• ϕ のベルコヴィッチ上半平面上の反発的固定点はすべて主集合に属し、ϕ がそれらをもつのは高々 d−1 個までである。
• MinResLoc(ϕ) が一点であることは、ϕγ が安定還元を示す（幾何的不変量理論の意味で）ことと同値であり、MinResLoc(ϕ) が線分であることは、ϕγ が半安定だが安定還元を示さないことに同値である。
• MinResLoc(ϕ) が線分であるとき、それは主木上にあり、余剰乗数および方向的固定点数のバランス条件によって支配される。
• 例では、ϕ が悪い還元を示しても、主集合が一点に単一化することがあり、その点は反発的固定点、加法的または乗法的不定固定点、あるいは ϕ によって移動される点である可能性がある。