スピン構造

微分幾何学において、向き付け可能リーマン多様体 }} 上のスピン構造は、付随するスピノル束の定義を可能にし、微分幾何学におけるスピノルの概念を生じる。

数理物理学、特に場の量子論へ広く応用され、電荷を持たないフェルミオンに関する任意の理論の定義にスピン構造は必須である。純粋数学的にも、微分幾何学や代数的位相幾何学、K-理論などに於いてスピン構造は興味の対象である。スピン構造はスピン幾何学に対する基礎付けを成す。

1. 導入
-----

幾何学および場の理論において、与えられたリーマン多様体 }} がスピノルを持つことができるか否かは興味のある問題である。この問題を扱うための一つの方法が、M}} がスピン構造を持つと仮定することであるHaefligerMilnorLichnerowiczKaroubi。しかし常にそのように仮定してよいわけではなく、スピン構造の存在に対する位相的な障害の可能性がある。スピン構造が存在するための必要十分条件は、M}} の二次スティーフェル&ndash;ホイットニー類 //w//ind が消えていることである。さらに言えば、1=//w//ind ならば、M}} 上のスピン構造の同型類全体の成す集合の上には //H//msup が自由かつ推移的に作用する。多様体 M}} は向き付けられていると仮定すれば、M}} の一次スティーフェル–ホイットニー類 //w//ind も消えている。

M}} 上のスピノルの束 //πmsub は、「M}} のスピン標構 //π//msub に対応する主束が付随する複素ベクトル束」であり、そしてまた、「その構造群がスピン群 Spin}} であるような、スピノルの空間 Δmsub を表現空間とするスピン表現」である。この束 S}} を与えられた M}} 上のスピン構造に対するスピノル束と呼ぶ。//

多様体上のスピン構造の精確な定義は、ファイバー束の概念を導入して初めて可能である。Haefliger は、向き付け可能なリーマン多様体上のスピン構造の存在に対する位相的な障害を発見し、Karoubi はこの結果を、向き付け不能な擬リーマン多様体にまで拡張した。

2. リーマン多様体上のスピン構造
-----------------

2.1. 定義
-------

向き付け可能なリーマン多様体 }} 上のスピン構造とは、向き付けられた直交標構束 //F//msub → M}} の、二重被覆 //ρ//: Spin → SO}} に関する同変持ち上げを言う。すなわち、対 (P, //F//msub が主束 //π//: //F//msub 上のスピン構造であるとは、

が満たされるときに言う。この主束 //π//msub を、M}} 上のスピン標構束とも呼ぶ。

同じ一つの向き付けられたリーマン多様体 }} 上の、二つのスピン構造 }}-同変写像 //f//: Pind が存在して、1=//F//msub かつ任意の p ∈ Pind に対して 1=//f// = //f////q//}} とできるときに言う。

もちろん、この場合の //F//msub は、与えられたリーマン多様体 }} 上の向き付けられた正規直交標構 SO}}-束 //F//msub の二つの同値な二重被覆である。

この「主束 //F//msub 上のスピン構造」としての }} 上のスピン構造の定義は、Haefliger による。

2.2. 障害
-------

Haefliger は、向き付けられたリーマン多様体 }} 上のスピン構造の存在に対する必要十分条件を発見した。スピン構造を持つことに対する障害となるのは、//H//msup のある種の元 bracket である。スピン構造に対して、その類 bracket は M}} の二次のスティーフェル&ndash;ホイットニー類 //w//ind である。従って、スピン構造が存在するための必要十分条件は、M}} の二次スティーフェル–ホイットニー類 //w//ind が消えていることである。

3. ベクトル束のスピン構造
--------------

M}} をパラコンパクト位相多様体とし、M}} 上の向き付けられた n}}-次元ベクトル束 E}} はファイバー計量を持つとする。E}} のスピノル束は、M}} の各点に対して一貫した仕方でスピン表現を付随させるための処方箋になる。スピン構造を持つことが可能となることへの位相的障害が存在し、その結果として、与えられた束 E}} が如何なるスピノル束も持たないこともありうる。E}} がスピン構造を持つ場合、束 E}} はスピンであるという。

