[論文レビュー] Holomorphic functions and regular quaternionic functions on the hyperkähler space H

Alessandro Perotti|ArXiv.org|Nov 28, 2007

Holomorphic and Operator Theory被引用数 7

ひとこと要約

本稿は、複素数体 $ℂ$ 内の有界領域において、任意の単位ベクトル $p \in \mathbb{S}^2$ によって誘導される複素構造 $J_p$ に関して、全純でない $ψ$-正則関数の存在を確立する。微分幾何学およびハイパーカイリィー多様体の理論に基づくエネルギー最小化基準を用いて、$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.

研究の動機と目的

• 有界領域 $\Omega \subset \mathbb{H}$ 上に、任意の単位ベクトル $p \in \mathbb{S}^2$ に対して $J_p$-全純でない $ψ$-正則関数の存在を示すこと。
• 全純写像のエネルギー最小化性に着目し、$ψ$-正則関数の中での $J_p$-全純性を識別する基準を確立すること。
• 領域 $\Omega$ が連結であるとき、$p \neq \pm p'$ の場合に $Hol_p(\Omega, \mathbb{H}) \cap Hol_{p'}(\Omega, \mathbb{H})$ がアフィン写像のみからなることを示すこと。
• $ψ$-正則関数の理論をハイパーカイリィー幾何学およびジョイスの定める $q$-全純性と結びつけ、それらの関係を明確にすること。

提案手法

• 著者たちは、$J_p$-全純写像のエネルギー最小化性を、$ψ$-正則関数の中での $J_p$-全純性を特徴付ける主要な解析的道具として用いる。
• エネルギー積分 $\mathcal{I}_p(f) = \frac{1}{2}\int_\Omega \|df + L_p \circ df \circ J_p\|^2 dV$ を定義し、その値がゼロであることと $f$ が $J_p$-全純であることとは同値である。
• 複素構造 $J_\alpha^*$ の行列表現と $f$ のヤコビアンを用いて、エネルギー $\mathcal{E}(f)$ を与える対称行列 $A$ を導出する。
• ベクトル $X_p = (p_1, p_2, p_3)$ に関連する二次形式 $XAX^T$ を分析することで、$\mathcal{E}(f) \geq XAX^T$ が成り立ち、等号成立は $\mathcal{I}_p(f) = 0$、すなわち $f$ が $J_p$-全純であることと同値であることを示す。
• ジョイスが定義するハイパーカイリィー多様体における $ψ$-正則性と $q$-全純性の同値性を用いて、結果をより広い幾何的文脈で解釈する。
• 付録では、線形 $J_p$-全純 $ψ$-正則関数の複素係数に関する6次同次方程式を明示的に導出し、その代数的構造を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 有界領域 $\Omega \subset \mathbb{H}$ 上に、任意の単位ベクトル $p \in \mathbb{S}^2$ に対して $J_p$-全純でない $ψ$-正則関数は存在するか？
• RQ2 $ψ$-正則関数の中での $J_p$-全純性は、変分的またはエネルギー最小化基準によって特徴づけられるか？
• RQ3 領域 $\Omega$ が連結であるとき、$p \neq \pm p'$ の場合に $Hol_p(\Omega, \mathbb{H}) \cap Hol_{p'}(\Omega, \mathbb{H})$ の構造は何か？
• RQ4 $ψ$-正則関数の複素成分は全純写像とどのように関係し、$ψ$-正則性はそれらにどのような制約を課えるか？

主な発見

• 任意の有界領域 $\Omega \subset \mathbb{H}$ 上に、任意の $p \in \mathbb{S}^2$ に対して $J_p$-全純でない $ψ$-正則関数が存在し、$\mathcal{R}(\Omega)$ がすべての $Hol_p(\Omega, \mathbb{H})$ の和集合を真に含むことを示している。
• エネルギー積分 $\mathcal{I}_p(f)$ がゼロであることと $f$ が $J_p$-全純であることとは同値であり、$ψ$-正則関数のクラス内での $J_p$-全純性の変分的特徴づけを提供している。
• 連結領域 $\Omega$ に対して、$p \neq \pm p'$ のとき、$Hol_p(\Omega, \mathbb{H}) \cap Hol_{p'}(\Omega, \mathbb{H})$ に含まれる関数はアフィン写像のみであり、クaternion解析における剛性結果を裏付けている。
• エネルギー形式に関連する行列 $A$ は対称であり、そのトレースはエネルギー $\mathcal{E}(f)$ に等しく、$\mathcal{E}(f) \geq XAX^T$ が成り立ち、等号成立は $f$ が $J_p$-全純であることと同値である。
• 付録では、線形 $J_p$-全純 $ψ$-正則関数の複素係数に関する6次同次方程式を導出し、その代数的制約を特徴づけている。
• $f = f_1 + f_2 j$ と表される $ψ$-正則関数の複素成分 $f_1$ と $f_2$ は、$\overline{\partial}f_1 = J_2^*(\partial \overline{f_2})$ という系を満たし、これは $\psi$-正則性条件と同値である。