四元数射影空間の連結和に複素構造が存在する条件
Stable Complex Structures On Real Vector Bundles Over Connected Sums Of Quaternionic Projective Spaces
この論文をやさしく読む
ひとことで言うと
特定の高次元空間を、複素数を使う幾何構造と両立させられるかを判定した数学研究です。
何に役立つ？
四元数射影空間の連結和と、その上のベクトル束の分類を理解するための条件を与えます。用途は要旨の範囲では幾何学・位相幾何学の理論的理解です。
この研究の面白いところ
以前は限られた次元で例外候補も残っていた非存在の主張を、すべてのn ≥ 3へ拡張しています。通常の概複素構造より広い安定化の枠組みでも不可能と示しています。
どこまで分かった？
結果は指定された連結和の族についての数学的特徴付けです。n = 2では安定概複素構造の条件を述べており、これだけから通常の概複素構造の存在まで読み替えることはできません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
整数n ≥ 2と、ともに0ではない整数ℓ, m ≥ 0に対し、M⁴ⁿ_{ℓ,m} = ℓℍPⁿ # m overline(ℍPⁿ)を、四元数射影空間ℍPⁿのℓ個のコピーと、逆向きの向きを入れたℍPⁿのm個のコピーとの連結和とする。 複素化写像c: KÕ(M⁴ⁿ_{ℓ,m}) → K̃(M⁴ⁿ_{ℓ,m})の像を解析することで、M⁴ⁿ_{ℓ,m}上の実ベクトル束のうち、安定複素構造を持つものをポントリャーギン類によって特徴付ける。これにより、M⁴ⁿ_{ℓ,m}が安定概複素構造を持つための必要十分条件は、n = 2かつℓ − mが偶数であることだと導く。したがって、n ≥ 3のM⁴ⁿ_{ℓ,m}は、いずれも概複素構造を持たない。 SatoとSuzukiは1974年に、3 ≤ n ≤ 10について、n = 3かつℓ = 3m + 1の場合を例外候補として残しつつ、M⁴ⁿ_{ℓ,m}上に概複素構造が存在しないと主張した。本研究は、すべてのn ≥ 3についてこれを確立し、さらに安定概複素構造も存在しないという、より強い形で示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For integers $n\ge 2$ and integers $\ell,m\ge 0$, not both zero, let $M^{4n}_{\ell,m}=\ell\,\mathbb{HP}^{n}\,\#\,m\,\overline{\mathbb{HP}^{n}}$ denote the connected sum of $\ell$ copies of the quaternionic projective space $\mathbb{HP}^{n}$ and $m$ copies of $\mathbb{HP}^{n}$ endowed with the opposite orientation. By analysing the image of the complexification map $c\,\colon\,\widetilde{KO}(M^{4n}_{\ell,m})\to\widetilde{K}(M^{4n}_{\ell,m})$, we characterise, in terms of Pontryagin classes, the real vector bundles over $M^{4n}_{\ell,m}$ admitting a stable complex structure, and deduce that $M^{4n}_{\ell,m}$ is stably almost complex if and only if $n=2$ and $\ell-m$ is even. Consequently no $M^{4n}_{\ell,m}$ with $n\ge 3$ admits an almost complex structure. Sato and Suzuki asserted the non-existence of almost complex structures on $M^{4n}_{\ell,m}$ in 1974 for $3\le n\le 10$, except possibly when $n=3$ and $\ell=3m+1$; we establish it for all $n\ge 3$, and in the stronger form of stable almost complex structures.
著者のコメント
19 pages. Comments are welcome
arXiv ID: 2610.02147 ／ 要約の誤りについて