[論文レビュー] K-Theory of topological algebras and second quantization

Anastasios Mallios|ArXiv.org|Jul 25, 2002

Advanced Topics in Algebra参考文献 18被引用数 9

ひとこと要約

本稿では、第一量化を回避するため、位相的代数のK理論を用いてスピン構造に基づく基本粒子の分類を、層論的枠組みで提案する。滑らかな多様体と$$\mathcal{C}^\infty$$-代数の文脈において、抽象化されたセール＝スワンの定理を適用することで、粒子状態がベクトル層の局所的切断に対応することを確立し、$$\mathcal{(E}, D)$$のペアとして第二量化を直接定式化する。ここで$$D$$は$$\mathcal{A}$$-接続である。これにより、マクスウェル場とヤン・ミルズ場が幾何的対象として統一される。

ABSTRACT

Applying the classical Serre-Swan theorem, as this is extended to topological (non-normed) algebras, one attains a classification of elementary particles via their spin-structure. In this context, our argument is virtually based on a ``correspondence principle'' of S. A. Selesnick, formulated herewith in a sheaf-theoretic language, presisely speaking, in terms of vector sheaves. This then leads directly to second quantization, as well as, to other applications of geometric (pre)quantization theory.

研究の動機と目的

• スピン構造に基づく幾何的・層論的分類を、従来の第一量化に依存せずに、基本粒子を分類すること。
• 物理的粒子と時空上のベクトル層の切断の間の対応関係を、抽象的微分幾何学に裏打ちされたものとして確立すること。
• 第二量化を幾何的対象（具体的には、$$({\mathcal{E}}, D)$$のペア）として直接定式化すること。ここで$$D$$はベクトル層$$\mathcal{E}$$上の$$\mathcal{A}$$-接続である。
• ノルムを備えない位相的代数へのセール＝スワンの定理の一般化を行い、有限生成の射影モジュールによるベクトル bundle の分類を可能にすること。
• 裸のボソンとフェルミオンがそれぞれライン層とランク2以上のベクトル層として表現され、それらに接続が関連付けられることを示すこと。

提案手法

• 滑らかな多様体上の$$\mathcal{C}^\infty$$-代数における層論的設定でのセール＝スワンの定理を用い、ベクトル bundle を有限生成射影モジュールに同定する。
• $$\mathcal{A} = \mathcal{C}^\infty_X$$を時空$$X$$上の滑らかな複素数値関数の層とするとき、ランクが有限で局所自由な$$\mathcal{A}$$-加群としてベクトル層を定義する。
• 層論的言語におけるセレスニックの対応原理を適用し、粒子状態とベクトル層の局所的切断との間の関係を結ぶ。
• $$\mathcal{E}$$上の$$\mathcal{A}$$-接続$$D$$を導入し、予量子化理論における幾何的接続を一般化する。
• $$X$$上での滑らかなベクトル bundle の同型類と、$$X$$上での有限ランクのベクトル層の同型類との間の双対性を確立する。$$P_n(X) = \Phi^n_\mathcal{A}(X)$$を用いる。
• ボソン（マクスウェル場）に対しては$$({\mathcal{L}}, D)$$のペア、フェルミオン（ヤン・ミルズ場）に対しては$$({\mathcal{E}}, D)$$のペアとして量子場を表現し、$$D$$がゲージ力学を符号化する。

実験結果

リサーチクエスチョン

• RQ1 第一量化に依存せずに、幾何的・代数的構造を用いて基本粒子をどのように分類できるか？
• RQ2 ベクトル層と$$\mathcal{A}$$-接続が、幾何的予量子化として第二量化を実現する上で果たす役割は何か？
• RQ3 層論的微分幾何の定式化が、位相的代数のK理論を通じて、粒子場の直接的分類をどのように可能にするか？
• RQ4 滑らかな多様体の文脈において、ノルムを備えない位相的代数へのセール＝スワンの定理の拡張はどのように行われるか？
• RQ5 スピン統計が、時空上のベクトル層のランクと構造にどのように符号化されるか？

主な発見

• 基本粒子は、時空上の有限ランクのベクトル層を通じてスピン構造に基づき分類され、ボソンはライン層に、フェルミオンはランクが2以上の層に対応する。
• 粒子場とベクトル層の局所的切断との間の対応は双対的であり、場は物理的原理「場はその状態によって決定される」に従い、状態によって完全に決定される。
• 第二量化は幾何的対象を通じて直接達成され、マクスウェル場は$$({\mathcal{L}}, D)$$のペアで、ヤン・ミルズ場は$$({\mathcal{E}}, D)$$のペアで表される。ここで$$D$$はそれぞれの層上の$$\mathcal{A}$$-接続である。
• $$X$$上の滑らかな$$n$$次元複素ベクトル bundle の同型類は、$$X$$上でのランク$$n$$のベクトル層の同型類と一対一対応する。$$\mathcal{A} = \mathcal{C}^\infty_X$$を用いることで、この文脈における一般化されたセール＝スワンの定理が裏付けられる。
• すべての裸の基本粒子は、ベクトル層上に関連する$$\mathcal{A}$$-接続の存在により（予）量子化可能である。幾何的構造が量子場の力学を符号化する。
• 基になる空間の幾何的性質は、係数層$$\mathcal{A}$$に代数的に符号化され、コンパクト性や計量構造などの性質が層やモジュールに移譲可能である。これにより、焦点は空間そのものから、その上に存在する対象へと移行する。