[論文レビュー] Higher laminations, webs and N=2 line operators

Dan Xie|arXiv (Cornell University)|Apr 8, 2013

Matrix Theory and Algorithms参考文献 60被引用数 28

ひとこと要約

本稿は、6次元 $A_{N-1}$ $(2,0)$ 理論をリーマン面にエンジニアリングし、欠損を伴う場合に、4次元 $σ=2$ 理論における半BPS線型オペレーターの幾何的・代数的分類を確立する。『高階ラミネーション』—3重接続を持つ非可約双色ウェブ—をUV線型オペレーターの幾何的実現として導入し、それらの期待値がクラスター $X$ 座標（IRコブラー枝パラメータ）における正のラテン多項式として与えられることを特定する。さらに、それらのオペレーター積展開（OPE）を支配する高ランクのスキーント式を導出する。主な貢献は、高ランクティヒミュラー理論、クラスター代数、および $σ=2$ SCFTにおけるBPS線型オペレーターを統一的に結びつけるフレームワークを提供することにある。

ABSTRACT

A detailed study of half-BPS line operators of higher rank 4d N=2 theory engineered from six dimensional A_{N-1} (2,0) theory on a bordered Riemann surface with full marked points is performed. Geometrically, each 4d UV line operator is represented by an irreducible bipartite web formed by three junctions on Riemann surface, and such web structure is called higher lamination. Algebraically, the space of UV line operators is identified with the integral tropical a coordinates of the corresponding PGL(N,C) local system, and the space of IR line operator is identified with the cluster X coordinates of SL(N.C) local system. The expectation value of UV line operator at Coulomb branch parameterized by X coordinates is calculated, and the result is a positive Laurent polynomial in X. Using the expectation values, we calculate the operator product expansion (OPE) between the line operators, which is then represented geometrically by higher rank Skein relations. We also calculate the Poisson brackets of these line operators, and Frenchel-Nielson type coordinates are constructed for Higher Teichmuller space, etc.

研究の動機と目的

• 境界付きのリーマン面上に完全なマークドポイントを持つ6次元 $A_{N-1}$ $(2,0)$ 理論から構成された高ランク4次元 $σ=2$ 理論における半BPS線型オペレーターの分類。
• 標準的ウィルソン線では強い結合状態および非ラグラジアン系を捉えきれないという限界を補うために、3重接続を持つウェブ的構成を導入すること。
• UV線型オペレーターと $̟\text{GL}(N,\mathbb{C})$ 局所系の整数的トロピカル $a$-座標の間の対応関係を確立し、IR線型オペレーターと $\text{SL}(N,\mathbb{C})$ 局所系のクラスター $X$-座標の間の関係を特定すること。
• クラスター変数における正のラテン多項式として表される期待値を用いて、線型オペレーターのオペレーター積展開（OPE）を導出し、それをウェブ構造を通じて幾何的にOPEを符号化する高ランクスキーント式を導出すること。

提案手法

• UV線型オペレーターを、リーマン面上の非可約双色ウェブ（3重接続付き）として幾何的にモデル化し、これを『高階ラミネーション』と呼ぶ。これは $N=2$ の古典的ラミネーションを一般化する。
• 代数的に、UV線型オペレーターの空間を、リーマン面上の装飾 $\text{PGL}(N,\mathbb{C})$ 局所系のモジュライ空間の整数的トロピカル $a$-座標と同一視する。
• UV線型オペレーター $\cal L$ の期待値 $\text{I}({\cal L})$ をコブラー枝上で表すと、クラスター $X$-座標における正のラテン多項式となり、主項が $\prod X_i^{a_i}$ となる。
• $\text{PGL}(N,\mathbb{C})$ と $\text{SL}(N,\mathbb{C})$ 局所系の間の標準的写像を用いて、線型オペレーターのOPEを $\text{I}({\cal L}_1)*\text{I}({\cal L}_2) = \sum_{\cal L} \text{C}_{{\cal L}_1{\cal L}_2}^{\cal L} \text{I}({\cal L})$ として定義する。ここで構造定数 $\text{C}_{{\cal L}_1{\cal L}_2}^{\cal L}$ は正の整数である。
• OPEを幾何的に符号化する高ランクスキーント式を導出し、これは古典的ケイトン理論におけるスキーント式を高ランクゲージ群に一般化する。
• クラスター $X$-座標とウェブ構造を用いて、高ランクティヒミュラー空間にフランスル・ニーレン型座標を構成し、モジュライ空間のグローバル記述を可能にする。

実験結果

リサーチクエスチョン

• RQ1 高ランク4次元 $σ=2$ 理論における半BPS線型オペレーターは、標準的ウィルソン線を超えて、どのように幾何的に分類可能か？
• RQ2 UVおよびIR線型オペレーターの空間に内在する代数的構造は何か？ そして、クラスター代数および局所系とどのように関係するか？
• RQ3 線型オペレーターのOPEはどのように生じるか？ また、ウェブ構成を用いて幾何的に符号化可能か？
• RQ4 UV線型オペレーターの期待値とリーマン面上の $\text{SL}(N,\mathbb{C})$ 局所系のクラスター $X$-座標との正確な関係は何か？
• RQ5 線型オペレーターのOPEをウェブ再結合の観点から記述する高ランク一般化スキーント式を導出可能か？

主な発見

• UV線型オペレーター $\cal L$ の期待値 $\text{I}({\cal L})$ は、クラスター $X$-座標における正のラテン多項式であり、主項が $\prod X_i^{a_i}$ である。ここで $a_i$ はトロピカル $a$-座標である。
• 2つの線型オペレーターのOPEは有限であり、正の整数構造定数 $\text{C}_{{\cal L}_1{\cal L}_2}^{\cal L}$ によって符号化される。特に $\text{C}_{{\cal L}_1{\cal L}_2}^{{\cal L}_1+{\cal L}_2} = 1$ であり、一貫したフュージョン代数が確認される。
• OPEを幾何的に記述する高ランクスキーント式が導出され、$N=3$ および $I(I_2)$ や $I(2\omega_1)$ といった特定の線型オペレーターについて、クラスター変数の単項式の和として明示的な例が提供される。
• 4次元半BPS線型オペレーターの空間は、リーマン面上の非可約双色ウェブ（高階ラミネーション）によってグローバルに記述可能であり、接続点は $\text{SL}(N,\mathbb{C})$ 表現に対応する。
• クラスター $X$-座標とウェブ幾何に基づいて、高ランクティヒミュラー空間に新しい座標系（フランスル・ニーレン型座標の一般化）が得られる。
• $\text{I}(I_2)$ および $\text{I}(2\omega_1)$ の明示的公式が導出され、それぞれ24および30個の単項式の和として表され、すべての係数が正である。これにより、OPE構造定数の正値性と整数性が裏付けられる。