[논문 리뷰] Linear Mahler Measures and Double L-values of Modular Forms

Evgeny Shinder, Masha Vlasenko|arXiv (Cornell University)|2012. 06. 07.

Advanced Algebra and Geometry참고 문헌 2인용 수 4

한 줄 요약

이 논문은 다항식 $1 + x_1 + x_2 + x_3 + x_4$의 선형 마勒 측도가 무게 4의 유리형 모듈라 형식의 이重 L-값들의 선형 조합과 일치함을 증명한다. 특히, 모듈라 함수 $t(z)$와 무게 2 형식 $f(z)$에 관련된 $g_1$, $g_2$, $g_3$를 포함하며, 로드리게스-빌레가스의 추측을 세 변수 마勒 측도에 대한 보정 항이 포함된 형태로 확인한다.

ABSTRACT

We consider the Mahler measure of the polynomial 1+x_1+x_2+x_3+x_4, which is the first case not yet evaluated explicitly. A conjecture due to F. Rodriguez-Villegas represents this Mahler measure as a special value at the point 4 of the L-function of a modular modular form of weight 3. We prove that this Mahler measure is equal to a linear combination of double L-values of certain meromorphic modular forms of weight 4.

연구 동기 및 목표

• 적어도 네 개 이하의 변수에 대해서는 알려진 결과가 있지만 여전히 미계산 상태인 $1 + x_1 + x_2 + x_3 + x_4$의 선형 마勒 측도를 명시적으로 평가하는 데에 목적이 있다.
• 레벨 15의 무게 3 모듈라 형식 $f_{15}$의 $L$-함수 특수값과 관련된 F. 로드리게스-빌레가스의 추측이, 세 변수 마勒 측도에 대한 보정 항을 포함한 형태로 참임을 검증하는 것.
• 특정 점에서 극을 갖는 무게 4의 유리형 모듈라 형식의 이重 L-값들의 선형 조합으로 마勒 측도를 새롭게 표현하는 것.
• 모듈라 함수, 미분 연산자, 다중 적분을 포함한 방법을 개발하고 적용하여, 모듈라 형식에 극이 존재하는 상황에서도 이러한 이重 L-값들을 평가하는 것.

제안 방법

• 군 $\Gamma_0(6)+3$에 대해 무게 2의 모듈라 함수 $t(z)$와 $f(z)$를 정의하고, 이로부터 무게 4의 형식 $g_1 = (Dt/t)f$, $g_2 = t/(1-t) \cdot g_1$, $g_3 = t(212t^2 + 251t - 13)/(1-t)^3 \cdot g_1$를 구성한다.
• 미분 연산자 $D = \frac{1}{2\pi i} \frac{d}{dz} = q \frac{d}{dq}$를 사용하여 $t(z)$와 $f(z)$로부터 무게 4의 모듈라 형식을 구성하며, $g_1$은 해석적이고 $g_2$, $g_3$는 $t(z) = 1$에서 극을 갖는 유리형이다.
• 반복 적분을 통한 이重 L-값 정의: $L(g_j, g_1, 3, 1) = (2\pi)^4 \int_0^\infty g_1(is) \int_s^\infty \int_{s_1}^\infty g_j(is_3) \, ds_3 \, ds_2 \, ds_1 \, ds$로 정의되며, $g_j$가 허수축을 따라 지수 감소하므로 수렴한다.
• 아틴-레너 복사 변환을 적용하여 $f_2(-1/12z)$를 변환하고, 이를 에이젠스타인 급수 $E_1(z)$로 표현함으로써 $L$-값의 계산이 가능하게 한다.
• 항등식 $\int_0^{i\infty} f(z) z^{k-1} dz = \frac{(k-1)!}{(-2\pi i)^k} L(f,k)$를 사용하여 적분을 모듈라 형식의 $L$-값으로 변환한다.
• $f_1(z)$와 $f_2(z)$를 $l=1,2,4$에 대해 $E_1(lz)$의 선형 조합으로 표현하고, 오일러 곱 전개와 제타 함수 항등식을 사용하여 $L(f_1,2)$와 $L(f_1 \hat{f}_2,3)$를 계산한다.

실험 결과

연구 질문

• RQ1 다항식 $1 + x_1 + x_2 + x_3 + x_4$의 선형 마勒 측도는 모듈라 형식의 $L$-함수 특수값으로 표현될 수 있는가?
• RQ2 레벨 15의 무게 3 모듈라 형식 $f_{15}$에 대해 $L(f_{15},4)$와 관련된 로드리게스-빌레가스의 추측은, 세 변수 마勒 측도에 대한 보정 항을 포함한 형태로 참인가?
• RQ3 극을 갖는 유리형 모듈라 형식의 이중 $L$-값은 일반 이중 적분 이론이 없는 상황에서도 의미 있게 정의되고 계산될 수 있는가?
• RQ4 마勒 측도 평가 과정에서 나타나는 이중 $L$-값 $L(g_j, g_1, 3, 1)$의 기하학적 또는 산술적 의미는 무엇인가?

주요 결과

• 마勒 측도 $m(1+x_1+x_2+x_3+x_4)$는 $\frac{4}{5}m(1+x_1+x_2+x_3)$와 무게 4의 유리형 모듈라 형식의 이重 $L$-값들의 선형 조합과 같다.
• 핵심 결과는 $m(1+x_1+x_2+x_3+x_4) - \frac{4}{5}m(1+x_1+x_2+x_3) = \frac{3\sqrt{5}\Omega_{15}^2}{20\pi}L(g_3,g_1,3,1) - \frac{3\sqrt{5}}{10\pi^3\Omega_{15}^2}L(g_2,g_1,3,1)$이며, 여기서 $\Omega_{15}$는 $\mathbb{Q}(\sqrt{-15})$에 대한 초월수인 초월주기이다.
• 수치적 평가 결과 공식이 정확함을 확인: $L(g_2,g_1,3,1) \approx -0.4466$ 및 $L(g_3,g_1,3,1) \approx 8.5383$, 이는 이론적 표현과 일치한다.
• 해석적 형식 $g_1$은 $m(1+x_1+x_2+x_3) = -\frac{1}{2}L(g_1,1)$를 만족하며, 이는 세 변수 마勒 측도가 직접적으로 $L$-값과 연결됨을 보여준다.
• 이중 $L$-값은 허수축을 따라 반복 적분을 통해 정의되며, $s \to \infty$에서 $g_j(is)$의 지수 감소와 $s=0$ 근처의 유계성 덕분에 수렴한다. 이는 상반평면 내 극이 존재하더라도 성립한다.
• 아틴-레너 복사 변환을 통해 $f_2(-1/12z)$를 변환하고, 이를 에이젠스타인 급수로 표현함으로써 적분을 성공적으로 평가하였으며, 이로 인해 정확한 $L$-값 계산이 가능해졌다.