共形場理論(CFT)とは、共形変換に対して不変な量子場理論のことである。2次元においては、局所的な共形変換の無限次元代数が存在し、共形場理論は時に厳密に解かれたり分類されたりする。
共形場理論は、凝縮系物理学、統計力学、量子統計力学、 弦理論に重要な応用がある[ 1 ] 。統計系や凝縮系は、熱力学的または量子的な臨界点において共形不変であることが多い。
量子場理論では、スケール不変性は一般的で自然な対称性である。なぜなら、繰り込み群の任意の固定点は定義上スケール不変だからである。共形対称性はスケール不変性よりも強く、それが自然界に現れるべきだと主張するには追加の仮定[ 2 ]が必要となる。その妥当性の背後にある基本的な考え方は、局所スケール不変理論の電流が次のように与えられるということである。どこは殺傷ベクトルであり、は、ちょうど次元の保存演算子(応力テンソル)である。関連する対称性にはスケール変換が含まれるが共形変換は含まれない、トレースはゼロでない全微分でなければならず、これはちょうど次元の非保存演算子が存在することを意味する。 .
いくつかの仮定の下では、この種の非繰り込みを完全に排除することが可能であり、したがって、例えば2次元のユニタリーコンパクト共形場理論において、スケール不変性が量子場理論における共形不変性を意味することを証明することができる。
量子場理論がスケール不変であっても共形不変でないことはあり得るが 、そのような例はまれである。[ 3 ]このため、量子場理論の文脈ではこれらの用語はしばしば互換的に使用される。
2次元では独立した共形変換の数は無限ですが、高次元では有限です。このため、共形対称性は2次元においてより制約が強くなります。すべての共形場理論は、共形ブートストラップの考え方と手法を共有しています。しかし、結果として得られる方程式は、高次元(数値的手法が主流)とは対照的に、2次元ではより強力であり、場合によっては厳密に解くことができます(例えば、最小モデルの場合)。
共形場理論の発展は、特に1983年のBelavin、Polyakov、Zamolodchikovによる論文以降、2次元の場合においてより早く、より深く進展した。[ 4 ]共形場理論 という用語は、1997年の教科書のタイトルにあるように、2次元共形場理論の意味で使われることもある。 [ 5 ] 高次元共形場理論は、 1990年代後半のAdS/CFT対応と、2000年代の数値共形ブートストラップ技術の発展により、より普及した。
リーマン球面のグローバル共形群はメビウス変換 群である。は有限次元である。一方、無限小の共形変換は無限次元のウィット代数を形成する。2次元の共形キリング方程式は、コーシー・リーマン方程式のみに還元する。任意の解析座標変換のモードの無限性キリングベクトル場 の無限大を生み出す .
厳密に言えば、2次元共形場理論は、(応力テンソルを持つという意味で)局所的でありながら、大域的な不変性しか示さない可能性がある。これは非ユニタリー理論に特有のものであることが判明しました。例としては、双調和スカラーが挙げられます。 [ 6 ]この性質は、共形不変性のないスケールよりもさらに特別なものとみなされるべきです。なぜなら、完全な2階微分である。
2次元における大域共形対称性は、高次元における共形対称性の特殊な場合であり、同じ手法を用いて研究されます。これは、大域共形対称性を持つが局所共形対称性を持たない理論だけでなく、高次元共形場理論(CFT)の手法や概念を検証する目的で、局所共形対称性を持つ理論においても行われます。特に、数値ブートストラップ法は、最小モデルに適用し、その結果を局所共形対称性から導かれる既知の解析結果と比較することで検証できます。
共形不変な二次元量子論では、微小共形変換のウィット代数は中心的に拡張されなければならない。したがって、量子対称性代数はヴィラソロ代数であり、これは中心電荷と呼ばれる数に依存する。この中心拡張は、共形異常の観点からも理解することができる。
アレクサンダー・ザモロドチコフは、2次元量子場理論の繰り込み群の流れの下で単調に減少し、2次元共形場理論の中心電荷に等しい関数が存在することを示した。これはザモロドチコフのC定理として知られており、 2次元における繰り込み群の流れが不可逆であることを示している。[ 7 ]
共形不変な量子論の対称性代数は、中心拡張に加えて複素化される必要があり、その結果、ビラソロ代数の2つのコピーが生じる。ユークリッドCFTでは、これらのコピーは正則コピーと反正則コピーと呼ばれ、ローレンツCFTでは、左移動コピーと右移動コピーと呼ばれる。どちらのコピーも同じ中心電荷を持つ。
理論の状態空間は、2 つのビラソロ代数の積の表現です。理論がユニタリーであれば、この空間はヒルベルト空間になります。この空間には真空状態、あるいは統計力学では熱状態が含まれる可能性があります。中心電荷がゼロにならない限り、無限次元の共形対称性全体を破らない状態は存在できません。私たちが持つことができる最良の状態は、生成子の下で不変な状態です。ビラソロ代数の基底は。これにはジェネレーターが含まれていますグローバルな共形変換のうちの1つ。共形群の残りの部分は自発的に破れている。
与えられた時空と計量に対して、共形変換とは角度を保存する変換のことである。ここでは、平坦な時空の共形変換に焦点を当てる。次元ユークリッド空間またはミンコフスキー空間の .
もしは等角変換であり、ヤコビアン形式は
どこはスケールファクターであり、これは回転(つまり直交行列)またはローレンツ変換です。
ユークリッド空間の共形群は局所的に と同型である、ミンコフスキー空間のこれには、平行移動、回転(ユークリッド変換)、ローレンツ変換(ミンコフスキー変換)、および拡大縮小(スケール変換)が含まれます。
これには特殊な等角変換も含まれます。任意の変換に対して 、特別な共形変換が存在する
どこ反転は次のようなものです。
球体の中で反転交換と共に翻訳は残ります固定されているが、特殊な共形変換により修理済み。
対応するリー代数の交換関係は次のとおりである。
どこ翻訳を生成する、膨張を生成し、特殊な共形変換を生成し、回転またはローレンツ変換を生成します。テンソルはフラットなメトリックです。
ミンコフスキー空間では、共形群は因果律を保存しません。相関関数などの観測量は共形代数の下では不変ですが、共形群の下では不変ではありません。LüscherとMackが示したように、平坦なミンコフスキー空間をローレンツ円筒に拡張することで、共形群の下での不変性を回復することが可能です。[ 8 ]元のミンコフスキー空間は、ポアンカレパッチと呼ばれる円筒の領域と共形的に等価です。円筒内では、大域的な共形変換は因果律を破りません。代わりに、ポアンカレパッチの外に点を移動させることができます。
共形ブートストラップ法では、共形場理論は、いくつかの公理を満たす相関関数の集合である。
の-点相関関数位置の関数であるおよびフィールドのその他のパラメータブートストラップアプローチでは、フィールド自体は相関関数の文脈でのみ意味を持ち、相関関数の公理を記述するための効率的な表記法と見なすことができます。相関関数はフィールドに線形に依存し、特に .
私たちはユークリッド空間上のCFTに焦点を当てます。この場合、相関関数はシュウィンガー関数です。これらは次のように定義されます。、そして場の順序には依存しません。ミンコフスキー空間では、相関関数はワイトマン関数です。場は空間的に分離されている場合にのみ可換であるため、相関関数は場の順序に依存する可能性があります。たとえば、オスターワルダー・シュレーダーの定理のおかげで、ウィック回転によってユークリッドCFTをミンコフスキーCFTと関連付けることができます。このような場合、ミンコフスキー相関関数は、場の順序に依存する解析接続によってユークリッド相関関数から得られます。
任意の共形変換場に対して線形的に作用する、したがってこれは共形群の表現であり、相関関数は不変である。
プライマリフィールドは、自身に変化するフィールドです。主場の挙動は、数によって特徴付けられる。それを共形次元と呼び、表現回転またはローレンツ群の。主場の場合、次のようになる。
ここそしてこれらは等角変換に関連するスケールファクターと回転です。表現スカラー場の場合、これは自明であり、次のように変換される。ベクトル場の場合、表現は次のようになります。は基本的な表現であり、私たちは .
共形次元によって特徴付けられる主要な場そして代表拡大と回転によって生成された部分群からの共形群の誘導表現において、最も重みの高いベクトルとして振る舞う。特に、共形次元はこれは、拡大のサブグループの表現を特徴づけるものです。2 次元では、この誘導表現がVerma モジュールであるという事実は、文献全体にわたって現れています。より高次元の CFT (最大コンパクト部分代数がCartan 部分代数よりも大きい場合) では、この表現が放物型または一般化された Verma モジュールであることが最近認識されています。[ 9 ]
基本場の導関数(任意の次数)は子孫場と呼ばれます。共形変換の下でのそれらの振る舞いはより複雑です。たとえば、主要分野である場合、は、そして子孫場の相関関数は、主場の相関関数から導出できます。しかし、すべての場が主場かその子孫場のいずれかである一般的な場合でも、共形ブロックや演算子積展開ではすべての子孫場に関する和が含まれるため、子孫場は重要な役割を果たします。
すべての主要フィールドのコレクション、そのスケーリング次元によって特徴付けられるそして表現 は、理論のスペクトルと呼ばれます。
相関関数が共形変換に対して不変であるため、相関関数の場の位置への依存性は厳しく制限される。2点関数および3点関数の場合、その依存性は有限個の定数係数を除いて決定される。高点関数はより自由度が高く、位置の共形不変な組み合わせの関数を除いてのみ決定される。
2つの基本場の2点関数は、それらの共形次元が異なる場合に消滅する。
膨張演算子が対角化可能であれば(つまり、理論が対数的でなければ)、2点関数が対角化されるような基本場の基底が存在する。この場合、スカラー一次場の2点関数は[ 10 ]である。
ここで、共形対称性によって決定されない定数係数が 1 となるように場の正規化を選択します。同様に、非スカラー一次場の 2 点関数は、1 に設定できる係数を除いて決定されます。ランクの対称トレースレステンソルの場合、2点関数は
テンソルは次のように定義される。
3つのスカラー基本場の3点関数は
どこで、そしては3点構造定数です。必ずしもスカラーではない基本場の場合、共形対称性により有限個のテンソル構造が許容され、各テンソル構造には構造定数が存在します。2つのスカラー場とランクの対称なトレースレステンソルの場合、、テンソル構造は1つだけであり、3点関数は
ここでベクトルを導入します
スカラー一次場の4点関数は、任意の関数を除いて決定される。2つの交差比率のうち
4点関数は次のようになります[ 11 ]
演算子積展開(OPE)は、より一般的な量子場理論よりも共形場理論において強力である。これは、共形場理論では演算子積展開の収束半径が有限である(つまりゼロではない)ためである。[ 12 ]位置が与えられれば2 つのフィールドが十分に近い場合、演算子積展開は、これらの 2 つのフィールドの積を、特定の点におけるフィールドの線形結合として書き換えます。技術的な便宜のため。
2つのフィールドの演算子積展開は次の形式をとる。
どこは係数関数であり、原理的には理論内のすべての場について和をとります。(同様に、状態と場の対応関係により、状態空間内のすべての状態について和をとります。)対称性による制約、例えば共形対称性や余分な対称性などにより、実際には存在しない場もあります。
すべてのフィールドが主フィールドまたは子孫フィールドである場合、任意の子孫フィールドの寄与を対応する主フィールドの寄与で書き換えることにより、フィールドの合計を主フィールドの合計に簡略化できます。
畑がこれらはすべて主要なものであり、は3点構造定数(このためOPE係数とも呼ばれる)である。微分演算子これは導関数の無限級数であり、共形対称性によって決定されるため、原理的には既知である。
OPEを相関関数間の関係とみなすと、OPEは結合法則を満たさなければならないことがわかる。さらに、空間がユークリッド空間であれば、相関関数は体の順序に依存しないため、OPEは可換でなければならない。 .
演算子積展開の存在は、共形ブートストラップの基本公理である。しかし、一般に演算子積展開、特に微分演算子を計算する必要はない。むしろ、必要なのは相関関数を構造定数と共形ブロックに分解することである。原理的にはOPEを用いて共形ブロックを計算することも可能だが、実際にはより効率的な方法が存在する。
OPEを使用する、4点関数は3点構造定数とsチャネル共形ブロックの組み合わせとして記述できます。
共形ブロックは、主場の寄与の合計です。そしてその子孫。それは分野によって異なる。そしてそれらの位置。3点関数がまたは複数の独立したテンソル構造が関与し、構造定数と共形ブロックはこれらのテンソル構造に依存し、主場は複数の独立したブロックが寄与する。共形ブロックは共形対称性によって決定され、原理的には既知である。それらを計算するには、漸化式[ 9 ]と積分可能な手法[ 13 ]がある。
OPEを使用するまたは 、同じ4点関数はtチャネル共形ブロックまたはuチャネル共形ブロックで表されます。
sチャネル、tチャネル、uチャネルの分解が等しいことを交差対称性と呼びます。これは、一次場のスペクトルと3点構造定数に対する制約となります。
共形ブロックは、4点関数と同じ共形対称性の制約に従います。特に、sチャネル共形ブロックは関数を用いて記述できます。クロスレシオの。OPEは収束するのは、、等角ブロックは、位置のすべての(ペアワイズ一致しない)値に解析的に接続できます。ユークリッド空間では、等角ブロックは、4つの点が特定の条件を満たさない限り、位置の単一値の実解析関数です。円上に位置するが、単一転置された巡回順序[1324]にあり、このような例外的な場合にのみ、等角ブロックへの分解は収束しない。
平坦なユークリッド空間における共形場理論したがって、スペクトルによって定義される。およびOPE係数(または3点構造定数)、すべての4点関数が交差対称であるという制約を満たします。スペクトルとOPE係数(これらを総称してCFTデータと呼びます)から、任意の次数の相関関数を計算できます。
共形場理論は、その状態空間が正定値のスカラー積を持ち、膨張演算子が自己共役である場合にユニタリである。この場合、スカラー積は状態空間にヒルベルト空間の構造を与える。
ユークリッド共形場理論では、ユニタリ性は相関関数の反射正値性と等価であり、オスターワルダー・シュレーダー公理の1つである。[ 11 ]
ユニタリ性とは、一次場の共形次元が実数であり、下限を持つことを意味する。下限は時空次元に依存する。、そして主場が変換される回転またはローレンツ群の表現について。スカラー場の場合、ユニタリ性の限界は[ 11 ]である。
ユニタリ理論では、3点構造定数は実数でなければならず、これは4点関数が特定の不等式を満たすことを意味する。強力な数値ブートストラップ法は、これらの不等式を利用することに基づいている。
共形場理論は、次の3つの条件を満たす場合にコンパクトである。 [ 14 ]
(恒等場とは、相関関数に挿入しても相関関数を変更しない場のことである。すなわち、 .) この名前は、2D 共形場理論がシグマモデルでもある場合、そのターゲット空間がコンパクトである場合に限り、これらの条件を満たすという事実から来ています
すべてのユニタリー共形場理論は次元がコンパクトであると考えられている。一方、ユニタリ性がない場合、4次元[ 15 ]および4次元のCFTを見つけることが可能です。[ 16 ]連続スペクトルを持つ。そして、2次元では、リウヴィル理論はユニタリーであるがコンパクトではない。
共形場理論は、共形対称性に加えて追加の対称性を持つ可能性がある。例えば、イジングモデルは対称性があり、超共形場理論は超対称性を持つ。
一般化自由場とは、相関関数がウィックの定理によってその2点相関関数から導出される場のことである。例えば、次元のスカラー基本場である、その4点関数は[ 17 ]と読み取れる。
例えば、は、以下の2つのスカラープライマリフィールドである。(特に以下の場合は))4点関数
平均場理論は、一般化された自由場から構築される共形場理論の総称である。例えば、平均場理論は1つのスカラー基本場から構築することができる。。するとこの理論にはが含まれます 、その子孫体、および OPE \phi \phiに現れる体。 に現れる主要な体4点関数を分解することで決定できる等角ブロックでは: [ 17 ]等角寸法は: 平均場理論では、共形次元は整数を法として保存される。構造定数はガンマ関数を用いて正確に計算できる。[ 18 ]
同様に、非自明なローレンツスピンを持つ場から平均場理論を構築することも可能である。例えば、4次元マクスウェル理論(荷電物質場が存在しない場合)は、反対称テンソル場から構築された平均場理論である。スケーリング次元付き .
平均場理論は、ラプラシアンを任意の実数べき乗(場のスケーリング次元を決定する)で累乗した二次作用によるラグランジュ記述を持つ。一般的なスケーリング次元の場合、ラプラシアンのべき乗は整数ではない。したがって、対応する平均場理論は非局所的である(例えば、保存応力テンソル演算子を持たない)。
臨界イジングモデルは、 2次元または3次元の超立方格子上のイジングモデルの臨界点です。グローバル対称性は、すべてのスピンを反転させることに対応する。2次元臨界イジングモデルには、厳密に解けるビラソロ最小モデル。3次元臨界イジングモデルは厳密には解けないが、その普遍性クラスは臨界3Dイジングモデルの磁化だけでなく、臨界点における流体の臨界オパール現象も記述する。イジングCFTは存在しない。寸法。
重要なポッツモデルcolors は置換群の 下で不変なユニタリ CFT です。これは臨界イジングモデルの一般化であり、以下に対応する。。重要なポッツモデルは、以下に応じてさまざまな次元で存在します。 .
臨界ポッツモデルは、 d次元超立方格子上のポッツモデルの連続体極限として構築できる。クラスターの観点からの Fortuin-Kasteleyn の再定式化では、ポッツモデルは次のように定義できる。、ただし、それはユニタリではありません。整数ではありません。
臨界O( N ) モデルは直交群の下で CFT 不変である。任意の整数に対して、それは相互作用するユニタリーかつコンパクトなCFTとして存在します。寸法(および(2次元の場合も同様)。これは臨界イジングモデルの一般化であり、 のO(N) CFTに対応する。 .
O( N )CFTは、 Nベクトルであるスピンを持つ格子モデルの連続体極限として構築することができ、これはnベクトルモデルと呼ばれます。
あるいは、重要なモデルは次のように構築できます。ウィルソン・フィッシャー固定点の極限寸法。、ウィルソン・フィッシャー固定点は、テンソル積となる。次元を持つ自由スカラー。問題のモデルは非ユニタリーである。[ 19 ]
Nが大きい場合、O( N ) モデルは、ハバード–ストラトノビッチ変換によって1/ N展開で摂動的に解くことができます。特に、臨界O( N )モデルの限界はよく理解されている。
臨界 O( N ) モデルの共形データはNと次元の関数であり、それについては多くの結果が知られています。[ 20 ]
3次元および4次元の共形場理論の中には、アーベルまたは非アーベルのゲージ理論の形でラグランジアン記述を許容するものもある。そのような共形場理論の例としては、十分な数の荷電場を持つ共形QEDなどがある。またはバンクス・ザックス固定点 .
D次元空間を持つ古典統計物理系の連続相転移(臨界点)は、しばしばユークリッド共形場理論によって記述される。このために必要条件となるのは、臨界点が空間回転と並進に対して不変であることである。しかし、この条件は十分条件ではない。例外的な臨界点の中には、スケール不変ではあるが共形不変ではない理論によって記述されるものもある。古典統計物理系が反射正であれば、その臨界点を記述する対応するユークリッド共形場理論はユニタリーとなる。
D次元空間を持つ凝縮系における連続的な量子相転移は、ローレンツ型のD+1次元共形場理論(ウィック回転によってD +1次元のユークリッド共形場理論と関連付けられる)によって記述される。並進不変性と回転不変性に加えて、この現象が起こるためのもう一つの必要条件は、動的臨界指数zが1に等しいことである。このような量子相転移を記述する共形場理論(クエンチド無秩序が存在しない場合)は常にユニタリーである。
弦理論の世界面記述は、動的な2次元量子重力(超弦理論の場合は超重力)と結合した2次元共形場理論(CFT)を含む。弦理論モデルの一貫性は、このCFTの中心電荷に制約を課し、ボソン弦理論ではc = 26 、超弦理論ではc = 10となるべきである。弦理論が存在する時空の座標は、このCFTのボソン場に対応する。
共形場理論は、 AdS/CFT対応において重要な役割を果たします。この対応では、反ド・ジッター空間(AdS)における重力理論は、AdS境界上の共形場理論と等価です。注目すべき例としては、 AdS 5 × S 5上のタイプIIB弦理論と双対であるd = 4、N = 4超対称ヤン・ミルズ理論、およびAdS 4 × S 7上のM理論と双対であるd = 3、N = 6超チャーン・サイモンズ理論が挙げられます。(接頭辞「super」は超対称性を表し、Nは理論が持つ拡張超対称性の度合いを表し、 dは境界上の時空次元の数を表します。)
共形場理論に摂動を加えることで、共形場理論であるか否かを問わず、他の場理論を構築することが可能となる。それらの相関関数は、共形摂動理論と呼ばれる手法を用いて、元の共形場理論の相関関数から摂動的に計算することができる。
例えば、摂動の一種として、共形場理論を離散時空上で研究することによって離散化する方法がある。結果として生じる有限サイズ効果は、共形摂動理論を用いて計算することができる。[ 21 ]