射影空間とその変種

射影空間は, ( ホモロジーを考えるときには) 球面の次に簡単な空間であり, また Lie群や 球面との関係などでも, 重要な役割を果たす空間である。

• 実射影空間 \(\RP ^n\)
• 複素射影空間 \(\CP ^n\)
• 四元数射影空間 \(\mathbb {H}\mathrm {P}^n\)
• 八元数体上の射影平面 \(\mathbb {O}\mathrm {P}^{2}\)

射影平面が, 実数, 複素数, 四元数, 八元数から作られるものしかないのは, Hopf invariant \(1\) の写像 \(S^{2n-1}\to S^{n}\) の非存在 [Ada60] が理由である。ただし, 有理ホモトピー型でなら存在するかもしれない, と考えているのは Su の [Su14] である。 \(32\)次元の多様体で, \(0\)次元と\(16\)次元と\(32\)次元のみ rational cohomology が \(\Q \) である多様体を構成している。そのような多様体の homeomorphism type は無限個あるらしい。

代数 (幾何学) 的視点からの, \(\mathbb {O}\mathrm {P}^{2}\) の一般化としては, Schechtman [Sch] による Moufang loop に対する構成がある。

組み合せ論的には, 射影空間の頂点数最小の単体分割の問題が考えられている。

• minimal triangulations of projective spaces

コホモロジーレベルでは, 射影空間は, 直交群や unitary群の generating complex としての役割がある。

複素射影空間 \(\CP ^n\) は, \(S^{2n+1}\) への \(S^1\) の 作用による商空間と考えることができるが, それ自身へも, \(n\)次元トーラスが作用し, トーラスの作用する多様体の例として基本的である。 実射影空間は, その real analogue である small cover の構造を持つ。

その作用を少し変形すると weighted projective space ができるが, それにもトーラスは作用する。

• weighted projective space

ホモトピー論では, truncated projective space などといった人工的に細工したものも使う。

• truncated projective space (stunted projective space)

Don Davis は, [Dav10] で, 球面のいくつかの直積を \(\Z _2\) の antipodal action で割った projective product space について調べている。

• projective product space

対称空間としての一般化として, Rosenfeld plane というものもある。

• Rosenfeld plane

Hoekzema の [Hoe] でその cohomology や Steenrod operation が調べられている。 Baez の [Bae02] では [Roz56] が参照されている。

MathSciNet のデータでは, Rozenfel\('\)d という綴りであるが, Baez も Hoekzema も Rosenfeld と書いている。

References

[Ada60]

J. F. Adams. “On the non-existence of elements of Hopf invariant one”. In: Ann. of Math. (2) 72 (1960), pp. 20–104. url: https://doi.org/10.2307/1970147.

[Bae02]

John C. Baez. “The octonions”. In: Bull. Amer. Math. Soc. (N.S.) 39.2 (2002), pp. 145–205. url: http://dx.doi.org/10.1090/S0273-0979-01-00934-X.

[Dav10]

Donald M. Davis. “Projective product spaces”. In: J. Topol. 3.2 (2010), pp. 265–279. arXiv: 0908.0525. url: https://doi.org/10.1112/jtopol/jtq006.

[Hoe]

Renee S. Hoekzema. Orientability of high-dimensional manifolds with odd Euler characteristic. arXiv: 2007.05451.

[Roz56]

B. A. Rozenfel\('\)d. “A geometric interpretation of symmetric spaces with simple fundamental groups”. In: Dokl. Akad. Nauk SSSR (N.S.) 110 (1956), pp. 23–26.

[Sch]

Vadim Schechtman. Moufang loops and toric surfaces. arXiv: 2102.12868.

[Su14]

Zhixu Su. “Rational analogs of projective planes”. In: Algebr. Geom. Topol. 14.1 (2014), pp. 421–438. arXiv: 1010.3274. url: https://doi.org/10.2140/agt.2014.14.421.