[論文レビュー] On the classification of Smale-Barden manifolds with Sasakian structures

Aleksy Tralle, Vicente Muñoz|arXiv (Cornell University)|Feb 2, 2020

Geometric and Algebraic Topology参考文献 12被引用数 4

ひとこと要約

本稿は、第二ホモロジー群が $ H_2(M,\mathbb{Z}) = \mathbb{Z}^k \oplus \bigoplus_{i=1}^r \mathbb{Z}_{m_i}^{2g_i} $ で、バーデン不変量が $ i(M) = 0 $ または $ \infty $ であるスメイル＝バーデン多様体上の半正則サスカリアン構造を完全に分類する。この多様体が $ k \geq 1 $、$ m_i \geq 2 $、かつ各 $ m_i $ が互いに素であるとき、常にサスカリアン構造をもつことを証明する。主な結果は、有理ホモロジー球面上の半正則サスカリアン構造の存在問題を完全に解決したことである。

ABSTRACT

Smale-Barden manifolds $M$ are classified by their second homology $H_2(M,{\mathbb Z})$ and the Barden invariant $i(M)$. It is an important and dificult question to decide when $M$ admits a Sasakian structure in terms of these data. In this work we show methods of doing this. In particular we realize all $M$ with $H_2(M)={\mathbb Z}^k\oplus(\oplus_{i=1}^r{\mathbb Z}_{m_i}^{2g_i})$ and $i=0,\infty$, provided that $k\geq 1$, $m_i\geq 2$, $g_i\geq 1$, $m_i$ are pairwise coprime. Using our methods we also contribute to the problem of the existence of definite Sasakian structures on rational homology spheres. Also, we give a complete solution to the problem of the existence of Sasakian structures on rational homology spheres in the class of semi-regular Sasakian structures.

研究の動機と目的

• スメイル＝バーデン多様体がサスカリアン構造をもつための十分条件を特定すること、特に有理ホモロジー球面の場合に焦点を当てる。
• スメイル＝バーデン多様体上でのサスカリアン構造の存在に、G-K 条件が十分であるかどうかという未解決問題を解決すること。
• 有理ホモロジー球面上の半正則サスカリアン構造の完全な分類を提供すること。これは、サスカリアン幾何学における長年の未解決問題である。
• ホモロジーに torsion を含む場合にも適用可能な、Kähler多様体上への円被覆を用いたサスカリアン構造の構成法を拡張すること。
• 有理ホモロジー球面上の definite（正/負）と indefinite サスカリアン構造の違いを明確にすること。

提案手法

• Kähler多様体上への円被覆を用いてサスカリアン構造を構成し、バンドルの第一チャーン類をエラー類として用いる。
• 吹き増しの $ \mathbb{C}P^2 $ 上の除法の正則性を保証するため、Nakai–Moishezon の基準を適用し、Kähler構造の存在を保証する。
• 円被覆上のスピン構造の条件 $ w_2(X) \equiv e \pmod{2} $ を用いて、スピンおよび非スピンの正則サスカリアン多様体を分類する。
• バーデン不変量 $ i(M) $ と $ H_2(M,\mathbb{Z}) $ の torsion 構造を分析し、G-K 条件がサスカリアン構造の存在に十分である条件を特定する。
• 標準的ブロック $ X_j, M_k, M_\infty $ の直和によるスメイル＝バーデン多様体の分類を用い、そのホモロジー不変量を分析する。
• 特に $ \mathbf{t} = 1 $、すなわち一つの素数べき torsion 要素のみを持つ場合に、$ k \geq 1 $ であれば、Kähler基底多様体上で明示的に構成することで、半正則サスカリアン構造が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての G-K 条件を満たすスメイル＝バーデン多様体がサスカリアン構造をもつか？
• RQ2 有理ホモロジー球面が半正則サスカリアン構造をもつための必要十分条件は何か？
• RQ3 有理ホモロジー球面上の definite サスカリアン構造の存在は完全に分類可能か？
• RQ4 バーデン不変量 $ i(M) $ と $ H_2(M,\mathbb{Z}) $ の torsion 構造は、サスカリアン構造の存在にどのような制約を与えるか？
• RQ5 ホモロジーに torsion を含む多様体において、$ k = b_2(M) $ のランクはサスカリアン構造の存在にどのような役割を果たすか？

主な発見

• 第二ホモロジー群が $ H_2(M,\mathbb{Z}) = \mathbb{Z}^k \oplus \bigoplus_{i=1}^r \mathbb{Z}_{m_i}^{2g_i} $ で、$ i(M) = 0 $ または $ \infty $ であるスメイル＝バーデン多様体で、$ k \geq 1 $、$ m_i \geq 2 $、かつ各 $ m_i $ が互いに素である場合、すべてが半正則サスカリアン構造をもつ。
• 本稿は、有理ホモロジー球面上の半正則サスカリアン構造の存在問題を完全に解決し、このような構造が存在するための必要十分条件が、torsion が G-K 条件を満たし、かつ $ i(M) = 0 $ または $ \infty $ であることであることを示している。
• 有理ホモロジー球面では、唯一の可能なサスカリアン構造は definite（正または負）であり、indefinite サスカリアン構造は存在しない。
• torsion が存在しないスメイル＝バーデン多様体上での正則サスカリアン構造の存在は、Kähler基底多様体上に原始的で正則なクラスが存在することと同値であり、そのような構造は円被覆上のスピン条件によって分類される。
• スピンおよび非スピンの正則サスカリアン多様体の構成は、$ \gcd(a,b_i)=1 $ かつ適切な偶奇性 $ e \equiv w_2(X) \pmod{2} $ を満たすエラー類 $ e $ を選ぶことで達成される。
• 本稿は、$ \mathbf{t} = 1 $ の場合に、G-K 条件がサスカリアン構造の存在に必要かつ十分であることを確認し、この分野における長年の未解決問題を解決した。