  |
はてなキーワード: 場の量子化とは
以下は、M理論と超弦理論の幾何学を抽象化した数学的枠組みでのモデル化について述べる。
まず、物理的対象である弦や膜を高次の抽象的構造としてモデル化するために、∞-圏論を用いる。ここでは、物理的プロセスを高次の射や2-射などで表現する。
∞-圏 𝒞 は、以下を持つ：
これらの射は、合成や恒等射、そして高次の相互作用を満たす。
次に、デリーブド代数幾何学を用いて、空間や場の理論をモデル化する。ここでは、デリーブドスタックを使用する。
デリーブドスタック 𝒳 は、デリーブド環付き空間の圏 𝐝𝐀𝐟𝐟 上の関手として定義される：
𝒳 : 𝐝𝐀𝐟𝐟ᵒᵖ → 𝐒
ここで、𝐒 は∞-グルーポイドの∞-圏（例えば、単体集合のホモトピー圏）である。
物理的なフィールドやパーティクルのモジュライ空間は、これらのデリーブドスタックとして表現され、コホモロジーやデリーブドファンクターを通じてその特性を捉える。
非可換幾何学では、空間を非可換代数 𝒜 としてモデル化する。ここで、スペクトラルトリプル (𝒜, ℋ, D) は以下から構成される：
作用素 D のスペクトルは、物理的なエネルギーレベルや粒子状態に対応する。幾何学的な距離や曲率は、𝒜 と D を用いて以下のように定義される：
∞-トポス論は、∞-圏論とホモトピー論を統合する枠組みである。∞-トポス ℰ では、物理的な対象やフィールドは内部のオブジェクトとして扱われる。
フィールド φ のグローバルセクション（物理的な状態空間）は、次のように表される：
Γ(φ) = Homℰ(1, φ)
ここで、1 は終対象である。物理的な相互作用は、これらのオブジェクト間の射としてモデル化される。
ゲージ対称性やその高次構造を表現するために、L∞-代数を用いる。L∞-代数 (L, {lₖ}) は次元付きベクトル空間 L = ⊕ₙ Lₙ と多重線形写像の族 lₖ からなる：
lₖ : L⊗ᵏ → L, deg(lₖ) = 2 - k
∑ᵢ₊ⱼ₌ₙ₊₁ ∑ₛᵢgₘₐ∈Sh(i,n-i) (-1)ᵉ⁽ˢⁱᵍᵐᵃ⁾ lⱼ ( lᵢ(xₛᵢgₘₐ₍₁₎, …, xₛᵢgₘₐ₍ᵢ₎), xₛᵢgₘₐ₍ᵢ₊₁₎, …, xₛᵢgₘₐ₍ₙ₎) = 0
ここで、Sh(i,n-i) は (i, n - i)-シャッフル、ε(sigma) は符号関数である。
これにより、高次のゲージ対称性や非可換性を持つ物理理論をモデル化できる。
安定ホモトピー理論では、スペクトラムを基本的な対象として扱う。スペクトラム E は、位相空間やスペースの系列 {Eₙ} と構造写像 Σ Eₙ → Eₙ₊₁ からなる。
πₙˢ = colimₖ→∞ πₙ₊ₖ(Sᵏ)
ここで、Sᵏ は k-次元球面である。これらの群は、物理理論における安定な位相的特性を捉える。
物理的な相関関数は、コホモロジー類を用いて以下のように表現される：
⟨𝒪₁ … 𝒪ₙ⟩ = ∫ₘ ω𝒪₁ ∧ … ∧ ω𝒪ₙ
ここで、ℳ はモジュライ空間、ω𝒪ᵢ は観測量 𝒪ᵢ に対応する微分形式またはコホモロジー類である。
先に述べた抽象数学的枠組みを用いて、M理論の重要な定理であるM理論とIIA型超弦理論の双対性を導出する。この双対性は、M理論が11次元での理論であり、円 S¹ に沿ってコンパクト化するとIIA型超弦理論と等価になることを示している。
時空間の設定：
H•(ℳ₁₁, ℤ) ≅ H•(ℳ₁₀, ℤ) ⊗ H•(S¹, ℤ)
これにより、11次元のコホモロジーが10次元のコホモロジーと円のコホモロジーのテンソル積として表される。
C-場の量子化条件：
M理論の3形式ゲージ場 C の場の強度 G = dC は、整数係数のコホモロジー類に属する。
[G] ∈ H⁴(ℳ₁₁, ℤ)
デリーブド代数幾何学では、フィールド C はデリーブドスタック上のコホモロジー類として扱われる。
非可換トーラスの導入：
円 S¹ のコンパクト化を非可換トーラス 𝕋θ としてモデル化する。非可換トーラス上の座標 U, V は以下の交換関係を満たす。
UV = e²ᵖⁱθ VU
非可換トーラス上のK-理論群 K•(𝕋θ) は、Dブレーンのチャージを分類する。
K•(ℳ₁₁) ≅ K•(ℳ₁₀)
𝕊ₘ ≃ Σ𝕊ᵢᵢₐ
ここで、Σ はスペクトラムの懸垂（suspension）函手である。
デリーブド代数幾何学、非可換幾何学、および安定ホモトピー理論の枠組みを用いると、11次元のM理論を円 S¹ 上でコンパクト化した極限は、IIA型超弦理論と数学的に等価である。
(b) 非可換性の考慮