このことは、主束を考えることによって厳密にすることができる。ベクトル束の正規直交標構全体の成す集合は標構束 //P//msub を成す。//P//msub に対するスピン構造とは、//P//msub の主束 //P//msub への持ち上げである。これはつまり、束写像 //φ//: //P//msub が存在して、任意の //p// ∈ //P//msub に対して 1=//φ// = //φ////ρ//}} が成り立つということを意味する。ここに、 //ρ//: Spin → SO}} はスピン群を SO}} の二重被覆として表わす群準同型である。

E}} が底多様体 M}} 上の接束 TM}} である特別の場合には、スピン構造が存在するとき M}} をスピン多様体と呼ぶ。同じことだが、多様体 M}} がスピンであるとは、M}} の接ファイバーの正規直交基底のなす SO}}-主束が、主スピン束の Zmsub-商であるときに言う。

多様体が胞体分割や三角分割を持つとき、スピン構造は等価的に、1-骨格上の接束を 2-骨格上に拡張したものの自明化  のホモトピー類として考えることができる。次元が 3 より低い場合には、まず自明直線束とのホイットニー和をとる。

3.1. 障害
-------

ベクトル束 E}} 上のスピン構造が存在するための必要十分条件は、E}} の二次スティーフェル&ndash;ホイットニー類 //w//ind が消えていることである。これは Borelの結果である。ここで、//πmsub が向き付け可能ベクトル束と仮定したことに注意せよ。//

3.2. 分類
-------

スピン構造が存在するとき、多様体上の互いに同値でないスピン構造の全体は、//H//msupの元全体と一対一対応を持つ。より精確に述べれば、スピン構造の同型類全体の成す空間は、//H//msup 上のアフィン空間である。

直観的には、M}} 上の各非自明サイクルに対して、スピン構造は SO-束の切断がループを囲むとき被覆面を切り替えるか否かの二者択一に対応する。//w//ind が消えているとき、これらの選択は二次元骨格   へ拡張でき、それゆえ自動的に M}} 全体の上まで拡張できる。素粒子物理学においてこのことは、各ループを周るフェルミオンに対する周期的または反周期的境界条件の選択に対応する。

3.3. 素粒子物理学への応用
---------------

素粒子物理学におけるスピン統計定理は、電荷を帯びていないフェルミオンの波動函数が、付随するベクトル束の切断の SO}}-束 E}} へのスピン持ち上げであることを含意する。従って、スピン構造の選択は波動函数を定義するために必要なデータの一部であり、分配函数での選択を渡る和をとることにしばしば必要となる。多くの物理理論で E}} は接束であるが、弦理論におけるD-ブレーンの世界体積上のフェルミオンに対しては法束をとる。

3.4. 例
------

種数 g}} のリーマン面は、同値でないスピン構造を 2exp 個持つ。テータ特性類の項を参照。
//H//msup が消えるならば M}} はスピン多様体である。たとえば、Smsup は任意の //n// }} に対してスピン多様体である。
複素射影平面 CPmsup はスピン多様体でない。
より一般に、すべての偶数次元複素射影空間 CPmsup はスピン多様体でない。
すべての奇数次元複素射影空間 CPmsup はスピン多様体である。
三次元以下のすべてのコンパクトな向き付け可能多様体はスピン多様体である。
すべてのカラビ・ヤウ多様体はスピン多様体である。

3.5. 性質
-------

スピン多様体のÂ 種数は整数であり、さらに次元が 4 mod 8 であれば偶数である。一般に、Â 種数は有理数不変量で、任意の多様体に対し定義されるが、一般に整数ではない。これはもともとヒルツェブルフとボレルにより証明されたもので、アティヤ&ndash;シンガーの指数定理によって証明することができ、Â 種数はディラック作用素の指数として実現することができる。これは指数定理に対して動機付ける例であった。

4. スピン//c//}}-構造
----------------

