技術的概要：代数超曲面からのユークリッド距離関数のモース理論

1. 問題提起

本論文は、$\mathbb{R}^n$ の閉定義可能部分集合 $Y \subseteq \mathbb{R}^n$ からの滑らかな多様体 $X$ に制限されたユークリッド距離関数に対する体系的なモース理論の枠組みの構築に取り組む。具体的には、著者らは以下の関数を解析する：
$$\text{dist}_Y|_X : X \to \mathbb{R}, \quad \text{ここで } \text{dist}_Y(z) := \min_{y \in Y} \|y - z\|.$$

距離関数は微分幾何学や計算代数幾何学（ユークリッド距離次数やボトルネックなどの概念を定義する）において中心的な役割を果たすが、一般的には微分不可能であり、非凸である。滑らかさと非退化な臨界点に依存する古典的なモース理論は、直接適用することができない。核心的な問題は、これらのリプシッツ関数に対して、部分レベル集合の変化を通じた位相解析を可能にし、特に $X$ と $Y$ が一般的な代数超曲面である場合に、そのような臨界点の個数に対する上限を与えるような、「臨界点」および「指数」の堅牢な概念を定義することである。

2. 手法

著者らは、古典的な滑らかな解析ではなく、リプシッツ幾何学と連続選択の理論に基づいた枠組みを開発する。

2.1. 部分微分による臨界点

局所リプシッツ関数に対するクラークの理論に従い、著者らは、クラーク部分微分 $\partial_x (\text{dist}_Y|_X)$ が零ベクトルを含む点 $x \in X$ を臨界点として定義する。

• 部分微分は、微分可能性を持つ点における勾配の極限の凸包として構成される。
• 距離関数の場合、点 $x$ における部分微分は、$x$ から $Y$ 内の最も近い点へ向かう正規化されたベクトルの凸包として明示的に記述される。
• ある点が臨界点であるとは、この凸包を接空間 $T_x X$ に射影したものが零ベクトルを含む場合を指す。

2.2. 連続選択と非退化性

モース論的な結果を適用するために、著者らは $\text{dist}_Y|_X$ が有限個の $C^2$ 関数の連続選択として振る舞う場合に焦点を絞る。

• 連続選択: 関数 $f$ が $(f_0, \dots, f_m)$ の連続選択であるとは、すべての $x$ において、ある $i$ に対して $f(x) = f_i(x)$ となることをいう。
• 非退化な臨界点: 臨界点 $x$ が非退化であるとは、以下の条件を満たすことをいう：
  1. 有効な関数 $f_i$（$f(x)=f_i(x)$ となるもの）の微分が線形独立性条件を満たすこと。
  2. これらの関数の特定の凸結合 $\lambda_f$ が、それらの核の共通部分上で非退化な第二微分を持つこと。
• 双対指数: 単一の指数を持つ古典的なモース理論とは異なり、この枠組みにおける非退化な臨界点は 2 つの指数を持つ：
  • 片線形指数 ($k$): $k = \#I(x) - 1$ として定義される。ここで $I(x)$ は有効な関数のインデックスの集合である。これは $Y$ 内の最も近い点の数（幾何学的なボトルネック）に関連する。
  • 二次指数 ($\iota$): 関連する部分空間に制限された $\lambda_f$ のヘッセ行列の負の固有値の数。

2.3. 多接線横断性による一般性

これらの定義が代数超曲面という具体的な場合に適用されることを保証するために、著者らはパラメトリック多接線横断定理を用いる。$X$ と $Y$ を定義する一般的な多項式に対して、以下が証明される：

• 臨界点の近傍において、距離関数は連続選択である。
• すべての臨界点は非退化である。
• 任意の $x$ に対する最も近い点の数は $n+1$ 以下に制限される。

3. 主要な貢献と結果

3.1. ボトルネックと最接近点問題の統合

この枠組みは、計算代数幾何学における 2 つの主要な問題を統合する：

1. ボトルネック: $X = \mathbb{R}^n$ の場合、臨界点は幾何学的なボトルネック（$Y$ 上の複数の点から等距離にある点）に対応する。片線形指数 $k$ はボトルネックの次数に対応する。
2. ユークリッド距離次数 (EDD): $Y$ が単一の点である場合、臨界点は標準的な EDD 問題に対応する。
   著者らは、両者が指数によって区別される $\text{dist}_Y|_X$ の臨界点の具体例であることを示す。

