[論文レビュー] Scattering amplitudes of stable curves

Jenia Tevelev|arXiv (Cornell University)|Jul 8, 2020

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、$τ$-曲線上の有理型形式の留数が、質量ゼロの粒子の運動量保存的配置に対応することを示し、$τ$-曲線のモジュライ空間$M_{0,n}$でパrametrizedされた、ノードを持つ有理型曲線上の有理型形式の留数が、$τ$-曲線のPicard群上のtorsor上の標準体積形式から生じる散乱振幅形式に対応することを示している。$τ$-曲線上の有理型形式の留数は、質量ゼロの粒子の運動量保存的配置に対応し、散乱振幅形式は、曲線のPicard群上のtorsor上の標準体積形式から生じる。

ABSTRACT

Equations of hypertree divisors on the Grothendieck-Knudsen moduli space of stable rational curves, introduced by Castravet and Tevelev, appear as numerators of scattering amplitude forms for n massless particles in N=4 Yang-Mills theory in the work of Arkani-Hamed, Bourjaily, Cachazo, Postnikov and Trnka. Rather than being a coincidence, this is just the tip of the iceberg of an exciting relation between algebraic geometry and high energy physics. We interpret leading singularities of scattering amplitude forms of massless particles as probabilistic Brill-Noether theory: the study of statistics of images of n marked points under a random meromorphic function uniformly distributed with respect to the translation-invariant volume form of the Jacobian. We focus on the maximum helicity violating regime, which leads to a beautiful physics-inspired geometry for various classes of algebraic curves: smooth, stable, hyperelliptic, real algebraic, etc.

研究の動機と目的

• 高エネルギー物理学における散乱振幅と代数幾何学を結ぶ幾何的枠組みを確立すること。特に、安定有理曲線のモジュライ空間を通じて。
• 散乱振幅の主要特異点を、曲線上のランダムな有理型関数の下での有理型形式の留数の統計として解釈すること。
• ノードを持つ曲線にマークされた点を持つ場合、$τ$-Yang–Mills理論における運動量保存則が、自然に留数定理から生じることを示すこと。
• $X(k,n)$（MHVの場合に$M_{0,n}$と同型）における散乱振幅形式が、曲線のPicard群上のtorsor上の標準体積形式を通じて、Grassmannian $G(k,n)$における主要特異点形式と等価であることを示すこと。
• スピンループヘルシティ形式を、安定曲線上の線束とその正則切断を用いた幾何的実現として与えること。特に、運動量データを符号化する自明化を含む。

提案手法

• 安定曲線$C$上で、ランダムなテンソル積因子分解$\omega_C(p_1+\cdots+p_n) = L \otimes \tilde{L}$を用いる。ここで$L$と$\tilde{L}$は、それぞれ次数$d$と$\tilde{d}$の線束であり、$d + \tilde{d} = 2g - 2 + n$を満たす。
• 特にノードを持つ有理型曲線の場合、$\operatorname{Pic}^0 C \simeq (\mathbb{C}^*)^g$であるため、Jacobianの平行移動不変体積形式を用いて$\operatorname{Pic}^d C$上に一様確率測度を導入する。
• 正則切断$s_\alpha \in H^0(C,L)$、$\tilde{s}_{\tilde{\alpha}} \in H^0(C,\tilde{L})$から、$2 \times 2$行列の対数形式$\omega_{\alpha\tilde{\alpha}} = s_\alpha \otimes \tilde{s}_{\tilde{\alpha}}$を構成する。ここで$|I| = |\tilde{I}| = 2$である。
• 留数ベクトル$\operatorname{Res}_{p_i} \omega_{\alpha\tilde{\alpha}}$を、4次元ミンコフスキー空間内の質量ゼロ粒子の運動量として特定し、複素化された光円錐$\mathbb{L} \subset \operatorname{Mat}_{2,2}$に位置することを示す。
• 曲線の$\mathbb{C}^*$-torsor$\widehat{\operatorname{Pic}}^\vec{d} C$からGrassmannian $G(k,n)$への有理写像$\hat{\Lambda}$を定義し、その像がスピンループ変数の行列の行空間に対応することを示す。
• 散乱振幅形式を、$(\mathbb{C}^*)^{2v}/(\mathbb{C}^*)^i$上の標準$d\log$形式の引き戻しとして導出し、振幅における運動量保存則とオンシェル条件をデルタ関数を用いて符号化する。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{N}=4$ Yang–Mills理論における散乱振幅の主要特異点を、代数曲線の観点からどのように幾何学的に解釈できるか。
• RQ2 安定有理曲線のモジュライ空間が、質量ゼロの粒子の運動量保存的配置をどのように符号化しているか。
• RQ3 安定曲線上の線束と切断のランダム選択が、散乱振幅の確率分布をどのように生じさせるか。
• RQ4 ノードを持つ曲線の双対グラフの構造が、どのようにオンシェル図の散乱振幅に対応するか。
• RQ5 $X(k,n)$における散乱振幅形式が、$\widehat{\operatorname{Pic}}^\vec{d} C$上の標準体積形式およびGrassmannian $G(k,n)$とどのように関係しているか。

主な発見

• $X(k,n)$における散乱振幅形式—特にMHVの場合($k=2$)には$M_{0,n}$と同型—は、$(\mathbb{C}^*)^{2v}/(\mathbb{C}^*)^i$上の標準$d\log$形式を介して、$G(k,n)$における主要特異点形式と等価であることが示された。
• 6つのマークされた点をもつ genus 4 の曲線と、次数6の線束$L$に対して、$\operatorname{Pic}^6 C \to X(3,6)$への有理写像$\Lambda$は、明確な次数を持つ。これは、論文で提示された「666パズル」の解である。
• この構成は可逆である。双対グラフの各頂点で運動量保存則を満たす（2つの隣接運動量が比例しない）運動量データが与えられたとき、$L \otimes \tilde{L}$の因子分解と、$s_\alpha, \tilde{s}_{\tilde{\alpha}}$の切断が再構成可能であり、その留数が与えられた運動量を与える。
• スピンループ変数$\lambda_i, \tilde{\lambda}_i$は、$L$と$\tilde{L}$のマークされた点における自明化によって符号化され、運動量$\mathbb{p}_i = \lambda_i \tilde{\lambda}_i^T$を形成する。
• Grassmannian上の小トーラス$(\mathbb{C}^*)^n$の作用は、自明化のスケーリングに対応し、商写像$\pi: G(k,n) \to X(k,n)$は、$\operatorname{dlog}$形式を介して振幅形式を回復する。
• 最大に退化した場合、$\widehat{\operatorname{Pic}}^\vec{d} C$の次元は$2v - i$である。ここで$v$は成分数、$i$は内部エッジ数である。この空間は$(\mathbb{C}^*)^{2v}/(\mathbb{C}^*)^i$と同型であり、$\operatorname{dlog}$形式は[Grass]で知られている振幅公式と一致する。