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

Division algebras of slice-Nash functions

基本信息

  • 论文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函数的概念引入到单个四元数或八元数变量的slice正则函数理论中。作者首先详细分析了Nash slice正则函数的可能定义，并提出了slice-Nash函数的定义，认为这是经典实数和复数Nash函数在此背景下的自然推广。在建立了slice-Nash函数的"正确"定义后，作者研究了它们的性质，特别关注其有限性性质。这些有限性性质使得这一新的slice-Nash函数类成为slice正则函数类和slice多项式类之间的中间类，这与经典的实数和复数情况类似。作者还引入了半正则slice-Nash函数，类似于亚纯Nash函数，并研究了它们的有限性性质。

研究背景与动机

问题的重要性

  1. 超复分析的发展需求: 自20世纪初以来，数学家们一直在寻找合适的四元数函数类来扮演类似复变函数中全纯函数的角色。虽然slice正则函数的解析性质已经相当成熟，但其几何性质的研究仍然不足。
  2. Nash几何的推广: Nash函数在实代数几何中起着关键作用，它们构成了介于多项式函数和解析函数之间的重要中间类。将这一概念推广到非交换和非结合的代数环境具有重要的理论意义。
  3. 几何应用的需要: 在超复几何中，缺乏合适的工具来定义和研究基本几何对象（如流形、代数集合或解析集合），Nash函数的推广有望为此提供新的途径。

现有方法的局限性

  1. Fueter正则函数: 虽然理论完善，但不包含恒等映射q ↦ q，因此不包含多项式和幂级数。
  2. 直接代数化定义的困难: 由于四元数的非交换性和八元数的非结合性，直接将"在多项式环上代数"的概念推广存在根本性困难。
  3. 几何理论的不足: 除了一些积极结果外，在超复环境中定义和研究几何对象的理论仍然很少。

核心贡献

  1. 建立了slice-Nash函数的"正确"定义: 通过深入分析各种可能的定义方式，提出了基于stem函数的复分量为复Nash函数的定义。
  2. 提供了多个等价刻画: 给出了slice-Nash函数在splitting引理分量和实分量方面的等价刻画（定理5.9和5.10）。
  3. 证明了代数结构: 证明了slice-Nash函数构成alternative *-代数，且在对称slice域上构成除环（定理5.16）。
  4. 建立了有限性性质: 证明了slice-Nash函数的多个有限性性质，包括全局函数为多项式、零点集有限、无穷远处多项式有界等。
  5. 引入了半正则slice-Nash函数: 类似于亚纯Nash函数，建立了相应的理论框架。

方法详解

任务定义

本文的核心任务是在四元数H和八元数O上定义slice-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函数。

Slice-Nash函数的定义

slice函数f: Ω → A称为slice-Nash函数，如果：

  1. f ∈ SR_A(Ω)（f是slice正则的）
  2. 诱导f的stem函数是stem-Nash函数

技术创新点

1. 基于复分量的定义方法

与直接的代数化定义不同，本文采用了基于"书页分解"的方法，通过复slice上的复Nash函数来定义slice-Nash函数。这避免了非交换和非结合性带来的困难。

2. 多重等价刻画

定理1.4提供了五个等价条件：

  • 通过splitting基底的复分量刻画
  • 通过实基底的实分量刻画
  • 基底选择的独立性

3. 代数结构的建立

定理1.5证明了SN_A(Ω)构成alternative *-子代数，且：

  • 如果Ω是对称slice域，则SN_A(Ω)是除环
  • 如果Ω是乘积域，则存在非零元素f使得N(f) ≡ 0

实验设置

理论验证方法

本文主要通过理论证明来验证结果，包括：

  1. 构造性例子:
    • slice多项式是slice-Nash函数
    • √qJ（q的平方根乘以虚单位J）是slice-Nash函数
    • (cos q)I + (sin q)J不是slice-Nash函数
  2. 反例构造: 通过具体计算证明某些看似合理的定义方法实际上不可行