3.2. 位相的変化とモース不等式

本論文は、距離関数に対する変形補題を確立する：区間に臨界値が含まれていない場合、部分レベル集合は変形縮退する。
非退化な臨界点に対して、臨界値を通過する際のホモロジーの変化は、2 つの指数 $(k, \iota)$ によって制御される。具体的には、相対ホモロジー $H_*(X_{c+\epsilon}, X_{c-\epsilon})$ は、球面 $S^{k+\iota}$ の縮約ホモロジーと同型である。
これにより、$X$、$X \cap Y$、および臨界点のベッチ数に関連する強モース不等式が導かれる：
$$\sum_{i=0}^\lambda (-1)^{i+\lambda} b_i(X) \leq \sum_{i=0}^\lambda (-1)^{i+\lambda} \left( b_i(X \cap Y) + \sum_{k+\iota=i} \#C_{k,\iota}(X, Y) \right)$$
ここで、$C_{k,\iota}(X, Y)$ は指数 $k$ と $\iota$ を持つ非退化な臨界点の集合を表す。

3.3. 双対性公式

重要な結果として、$X$ と $Y$ のオイラー特性に対する双対性公式が得られる（コンパクト性と非退化性を仮定）：
$$\chi(Y) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(X, Y) = \chi(X) + \sum_{k,\iota \geq 0} (-1)^{k+\iota} \#C_{k,\iota}(Y, X)$$
これは、オイラー特性と臨界点の交互和の間の古典的な関係を一般化するものである。

3.4. 臨界点の個数に関する上限

著者らは、次数 $d_1$ と $d_2$ を持つ一般的な代数超曲面 $X = Z(p)$ および $Y = Z(q)$ に対する臨界点の個数に関する明示的な上限を提供する。

• 有限性: $d_1, d_2 \geq 3$ の場合、臨界点の個数は有限である。
• 次数の上限: $Y$ に含まれない $k$-臨界点（$k+1$ 個の最も近い点を持つもの）の個数は以下によって制限される：
  $$\#C_{k,\ast}(\text{dist}_Y|_X) \leq c(k, n) \cdot d_1^n \cdot d_2^{n(k+1)}$$
  ここで、$c(k, n)$ は $n$ と $k$ のみによって決まる定数である。
• この結果は、ボトルネック次数（$k=1$ の場合）およびユークリッド距離次数に対する以前の上限を一般化するものである。

4. 意義と主張

本論文は、リプシッツ幾何学の言語を用いて距離幾何学における様々な臨界点の概念を回復し、統合する一般的な体系的枠組みを提供すると主張している。

• 理論的統合: 古典的微分幾何学（滑らかなモース理論）と計算代数幾何学（EDD、ボトルネック）の間のギャップを、距離関数を連続選択として扱うことで埋める。
• 位相的解釈: 幾何学的な現象（ボトルネックなど）に、片線形指数を通じて位相的解釈を与える。つまり、位相の変化は、最も近い点の数 ($k$) と曲率の性質 ($\iota$) の両方に依存することを示す。
• 技術的ツールセット: 本論文は、この理論が一般的な代数超曲面に適用可能であることを保証する「技術的ツールセット」（特に多項式に対する多接線パラメトリック横断定理）を提供する。これにより、極性類のような複雑な代数幾何学の技術に依存することなく、次数の上限を導出することが可能になる。ただし、著者らはその手法が複素設定にも拡張可能であると指摘している。
• 謙虚さ: 著者らは明示的に、滑らかな代数超曲面に焦点を当てているが、完全交差への結果の拡張を期待しており、これは将来の課題に委ねると述べている。また、集合 $Y$ に対する「実ユークリッド距離次数」の定義を導入しているが、その複素 counterpart の研究は将来の調査に委ねるとしている。

要約すると、本論文は、一般的な代数超曲面に対して、距離関数が（連続選択の意味において）モース関数として十分に振る舞うことを確立しており、これにより臨界点の数に関する精密な位相的解析と定量的な上限が可能であることを示している。