1. (多様体構造) M は滑らかな11次元位相多様体である。
2. (ゲージ構造) E は M 上のベクトルバンドルで、構造群 G を持つ。
3. (超対称性) M 上に32個の超対称性生成子 Q_α (α = 1, ..., 32) が存在し、以下の反交換関係を満たす:
{Q_α, Q_β} = 2(CΓ^μ)_αβ P_μ + Z_αβ
ここで C は電荷共役行列、Γ^μ はガンマ行列、P_μ は運動量演算子、Z_αβ は中心電荷。
S = ∫_M (R * 1 + 1/2 * F ∧ *F + ψ̄Γ^μ∇_μψ + ...)
ここで R はスカラー曲率、* はHodgeのスター演算子。
5. (双対性) 異なるコンパクト化 M → M' に対して、物理的に等価な理論が得られる。
エネルギーが中心電荷で下から押さえられるBPS状態が存在する。
証明:
1. 超対称性代数から、エネルギー演算子 H は以下の不等式を満たす:
H ≥ √(Z_αβ Z^αβ)
2. この不等式の等号が成り立つ状態を BPS 状態と呼ぶ。
3. 超対称性の表現論により、このような状態は必ず存在する。
M2ブレーンの張力 T_M2 は、11次元プランク長 l_p を用いて以下のように与えられる:
T_M2 = 1 / (4π²l_p³)
証明:
3. 次元解析により、張力 T_M2 の次元が [長さ]^(-3) であることがわかる。