[논문 리뷰] Scattering amplitudes of stable curves

Jenia Tevelev|arXiv (Cornell University)|2020. 07. 08.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 $χ=4$ 양-밀스 이론에서 산산각의 깊은 연결 고리를 알제브라 기하학과 설정한다. 산산각의 주요 특이점은 안정 곡선 위의 확률적 브릴-노이만 이론으로 해석된다. 이는 노드가 있는 유리 곡선 위의 유리형 함수의 잔여치가 질량이 없는 입자들의 운동량 보존 구성과 대응되며, 산산각의 형태는 곡선의 피카르 군 위의 토르소 위의 표준 부피 형식에서 유도된다는 것을 보여준다.

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.

연구 동기 및 목표

• 고에너지 물리학에서 산산각을 알제브라 기하학과 연결하는 기하학적 프레임워크를 수립하는 것.
• 산산각의 주요 특이점이 곡선 위의 무작위 유리형 함수에 대한 유리형 함수의 잔여치 통계로 해석되는 방식을 제시하는 것.
• 노드가 있는 곡선 위의 표본점이 있는 경우, $χ=4$ 양-밀스 이론에서 운동량 보존 법칙이 유리형 함수의 잔여치 정리로부터 자연스럽게 유도됨을 보여주는 것.
• 산산각의 형태가 $X(k,n)$에서 (MHV 경우에 $M_{0,n}$과 동형) 그라스만이안 $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$ 이므로, 아벨-자코비의 군의 이동 불변 부피 형식을 통해 $\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}^*$-토르소 $\widehat{\operatorname{Pic}}^\vec{d} C$ 에서 그라스만이안 $G(k,n)$ 으로 가는 유리 함수 $\hat{\Lambda}$ 를 정의한다. 이의 상은 스핀어 변수 행렬의 행공간에 대응한다.
• 산산각의 형태는 $(\mathbb{C}^*)^{2v}/(\mathbb{C}^*)^i$ 위의 표준 $\operatorname{dlog}$ 형식의 역상으로 유도되며, 이는 산산각의 운동량 보존과 온-쉘 조건을 델타 함수를 통해 코딩한다.

실험 결과

연구 질문

• RQ1 산산각의 주요 특이점은 어떤 방식으로 알제브라 곡선의 기하학적 해석을 받을 수 있는가? ($\mathcal{N}=4$ 양-밀스 이론에서)
• RQ2 안정 유리 곡선의 매개수 공간은 질량이 없는 입자들의 운동량 보존 구성에 어떻게 정보를 담고 있는가?
• RQ3 안정 곡선 위에서 선다발과 단면의 무작위 선택이 산산각의 확률 분포를 어떻게 유도하는가?
• RQ4 노드 곡선의 이중 그래프의 구조는 산산각의 온-쉘 다이어그램과 어떤 방식으로 대응하는가?
• RQ5 산산각의 형태 $X(k,n)$ 은 토르소 $\widehat{\operatorname{Pic}}^\vec{d} C$ 와 그라스만이안 $G(k,n)$ 의 표준 부피 형식과 어떻게 관련되어 있는가?

주요 결과

• 산산각의 형태 $X(k,n)$—MHV 경우 ($k=2$)에선 $M_{0,n}$ 과 동형—은 $(\mathbb{C}^*)^{2v}/(\mathbb{C}^*)^i$ 위의 표준 $\operatorname{dlog}$ 형식을 통해 그라스만이안 $G(k,n)$ 위의 주요 특이점 형태와 동치임을 보였다.
• 차수 6의 선다발 $L$ 과 6개의 표본점이 있는 종수 4의 곡선에서, $\operatorname{Pic}^6 C \to X(3,6)$ 으로 가는 유리 함수 $\Lambda$ 는 잘 정의된 차수를 가지며, 이는 논문에서 제기된 '666 퍼즐'의 해답이다.
• 이 구성은 역으로 가능하다: 이중 그래프의 각 정점에서 운동량 보존 조건을 만족시키며, 두 인접한 운동량이 서로 비례하지 않는 운동량 자료가 주어지면, 해당 운동량을 유도하는 인수 분해 $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$ 로 표현된다.
• 그라스만이안 위의 리틀 토르스 $(\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] 에서 알려진 산산각 공식과 일치한다.