弦の場の理論
弦の場の理論(英語:) とは、相対論的な弦の力学が場の量子論の言葉で再定式化されるような弦理論の定式化である。弦のプロパゲーター(propagator)のように、ファインマン・ダイアグラムを拡張することで、弦の散乱振幅を弦の結合と分岐の頂点の様子として見ることにより、この定式化は摂動論のレベルで完成している。大半の弦理論では、自由弦と加えられた相互作用項を第二量子化することにより得られる古典的作用に、この定式化がエンコードされている。普通の（場の理論の）第二量子化の場合と同様に、その定式化の古典場の構成は、元々の理論の波動函数により与えられる。このことは、弦の場の理論の場合も 弦の場 と呼ばれる古典的構成が、自由弦の作るフォック空間の元で与えられることを意味する。
定式化の主要な有利点は、オフシェル(off-shell)のの計算が可能なことであり、古典的作用が有効なときには、弦の散乱の標準的な種数による方法からは、直接見ることのできない非摂動的な情報をもたらすことである。特に、(Ashoke Sen)の仕事 に従うと、不安定なDブレーン(D-brane)上の(tachyon condensation)の研究に有益である。弦の場の理論は、
にも応用を持っている。
弦の場の理論は、第二量子化される弦のタイプに依存して多くの多様性を持っている。開弦の場の理論 は開弦の振幅を記述し、閉弦の場の理論 は閉弦の場の理論を記述し、開、閉弦の場の理論 開弦と閉弦の双方の場の理論を意味する。
加えて、元々の自由弦の理論でワールドシートの微分同相と共形変換をどのように固定するかに依存して、結果として現れる弦の場の理論は、非常に異なったものとなりうる。(light cone gauge)を使うと、光錐弦の場の理論 を得る。一方、(BRST quantization)を使うと 共変な弦の場の理論 を得る。これらをハイブリッドにした弦の場の理論もあり、共変光錐な弦の場の理論 と呼ばれ、光錐ゲージ固定とBRSTゲージ固定を行う弦の場の理論を使う。
弦の場の理論の最終的な形は、背景独立な開弦の場の理論 と呼ばれ、全く別の形態を取る。ワールドシートの弦理論を第二量子化することに替わり、2-次元の場の量子論の空間を第二量子化する。
光錐の弦の場の理論は(Stanley Mandelstam)により導入され、マンデルスタムやマイケル・グリーン(Michael Green)やジョン・シュワルツ(John Schwarz)やラース・ブリンク(Lars Brink)により開発された。 光錐の弦の第二量子化の明らかな記述は、ミチオ・カク(Michio Kaku)と(Keiji Kikkawa)により与えられた。
光錐の弦の場の理論は構成された最初の弦の場の理論であり、光錐ゲージの弦の散乱の単純さを基礎としている。例えば、(bosonic closed string)の場合には、ワールドシートの散乱図形は自然にファインマン図形のような形をなり、下図のように一つのプロパゲーターの2つの成分から作られる。
さらに、結合と分岐のための2つの頂点は、3つのプロパゲーターを貼り合わせを使うことができて、下図のようになる。
これらの頂点とプロパゲーターは、formula_1-点の閉弦の散乱振幅のモジュライ空間の被覆のひとつを生成するので、もはやこれ以上高い頂点は要求されない。 同じような頂点が、開弦に対しても存在する。
光錐量子化された"超弦理論"を考えると、光錐の頂点が衝突するときに発散が起きるので、議論はさらに微妙である。 整合性を持った理論とするためには、発散をキャンセルする接触項と呼ばれるより高い次数の頂点を導入する必要がある。
光錐の弦の場の理論は、明らかにローレンツ共変性(Lorentz invariance)を破るという欠点を持っている。しかし、(light-like)なキリングベクトルを持った背景では、光錐の場の理論は弦の作用の量子化を大幅に簡素化することができる。さらに、バーコビッツの弦の出現までは、これがラモン・ラモン場のある中で弦を量子化する唯一の知られた方法であった。最近の研究では、光錐の弦の場の理論はpp-ウェーブの背景での弦の理解において、重要な役割りを演ずる。
共変な弦の場の理論の構成（明らかにローレンツ共変性を持つ）での重要なステップは、共変力学項を構成することであった。この力学項は力学項自体で弦の場の理論を考えることができ、自由弦の場の理論と呼ばれる。ワロン・ジーゲル(Warron Giegel)の仕事である共変力学項の方法は、自由弦の理論を "第一" 量子化し、次に自由弦の理論の古典場が物資場と同要にゴーストを持つよう、"第二" 量子化する標準的な方法である。例えば、26次元の平坦な空間のボゾン的な開弦の場の場合は、BRST量子化された弦のフォック空間の一般的な元は、次の形を取る（上半平面の放射座標を使った量子化）。
ここに formula_3 は自由弦の真空で、ドット（"."）は質量を持つ場を表す。ワールドシートの弦理論の言葉では、formula_4, formula_5 と formula_6 が、弦の振幅が様々な状態の中にあることを表現する。第二量子化の後では、それらは、タキオン(tachyon) formula_7、ゲージ場 formula_8、ゴースト場 formula_9 を表す古典場として、替わりに解釈される。
ワールドシートの弦理論では、フォック空間の非物理的な元は、条件 formula_10 を導入することにより、等価関係 formula_11 と同様に消去される。第二量子化の後では、等価関係はゲージ不変性として解釈される。一方、formula_12 が物理的であるという条件は、運動方程式と解釈される。物理的な場はゴースト数 1 であるので、弦の場 formula_12 がフォック空間のゴースト数 1 の元であることも前提としている。
ボゾン的な開弦の場合は、適当な対称性と運動方程式を持つゲージ固定された作用が元々(André Neveu)、ヘルマン・ニコライ(Hermann Nicolai)、ピーター・ウェスト(Peter C. West)により得られている。これは、
により与えられ、formula_15 は formula_12 のBPZ-双対である。
ボゾン的な閉弦に対するBRST-不変な力学項の構成は、さらに formula_17 と formula_18 という条件を加えることが必要である。従って、力学項は、
となる。
さらに考える必要のあることは、超弦をスーパーゴーストがゼロモードであるとして扱うことである。
最も単純で最もよく研究されている共変な相互作用を持つ弦の場の理論が、エドワード・ウィッテン(Edward Witten)により構成された。この理論は、ボゾン的な開弦の力学を記述しており、3次の頂点を自由な開弦の作用に加えることにより与えられる。
ここに、自由弦の場合、formula_21 はBRST-量子化された自由なボゾン的な開弦のフォック空間のゴースト数 1 の元である。
3次の頂点
は三重の線型写像で、全体でゴースト数 3 となる3つの弦の場となっている。
非可換幾何学に動機を持っていたウィッテンに従えば、次の式によって暗に定義される formula_23-積を使うことが便利である。
formula_23-積と3次の頂点は、（下記の）いくつかの性質を満たす（formula_26 を一般的なゴースト数を持つ場としてよい）。
以上の方程式では、formula_27 で formula_21 のゴースト数を表す。
3次の頂点のこれらの性質は、formula_29 がヤン＝ミルズ理論のようなゲージ変換の下に不変であることを示すだけで十分である。
ここに formula_31 は無限小ゲージパラメータである。有限なゲージ変換は次の形をしている。
ここに指数は次で定義される。
運動方程式は、次の方程式で与えられる。（この方程式を一部の学会ではクロイター方程式(Kroyter equation)と呼ぶこともある。）
弦の場 formula_21 は通常の古典場の無限個の集りであるので、これらの方程式は非線型な微分方程式の無限個の集りを表す。（これらの方程式の）解を探すには、2つの方法がある。
ひとつは数値的な方法で、弦の場を消去し、単に固定された値よりも小さな質量を持つ場を意味するとする、「レベル消去(level truncation)」として知られている過程である。 これは運動方程式を有限個の結合された微分方程式とする過程で、多くの解の発見へつながった。
第二の方法は、マルチン・シュナーベル(Martin Schnabl)の仕事により、*-積とBRST作用素による作用の下での単純な振る舞いを持つように仮設を注意深く取り込むことで、解析的な解を得ることができるという方法である。この方法は、タキオン真空解と同様に、臨界での変形を表す解として得られることを導いた。
整合性を持って formula_29 を量子化するためには、ゲージを固定する必要がある。伝統的な（ゲージ固定の）選択はファインマンとジーゲルによるゲージ固定
である。ゲージ変換は、それ自体が冗長であるので（ゲージ変換のゲージ変換が存在する）、ゲージ固定の過程は(BV formalism)を経由し、ゴースト数無限を導入する必要がある。 完全にゲージ固定された作用は、
により与えられる。ここに場 formula_21 は"任意のゴースト数" であることが可能である。このゲージで、ファインマン・ダイアグラムが単純なプロパゲーターと頂点から構成される。プロパゲーターは幅 formula_40 と長さ formula_7 のワールドシート上の帯状領域を形を取る。
赤い線に沿って formula_42-ゴーストの積分を入れることもできる。モジュラス formula_7 は、0 から formula_44 まで積分する。
3次の頂点は次の図に示すように、3つのプロパゲーターを貼り合わせることにより記述することができる。
3次元に埋め込まれた頂点を表現するために、プロパゲーターは中線に沿って半分に折り曲げてある。その結果により得られる幾何学は、3つのプロパゲーターの中線が出会い、曲率が特異となるただ一つの点を除き、完全に平坦である。
これらのファインマン・ダイアグラムは、開弦の散乱ダイアグラムのモジュライ空間の完全な被覆空間を生みだす。このことから、オンシェルの振幅に対し、ウィッテンの開弦の場の理論を使い計算された n-個の点を持つ開弦の振幅は、通常のワールドシートの方法を使い計算された振幅と同一である。 ウィッテンの弦の場の理論を使った最初のオフシェル計算は、(Stuart Samuel)により行われた。
ウィッテンの3次の開弦の場の理論の超対称的拡張を構成する主要な方法は、2つある。一つは、ボゾンの仲間の形によく似せて構成する方法で、"変形された3次超弦理論の場の理論"(modified cubic superstring field theory)である。2つめは、(Nathan Berkovits)による全く異なった、WZWモデル(WZW model)タイプの作用をベースとした方法である。
ウィッテンの3次の開弦の場の理論のRNS弦への拡張である整合性を持つ第一の拡張は、クリスティアン・プレイトショフ、(Charles Thorn)、スコット・ヨスト、さらに独立に、イリーナ・アレフェエバ(Irina Aref'eva)、メドヴェーデフ(P. B. Medvedev)、ズバレフ(A. P. Zubarev)により得られた。 NS弦は小さなヒルベルト空間（つまり formula_45）で、ゴースト数 1 のピクチャー数 0 の弦の場の形を取る。
作用は、ボゾン的な作用に似た形をしている。
ここに、
はピクチャー数を逆にする作用素である。示唆されているピクチャー数 formula_48 の理論をラモンセクター(Ramond sector)へ拡張することは問題があるかも知れない。
この作用はツリーレベルの振幅を再現するため示され、正しいエネルギーを持つタキオン真空解を持っている。 この作用の一つの微妙な点は、中点でピクチャー数を変換する作用素を入れることで、このことは線型化された運動方程式が次の形をとることを意味する。
formula_50 は非自明な核を持っているので、formula_51 のコホモロジーにはない本質的に余剰な解が存在する。 しかし、そのような解は中点近くでの作用素の挿入かも知れないし、本質的な特異性かもしれず、この問題の重要性は未解決である。
開弦の場の全く異なった超対称的作用がナタン・バーコヴィッツにより構成されている。構成された形は、
の形をしていて、積の全てが反交換子 formula_53 を含む *-積を使い構成されており、formula_54 は formula_55 でかつ formula_56 である任意の弦の場である。弦の場 formula_57 は大きなヒルベルト空間（つまり、formula_58 のゼロモードを「意味している」）のNSセクターである。これがどのようにして R セクターと協調するのかについて知られていないが、基本的なアイデアはある。
運動方程式は
の形をしている。
作用は次のゲージ変換の下で不変である。
この作用の主な優位点は、任意のピクチャー数を変更する作用素に影響されないことである。ツリーレベルの振幅が正しく再現されていることが示されていて、数値的には適当なエネルギーを持つタキオン真空を持つことが発見されている。 古典運動方程式の唯一知られている解析解は、臨界での変形として得られる。
最小ではない純粋スピノル変数を用いた超弦の場の理論の定式は、バーコヴィッツにより導入された。 作用は3次で、核が自明である中点での挿入を意味する。純粋スピノルを用いた定式化ではいつもそうであるように、ラモンセクター(Ramond sector)は簡単に扱うことができる。しかしながら、GSO-セクターとどのように協調して定式化の中にいれるかが明らかではない。
上記で問題として提示されている変形された3次の理論の中点への挿入を解決しようとする試みの中で、バーコヴィッツとジーゲルは RNS 弦の非最小拡張を基礎とした超弦の場の理論を提案した。 理論は核が無い中点への挿入を使用している。そのような方法が、非自明な核を持つ中点の挿入よりも良い方法であるか否かは明らかではない。
共変な閉弦の場の理論は、開弦とその仲間よりも込み入っていると想定される。たとえ閉弦の間の "ツリーレベル" の相互作用を生成するだけの弦の場の理論を構成しようとしても、古典的作用が "無限" 個の頂点を含んでいる必要がある。 無限個の頂点は、弦の多面体から構成されている。
オンシェルの散乱図形が弦の結合の全てのオーダーで再現することを要求すると、同じように高い種数から発生する（従って formula_61 の高いオーダーの）頂点をさらに含まねばならない。一般には、明らかに BV 不変な量子化された作用は、次の形を取る。 
ここに、formula_63 は種数 formula_64 の曲面から発生する formula_1次のオーダーの頂点であり、formula_66 は閉弦の結合である。原理的には、頂点の構造は最小領域の処方により決定される。 しかし、多面体の頂点に対してさえ、明らかに計算されているのは4次のオーダーでしかない。
ヘテロ弦のNS セクターの定式化はバーコヴィッツ、大川、ツバイバッハ(Zwiebach)により与えられた。 この定式化は、ボゾン的な弦の場の理論とバーコヴィッツの超弦の場の理論のアマルガムである。