证明策略

  1. splitting引理的应用: 利用splitting引理将slice函数分解为复函数分量
  2. 复Nash函数理论的运用: 利用已知的复Nash函数性质来建立slice版本
  3. 代数结构的分析: 通过stem函数的代数运算来建立slice-Nash函数的代数性质

实验结果

主要理论结果

1. 有限性性质

  • 全局函数为多项式（定理6.1）: 如果f ∈ SN_A(A)，则f ∈ Ax
  • 零点集的有限性（命题6.3）: 在圆域上，slice-Nash函数的零点集是有限个孤立零点和孤立球面零点的并
  • 无穷远处的多项式界（命题6.12）: 存在整数m和常数C,R使得‖f(x)‖ ≤ C(1 + ‖x‖^m)

2. 代数性质

  • slice-Nash函数在slice导数下封闭
  • 构成alternative *-代数结构
  • 在适当条件下构成除环

3. 半正则情况

  • 全局半正则slice-Nash函数为slice有理函数（定理6.10）
  • 极点的有限性（引理6.7）

关键发现

  1. 定义的唯一性: 通过详细分析，证明了基于stem函数复分量的定义是"正确"的选择，其他尝试都存在根本性问题。
  2. 中间性质: slice-Nash函数确实构成了slice多项式和slice正则函数之间的中间类，具有适当的有限性性质。
  3. 非交换性的处理: 成功地在非交换（四元数）和非结合（八元数）环境中建立了Nash函数理论。

相关工作

超复分析发展

  1. Fueter正则函数: 最早的四元数正则函数理论，但不包含多项式
  2. Gentili-Struppa理论: 引入了slice正则性概念，包含多项式和幂级数
  3. Ghiloni-Perotti方法: 基于stem函数的方法，推广到一般alternative *-代数

Nash函数理论

  1. 经典Nash几何: John Nash的开创性工作，建立了实Nash函数理论
  2. 复Nash函数: 复数情况下的推广
  3. 代数逼近理论: Coste-Ruiz-Shiota等人的逼近定理

本文的创新

本文首次将Nash函数概念成功推广到非交换和非结合的代数环境，建立了完整的理论框架。

结论与讨论

主要结论

  1. 成功建立了slice-Nash函数的定义和理论框架
  2. 证明了这些函数具有期望的有限性和代数性质
  3. 为超复几何提供了新的研究工具

局限性

  1. 维数限制: 目前主要针对单变量情况，多变量理论仍在发展中
  2. 计算复杂性: 实际计算中可能面临复杂性问题
  3. 应用范围: 几何应用还需要进一步发展

未来方向

  1. 多变量推广: 发展多个四元数或八元数变量的slice-Nash函数理论
  2. 几何应用: 将理论应用到Nash流形和代数集合的研究
  3. 计算方法: 发展有效的计算算法

深度评价

优点

  1. 理论完备性: 提供了完整的定义、刻画和性质证明
  2. 方法创新性: 巧妙地处理了非交换和非结合性带来的困难
  3. 结构清晰: 论文组织良好，从动机到应用逻辑清晰
  4. 严谨性: 所有主要结果都有完整的数学证明

不足

  1. 应用示例有限: 缺乏更多具体的几何应用实例
  2. 计算复杂性未讨论: 没有分析实际计算的复杂性
  3. 与其他理论的联系: 可以更多地讨论与其他超复理论的关系

影响力

  1. 理论贡献: 为超复分析提供了重要的新工具
  2. 几何意义: 有望推动超复几何的发展
  3. 跨领域应用: 可能在物理学和工程学中找到应用

适用场景

  1. 理论研究: 超复分析和代数几何研究
  2. 几何建模: 需要非交换结构的几何问题
  3. 物理应用: 量子力学和相对论中的应用潜力

参考文献

论文包含了62篇参考文献，涵盖了超复分析、Nash几何、代数几何等多个领域的重要工作，为研究提供了坚实的理论基础。

总体评价: 这是一篇高质量的理论数学论文，成功地将经典的Nash函数理论推广到了超复环境。论文的理论贡献显著，方法创新，证明严谨，为超复分析和几何提供了重要的新工具。尽管在应用方面还有发展空间，但其理论价值和潜在影响不容忽视。