[论文解读] Wiedersehen metrics and exotic involutions of Euclidean spheres

Uwe Abresch, Carlos Durán+2 more|ArXiv.org|Jan 6, 2005

Geometric and Algebraic Topology参考文献 12被引用 5

一句话总结

本文通过Gromoll-Meyer奇异7-球上的wiedersehen度量的测地线，构造了欧氏球面 $S^5$、$S^6$、$S^{13}$ 和 $S^{14}$ 上的显式、几何化的奇异自由对合公式。这些对合诱导出与实射影空间同伦等价但微分同胚不等价的商空间，从而实现了 $ olimits\pi_1\mathrm{Diff}(S^5)$ 和 $ olimits\pi_1\mathrm{Diff}(S^{13})$ 中非平凡元素的显式构造，并通过 $ olimits\mathbb{Z}_2 \times S^3$ 作用展示了群作用中的非消去现象。

ABSTRACT

We provide explicit, simple, geometric formulas for free involutions rho of Euclidean spheres that are not conjugate to the antipodal involution. Therefore the quotient S^n/rho is a manifold that is homotopically equivalent but not diffeomorphic to RP^n. We use these formulas for constructing explicit non-trivial elements in pi_1 Diff(S^5) and pi_1 Diff(S^13) and to provide explicit formulas for non-cancellation phenomena in group actions.

研究动机与目标

• 构造在欧氏球面上不共轭于对径对合的奇异自由对合的显式、几何公式。
• 利用这些对合显式构造 $ olimits\pi_1\mathrm{Diff}(S^5)$ 和 $ olimits\pi_1\mathrm{Diff}(S^{13})$ 中的非平凡元素。
• 通过在 $S^6 \times S^3$ 上构造非共轭的 $ olimits\mathbb{Z}_2 \times S^3$ 作用，且其在每个因子上的限制共轭，来显式展示群作用中的非消去现象。
• 将基于四元数的几何构造扩展至凯莱数，从而在维度13和14中得到奇异对合。

提出的方法

• 利用Gromoll-Meyer奇异7-球 $\Sigma^7_{2,-1}$ 上的wiedersehen度量的测地线，定义 $Sp(2) \to S^7$ 的 $S^3$-丛在某个不变6-球 $\mathcal{S}_6 \subset Sp(2)$ 上的平凡化。
• 利用平凡化 $\phi: S^6 \times S^3 \to \mathcal{S}_6$，将 $Sp(2)$ 上的 $\bullet$-作用转移到 $S^6 \times S^3$ 上的 $\mathbb{Z}_2 \times S^3$-作用，从而得到两个不同的作用 $r_1$ 和 $r_2$。
• 通过 $\bigstar$-作用将 $Sp(2)$ 上的对径对合 $m$ 限制到 $S^6$ 上，定义 $S^6$ 上的奇异对合 $\rho$，其不同于标准对径作用 $\alpha$。
• 通过将四元数替换为凯莱数，将构造扩展至维度13和14，保持丛结构，并在 $S^{13}$ 和 $S^{14}$ 上诱导出奇异对合。
• 通过证明在 $ olimits\pi_1\mathrm{Diff}(S^n)$ 中提升的非平凡性，证明奇异性，表明在 $ olimits\pi_0\mathrm{Diff}(S^{n+1})$ 中诱导的微分同胚无法平凡提升。
• 构造一个共轭微分同胚 $F((p,w),q) = (qp\bar{q}, qw\bar{q}, \bar{q})$，将两个非共轭作用 $r_1$ 和 $r_2$ 联系起来，从而确认非消去现象的几何起源。

实验结果

研究问题

• RQ1 能否为不共轭于对径对合的欧氏球面上的奇异自由对合构造显式几何公式？
• RQ2 这些奇异对合是否在 $n=5$ 和 $n=13$ 时产生 $ olimits\pi_1\mathrm{Diff}(S^n)$ 中的非平凡元素？
• RQ3 能否通过 $S^6 \times S^3$ 上的 $ olimits\mathbb{Z}_2 \times S^3$ 作用，且其在每个因子上的限制共轭，显式实现群作用中的非消去现象？
• RQ4 如何将基于 $\Sigma^7_{2,-1}$ 上wiedersehen度量的几何构造从四元数推广到凯莱数，从而在维度13和14中得到奇异对合？
• RQ5 通过对径映射共轭作用在 $\mathrm{Diff}^+(S^n)$ 上的 $\mathbb{Z}_2$-作用，在区分奇异对合中起什么作用？

主要发现

• 利用Gromoll-Meyer奇异7-球上wiedersehen度量的测地线，构造了 $S^5$、$S^6$、$S^{13}$ 和 $S^{14}$ 上奇异对合 $\rho$ 的显式公式。
• 商空间 $S^n / \rho$ 同伦等价于 $\mathbb{R}P^n$ 但微分同胚不等价，提供了奇异实射影空间的显式例子。
• 通过奇异对合诱导的微分同胚的显式提升，在 $ olimits\pi_1\mathrm{Diff}(S^5)$ 和 $ olimits\pi_1\mathrm{Diff}(S^{13})$ 中构造了非平凡元素。
• 通过在 $S^6 \times S^3$ 上构造两个非共轭的 $ olimits\mathbb{Z}_2 \times S^3$ 作用 $r_1$ 和 $r_2$，且其在 $\mathbb{Z}_2$ 和 $S^3$ 上的限制共轭，展示了非消去现象。
• 共轭微分同胚 $F((p,w),q) = (qp\bar{q}, qw\bar{q}, \bar{q})$ 是一个对合，将两个非共轭作用联系起来，确认了非消去现象的几何根源。
• 尽管缺乏Gromoll-Meyer纤维丛的凯莱数类比，构造仍可从四元数推广至凯莱数，从而在维度13和14中得到奇异对合。