2025-11-24T20:46:16.166719

Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions

Kitazawa
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty. We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
academic

非局所極値の原像上でモース的である滑らかな関数と、これらの関数を許容する多様体の連結和上での自然な関数の構成

基本情報

  • 論文ID: 2510.00464
  • タイトル: Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
  • 著者: Naoki Kitazawa
  • 分類: math.GN（一般位相幾何学）、math.CO（組合せ論）、math.GT（幾何位相幾何学）
  • 発表時期: 2025年10月（arXiv プレプリント）
  • 論文リンク: https://arxiv.org/abs/2510.00464v3

要約

本論文は、非局所極値の原像上でモース性質を有する滑らかな関数、すなわち内部モース関数またはI-モース関数について論じている。リーブグラフは滑らかな関数の単一ファイバーのすべての連結成分の空間であり、その頂点は臨界点を含む原像に対応する。頂点の原像が多様体領域内で内部が空である閉部分集合である場合、当該滑らかな関数はリーブグラフに関して整洁である（N-リーブ）と称される。著者はI-モースとN-リーブ関数の組み合わせ（IN-モース-リーブ関数）を研究し、主要な結果として、与えられた多様体の連結和上で、これら二つのそのような関数を尊重するIN-モース-リーブ関数を構成した。

研究背景と動機

問題背景

  1. モース関数の重要性：モース関数とモース-ボット関数は多様体幾何学における基礎的ツールであり、特異点論においても重要な研究対象である。これらは臨界点とk-ハンドル間の自然な対応関係を通じて、多様体の位相構造の理解において重要な役割を果たす。
  2. リーブグラフの役割：特定の良好なクラスの関数に対して、そのリーブグラフを定義することができる。これらの組合せ的対象は、第一ベッチ数と基本群の階数といった重要な情報を得るための基礎的ツールであり、モース関数またはある種の一般化された関数を可視化するための重要な手段である。
  3. 既存研究の限界：従来のモース関数理論は主にすべての臨界点の性質に焦点を当てており、特定の原像上でのみモース性質を有する関数の研究は比較的少ない。

研究動機

  1. 理論の完善化：モース関数理論を拡張し、より一般的な関数クラスを研究する
  2. 構成問題：連結和多様体上での特定の性質を有する関数の構成問題を解決する
  3. 組合せ的性質：関数の性質とそのリーブグラフ間の深い関連性を確立する

核心的貢献

  1. 新しい関数クラスの定義：I-モース関数（内部モース）とN-リーブ関数（リーブグラフに関して整洁）の概念を導入し、その組み合わせであるIN-モース-リーブ関数を研究した
  2. 主要な構成定理：二つの閉連結多様体上のIN-M-R関数に対して、その連結和上でIN-M-R関数を構成でき、そのリーブ有向グラフが特定の方法で得られた有向グラフと同型であることを証明した
  3. 単純関数の性質：G-単純関数の理論を確立し、関連する構成および分類結果を証明した
  4. 技術的方法：エーレスマン繊維化定理とハンドル理論に基づく構成方法を提供した

方法論の詳細

核心的定義

定義1（I-モース関数）：滑らかな関数fが非局所極値の原像上でモース的である場合、内部モースまたはI-モース関数と称される。

定義2（N-リーブ関数）：リーブグラフの各頂点に対応する原像が多様体領域内で内部が空である閉部分集合である場合、当該関数はリーブグラフに関して整洁である、またはN-リーブ関数と称される。

定義3（IN-M-R関数）：I-モースとN-リーブ性質の両方を満たす関数をIN-モース-リーブ関数と称する。

主要定理

定理1：次元m > 1の二つの閉連結多様体上のIN-M-R関数に対して、その連結和上でIN-M-R関数を構成でき、そのリーブ有向グラフは以下の方法で得られた有向グラフGRと同型である：

  • 二つのリーブ有向グラフGR,1とGR,2から各々非局所極値に対応する点を一つ選択する
  • これら二点を新たに追加された唯一の頂点として同一視してGRを得る

定理2：二つの与えられた写像がGR,i-S関数である場合、結果として得られた関数もGR-S関数として得られる。

定理3：特定の条件下の有限連結グラフGに対して、連結和上でIN-M-R関数を構成するためのより精密な結果を与える。

