八元数平面上的 plurisubharmonic 函数与凸集上的 Spin(9)-不变赋值

本文在八元数平面 $O^2= \mathbb{R}^{16}$ 上引入了一类新的 plurisubharmonic 函数。证明了 A.D. Aleksandrov、Chern-Levine-Nirenberg 以及 Błocki 定理的八元数版本。利用这些结果，构造了 $O^2=\mathbb{R}^{16}$ 凸子集上连续平移不变赋值的新例子。特别地，给出了 $\mathbb{R}^{16}$ 上 Spin(9)-不变赋值的一个新例子。