円周束の半径と相対シンプレクティック・コホモロジー
Biran decomposition and relative symplectic cohomology
この論文をやさしく読む
ひとことで言うと
シンプレクティック多様体の中にある円周束を調べ、半径がある値を超えるとコホモロジーが消えないことなどを証明する研究です。
何に役立つ?
多様体内の部分集合を、構造を保ったままどこまで動かせるかや、Hamilton微分同相群の距離構造を理解するための計算手段になります。
この研究の面白いところ
円周束の半径という幾何学的な量を、コホモロジーの非消滅、重い部分集合、変換群内の無限次元の擬平坦へ結び付けています。
どこまで分かった?
閉・単調・整という条件、次数0<k<τ、および結果ごとの組(M,D)の条件があります。骨格の移動不可能性の結論ではk>1と係数Z/kZが使われており、係数や条件を省いた一般論ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
(M,ω)を、単調性定数τ>0を持つ閉じた単調な整シンプレクティック多様体とし、D⊂Mを次数0<k<τのシンプレクティック超平面切断とする。Biranの分解定理によれば、MはD上のシンプレクティック円板束と、Liouville構造を備えた補集合M\Dの骨格との和集合である。本論文では、この円板束の円周部分束について、整数Z上の相対シンプレクティック・コホモロジーをDの量子コホモロジーを使って計算する。この相対シンプレクティック・コホモロジーは、ある臨界半径に対する円周束の半径の大小に依存する。 広いクラスの組(M,D)について、臨界半径を超える半径ではZ上の相対シンプレクティック・コホモロジーが消えないことを証明する。したがって、このような半径の円周束は重い部分集合となり、Hamilton微分同相群において、Hofer距離とZ上のスペクトル距離の双方に関する無限次元の擬平坦をもたらす。また、Dの次数kが1より大きければ、M\Dの骨格はZ/kZ上でSH-fullであり、したがってMのどのシンプレクティック同相写像によっても自己と交わらない位置へ移せないことを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01(UTC)
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $(M,\omega)$ be a closed monotone integral symplectic manifold with monotonicity constant $\tau>0$, and let $D\subset M$ be a symplectic hyperplane section of degree $0<k<\tau$. By Biran's decomposition theorem, $M$ is the union of a symplectic disk bundle over $D$ and the skeleton of the complement $M\setminus D$ equipped with its Liouville structure. In this paper, we compute the relative symplectic cohomology of circle subbundles of this disk bundle over $\mathbb{Z}$ in terms of the quantum cohomology of $D$. This relative symplectic cohomology depends on the radius of the circle bundle relative to a certain critical radius. For a broad class of pairs $(M,D)$, we prove that the relative symplectic cohomology over $\mathbb{Z}$ does not vanish for supercritical radii. Therefore, circle bundles of supercritical radii are heavy subsets, which yields infinite dimensional quasi-flats in the Hamiltonian diffeomorphism group with respect to both the Hofer metric and the spectral metric over $\mathbb{Z}$. We also establish that if the degree $k$ of $D$ is greater than one, the skeleton of $M\setminus D$ is SH-full over $\mathbb{Z}/k\mathbb{Z}$, and hence non-displaceable in $M$ by any symplectomorphism.
著者のコメント
55 pages, 1 figure, comments welcome
arXiv ID: 2610.01334 / 要約の誤りについて