[論文レビュー] Revisiting pinors, spinors and orientability

L. Bonora, Fabio Ferrari Ruffino+1 more|arXiv (Cornell University)|Jul 24, 2009

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

ひとこと要約

この論文は、非可換な偶数次元多様体上のピン構造と、その可換二重被覆上の不変ピン構造の対応を調査し、自然な引き戻し写像が単射でも全射でもないことを示している。全対応が回復されるための条件——特に、シート交換同型の二乗が恒等写像であること——を特定し、ピン接続のグローバルな幾何的構造を保つために、ピン接続の明示的参照を伴って、被覆上のスピン接続が元の多様体上のピン構造を記述できることを示している。

ABSTRACT

We study the relations between pin structures on a non-orientable even-dimensional manifold, with or without boundary, and pin structures on its orientable double cover, requiring the latter to be invariant under sheet-exchange. We show that there is not a simple bijection, but that the natural map induced by pull-back is neither injective nor surjective: we thus find the conditions to recover a full correspondence. We also show how to describe such a correspondence using spinors instead of pinors on the double cover: this is in a certain sense possible, but in a way that contains anyhow an explicit reference to pinors. We then consider the example of surfaces, with detailed computations for the real projective plane, the Klein bottle and the Moebius strip.

研究の動機と目的

• 非可換多様体 $X$ 上のピン構造と、その可換二重被覆 $\tilde{X}$ 上の $τ$-不変ピン構造との関係を明確化すること。
• 多様体 $X$ 上のピン構造から $\tilde{X}$ 上の $τ$-不変ピン構造への引き戻し写像 $\Phi$ が双対的でない性質を解消すること。
• スピン接続が元の多様体上のピン構造を記述できる方法を示すこと、ただしピン接続の明示的参照が不可欠であること。
• 境界を持つ多様体への分析を拡張し、特にモビウスの帯における詳細な計算を通じて考察すること。
• 群作用の幾何的実現を多様体上で行い、[1]および[10]の結果をピン幾何学の文脈で一般化すること。

提案手法

• 多様体 $X$ 上のピン構造から、可換二重被覆 $\tilde{X}$ 上の $τ$-不変ピン構造への引き戻し写像 $\Phi$ を用いる。
• 非単射性は、$w_1(X) \in H^1(X, \mathbb{Z}_2)$ の作用に起因し、非閉ループに沿ったホロノミーの差が生じるピン構造の同型性に起因する。
• 引き戻し写像 $\Phi$ の全射性を回復するため、$\widetilde{d\tau}^2 = \text{id}$（シート交換ではなく）という条件を課す。
• 被覆上のスピン接続の断面を分析して、元の多様体 $X$ 上のピン構造を記述するが、$\text{Pin}^\pm$ 構造の区別を明示的に参照する必要があることを示す。
• 実射影平面、クラインボトル、モビウスの帯といった曲面にこの枠組みを適用し、ホロノミーと構造類を明示的に計算する。
• 境界を持つ多様体を扱うために、境界をトーラスに埋め込み、$\tau$-作用下でのス pin 構造の上への持ち上げを分析する。

実験結果

リサーチクエスチョン

• RQ1 なぜ非可換多様体 $X$ 上のピン構造からその二重被覆 $\tilde{X}$ 上の $τ$-不変ピン構造への自然な引き戻し写像 $\Phi$ は単射でも全射でもないのか？
• RQ2 引き戻し写像 $\Phi$ の全射性を回復するための追加条件は何か？
• RQ3 可換二重被覆 $\tilde{X}$ 上のスピン接続は、どのようにして $X$ 上のピン構造を記述できるのか？また、$\text{Pin}^\pm$ 構造はこの記述において果たす役割は何か？
• RQ4 特にモビウスの帯の例において、境界を持つ多様体上でのピン構造とスピン構造の振る舞いはいかなるものか？
• RQ5 非閉路に沿ったホロノミーが、$X$ 上で異なるピン構造を区別するが、$\tilde{X}$ 上に引き戻すと同一視される理由は何か？

主な発見

• 引き戻し写像 $\Phi$ は、$\widetilde{d\tau}^2 = \text{id}$（シート交換ではなく）という条件が $\tilde{\xi}$ と $\tau^*\tilde{\xi}$ 間の同型 $\widetilde{d\tau}$ に課されない限り、全射でない。
• $\Phi$ の非単射性は、$w_1(X)$ に沿ったホロノミー差が生じるピン構造が、引き戻し後に同一視されることに起因する。
• 実射影平面およびクラインボトルに対して、2つの異なる $\text{Pin}^\pm$ 構造が存在することを計算で示し、球面（二重被覆）上の $\tau$-不変構造は、非自明なモノドロミーを持つ特定の持ち上げに対応している。
• モビウスの帯では、境界におけるスピン構造の振る舞いをトーラスに埋め込んで分析し、$\theta=0$ と $\theta=\pi$ における持ち上げが符号およびフレームの向きの違いにより異なり、$\pm e_1$ または $\pm e_1e_2$ を含む異なるスピン接続の持ち上げが得られることを示した。
• トーラス上のスピン構造の2つの同値類は、$\tilde{\xi}_0 \cup_{\text{id}} \tau^*\tilde{\xi}_0 \simeq \tilde{\xi}_1 \cup_{\text{id}} \tilde{\xi}_1$ および $\tilde{\xi}_1 \cup_{\widetilde{d\tau}} \tilde{\xi}_1$ として実現され、同型 $\widetilde{d\tau}$ が構造の分類に果たす役割が明確になった。
• 被覆上のスピン接続を用いて $X$ 上のピン構造を記述する構成は、$\text{Pin}^+$ と $\text{Pin}^-$ の区別を明示的に参照する場合にのみ可能であり、元のピン接続のグローバルな幾何的構造を保つ。