[논문 리뷰] The superstring cosmological constant and the Schottky form in genus 5

Samuel Grushevsky, Riccardo Salvati Manni|arXiv (Cornell University)|2008. 09. 08.

Black Holes and Theoretical Physics참고 문헌 27인용 수 7

한 줄 요약

이 논문은 고리수 5에서 제안된 카이랄 초끈 이론 측도에 대한 우주상수를 모듈라 형식과 쇼트키-장 관계를 이용해 조사한다. 우주상수가 항상 0이 아니라는 것을 증명하여 오랫동안 제기된 추측을 뒤집고, 인수분해 조건과 우주상수가 0이 되는 조건을 만족하는 수정된 안사트를 제시한다.

ABSTRACT

Combining certain identities for modular forms due to Igusa with Schottky-Jung relations, we study the cosmological constant for the recently proposed ansatz for the chiral superstring measure in genus 5. The vanishing of this cosmological constant turns out to be equivalent to the long-conjectured vanishing of a certain explicit modular form of genus 5 on the moduli of curves M_5, and we disprove this conjecture, thus showing that the cosmological constant for the proposed ansatz does not vanish identically. We exhibit an easy modification of the genus 5 ansatz satisfying factorization constraints and yielding a vanishing cosmological constant. We also give an expression for the cosmological constant for the proposed ansatz that should hold for any genus if certain generalized Schottky-Jung identities hold.

연구 동기 및 목표

• 제안된 고리수 5 초끈 이론의 카이랄 초끈 측도에 대한 우주상수가 0이 되는지 결정하는 것.
• 모듈라 형식 $ F_5 = (f_4^{(5)})^2 - f_8^{(5)} $ 가 곡선의 모듈리 공간 $ \mathcal{M}_5 $ 에서 0이 되는가에 대한 추측의 타당성을 조사하는 것. 이는 우주상수가 0이 되는 것과 동치이다.
• 고리수 5에서 인수분해 조건을 만족하고 우주상수가 0이 되는 수정된 안사트를 구성하는 것.
• 고리수를 더 높이 일반화한 쇼트키-장 항등식의 가능성을 탐색하고, 이로 인한 우주상수에 대한 영향을 조사하는 것.

제안 방법

• 모듈라 형식에 대한 이구사의 항등식과 쇼트키-장 관계를 조합하여 고리수 5에서의 우주상수를 분석하는 것.
• 제안된 안사트의 우주상수를 $ (f_4^{(5)})^2 - f_8^{(5)} $ 를 포함하는 선형 조합으로 표현하여, 이 모듈라 형식이 $ \mathcal{M}_5 $ 에서 0이 되는 것과 우주상수가 0이 되는 것이 동치임을 보이는 것.
• 스칼라 특성과 모듈라 형식의 명시적 계산을 통해 우주상수를 평가하고 추측을 검증하는 것.
• 우주상수의 행동을 저차원 고리수로의 분리에 대해 분석하기 위해 시겔 $ \Phi $-연산자를 적용하는 것.
• 일반화된 쇼트키-장 항등식을 가정할 경우 임의의 고리수 $ g $ 에서의 우주상수의 일반화된 형태를 유도하는 것.
• 우주상수가 0이 되도록 보장하기 위해 $ (f_4^{(5)})^2 - f_8^{(5)} $ 의 배수를 $ c = \frac{38192}{17} $ 으로 추가하여 수정된 안사트 $ \Xi'^{(5)} $ 를 구성하는 것.

실험 결과

연구 질문

• RQ1 제안된 고리수 5 초끈 이론 안사트에 대한 우주상수가 항상 0이 되는가?
• RQ2 제안된 바와 같이 모듈라 형식 $ F_5 = (f_4^{(5)})^2 - f_8^{(5)} $ 가 $ \mathcal{M}_5 $ 에서 항상 0인가?
• RQ3 고리수 5에서 인수분해 조건을 만족하고 우주상수가 0이 되는 수정된 안사트를 구성할 수 있는가?
• RQ4 일반화된 쇼트키-장 항등식은 더 높은 고리수에서 성립하는가? 그리고 이는 우주상수에 어떤 영향을 미치는가?
• RQ5 일반화된 쇼트키-장 가정 하에 고리수 $ g $ 에서의 우주상수는 $ (f_4^{(g)})^2 - f_8^{(g)} $ 에 비례하는가?

주요 결과

• 제안된 고리수 5 안사트에 대한 우주상수가 항상 0이 아니라는 것이 입증되어, $ \mathcal{M}_5 $ 에서 $ (f_4^{(5)})^2 - f_8^{(5)} $ 가 0이 되는 오랜 추측을 반박한다.
• 우주상수가 0이 되는 것은 $ \mathcal{M}_5 $ 에서 모듈라 형식 $ F_5 = (f_4^{(5)})^2 - f_8^{(5)} $ 가 0이 되는 것과 동치이며, 이는 성립하지 않음을 입증한다.
• 명시적인 수정된 안사트 $ \Xi'^{(5)} $ 는 $ \frac{38192}{17} $ 배의 $ (f_4^{(5)})^2 - f_8^{(5)} $ 를 더하여 구성되며, 이로 인해 우주상수가 0이 된다.
• 일반화된 쇼트키-장 항등식을 가정할 경우 고리수 $ g $ 에서의 우주상수는 $ (f_4^{(g)})^2 - f_8^{(g)} $ 에 비례하며, 비례상수는 $ g $ 와 무관하다.
• 일반화된 쇼트키-장 항등식이 성립한다고 가정할 경우, 우주상수가 $ \mathcal{T}_g $ 에서 항상 0이 되는 것은 $ g \leq 4 $ 일 때에만 성립한다.
• Eberhard Freitag 의 계산을 통해 $ g < 1000 $ 에서 결과가 확인되었으며, 시겔 $ \Phi $-연산자를 이용한 기하학적 증명도 제시되었다.