[论文解读] Projective planes, Severi varieties and spheres

Michael Atiyah, Jürgen Berndt|ArXiv.org|Jun 13, 2002

Mathematics and Applications参考文献 13被引用 6

一句话总结

本文将经典结果推广：复射影平面关于复共轭作用的商微同胚于4-球面，扩展至赋值除法代数上的射影平面——复数、四元数与八元数。研究建立了微同胚关系 $\mathbb{C}P^2/\mathrm{O}(1) \cong S^4$，$\mathbb{H}P^2/\mathrm{U}(1) \cong S^7$，以及 $\mathbb{O}P^2/\mathrm{Sp}(1) \cong S^{13}$，并进一步引入复化射影平面 $P_n(C)$，通过映射 $\varphi_n$ 构造其到球面 $S^{d(n)}$ 的纤维化结构，纤维为球面 $S^0, S^1, S^3, S^7$，揭示了其与对称空间及扭量理论的深层联系。

ABSTRACT

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and by considering the complexifications of these four projective planes.

研究动机与目标

• 将经典结果 $\mathbb{C}P^2/\mathrm{O}(1) \cong S^4$ 推广至四元数与八元数上的射影平面。
• 研究赋值除法代数上实射影平面的复化形式 $P_n(C)$ 及其几何结构。
• 构造显式的纤维化映射 $\varphi_n: P_n(C) \to S^{d(n)}$，其纤维为 $S^0, S^1, S^3, S^7$，揭示维度间统一的模式。
• 证明由 $z_1^2 + \cdots + z_k^2 = 0$ 定义的超曲面 $P_n(\infty)$ 是对称空间，并通过对偶性与对称平方构造，完全确定 $P_n(C)$ 的几何结构。

提出的方法

• 构造赋值实除法代数 $A_n$（维数为 $2^n$，$n=0,1,2,3$，对应 $\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$）上的射影平面 $P_n$，并研究其等距群。
• 将复化射影平面 $P_n(C)$ 定义为复维数为 $2^{n+1}$ 的复代数簇，配备实结构（复共轭），其不动点为 $P_n$，并引入无实点的超曲面 $P_n(\infty)$。
• 定义映射 $\varphi_n: P_n(C) \to S^{d(n)}$，其中 $d(n) = 3 \cdot 2^n + 1$，证明其为分支纤维化，纤维为 $S^0, S^1, S^3, S^7$，分支点集为 $P_n$ 与 $P_n(\infty)$。
• 利用超曲面 $P_n(\infty)$ 的几何性质，通过对称积与对偶性重建 $P_n(C)$，证明 $P_n(\infty)$ 参数化复化射影直线，并支持纤维化 $P_n(\infty) \to P_n^*$，纤维为 $L_n(\infty)$。
• 应用扭量理论与对称空间理论，证明 $P_n(\infty)$ 是齐性空间 $G_n(C)/G_n$，且当 $n=2,3$ 时，其为具有纤维 $\mathrm{Sp}(2)/\mathrm{U}(2) \cong SO(5)/SO(3)SO(2)$ 与 $\mathrm{Spin}(9)/\mathrm{Spin}(7)\mathrm{U}(1)$ 的部分扭量纤维化。
• 证明 $\varphi_n$ 下 $P_n(\infty)$ 的像为 $\varphi_n(P_n)$ 的对径像，且 $P_n(\infty)$ 通过反演映射微同胚于嵌入 $S^{d(n)}$ 中的 $P_n$。

实验结果

研究问题

• RQ1 八元数射影平面 $\mathbb{O}P^2$ 关于 $\mathrm{Sp}(1)$ 作用的商的微同胚类型为何？
• RQ2 复化射影平面 $P_n(C)$（由 $P_n$ 复化得到）如何通过纤维为 $S^0, S^1, S^3, S^7$ 的映射 $\varphi_n$ 纤维化到球面 $S^{d(n)}$？
• RQ3 由 $z_1^2 + \cdots + z_k^2 = 0$ 定义的超曲面 $P_n(\infty) \subset P_n(C)$ 在确定 $P_n(C)$ 结构中的几何作用为何？
• RQ4 复化射影平面 $P_n(C)$ 能否通过 $P_n(\infty)$ 的对称平方重构？其与对偶性及扭量纤维化的关系为何？
• RQ5 纤维化 $P_n(\infty) \to P_n^*$（纤维为 $L_n(\infty)$）与完整纤维化 $\varphi_n: P_n(C) \to S^{d(n)}$ 之间有何关系？

主要发现

• 商空间 $\mathbb{C}P^2 / \mathrm{O}(1)$ 微同胚于4-球面 $S^4$，推广了经典结果。
• 商空间 $\mathbb{H}P^2 / \mathrm{U}(1)$ 微同胚于7-球面 $S^7$，将经典结果扩展至四元数。
• 商空间 $\mathbb{O}P^2 / \mathrm{Sp}(1)$ 微同胚于13-球面 $S^{13}$，完成至八元数的推广。
• 复化射影平面 $P_n(C)$ 纤维化于球面 $S^{d(n)}$，其中 $d(n) = 3 \cdot 2^n + 1$，且对应 $n=0,1,2,3$ 时纤维分别为 $S^0, S^1, S^3, S^7$。
• 超曲面 $P_n(\infty)$（由 $z_1^2 + \cdots + z_k^2 = 0$ 定义）是齐性空间 $G_n(C)/G_n$，并支持纤维为 $L_n(\infty)$（维数为 $2^n - 1$）的纤维化 $P_n(\infty) \to P_n^*$，其纤维同构于 $SO(2^{n+1})/SO(2^n)SO(2)$。
• 复化射影平面 $P_n(C)$ 同构于齐性空间：$P_1(C) \cong \mathbb{C}P^2 \times \mathbb{C}P^2$，$P_2(C) \cong \mathrm{Gr}_2(\mathbb{C}^6)$，$P_3(C) \cong E_6 / \mathrm{Spin}(10)\mathrm{U}(1)$，且 $P_n(\infty)$ 为同一群的对称空间。