[論文レビュー] Degree Theory of Immersed Hypersurfaces

Harold Rosenberg, Graham Smith|arXiv (Cornell University)|Oct 9, 2010

Geometric Analysis and Curvature Flows参考文献 27被引用数 9

ひとこと要約

本稿では、コンpakto、向き付け可能なリーマン多様体 $M$ 内の、所定の楕円型曲率関数 $K$ を持つコンパクトで埋め込まれた超曲面のための次数理論を構築する。曲率が関数によって指定される埋め込みの解空間に対して写像次数を構成することで、著者らはそのような超曲面の代数的数え上げ（局所符号数による重み付け）が、平均曲率、外在的曲率、および特別ラグランジュ曲率を含むすべてのケースで、周囲多様体 $M$ の負のオイラー標跡 $-\chi(M)$ に等しいことを示している。

ABSTRACT

We develop a degree theory for compact immersed hypersurfaces of prescribed $K$-curvature immersed in a compact, orientable Riemannian manifold, where $K$ is any elliptic curvature function. We apply this theory to count the (algebraic) number of immersed hyperspheres in various cases: where $K$ is mean curvature; extrinsic curvature and special Lagrangian curvature, and we show that in all these cases, this number is equal to $-χ(M)$, where $χ(M)$ is the Euler characteristic of $M$.

研究の動機と目的

• コンパクトで向きつけ可能なリーマン多様体 $M$ 内の、所定の楕円型曲率関数 $K$ を持つコンパクトで埋め込まれた超曲面のための次数理論を確立すること。
• 解写像の位相的次数が周囲多様体 $M$ のオイラー標跡 $\chi(M)$ とどのように関係するかを明らかにすること。
• 白（White）の最小曲面に対する次数理論を、非 $L^2$-勾配設定も含む一般の曲率汎関数へと拡張すること。
• 非バナッハ多様体構造を示す未パrametrized埋め込み空間上での技術的困難を解消すること。
• 所定の $K$-曲率問題の解の代数的数え上げが曲率関数に依存せず、常に $-\chi(M)$ に等しいことを証明すること。

提案手法

• 解空間 $\mathcal{Z} = \{([e], f) \in \mathcal{I} \times \mathcal{O} \mid K_e = f \circ e\}$ を定義する。ここで $\mathcal{I}$ は未パラメトリック化された埋め込みの空間、$\mathcal{O}$ は $M$ 上の滑らかな関数の空間である。
• 楕円型および適切性の仮定の下で、射影 $\Pi: \mathcal{Z} \to \mathcal{O}$ が指数 0 の適切なフレドホルム写像であることを確立する。
• 空間 $\mathcal{I}$ の非バナッハ構造に対処するため、「弱く滑らか」な多様体の概念を導入し、標準的な微分位相的道具を可能にする。
• 線形化作用素のスペクトル解析を通じて、各解 $([e], f)$ の局所符号数を $+1$ または $-1$ として定義し、白の手法を一般化する。
• サード＝スメールの定理と、共コンパクト性および逆関数定理を用いた等連続性の議論により、一般の有限性と次数の定義可能性を保証する。
• 写像 $\Pi$ の次数 $\text{Deg}(\Pi; f)$ が、$\mathcal{O}$ の稠密部分集合 $\mathcal{O}'$ 内のすべての $f$ に対して一定であり、$M$ の位相的不変量を用いて計算可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体内に埋め込まれた超曲面に対して、所定の楕円型曲率関数を持つ次数理論を構築することは可能か？
• RQ2 所定の $K$-曲率問題の解の代数的数え上げは、曲率関数 $f$ の選択に依存するか？
• RQ3 解写像 $\Pi$ の次数は、周囲多様体 $M$ のオイラー標跡 $\chi(M)$ と関係があるか？
• RQ4 無限次元の次数理論において、未パラメトリック化された埋め込み空間上のバナッハ多様体構造の欠如に対処するにはどうすればよいか？
• RQ5 所定の曲率問題の解の数を支配する正確な位相的不変量は何か？

主な発見

• 楕円型および適切性の条件のもとで、解写像 $\Pi: \mathcal{Z} \to \mathcal{O}$ の写像次数は適切に定義され、整数値をとる。
• 一般の $f \in \mathcal{O}'$ に対して、逆像 $\Pi^{-1}(\{f\})$ は有限であり、各解 $([e], f)$ は $+1$ または $-1$ の明確な局所符号数を持つ。
• 総次数 $\text{Deg}(\Pi; f)$ は $f$ に依存せず、周囲多様体 $M$ の位相的不変量である。
• 平均曲率、外在的曲率、特別ラグランジュ曲率のすべてのケースで、次数は $-\chi(M)$、すなわち $M$ の負のオイラー標跡に等しい。
• 空間 $\mathcal{I}$ の非バナッハ構造に起因する技術的障害は、「弱く滑らか」な多様体の導入と、共コンパクト性および等連続性の議論により解決された。
• この結果は、白の最小曲面に対する次数理論を、非勾配設定も含む広範なパラメトリック曲率汎関数へと統一的かつ一般化したものである。