实球面与复球面的解放与扭曲

我们研究了通过对实球面 $S^{N-1}_\mathbb R$ 和复球面 $S^{N-1}_\mathbb C$ 进行解放、扭曲以及解放加扭曲操作而得到的 10 个非交换球面。在公理层面，我们证明了在非常强的公理下，这 10 个球面是唯一的。我们的主要结果涉及以仿射实/复意义计算的这 10 个球面的量子等距群。我们还提出了一个包含 18 个球面的扩展形式化方案。