Bogomolov–Guan多様体の非形式性と第三ベッチ数
Bogomolov-Guan Manifolds are not formal
この論文をやさしく読む
ひとことで言うと
特定の複素多様体の系列について、その形の情報が通常のコホモロジーだけでは捉えきれないという非形式性と、第三ベッチ数が3になることを示す数学研究です。
何に役立つ？
非ケーラー正則シンプレクティック多様体の位相的な構造を理解するための基礎結果です。要旨では具体的な工学用途などは扱っていません。
この研究の面白いところ
前段階の空間で高次の積を構成し、その非自明性を滑らかな多様体に移す方法を取ります。Guanの元の構成との有限被覆による関係も同時に整理しています。
どこまで分かった？
非形式性と第三ベッチ数の結論は、複素次元4以上のBogomolov–Guan多様体が対象です。証明したという著者の報告を要旨から紹介しており、証明の独立検証はしていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Bogomolov–Guan多様体は、コンパクトで単連結な非ケーラー正則シンプレクティック多様体として知られている唯一の系列をなす。本研究では、複素次元が4以上のすべてのBogomolov–Guan多様体が、有理数体上で非形式的であることを証明する。 証明では、Bogomolov–Guan多様体の前段階となる空間の対称商について、有限次元の不変de Rhamモデルの中に、一様な次数8のa-Massey積を構成する。この積の不定性は消え、その非自明性は、対称群Sₙ₊₁に不変なテンソル縮約から生じる明示的な最高次数のペアリングで検出される。その後、次数がゼロでない写像によって、非形式性を滑らかなBogomolov–Guan多様体へ移す。 また、この前段階の空間とGuanの元の構成に現れる冪零多様体を比較し、両者が次数(n+1)²の自然なSₙ₊₁同変有限被覆で結ばれ、同じ不変de Rhamモデルを持つことを示す。さらに、Guanの特異点解消が射影的かつ半小であることを証明し、これと斎藤の分解定理を用いることで、複素次元4以上のすべてのBogomolov–Guan多様体の第三ベッチ数が3に等しいことを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Bogomolov--Guan manifolds form the only known series of compact simply connected non-Kähler holomorphic symplectic manifolds. We prove that all Bogomolov--Guan manifolds of complex dimension at least four are nonformal over $\mathbb{Q}$. The proof constructs a uniform degree-eight $a$-Massey product in a finite-dimensional invariant de Rham model of the symmetric quotient of the Bogomolov--Guan precursor. Its indeterminacy vanishes, and its nontriviality is detected by an explicit top-degree pairing arising from an $S_{n+1}$-invariant tensor contraction. A nonzero-degree map then transfers nonformality to the smooth Bogomolov--Guan manifold. We also compare the Bogomolov--Guan precursor with the nilmanifold appearing in Guan's original construction, showing that they are related by a natural $S_{n+1}$-equivariant finite cover of degree $(n+1)^2$ and have the same invariant de Rham model. Using Guan's resolution, which we prove to be projective and semismall, together with Saito's decomposition theorem, we further show that the third Betti number of every Bogomolov--Guan manifold of complex dimension at least four is equal to $3$.
著者のコメント
23 pages. Comments are very welcome
arXiv ID: 2609.26768 ／ 要約の誤りについて