[論文レビュー] Curved Beta-Gamma Systems and Quantum Koszul Resolution

Pietro Antonio Grassi, Giuseppe Policastro|ArXiv.org|Feb 15, 2006

Algebraic structures and combinatorial models参考文献 19被引用数 5

ひとこと要約

この論文は、量子コシュール解体を用いて、ホロモルフィック制約を持つ曲がったベータ・ガンマ系の分配関数を計算する経路積分の定式化を開発する。グレーディング数を導入し、このグレーディングの逆数を除去することで、共役運動量が幾何的解釈を損なう場合でも、正しいコホモロジーと特徴関数が回復されることを示している。2次元、コンパクト化、スーパーコンパクト化のモデルで妥当性が検証された。

ABSTRACT

We consider the partition function of beta-gamma systems in curved space of the type discussed by Nekrasov and Witten. We show how the Koszul resolution theorem can be applied to the computation of the partition functions and to characters of these systems and find a prescription to enforce the hypotheses of the theorem at the path integral level. We illustrate the technique in a few examples: a simple 2-dimensional target space, the N-dimensional conifold, and a superconifold. Our method can also be applied to the Pure Spinor constraints of superstrings.

研究の動機と目的

• 標準的なコホモロジカル手法が共役運動量のため失敗する場合に、曲がったベータ・ガンマ系にホロモルフィック制約を課した分配関数を計算する課題を解決すること。
• 純スピン子スーパーストリング理論や制約付きシグマ模型の文脈において、コシュール解体定理を量子場の理論に拡張すること。
• コホモロジーと特徴関数の計算を正しく保ちながら、コシュール定理を経路積分レベルで体系的に実装すること。
• 具体的な例（2次元の標的空間、N次元のコンパクト化、スーパーコンパクト化）に対してこの方法を適用し、レベルごとの整合性を検証すること。
• グレーディングと正則化の役割を明らかにし、余分な極を除去しながら物理的スペクトルと特徴関数構造を保つこと。

提案手法

• 補助的なゴースト・フォア・ゴースト場を導入することで、曲がったベータ・ガンマ系の場に制約を課すためにコシュール解体定理を適用する。
• ゴースト場と共役運動量からの寄与を追跡できるグレーディング量子数を導入し、物理的状態と非物理的寄与を分離可能にする。
• 正則化の手続きを実装：分配関数からグレーディング変数のすべての逆数の項を除去することで、非物理的極を排除する。
• 自由場の寄与の積として分配関数を構成し、制約を強制するための極限（例：s → t）をとった後、正則部分を抽出する。
• ゼロモードの数え上げに局在化技術を用い、レベルごとのスペクトル解析と照合することで整合性を検証する。
• 特徴関数と等化されたオイラー指標の解釈を用いて結果を検証し、特に質量なしレベルで確認する。

実験結果

リサーチクエスチョン

• RQ1 ホロモルフィック制約を持つ曲がったベータ・ガンマ系に対して、量子経路積分レベルでコシュール解体定理を一貫して適用する方法は何か？
• RQ2 グレーディング量子数は、共役運動量に起因する非物理的寄与と物理的状態を区別する上で果たす役割は何か？
• RQ3 共役運動量を単純に含めるとなぜ誤ったコホモロジーが得られるのか？正則化によってどのように是正できるか？
• RQ4 スペクトルは制約の多項式形にどの程度依存するか？また、これは異なる質量レベルでの特徴関数にどのように現れるか？
• RQ5 この方法は、純スピン子スーパーストリング理論における還元可能な制約へ一般化可能か？

主な発見

• グレーディング変数の逆数を除去する手続きにより、コホモロジーが自明または空集合であっても、正しい分配関数と特徴関数が得られる。
• 2次元モデルでは、(i)の場合、無限大に発散するη, η̄モードのためtの負のべきが含まれるが、(ii)の対称的割り当てでは正則な表現が得られる。
• 1レベル目では、Z₁⁽ⁱ⁾(t) = 2 − 2/t − t² + t⁴ と Z₁⁽ⁱⁱ⁾(t) = 1 − t² + t⁴ は、それぞれ電流と共役運動量を含むか、ゲージ不変電流のみを含むという物理的内容の違いを示している。
• スーパーコンパクト化モデルでは、ボソン的電流が5つ、フェルミオン的電流が4つあり、ゴーストでない状態のレベルで、2つの場合の状態間に一対一の対応がある。
• ゼロモードの特徴関数は、制約多項式の次数にのみ依存し、その具体的な形には依存しない。これは、コシュール複体におけるゴーストの電荷割り当てによるものである。
• 最初の質量レベルでは、制約の正確な形に依存する。これは、独立なゲージ不変演算子の数に現れる。