[論文レビュー] Functions on Okounkov bodies coming from geometric valuations (with an appendix by Sébastien Boucksom)

Alex Küronya, Catriona Maclean+1 more|arXiv (Cornell University)|Oct 12, 2012

Mathematical Dynamics and Fractals参考文献 7被引用数 5

ひとこと要約

本稿は、幾何的評価から導かれるニュートン–オクヌーフ体上の関数の連続性を調査する。体が多面体である場合には、その関数が全体で連続であることを証明するが、一般には不連続となる反例を構成する。本研究は、これらの関数およびその積分の基礎的性質をネロン–セベリ空間において確立し、付録では一般の劣加法的結果を提供する。

ABSTRACT

We study topological properties of functions on Okounkov bodies as introduced by Boucksom-Chen and Witt-Nyström. We note that they are continuous over the whole Okounkov body whenever the body is polyhedral, on the other hand, we exhibit an example that shows that continuity along the boundary does not hold in general.

研究の動機と目的

• オクヌーフ体に生じる関数の位相的性質を研究すること。
• これらの関数が連続である条件、特に体の境界における連続性を特定すること。
• ネロン–セベリ空間におけるこのような関数の形式的性質および積分不変量を分析すること。
• 望ましいフラグの選択のもとで、境界データからの関数の計算を可能にする還元性質を確立すること。
• 付録で開発された、半群上の劣加法的関数に対する一般の劣加法的結果を提供すること。

提案手法

• 幾何的評価によって誘導されるセクション環上の乗法的フィルトレーションの枠組みを用いる。
• ブックスォム–チェンおよびヴィット＝ニストロームの構成を応用し、ニュートン–オクヌーフ体上に凹関数（オクヌーフ関数）を定義する。
• オクヌーフ関数の凹性を用いて内部での連続性を保証し、幾何学的および解析的技法を用いて境界の挙動を分析する。
• 適切なフラグと除法的部品の選択により、オクヌーフ関数の計算を体の境界に還元する。
• 付録で証明された一般化されたフェケーテの補題を、半群上の劣加法的関数に適用する。
• 凸幾何学および評価ベクトルの漸近的解析を用いて、極限を制御し、連続性または不連続性を確立する。

実験結果

リサーチクエスチョン

• RQ1 幾何的評価に付随するオクヌーフ関数が、全体にわたってニュートン–オクヌーフ体上で連続となる条件は何か？
• RQ2 体が多面体であっても、オクヌーフ体の境界で連続性が失われる場合があるか？
• RQ3 ネロン–セベリ空間におけるオクヌーフ関数の積分はどのように変化し、その変化を支配する不変量は何か？
• RQ4 境界上の値によってオクヌーフ関数を計算できる還元原理は存在するか？
• RQ5 フィルトレーションから得られる関数に対して、劣加法性のような一般の構造的性質は何か？

主な発見

• 体が多面体である場合、幾何的評価に付随するオクヌーフ関数は、全体で連続である。
• 反例が構成され、体が多面体であっても境界で連続性が一般には成立しないことが示された。
• 滑らかな射影的曲面上では、幾何的評価に付随するオクヌーフ関数は、曲面のオクヌーフ体が多面体的であるため連続である。
• 還元性質が確立された：適切なフラグの選択のもとで、関数の任意の点における値は、体の境界上の値によって決定できる。
• 付録では、半群上の劣加法的関数に対する一般の劣加法的結果が提供され、本文における連続性および凸性の議論の根拠となっている。
• 境界点に収束する列に沿った正規化された評価値の点毎の極限として定義される関数は、錐の内部のコンパクト部分集合上で連続かつ凸であることが示された。