[論文レビュー] Doubling coverings of algebraic hypersurfaces

Omer Friedland, Yosef Yomdin|arXiv (Cornell University)|Dec 9, 2015

Analytic Number Theory Research参考文献 20被引用数 3

ひとこと要約

本稿は、非特異代数的超曲面 Y = {P = c} のコンpact部分の二重被覆における最小チャート数の上界を log(1/δ) のオーダーで確立する。ここで δ は、非退化臨界点を持つ多項式 P の特異集合からの距離である。この結果は、解析的二重被覆が特異点に近づくにつれて複雑性が増大することを示しており、これは C^k-パrameterization が複雑性において一様に有界のままであるのとは対照的である。

ABSTRACT

A doubling covering $\U$ of a complex $n$-dimensional manifold $Y$ consists of analytic functions $ψ_j:B_1 o Y$, each function being analytically extendable, as a mapping to $Y$, to a four times larger concentric ball $B_4$. Main result of this paper is an upper bound on the minimal number $κ({\U})$ of charts in doubling coverings of a manifold $Y$, being a compact part of a non-singular level hypersurface $Y=\{P=c\}$, where $P$ is a polynomial on $\C^n$ with non-degenerated critical points. We show that $κ({\U})$ is of order $\log({1}/ρ)$, where $ρ$ is the distance from $Y$ to the singular set of $P$. Our main motivation is that doubling coverings form a special class of "smooth parameterizations", which are used in bounding entropy type invariants in smooth dynamics on one side, and in bounding density of rational points in diophantine geometry on the other. Complexity of smooth parameterizations is a key issue in some important open problems in both areas. We also present connections between doubling coverings and doubling inequalities for analytic functions $f$ on $Y$, which compare the maxima of $|f|$ on couples of compact domains $Ω\subset G$ in $Y$. We shortly indicate connections with Kobayashi metric and with Harnack inequality.

研究の動機と目的

• C^n 内の非特異代数的超曲面のコンpact部分における二重被覆の最小チャート数の上界を確立すること。
• 定義多項式 P の特異集合に近づくにつれて、そのような被覆の複雑度がどのように増大するかを調査すること。
• 二重被覆と超曲面上の解析関数に対する二重不等式の関係を明らかにすること。
• 解析的二重被覆が特異点付近で対数的複雑度増大を示すことを示し、C^k-パrameterization における一様有界性と対比すること。

提案手法

• 単値的解析写像 ψ_j: B_1 → Y で、B_4 に拡張可能なものを用いて、Y 内のコンpact領域を被覆する二重被覆の定義を用いる。
• 主結果（定理 3.1）を応用し、P の特異集合からの距離 δ に依存するチャート数の上界を導出する。
• 二重被覆におけるチャートの鎖を通じて、超曲面上の解析関数 f に対する二重不等式を導出する。これはハルナック型構成と類似している。
• 勾配 ∇P のノルムを用いて、Y から特異軌跡までの距離を推定し、K(P) = ||∇P|| がスケール因子を定義することを示す。
• 双曲線 H_ε = {zy = ε²} や二次曲面 Y_ε = {∑z_j² = ε²} といった特殊ケースに対して明示的な被覆を構成し、上界と下界が一致することを示す。
• 補題 5.3 を応用して、解析関数の二重定数 DC_f(G,Ω) を用いてチャート数の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 非特異代数的超曲面 Y = {P = c} のコンpact部分における二重被覆の最小チャート数は、P の特異集合に近づくにつれてどのように増大するか？
• RQ2 C^k-パrameterization とは異なり、特異点付近の幾何的発散を捉える複雑度測度として二重被覆が有効であるか？
• RQ3 非退化臨界点を持つ多項式に対して、被覆複雑度が特異集合からの距離 δ にどのように依存するかの正確な関係は何か？
• RQ4 二重被覆は、超曲面上の解析関数に対する二重不等式とどのように関係するか？
• RQ5 対数的複雑度上界は、退化または非孤立特異点を持つ多項式へと拡張可能か？

主な発見

• コンパクト部分 G_c = Y_c ∩ Q における二重被覆の最小チャート数は、δ を P の臨界点からの距離として、C(P) log(1/δ) で上から抑えられる。
• 双曲線 H_ε = {zy = ε²} に対して、ρ ≥ 1/10 を満たす任意の二重被覆では、チャート数は少なくとも c₃ log(1/ε) 以上であり、上界と一致する。
• 二次曲面 Y_ε = {∑z_j² = ε²} の場合、チャート数は c₅ log(c₆/δ) で抑えられ、定数は n のみに依存する。
• 超曲面上の解析関数 f に対する二重不等式は、二重被覆におけるチャートの鎖によって制御され、二重定数 DC_f(G,Ω) に明示的な依存性を示す。
• 構成により、特異点付近における二重被覆の複雑度は鋭い対数的増大を示すが、C^k-パrameterization は一様に有界のままである。
• これらの結果は、特にエントロピーと有理点密度の関係において、滑らかな力学系やディオファントス幾何における複雑度の研究に、二重被覆が自然な枠組みである可能性を示唆している。