多様体の単体分割について, 次元 \(d\) の多様体の \(N\) 頂点単体分割が存在するとき, \(N<3\lceil \frac {d}{2}\rceil +3\) なら球面しかないことを Brehm と Kühnel
[BK87] が示している。 彼等は, \(N=3\lceil \frac {d}{2}\rceil +3\) なら, 球面か \(d=2,4,8,16\) であることも示している。
この例外的な数字は, normed divsion algebra \(\R \), \(\bbC \), \(\Ha \), \(\mathbb {O}\) 上の projective plane の次元である。そして \(\RP ^2\) と \(\CP ^2\)
の場合には, 実際に6頂点, 9頂点の単体分割がある。
- \(\RP ^2\) の\(6\)頂点の単体分割と \(\CP ^2\) の\(9\)頂点の単体分割 (Banchoff と Kühnel の [KB83])
\(\CP ^{2}\) の\(9\)頂点単体分割については, Schwartz [Sch23] による新しい直接的な構成もある。
四元数の場合, \(\mathbb {H}\mathrm {P}^2\) とPL同相になりそうな \(15\) 頂点の単体的複体を Brehm と Kühnel [BK92] が構成している。実際に
PL同相になれば, それが\(\mathbb {H}\mathrm {P}^2\) の最小の単体分割であるが, Gorodkov [Gor19] がその証明に成功したと言っている。 そこで使われているのは,
Pontrjagin 数の計算であり, Gaiffulin の algorithm [Gaı̆04] である。
Chapoton と Manivel の [CM13] によると, 八元数上の projective plane の場合は, 候補すらないようである。
高次元の射影空間についても, 当然様々な人により調べられている。 有名なのは次の結果である。
- \(\RP ^n\) の単体分割は \(\frac {(n+1)(n+2)}{2}\) 個以上の頂点が必要 であり, \(n> 2\) なら \(\frac {(n+1)(n+2)}{2}+1\)個以上必要 (Arnoux と Marin [AM91])
- \(\CP ^n\) の単体分割は \((n+1)^2\)個以上の頂点が必要であり, \(n>2\) なら \((n+1)^2+1\) 個以上必要 (同じく Arnoux と Marin [AM91])
一方, 上からの評価としては, 次のものがある。
- \(\RP ^3\) の\(11\)頂点の単体分割 (Walkup の [Wal70])
- \(\RP ^4\) の\(16\)頂点の単体分割 (Balagopalan の [Bal17])
- \(\RP ^5\) の\(24\)頂点の単体分割 ( Lutz のページ)
- Adiprasito, Avvakumov, Karasev [AAK22] による \(\RP ^{n}\) の \(e^{(\frac {1}{2}+o(1))\sqrt {n}\log n}\) 頂点の単体分割
よって, \(\RP ^3\) と \(\RP ^4\) の場合は, vertex minimal triangulation が見つかっていることになる。\(\RP ^5\) の場合, \(22\)頂点のものがあるかどうかは,
まだ分っていないようである。
\(\RP ^4\) の16頂点, すなわち最小頂点数の単体分割は, Lutz のページで計算機による結果が公表されていたが, 具体的な構成を
Balagopalan [Bal17] が発見した。
\(\CP ^n\) の場合は一層難しい。\(\CP ^2\) の Banchoff と Kühnelの vertex minimal triangulation 以外に Sarkar の
[Sar] に書かれているのは以下の結果である。
- \(\CP ^3\) の18頂点の単体分割 (Baguchi と Datta の [BD12])
References
-
[AAK22]
-
Karim Adiprasito,
Sergey Avvakumov, and Roman Karasev. “A subexponential size
triangulation of \({\R }P^n\)”. In: Combinatorica 42.1 (2022), pp. 1–8. arXiv:
2009.02703. url: https://doi.org/10.1007/s00493-021-4602-x.
-
[AM91]
-
Pierre Arnoux and Alexis Marin. “The Kühnel triangulation of the
complex
projective plane from the view point of complex crystallography. II”.
In: Mem. Fac. Sci. Kyushu Univ. Ser. A 45.2 (1991), pp. 167–244.
url: http://dx.doi.org/10.2206/kyushumfs.45.167.
-
[Bal17]
-
Sonia Balagopalan. “On a vertex-minimal triangulation of \(\R \mathrm {P}^4\)”. In:
Electron. J. Combin. 24.1 (2017), Paper No. 1.52, 23. arXiv:
1409.6149.
-
[BD12]
-
Bhaskar
Bagchi and Basudeb Datta. “A triangulation of \({\bbC }P^3\) as symmetric cube
of \(S^2\)”. In: Discrete Comput. Geom. 48.2 (2012), pp. 310–329. arXiv:
1012.3235. url: https://doi.org/10.1007/s00454-012-9436-2.
-
[BK87]
-
U. Brehm and W. Kühnel. “Combinatorial manifolds with
few vertices”. In: Topology 26.4 (1987), pp. 465–473. url:
http://dx.doi.org/10.1016/0040-9383(87)90042-5.
-
[BK92]
-
Ulrich Brehm and Wolfgang Kühnel. “\(15\)-vertex triangulations of
an \(8\)-manifold”. In: Math. Ann. 294.1 (1992), pp. 167–193. url:
http://dx.doi.org/10.1007/BF01934320.
-
[CM13]
-
F. Chapoton and L. Manivel. “Triangulations and Severi varieties”.
In: Exp. Math. 22.1 (2013), pp. 60–73. arXiv: 1109.6490. url:
https://doi.org/10.1080/10586458.2013.743854.
-
[Gaı̆04]
-
A. A. Gaı̆fullin. “Local
formulas for combinatorial Pontryagin classes”. In: Izv. Ross. Akad.
Nauk Ser. Mat. 68.5 (2004), pp. 13–66. arXiv: math/0407035. url:
http://dx.doi.org/10.1070/IM2004v068n05ABEH000502.
-
[Gor19]
-
Denis Gorodkov. “A 15-vertex triangulation of the quaternionic
projective plane”. In: Discrete
Comput. Geom. 62.2 (2019), pp. 348–373. arXiv: 1603.05541. url:
https://doi.org/10.1007/s00454-018-00055-w.
-
[KB83]
-
W. Kühnel and T. F. Banchoff. “The \(9\)-vertex complex projective
plane”. In: Math. Intelligencer 5.3 (1983), pp. 11–22. url:
http://dx.doi.org/10.1007/BF03026567.
-
[Sar]
-
Soumen Sarkar. Some \(\Z _3^n\)-equivariant triangulations of \(\CP ^n\). arXiv:
1405.2568.
-
[Sch23]
-
Richard Evan
Schwartz. “Trisecting the nine-vertex complex projective plane”. In:
Math. Intelligencer 45.4 (2023), pp. 359–364. arXiv: 2205.00595.
url: https://doi.org/10.1007/s00283-022-10214-w.
-
[Wal70]
-
David W. Walkup. “The lower bound conjecture for \(3\)- and
\(4\)-manifolds”. In: Acta Math. 125 (1970), pp. 75–107. url:
https://doi.org/10.1007/BF02392331.
|