スピン構造の類似物として、スピン//c//}}­構造は向き付けられたリーマン多様体上で定義されるが、用いる群がスピン//c//}}群、すなわち完全系列

により定義される群 Spinmsup であるところが異なる。これを動機付けるために κ: Spin → //U//}} を複素スピノル表現と仮定する。//U//}} の中心は、包含 //i//: //U// → //U//}} からくる対角元から成る。ゆえに、準同型

が存在して、この準同型の核は必ず元 }} を持ち、この元を法とする商をとると Spinmsup を得る。この群は、ねじれ積

である。すなわち群 Spinmsup は SO}} の Smsup による中心拡大である。

別な方法として、Spinmsup は Spin × Spin}} の正規部分群 Zmsubに関する商群である。これにより、スピンc}}群は Spin}} をファイバーに持つ円周上の束とも、円をファイバーに持つ //SO//}} 上の束とも見ることができる。

基本群 //π//ind は Z}} に同型である。

多様体が胞体分割や三角分割を持つならば、スピン//c//}}-構造を等価的に、2-骨格 上の複素構造を 3-骨格に拡張したもののホモトピー類と考えることができる。スピン構造のときと同様に、多様体が奇数次元ならば、自明直線束とのホイットニー和を取る。

さらに別の定義は、多様体 N}} 上のスピン//c//}}-構造とは、N}} 上の複素直線束 L}} と //TN// ⊕ //L//}} 上のスピン構造の対であるとするものである。

4.1. 障害
-------

スピン//c//}}­構造が存在するのは、束 E}} が向き付け可能かつその束の二次スティーフェル&ndash;ホイットニー類が準同型 //H//msup の像に属するときである。このとき、束 E}} は「スピン//c//}}である」という。直観的には、弧の持ち上げが、任意に得られたスピン//c//}}束の //U//}}-成分のデカルト平方のチャーン類を与える。ホップとヒルツェブルフの定理により、向き付け可能な四次元閉多様体は、常にスピン//c//}}­構造を持つ。

4.2. 分類
-------

多様体がスピン//c//}}-構造を全く持つとき、スピン//c//}}­構造全体の成す集合は、アフィン空間を成す。さらに言えば、スピン//c//}}­構造の空間には、//H//msup が自由かつ推移的に作用する。従って、スピン//c//}}­構造は//H//msup の元に対応する。

4.2.1. 幾何学的な説明
--------------

これを以下のように幾何学的に解釈することができる。スピン//c//}}-構造は 0 でないとき、この平方根束は非整係数チャーン類を持つ。特に、三種類ある任意の二つの交叉上の遷移函数の積は恒等的に 1}} にならず、ところどころ −1}} となる。

この条件の不成立は、遷移函数の三重積に関して同じ条件の不成立によってスピノル束となることが妨げられるのと、ちょうど同じ交叉において起きる。従って、完全  スピン//c//}}-束の遷移函数の三重積は、1=1exp か 1=−1expの何れかであり、それゆえこのスピン//c//}}-束はコサイクル条件を満たして、正当な束となる。

4.2.2. 詳細
---------

上記の直観的な幾何学的説明は以下のように具体的にすることができる。短完全列 0 → Z → Z → Zmsub を考える。ここに、二つ目の矢印は各整数を 2}}-倍する写像であり、三つ目の矢印は法 2}} に関する還元である。これによって誘導されるコホモロジーの長完全列は

なる部分を含む。二つ目の矢印は 2}}-倍写像の誘導する準同型であり、三つ目は法 2}} に関する制限から誘導される準同型で、四つ目は付随するボックシュタイン準同型 β}} である。

スピン束の存在に対する障害は //H//msup のひとつの元 //w//ind である。これは、//SO//}}-束のスピン束への局所持ち上げは常に可能だが、各遷移函数の Zmsub-持ち上げの選択が必要があるという事実を反映するものである。三重交叉上でこれら三つの符号の積が −1}} であるとき持ち上げは存在しない。これは //w//ind のチェックコホモロジーの様子を教えるものである。

