[논문 리뷰] A double integral of dlog forms which is not polylogarithmic

Francis H. Brown, Claude Duhr|arXiv (Cornell University)|2020. 06. 16.

Black Holes and Theoretical Physics인용 수 6

한 줄 요약

이 논문은 cusp 형식의 주기로 평가되는 dlog 형식의 이중 반복 적분을 제시하며, 이 주기가 다중 다이로그함수로 표현될 수 없음을 입증한다. ℙ²에서 모듈라 타원곡선과 그 위의 토르션 점에서 만날 선들의 기하적 구성에 기반하여, 저자들은 이 적분의 모티브적 형태가 모든 대수적 변수에서 평가된 다중 다이로그함수들과 대수적으로 독립적임을 보이며, 이러한 적분이 항상 다이로그함수적임이 일반적인 믿음에 도전한다.

ABSTRACT

Feynman integrals are central to all calculations in perturbative Quantum Field Theory. They often give rise to iterated integrals of dlog-forms with algebraic arguments, which in many cases can be evaluated in terms of multiple polylogarithms. This has led to certain folklore beliefs in the community stating that all such integrals evaluate to polylogarithms. Here we discuss a concrete example of a double iterated integral of two dlog-forms that evaluates to a period of a cusp form. The motivic versions of these integrals are shown to be algebraically independent from all multiple polylogarithms evaluated at algebraic arguments. From a mathematical perspective, we study a mixed elliptic Hodge structure arising from a simple geometric configuration in $\mathbb{P}^2$, consisting of a modular plane elliptic curve and a set of lines which meet it at torsion points, which may provide an interesting worked example from the point of view of periods, extensions of motives, and L-functions.

연구 동기 및 목표

• 양자장론에서 널리 퍼져 있는 믿음인 모든 dlog 형식의 반복 적분이 다중 다이로그함수로 평가된다는 것을 도전하기 위해.
• 다중 다이로그함수로 표현되지 않는 dlog 형식의 이중 반복 적분의 구체적 예를 제시하기 위해.
• 이 적분의 모티브적 형태가 모든 대수적 변수에서 평가된 다중 다이로그함수들과 대수적으로 독립적임을 입증하기 위해.
• 모듈라 타원곡선과 ℙ²에서 토르션 점에서 만날 선들의 구성으로부터 유도되는 혼합 타원호드 기하학적 구조를 연구하기 위해.
• 페인만 적분의 맥락에서 주기, 모티브, L-함수에 대한 실질적인 예를 제공하기 위해.

제안 방법

• 모듈라 타원곡선 E_k와 12개의 선이 토르션 점에서 만날 수 있도록 ℙ²에서 기하적 구성 설정하기.
• 선들과 곡선의 보조를 제외한 경로 위에서 dlog 형식의 이중 반복 적분 정의하기.
• 모듈라 매개변수화 φ: Γ(6)\ℋ → E\C를 사용하여 미분형식을 상반평면 위의 모듈라 형식으로 당기기.
• 각 dlog 형식의 당김을 중량 2의 아이젠슈타인 급수와 Γ(6)에 대해 중량 2의 cusp 형식 f(τ)의 선형 조합으로 표현하기.
• 모듈라 형식의 통합을 통해 반복 적분을 계산하여, 이가 cusp 형식 f(τ)의 주기로 이끌어짐을 보여주기.
• 모티브 갈루아 이론과 초월성 결과를 사용하여, 이 적분의 모티브적 형태가 모든 다중 다이로그함수들과 대수적으로 독립적임을 확립하기.

실험 결과

연구 질문

• RQ1 dlog 형식의 이중 반복 적분 중 다중 다이로그함수로 표현되지 않는 것이 존재할 수 있는가?
• RQ2 이러한 적분의 모티브적 형태가 모든 대수적 변수에서 평가된 다중 다이로그함수들과 대수적으로 독립적인가?
• RQ3 다중 다이로그함수가 아닌 cusp 형식의 주기를 갖는 페인만 적분의 배경이 되는 기하적 및 산술적 구조는 무엇인가?
• RQ4 ℙ²에서 타원곡선과 토르션 점에서 만날 선들의 구성으로부터 혼합 타원호드 기하학이 어떻게 유도되는가?
• RQ5 모듈라 매개변수화가 dlog 형식을 통합하기 위한 모듈라 형식으로 변환하는 데 어떤 역할을 하는가?

주요 결과

• 두 dlog 형식의 이중 반복 적분은 Γ(6)에 대해 중량 2의 cusp 형식 f(τ)의 주기로 평가된다.
• 이 적분의 모티브적 형태는 모든 대수적 변수에서 평가된 다중 다이로그함수들과 대수적으로 독립적이며, 이는 다이로그함수 프레임워크 외부에 있음을 입증한다.
• 모듈라 매개변수화 φ에 의한 각 dlog 형식의 당김은 중량 2의 아이젠슈타인 급수와 cusp 형식 f(τ)의 선형 조합으로 표현되며, 명시적인 q-급수 계수를 가진다.
• 해석적 미분형식 −3dx/y는 정규화된 cusp 형식 f(τ)로 당겨지며, 주기의 모듈라 성격을 확인한다.
• 로그 미분형식들은 아이젠슈타인 급수와 f(τ)의 조합으로 당겨지며, f(τ)의 계수는 π²를 포함하여 다이로그함수적 구조를 초월한 초월적 기여를 나타낸다.
• 전체 구성은 다이로그함수적일 수 없는 주기를 생성하며, 모든 이러한 적분이 다이로그함수적일 것이라는 일반 믿음에 대한 반례를 제공한다.