[論文レビュー] Groups of Flagged Homotopies and Higher Gauge Theory

Valery Valerievich Dolotin|ArXiv.org|Apr 6, 1999

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿では、フラグ構造を組み込んだ古典的ホモトピー群の一般化としてフラグ付きホモトピー群を導入し、代数 A に値をとる外微分形式の微分積分法を構築する。主な貢献は、高次のゲージ変換の下での積分可能形式のモジュライ空間の構成であり、これによりリー群 G = exp(A) におけるフラグ付きホモトピー群の表現が得られ、微分形式とゲージ理論が高次代数的枠組みで統一される。

ABSTRACT

Groups $Π_k(X;σ)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $π_k(X;p)$ is the limit case for flags $σ$ contracted to a point $p$. Calculus of exterior forms with values in algebra $A$ is developped of which the limit cases are differential forms calculus (for $A=\bb R$) and gauge theory (for 1-forms). Moduli space of integrable forms with respect to higher gauge transforms (cohomology with coefficients in $A$) is introduced with elements giving representations of $Π_k$ in $G=exp A$.

研究の動機と目的

• 基底空間におけるフラグを用いて追加構造を組み込んだフラグ付きホモトピーを導入することで、古典的ホモトピー群 π_k(X;p) を一般化すること。
• 一般代数 A に値をとる外微分形式の微分積分法を構築し、A = ℝ のときには標準的な微分形式、A がリー代数のときにはゲージ理論的1形式に拡張すること。
• 高次のゲージ変換の下での積分可能形式のモジュライ空間を定義し、A に係数をとるコホモロジーでパrameter化すること。
• このモジュライ空間の要素と、リー群 G = exp(A) におけるフラグ付きホモトピー群の表現との間の対応を確立すること。
• ホモトピー、形式、ゲージ対称性の相互作用を通じて、ホモトピーと微分形式の高次代数的・位相的枠組みによる微分幾何とゲージ理論の統合を図ること。

提案手法

• X における部分空間のフラグ σ を用いて、古典的ホモトピー群 π_k(X;p) が点に縮退する場合に一般化されるフラグ付きホモトピー群 Π_k(X;σ) を定義する。
• 単位元をもつ代数 A に値をとる外微分形式の微分積分法を構築し、標準的な外微分代数と微分計算を拡張する。
• これらの A-値形式に作用するコホモロジー的変換としての高次ゲージ変換を導入し、ベクター束の通常のゲージ変換を一般化する。
• 高次ゲージ作用の下での形式の閉包性として、一般化された曲率の消滅に対応する積分可能性を定義する。
• 高次ゲージ同値関係の下での同値類を分類する、積分可能形式のモジュライ空間を構成する。
• モジュライ空間の各要素が、Π_k(X;σ) から G = exp(A) への群準同型を誘導し、フラグ付きホモトピー群の表現を構成することを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的ホモトピー群 π_k(X;p) は、基底空間におけるフラグを用いて、どのように追加の幾何的構造を組み込むことができるか？
• RQ2 非可換代数 A に値をとる微分形式の適切な微分積分法とは何か？ そして、標準的な微分形式とゲージ理論的形式の両方を一般化するにはどうすればよいか？
• RQ3 高次ゲージ変換の下での A-値形式の積分可能性の条件は何か？ そして、このような積分可能性の幾何的意味は何か？
• RQ4 積分可能形式のモジュライ空間は、フラグ付きホモトピー群 Π_k(X;σ) の表現理論とどのように関係するか？
• RQ5 この枠組みは、微分形式、ゲージ理論、高次ホモトピー構造を、一つの整合的で一貫した形式的枠組みで統合できるか？

主な発見

• フラグ付きホモトピー群 Π_k(X;σ) は、古典的ホモトピー群 π_k(X;p) を一般化し、k > 1 のときにはアーベル構造をとる。
• 代数 A に値をとる外微分形式の微分積分法が構築され、A = ℝ のときには標準的な微分形式に、A がリー代数のときにはゲージ理論的1形式に還元される。
• A-値形式の積分可能性は、高次ゲージ作用の下での閉包性として定義され、一般化された曲率の消滅に対応する。
• 積分可能形式のモジュライ空間は、高次ゲージ同値関係の下での商空間として構成され、A に係数をとるコホモロジーでパrameter化される。
• モジュライ空間に属する各積分可能形式は、Π_k(X;σ) から G = exp(A) への群準同型を誘導し、フラグ付きホモトピー群の表現を確立する。
• この枠組みは、フラグ付きホモトピーと A-値形式に基づく高次圏的構造に埋め込まれることで、微分幾何学、ゲージ理論、代数的位相の統合を図る。