この障害を打ち消すために、このスピン束と同じ障害 //w//ind を持つ //U//}}-束とのテンソル積束をとる。これが「束」の語の濫用であることに注意すべきである。

正当な //U//}}-束はチャーン類により分類される。この類を上記の完全系列の一項目の元と同一視すると、次の矢印はこのチャーン類を二倍するから、正当な束は二項目の //H//msup の偶数である元と対応する。一方、奇数である元はコサイクル条件を満たさない束と対応する。よって、障害は二項目の //H//msup が矢印の像のに属することが満足されないことによって分類される。

スピン束に関する対応する障害を打ち消すには、この像が //w//ind である必要がある。特に、//w//ind が矢印の像に属さなければ、障害が //w//ind に等しい如何なる //U//}}-束も存在せず、従って障害は打ち消されない。完全性により //w//ind が直前の矢印の像に属するのは、次の矢印の核に属するときに限る。すなわち、障害を打ち消すための条件は

である。ここで、三次の整係数スティーフェル–ホイットニー類 //W//ind は、二次スティーフェル–ホイットニー類 //w//ind のボックシュタイン準同型像であるという事実を用いた。

4.2.3. スティーフェル–ホイットニー類の整係数持ち上げ
------------------------------

この議論は、二次のスティーフェル–ホイットニー類は Zind-係数コホモロジーの元ばかりでなく、ひとつ高次の整係数コホモロジーの元をも定義することを示している。実は、これは任意の偶数次スティーフェル–ホイットニー類に対して同じことが言える。そうして得られる奇数次の累に対して、慣習的に大文字の W}} が用いられ、それぞれの次数をラベルとして、整係数スティーフェル–ホイットニー類と呼ぶ。

4.3. 素粒子物理学への応用
---------------

場の量子論において、電荷を帯びたスピノルは付随するスピン//c//}}-束の切断であり、また特に、電荷を帯びないスピノルはスピン//c//}}-構造を持たない空間の中には存在することができない。ある種の超重力理論においてこのことの例外が生じる。

4.4. 例
------

四次元以下の任意の向き付けられた滑らかな多様体は、スピン//c//}}-多様体である。
任意の概複素多様体はスピン//c//}}-多様体である。
任意のスピン多様体はスピン//c//}}-多様体である。

5. ベクトル構造
---------

スピン構造がベクトル束の随伴スピン束への持ち上げであるのに対して、ベクトル構造とは他の束の随伴ベクトル束への持ち上げを言う。

5.1. 障害
-------

たとえば、SO}}-束を考えると、群 SO}} は三つの八次元表現を持っていて、そのうち二つはスピノル的であり、そのひとつはベクトル表現である。これら三つの表現は同型により互いに取り換えることができて、三対性  と呼ばれる。SO}}-ベクトル束 E}} を与えたとき、付随するスピン束に関する障害は、二次スティーフェル–ホイットニー類 //w//indである。三対性により、与えられた SO}}-スピン束 F}} の随伴ベクトル束の存在に対する障害が、同じコホモロジー群の別の元であることがわかる。

5.2. 素粒子物理学への応用
---------------

物理学においてベクトル構造が初めて考慮されたのは、論文 url=http://www.arxiv.org/abs/hep-th/9605184 である。彼らは、I型弦理論を考えた。そのような束はベクトル構造を持ち、それゆえすべての三重交叉上の遷移函数の三重積が Zmsub-商の自明元であるとき SO}}-束に持ち上がる。これが起こるのはちょうど Zmsub-係数特性 2-コサイクル hat が消えるときである。

続く年、 url= http://www.arxiv.org/abs/hep-th/9703157 は、I-型超弦理論はこの特性類が自明である場合に限り無矛盾  であることを実証した。より一般に、I-型弦理論においてB-場は Zmsub-係数二次のコホモロジーに属する類でもあり、彼らはこれが hat と等しくなければならないことを示している。

6. 関連項目
-------

スピノル

7. 参考文献
-------

8. 関連文献
-------

9. 外部リンク
--------

[1] by Sven-S. Porst is a short introduction to orientation and spin structures for mathematics students.