2025-11-25T07:04:17.977375

Division algebras of slice-Nash functions

Bisi, Carbone
The purpose of this paper is to introduce the notion of Nash functions in the context of slice regular functions of one quaternionic or octonionic variable. We begin with a detailed analysis of the possible definitions of Nash slice regular functions which leads us to the definition of \textit{slice-Nash} function proposed in this paper (and which we strongly believe to be the natural generalisation of the classical real and complex Nash functions to this context). Once the `correct' definition of slice-Nash functions has been established, we study their properties with particular focus on their finiteness properties. These finiteness properties position this new class of slice-Nash functions as an intermediate class between the class of slice regular functions and the class of slice polynomials, in analogy with the classical real and complex case. We also introduce semiregular slice-Nash functions, in analogy with meromorphic Nash functions, and study their finiteness properties.
academic

スライス-Nash関数の除環

基本情報

  • 論文ID: 2510.09779
  • タイトル: Division algebras of slice-Nash functions
  • 著者: Cinzia Bisi, Antonio Carbone
  • 分類: math.CV（複素解析）math.AG（代数幾何）
  • 発表日: 2025年10月17日
  • 論文リンク: https://arxiv.org/abs/2510.09779

摘要

本論文は、単一の四元数または八元数変数のスライス正則関数理論にNash関数の概念を導入することを目的としている。著者らは、まずNashスライス正則関数の可能な定義を詳細に分析し、スライス-Nash関数の定義を提案している。これは古典的な実数および複素数Nash関数のこの背景における自然な一般化であると考えられている。スライス-Nash関数の「正しい」定義を確立した後、著者らはその性質、特に有限性性質を研究している。これらの有限性性質により、新しいスライス-Nash関数のクラスはスライス正則関数のクラスとスライス多項式のクラスの間の中間クラスとなり、これは古典的な実数および複素数の場合と類似している。著者らはさらに半正則スライス-Nash関数を導入し、亜純Nash関数と同様に、それらの有限性性質を研究している。

研究背景と動機

問題の重要性

  1. 超複素解析の発展の必要性: 20世紀初頭以来、数学者たちは複素解析における正則関数に相当する役割を果たす適切な四元数関数のクラスを探求してきた。スライス正則関数の解析的性質はすでにかなり成熟しているが、その幾何学的性質の研究はまだ不十分である。
  2. Nash幾何学の一般化: Nash関数は実代数幾何において重要な役割を果たし、多項式関数と解析関数の間の重要な中間クラスを構成している。この概念を非可換および非結合的な代数環境に一般化することは、理論的に重要な意義を持つ。
  3. 幾何学的応用の必要性: 超複素幾何において、多様体、代数集合、解析集合などの基本的な幾何学的対象を定義および研究するための適切なツールが不足している。Nash関数の一般化は、これに対する新しい途を提供することが期待される。

既存方法の限界

  1. Fueter正則関数: 理論は完全であるが、恒等写像 q ↦ q を含まないため、多項式と冪級数を含まない。
  2. 直接的な代数化定義の困難性: 四元数の非可換性と八元数の非結合性のため、「多項式環上で代数的」という概念を直接一般化することには根本的な困難がある。
  3. 幾何学的理論の不足: いくつかの肯定的な結果を除いて、超複素環境で幾何学的対象を定義および研究する理論はまだ少ない。

核心的貢献

  1. スライス-Nash関数の「正しい」定義の確立: 様々な可能な定義方法を深く分析することにより、stem関数の複素成分が複素Nash関数である定義を提案した。
  2. 複数の等価刻画の提供: スライス-Nash関数のsplitting補題成分および実成分に関する等価刻画を与えた（定理5.9および5.10）。
  3. 代数構造の証明: スライス-Nash関数がalternative *-代数を構成し、対称スライス体上で除環を構成することを証明した（定理5.16）。
  4. 有限性性質の確立: スライス-Nash関数の複数の有限性性質を証明した。これには、全体関数が多項式であること、零点集合が有限であること、無限遠での多項式有界性などが含まれる。
  5. 半正則スライス-Nash関数の導入: 亜純Nash関数と同様に、対応する理論的枠組みを確立した。

方法の詳細説明

課題の定義

本論文の核心的課題は、四元数H および八元数O上でスライス-Nash関数を定義することであり、古典的なNash関数と同様の性質、特に有限性と代数的性質を持つようにすることである。

理論的枠組み

Stem-Nash関数の定義

stem関数 F: D → A⊗ℝC に対して、虚単位 I ∈ SA と関連するsplitting基底が存在し、関数 F^ℓ_{I,I_k}: D → C がすべての ℓ = 1,2 および k = 0,...,u_A に対して複素Nash関数である場合、F をstem-Nash関数と呼ぶ。

スライス-Nash関数の定義

スライス関数 f: Ω → A は、以下の場合にスライス-Nash関数と呼ばれる：

  1. f ∈ SR_A(Ω)（f はスライス正則である）
  2. f を誘導するstem関数はstem-Nash関数である

技術的革新点

1. 複素成分に基づく定義方法

直接的な代数化定義とは異なり、本論文は「ページ分解」に基づく方法を採用し、複素スライス上の複素Nash関数を通じてスライス-Nash関数を定義している。これにより、非可換性および非結合性がもたらす困難を回避している。

2. 多重等価刻画

定理1.4 は5つの等価条件を提供する：

  • splitting基底の複素成分による刻画
  • 実基底の実成分による刻画
  • 基底選択の独立性

3. 代数構造の確立

定理1.5 は SN_A(Ω) がalternative *-部分代数を構成することを証明し、以下が成り立つ：

  • Ω が対称スライス体である場合、SN_A(Ω) は除環である
  • Ω が積体である場合、N(f) ≡ 0 となる非零元素 f が存在する

実験設定

理論検証方法

本論文は主に理論的証明を通じて結果を検証しており、以下を含む：

  1. 構成的例:
    • スライス多項式はスライス-Nash関数である
    • √qJ（q の平方根に虚単位 J を乗じたもの）はスライス-Nash関数である
    • (cos q)I + (sin q)J はスライス-Nash関数ではない
  2. 反例の構成: 具体的な計算を通じて、一見合理的に見える定義方法が実際には実行不可能であることを証明している

証明戦略

  1. splitting補題の応用: splitting補題を利用してスライス関数を複素関数成分に分解する
  2. 複素Nash関数理論の活用: 既知の複素Nash関数の性質を利用してスライス版を確立する
  3. 代数構造の分析: stem関数の代数演算を通じてスライス-Nash関数の代数的性質を確立する

実験結果

主要な理論的結果

1. 有限性性質

  • 全体関数が多項式である（定理6.1）: f ∈ SN_A(A) ならば f ∈ Ax
  • 零点集合の有限性（命題6.3）: 円盤領域上で、スライス-Nash関数の零点集合は有限個の孤立零点と孤立球面零点の和である
  • 無限遠での多項式有界性（命題6.12）: 整数 m と定数 C, R が存在して ‖f(x)‖ ≤ C(1 + ‖x‖^m)

2. 代数的性質

  • スライス-Nash関数はスライス導関数の下で閉じている
  • alternative *-代数構造を構成する
  • 適切な条件下で除環を構成する

3. 半正則の場合

  • 全体半正則スライス-Nash関数はスライス有理関数である（定理6.10）
  • 極の有限性（補題6.7）

主要な発見

  1. 定義の一意性: 詳細な分析を通じて、stem関数の複素成分に基づく定義が「正しい」選択であり、他の試みはすべて根本的な問題を持つことを証明した。
  2. 中間的性質: スライス-Nash関数は確かにスライス多項式とスライス正則関数の間の中間クラスを構成し、適切な有限性性質を持つ。
  3. 非可換性の処理: 非可換（四元数）および非結合的（八元数）環境でNash関数理論を成功裏に確立した。

関連研究

超複素解析の発展

  1. Fueter正則関数: 最初の四元数正則関数理論であるが、多項式を含まない
  2. Gentili-Struppa理論: スライス正則性の概念を導入し、多項式と冪級数を含む
  3. Ghiloni-Perotti方法: stem関数に基づく方法で、一般的なalternative *-代数に一般化

Nash関数理論

  1. 古典的Nash幾何学: John Nashの先駆的研究で、実Nash関数理論を確立
  2. 複素Nash関数: 複素数の場合への一般化
  3. 代数的近似理論: Coste-Ruiz-Shiota等による近似定理

本論文の革新性

本論文は、Nash関数の概念を非可換および非結合的な代数環境に初めて成功裏に一般化し、完全な理論的枠組みを確立した。

結論と考察

主要な結論

  1. スライス-Nash関数の定義と理論的枠組みの確立に成功した
  2. これらの関数が期待される有限性と代数的性質を持つことを証明した
  3. 超複素幾何学に対する新しい研究ツールを提供した

限界

  1. 次元の制限: 現在は主に単変数の場合を扱っており、多変数理論はまだ発展中である
  2. 計算複雑性: 実際の計算では複雑性の問題に直面する可能性がある
  3. 応用範囲: 幾何学的応用にはさらなる発展が必要である

今後の方向性

  1. 多変数への一般化: 複数の四元数または八元数変数のスライス-Nash関数理論の発展
  2. 幾何学的応用: Nash多様体と代数集合の研究への理論の応用
  3. 計算方法: 効果的な計算アルゴリズムの開発

深い評価

利点

  1. 理論の完全性: 定義、刻画、性質証明の完全な提供
  2. 方法の革新性: 非可換性および非結合性がもたらす困難を巧妙に処理
  3. 構造の明確性: 論文は良好に組織されており、動機から応用まで論理的に明確
  4. 厳密性: すべての主要な結果に完全な数学的証明がある

不足

  1. 応用例の限定: より多くの具体的な幾何学的応用例が不足している
  2. 計算複雑性の未検討: 実際の計算の複雑性分析がない
  3. 他の理論との関連性: 他の超複素理論との関係についてさらに議論できる

影響力

  1. 理論的貢献: 超複素解析に重要な新しいツールを提供
  2. 幾何学的意義: 超複素幾何学の発展を推進する可能性がある
  3. 分野横断的応用: 物理学および工学での応用の可能性

適用場面

  1. 理論研究: 超複素解析および代数幾何学の研究
  2. 幾何学的モデリング: 非可換構造を必要とする幾何学的問題
  3. 物理学的応用: 量子力学および相対論における応用の可能性

参考文献

論文は62篇の参考文献を含み、超複素解析、Nash幾何学、代数幾何学など複数の分野の重要な研究をカバーしており、研究に堅実な理論的基礎を提供している。

総合評価: これは高品質の理論数学論文であり、古典的なNash関数理論を超複素環境に成功裏に一般化している。論文の理論的貢献は顕著であり、方法は革新的で、証明は厳密であり、超複素解析および幾何学に対する重要な新しいツールを提供している。応用面ではまだ発展の余地があるが、その理論的価値と潜在的な影響は無視できない。