技術的方法

  1. ハンドル理論の応用：k-ハンドルと指数kの臨界点間の自然な対応関係を利用する
  2. エーレスマン繊維化定理：臨界点を含まない領域において積束構造を構成する
  3. 局所構成と接着：局所モース関数の構成と適切な接着を通じて全体的な構成を実現する

実験設定

本論文は純粋数学の理論研究であるため、数値実験は含まれず、厳密な数学的証明を通じて理論的結果を検証している。

証明戦略

  1. 局所分析：各連結成分の周辺で局所構成を実施する
  2. 積束構成：命題1と注釈1を利用して必要な積束を構成する
  3. 変形と接着：局所積束を適切に変形および接着して期待される多様体を得る

主要な結果

構成的結果

本論文は連結和多様体上で期待されるリーブグラフ構造を有するIN-M-R関数を構成できることを成功裏に証明し、このクラスの関数の存在性と構成性の理解に重要な理論的基礎を提供した。

技術的成果

  1. 命題1：特定の条件下での積束構成方法を提供する
  2. 命題2：G-IN-M-R関数の局所構造的性質を詳細に記述する
  3. 図解：5つの技術図を通じて構成過程における重要なステップを詳細に示す

関連研究

歴史的背景

  • モース理論：Milnor 26等の古典的研究に基づいて確立された
  • リーブグラフ理論：Reeb 27の開拓的研究に由来する
  • 特異点論：Golubitsky と Guillemin 8の体系的解説を参照する

最近の発展

  • 分類問題：Gelbukh 6,7による与えられた曲面上のモース-ボット関数のリーブグラフ実現
  • 構成方法：Michalak 24,25によるリーブグラフ実現問題の組合せ的修正
  • 応用分野：シンプレクティック位相幾何学と最適化問題への応用

結論と考察

主要な結論

  1. 連結和上でのIN-M-R関数の構成理論を成功裏に確立した
  2. 具体的な構成方法と技術的ツールを提供した
  3. 関数の性質とリーブグラフ構造間の深い関連性を確立した

限界

  1. 次元制限：主要な結果はm > 2を要求し、低次元の場合は特別な処理が必要である
  2. 技術的条件：特定のグラフ埋め込みと次数条件を満たす必要がある
  3. 構成の複雑性：実際の構成過程は複雑な局所分析と全体的な接着を伴う

今後の方向性

  1. 分類問題：リーブ有向グラフを通じた特定クラスのIN-M-R関数の分類
  2. 幾何学的応用：これらの新しい関数クラスの幾何学の他の領域における重要性の探索
  3. 計算方法：より効率的な構成および計算方法の開発

深層的評価

利点

  1. 理論的革新性：新しい関数クラスを導入し、モース理論を拡張した
  2. 構成的結果：存在性の証明のみならず、具体的な構成方法を提供した
  3. 技術的厳密性：成熟した微分位相幾何学的ツールを使用し、論証は厳密である
  4. 図解による補助：詳細な技術図を通じて構成過程を明確に示した

不足点

  1. 応用動機の不足：これらの新しい関数クラスの他の数学領域における具体的応用が不足している
  2. 低次元の場合：m = 2の場合の処理が十分ではない
  3. 計算複雑性：実際の構成過程が過度に複雑である可能性があり、実用性を制限する

影響力

  1. 理論的貢献：モース理論の一般化に新しい方向性を提供した
  2. 技術的価値：構成方法は他の関連問題に適用可能である
  3. 研究への示唆：後続研究に豊富な技術的ツールと理論的枠組みを提供した

適用場面

  1. 微分位相幾何学研究：多様体上の関数の分類および構成問題
  2. 特異点論：特殊な関数クラスの研究
  3. 応用数学：最適化理論およびデータ分析における潜在的応用

参考文献

本論文は33篇の関連文献を引用しており、モース理論、特異点論、微分位相幾何学等の複数の領域における古典的および最新の研究成果をカバーし、本研究に堅実な理論的基礎を提供している。

総合評価：本論文はモース関数理論の一般化の観点から重要な貢献をなした高質の純粋数学理論論文である。実際の応用面ではさらなる探索が必要であるが、その理論的価値と技術的革新性は認識に値する。