[논문 리뷰] Hierarchy of Modular Graph Identities

Eric D’Hoker, Justin Kaidi|arXiv (Cornell University)|2016. 08. 15.

Advanced Mathematical Identities참고 문헌 35인용 수 7

한 줄 요약

이 논문은 종류 II 초현실 끈 진폭에서 종수 1에서의 무게 6에서의 모듈러 그래프 항등식과 무게 7에서의 이면형 항등식에 대한 종합적인 계층을 수립한다. 체계적 걸러내기 알고리즘과 해석적 부분그래프 감소 기법을 사용하여, 이러한 모든 항등식이 마름모꼴 다항식의 근처에서의 영차를 유도함을 증명하고, 파라미터 기여와 월드시트 페르미온을 포함하도록 프레임워크를 확장한다. 이 새로운 가족들은 고유값 $ s(s-1) $ 를 갖는 비동차 라플라스 고유값 방정식을 만족하며, 스펙트럼 내에서 풍부한 표현 이론적 패턴을 드러낸다.

ABSTRACT

The low energy expansion of Type II superstring amplitudes at genus one is organized in terms of modular graph functions associated with Feynman graphs of a conformal scalar field on the torus. In earlier work, surprising identities between two-loop graphs at all weights, and between higher-loop graphs of weights four and five were constructed. In the present paper, these results are generalized in two complementary directions. First, all identities at weight six and all dihedral identities at weight seven are obtained and proven. Whenever the Laurent polynomial at the cusp is available, the form of these identities confirms the pattern by which the vanishing of the Laurent polynomial governs the full modular identity. Second, the family of modular graph functions is extended to include all graphs with derivative couplings and worldsheet fermions. These extended families of modular graph functions are shown to obey a hierarchy of inhomogeneous Laplace eigenvalue equations. The eigenvalues for the extended family of dihedral modular graph functions are calculated analytically for the simplest infinite sub-families and obtained by Maple for successively more complicated sub-families. The spectrum is shown to consist solely of eigenvalues $s(s-1)$ for positive integers $s$ bounded by the weight, with multiplicities which exhibit rich representation-theoretic patterns.

연구 동기 및 목표

• 무게 6에서의 모듈러 그래프 함수 사이의 모든 대수적 항등식과 무게 7에서의 이면형 그래프를 체계적으로 규명하고 증명하는 것.
• 근처에서의 라우렌트 다항식의 영차가 전체 모듈러 항등식을 유도하는지 여부를 조사하여, 추측된 패tern을 확인하는 것.
• 파라미터 기여와 월드시트 페르미온을 포함하여 모듈러 그래프 함수의 가족을 확장하는 것.
• 확장된 모듈러 그래프 함수 가족이 만족하는 비동차 라플라스 고유값 방정식을 유도하고 분석하는 것.
• 이면형 모듈러 그래프 함수의 고유값 스펙트럼을 계산하고, 그 안에 드러나는 표현 이론적 구조를 밝히는 것.

제안 방법

• 무게 6과 7에서의 모듈러 그래프 함수 사이의 항등식을 체계적으로 탐색하기 위해 걸러내기 알고리즘과 해석적 부분그래프 감소 기법을 사용한다.
• 특히 다중 리ducible 다중 제타 값이 포함된 그래프에 대해, 근처에서의 라우렌트 다항식 전개를 활용하여 추측된 항등식을 유도하고 검증한다.
• 4점 해석적 부분그래프 감소 기법을 적용하여 복잡한 모듈러 그래프 함수를 더 단순한 구성요소로 감소시켜 평가한다.
• 파라미터 기여와 페르미온을 포함한 확장된 모듈러 그래프 함수 가족에 대해 비동차 라플라스 고유값 방정식을 도출한다.
• 무한한 부분가족에 대해 해석적으로 고유값을 계산하고, 더 복잡한 경우는 Maple을 통해 수치적으로 계산하여, 스펙트럼이 $ s(s-1) $ 로서만 구성되어 있음을 확인한다. ($ s \leq w $)

실험 결과

연구 질문

• RQ1 무게 6에서의 모든 모듈러 그래프 함수 항등식과 무게 7에서의 이면형 그래프 항등식은 모두 그 라우렌트 다항식이 근처에서 영이 되는 것으로 유도되는가?
• RQ2 모듈러 그래프 함수의 프레임워크는 파라미터 기여와 월드시트 페르미온을 일관적으로 확장할 수 있는가?
• RQ3 확장된 모듈러 그래프 함수 가족이 만족하는 비동차 라플라스 고유값 방정식의 구조는 어떠한가?
• RQ4 확장된 이면형 모듈러 그래프 함수의 고유값 스펙트럼은 무엇이며, 어떤 표현 이론적 패턴이 드러나는가?
• RQ5 라우렌트 다항식이 근처에서 영이 되는 것은 상반평면 전역에서 모듈러 항등식이 성립하기 위한 충분조건인가?

주요 결과

• 체계적 걸러내기 알고리즘과 해석적 부분그래프 감소 기법을 통해, 무게 6에서의 모든 모듈러 그래프 함수 항등식이 증명되었다.
• 무게 7에서의 모든 이면형 모듈러 그래프 항등식이 유도되고 확인되었으며, 그 라우렌트 다항식이 근처에서 영이 되어, 근처에서의 영차가 전체 모듈러 항등식을 유도한다는 추측을 지지한다.
• 파라미터 기여와 월드시트 페르미온을 포함한 확장된 모듈러 그래프 함수 가족은 고유값 $ s(s-1) $ 를 갖는 비동차 라플라스 고유값 방정식을 만족한다. ($ s \leq w $)
• 확장된 이면형 가족의 고유값 스펙트럼이 오직 $ s(s-1) $ 항목으로만 구성되어 있음을 입증하였으며, 그 중복도는 풍부한 표현 이론적 패턴을 보였다.
• 해석적 및 수치적 계산을 통해 고유값이 정수 $ s $ 에 대해 정확히 $ s(s-1) $ 로서만 존재하며, 그 외의 고유값은 존재하지 않음을 확인하였다. ($ s $ 는 무게 이하의 양의 정수)