[论文解读] Holomorphic functions and regular quaternionic functions on the hyperkähler space H

Alessandro Perotti|ArXiv.org|Nov 28, 2007

Holomorphic and Operator Theory被引用 7

一句话总结

本文证明了在超四元数空间 $\mathbb{H}$ 的有界区域上存在 $\psi$-正则函数，这些函数不关于任何由单位向量 $p \in \mathbb{S}^2$ 导出的复结构 $J_p$ 是全纯的。通过微分几何与超凯勒流形理论导出的能量最小化准则，作者证明了在 $\psi$-正则函数中，$J_p$-全纯性由一个能量积分的消失所刻画，并进一步表明当 $p \neq \pm p'$ 时，$J_p$-全纯函数与 $J_{p'}$-全纯函数的交集仅包含仿射映射。

ABSTRACT

Let H be the space of quaternions, with its standard hypercomplex structure. Let R(D) be the module of regular functions on D. For every unitary vector p in S^2, R(D) contains the space of holomorphic functions w.r.t. the complex structure J_p induced by p. We prove the existence, on any bounded domain D, of regular functions that are not J_p-holomorphic for any p. Our starting point is a result of Chen and Li concerning maps between hyperkaehler manifolds, where a similar result is obtained for a less restricted class of quaternionic maps. We give a criterion, based on the energy-minimizing property of holomorphic maps, that distinguishes J_p-holomorphic functions among regular functions.

研究动机与目标

• 证明在 $\mathbb{H}$ 的有界区域上存在 $\psi$-正则函数，这些函数对任意单位向量 $p \in \mathbb{S}^2$ 均不为 $J_p$-全纯。
• 基于全纯映射的能量最小化性质，建立一个用于区分 $\psi$-正则函数中 $J_p$-全纯函数的判别准则。
• 当定义域连通时，证明当 $p \neq \pm p'$ 时，$J_p$-全纯函数与 $J_{p'}$-全纯函数的交集仅包含仿射映射。
• 将 $\psi$-正则函数理论与超复几何及乔伊斯定义的 $q$-全纯性联系起来，阐明其相互关系。

提出的方法

• 作者利用 $J_p$-全纯映射的能量最小化性质作为关键分析工具，推导出 $\psi$-正则函数中 $J_p$-全纯性的判别准则。
• 他们定义了一个能量积分 $\mathcal{I}_p(f) = \frac{1}{2}\int_\Omega \|df + L_p \circ df \circ J_p\|^2 dV$，其消失恰好刻画了 $J_p$-全纯性。
• 证明依赖于复结构 $J_\alpha^*$ 的矩阵表示以及映射 $f$ 的雅可比矩阵，从而导出一个对称矩阵 $A$，其迹即为能量 $\mathcal{E}(f)$。
• 通过分析与向量 $X_p = (p_1, p_2, p_3)$ 相关的二次型 $XAX^T$，他们证明 $\mathcal{E}(f) \geq XAX^T$，且等号成立当且仅当 $\mathcal{I}_p(f) = 0$，即 $f$ 是 $J_p$-全纯的。
• 作者利用乔伊斯定义的超复流形中 $\psi$-正则性与 $q$-全纯性的等价性，将结果置于更广泛的几何背景中进行解释。
• 附录中推导出一个关于线性 $J_p$-全纯 $\psi$-正则函数的复系数的六次齐次方程，刻画了其代数结构。

实验结果

研究问题

• RQ1 在 $\mathbb{H}$ 的有界区域上是否存在 $\psi$-正则函数，使得对所有单位向量 $p \in \mathbb{S}^2$，这些函数均不为 $J_p$-全纯？
• RQ2 能否通过变分或能量最小化准则来刻画 $\psi$-正则函数中 $J_p$-全纯性的性质？
• RQ3 当 $\Omega$ 连通时，$Hol_p(\Omega, \mathbb{H}) \cap Hol_{p'}(\Omega, \mathbb{H})$（$p \neq \pm p'$）的结构是什么？
• RQ4 如何理解 $\psi$-正则函数的复分量与全纯映射之间的关系？$\psi$-正则性对它们施加了何种约束？

主要发现

• 在每个有界区域 $\Omega \subset \mathbb{H}$ 上均存在 $\psi$-正则函数，它们对任意 $p \in \mathbb{S}^2$ 均不为 $J_p$-全纯，表明 $\mathcal{R}(\Omega)$ 严格包含所有 $Hol_p(\Omega, \mathbb{H})$ 空间的并集。
• $\mathcal{I}_p(f)$ 消失当且仅当 $f$ 是 $J_p$-全纯的，这为 $\psi$-正则函数类中 $J_p$-全纯性的变分刻画提供了依据。
• 当 $\Omega$ 连通时，$Hol_p(\Omega, \mathbb{H}) \cap Hol_{p'}(\Omega, \mathbb{H})$（$p \neq \pm p'$）仅包含仿射映射，确认了四元数分析中的刚性结果。
• 与能量形式相关的矩阵 $A$ 是对称的，其迹等于能量 $\mathcal{E}(f)$，且满足 $\mathcal{E}(f) \geq XAX^T$，等号成立当且仅当 $f$ 是 $J_p$-全纯的。
• 附录中给出了一个关于线性 $J_p$-全纯 $\psi$-正则函数的复系数的六次齐次方程，刻画了其代数约束。
• $\psi$-正则函数 $f = f_1 + f_2 j$ 的复分量 $f_1$ 和 $f_2$ 满足方程 $\overline{\partial}f_1 = J_2^*(\partial \overline{f_2})$，该方程等价于 $\psi$-正则性条件。