[论文解读] Functions of several quaternion variables and quaternion manifolds

S. V. Lüdkovsky|ArXiv.org|Feb 2, 2003

Algebraic and Geometric Analysis参考文献 14被引用 4

一句话总结

本文发展了若干四元数变量函数的理论，在非交换四元数设定下建立了类似于柯西-格林、马尔蒂内利-博赫纳和勒雷公式的积分表示定理。文章引入并研究了四元数斯特恩流形，证明了若一个紧致四元数流形上存在一个整体四元数（右）超可微且范数有界的函数，则该流形必为常值，从而将刘维尔型定理推广至四元数背景。

ABSTRACT

Functions of several quaternion variables are investigated and integral representation theorems for them are proved. With the help of them solutions of the $ ilde \partial $-equations are studied. Moreover, quaternion Stein manifolds are defined and investigated.

研究动机与目标

• 在非交换设定下发展若干四元数变量函数的理论。
• 建立四元数函数的积分表示公式，推广经典复分析中的积分定理。
• 通过四元数全纯过渡映射，定义并研究复斯特恩流形的四元数类比。
• 研究四元数流形的几何与解析性质，包括全纯结构与协变导数。
• 在超可微性与有界性条件下，证明紧致四元数流形上的刘维尔型定理。

提出的方法

• 本文引入一种基于四元数微分形式的非交换积分表示框架，用于四元数函数。
• 证明了柯西-格林、马尔蒂内利-博赫纳与勒雷积分公式的四元数类比，考虑了非交换性的影响。
• 该理论被应用于求解四元数设定下的 $\tilde{\partial}$-方程，扩展了复分析工具。
• 四元数斯特恩流形通过以 $\mathbf{H}^n$ 为模型的图册定义，其过渡映射为四元数全纯映射。
• 通过在 $\mathbf{H}$-值导子与拟线性映射的基础上，引入克里斯托费尔符号与协变导数。
• 通过将问题约化为多圆柱上的一元四元数全纯函数，并应用先前关于超可微性的结果，证明了刘维尔型定理。

实验结果

研究问题

• RQ1 如何将复分析中的积分表示定理推广至非交换设定下若干四元数变量函数？
• RQ2 四元数复斯特恩流形的类比由何种条件定义？其结构性质为何？
• RQ3 在四元数分析与流形的背景下，$\tilde{\partial}$-方程的行为如何？
• RQ4 在超可微性与有界性条件下，能否为紧致四元数流形建立刘维尔型定理？
• RQ5 四元数全纯过渡映射在从复流形构造四元数流形的过程中起何作用？

主要发现

• 本文建立了四元数函数的非交换柯西-格林、马尔蒂内利-博赫纳与勒雷积分公式的类比。
• 利用这些积分表示，构造了 $\tilde{\partial}$-方程的解，扩展了复分析技术。
• 定义了四元数斯特恩流形，并通过构造相容的四元数全纯图册，证明其可嵌入复全纯流形。
• 证明了刘维尔型定理：若一个函数在紧致四元数流形上整体四元数（右）超可微且其范数有界，则该函数为常值。
• 该理论表明，由于非交换性与不同的超可微性性质，流形上的四元数全纯结构无法简化为复全纯结构。
• 通过在 $\mathbf{H}$-值巴拿赫空间上的拟线性映射定义克里斯托费尔符号，确立了四元数流形上协变导数的存在性。