Determinants of Mahler measures and special values of $L$-functions

기술 요약: 말러 측도(Mahler Measures)의 결정론적 요소와 L-함수의 특수값

문제 정의
본 논문은 두 가지 특정 이변수 다항식 군 $P_t = x + x^{-1} + y + y^{-1} + \sqrt{t}$와 $Q_t = x^3 + y^3 + 1 - \sqrt[3]{t}xy$의 말러 측도와, 이들의 영점 집합(zero loci)에 의해 정의되는 타원 곡선과 연관된 L-함수의 특수값 사이의 관계를 조사한다. (Boyd, Rodriguez Villegas의) 수치적 증거는 복소 곱셈(Complex Multiplication, CM) 곡선을 생성하는 유리수 $t$에 대하여, 말러 측도가 $L$-함수의 $s=0$에서의 도함수(또는 관련 특수값)의 유리수 배와 같음을 시사하지만, 엄밀한 증명은 드물다. 저자들은 두 가지 주요 문제를 다룬다:

1. 분류: 연관된 타원 곡선($P_t$의 경우 $F_t$, $Q_t$의 경우 $C_t$)이 복소 곱셈(CM)을 갖는 모든 매개변수 $t$를 차수가 $n \leq 4$인 수체 $K$ 내에서 결정한다.
2. 행렬식 항등식: 차수가 $n=2$ 및 $n=4$인 전실수체(totally real number fields) $K$에 대하여, ($t$의 갈루아 공액들의 말러 측도를 성분으로 하는) $n \times n$ 행렬의 행렬식이 곡선의 $s=0$에서의 $n$차 도함수(또는 $s=2$에서의 값)의 0이 아닌 유리수 배와 같음을 나타내는 명시적인 항등식을 확립한다.

방법론
저자들은 모듈라 형식, CM 이론, 그리고 격자 축소 알고리즘을 결합한 계산적 및 이론적 프레임워크를 사용한다:

• CM 분류 알고리즘: 저자들은 congruence subgroup $\Gamma_0(4)$와 $\Gamma_0(3)$의 기본 영역(fundamental domains) 내에서 CM 점들을 전수 조사하기 위해 이전 연구들(Guo 등, Samart 등)의 알고리즘을 응용한다. Hauptmoduls($t_P(\tau)$ 및 $t_Q(\tau)$)와 모듈라 방정식을 활용하여, CM 점 $\tau$를 차수가 $\leq 4$인 대수적 매개변수 $t$로 사상한다. 이는 CM 점의 $j$-불변량의 차수가 연관된 허수 이차체의 클래스 넘버(class number)에 대응한다는 사실에 기초한다.
• 모듈라 형식 분해: 식별된 각 CM 곡선에 대해, 저자들은 $K$ 위의 CM 타원 곡선의 $L$-함수가 CM을 가진 newform들의 $L$-함수의 곱으로 분해된다는 사실을 활용한다. 이들은 LMFDB(L-functions and Modular Forms Database)와 PARI/GP를 사용하여 이러한 newform들을 명시적으로 식별한다.
• 세타 급수와 말러 측도: 명제 5.1을 사용하여, 저자들은 $\mu(t)$와 $\nu(t)$를 CM 격자로부터 유도된 이차 형식으로부터 구성된 특정 세타 급수(cusp forms)의 $L$-값들의 선형 결합으로 표현한다.
• PSLQ 알고리즘: 고정밀 수치 데이터를 사용하여 말러 측도와 $L$-값 사이의 구체적인 선형 관계를 발견하기 위해 정수 관계 검출 알고리즘인 PSLQ를 사용한다. 이들은 초기하 함수(hypergeometric formulas)를 통해 말러 측도를 계산하고, PARI/GP를 통해 $L$-값을 계산한다.
• 행렬식 구성: 갈루아 공액들의 말러 측도를 특정 행렬 구조(종종 Beilinson 추측의 regulator pairing과 관련된 구조)로 배열함으로써, 이 행렬들의 행렬식이 기저가 되는 newform의 $L$-값들의 곱으로 단순화되며, 이것이 수체 $K$ 위의 타원 곡선의 $L$-함수에 대응함을 입증한다.

주요 기여 및 결과

1. CM 매개변수의 완전한 분류: 본 논문은 $F_t$와 $C_t$가 CM 곡선이 되는 차수 최대 4인 수체 내의 $t$ 매개변수 목록을 완전하게 제공한다.

   • $F_t$의 경우: 3개의 유리 정수, 12쌍의 실수 이차 정수, 4쌍의 허수 이차 정수, 24개의 전실수 사차 정수 갈루아 궤도, 그리고 24개의 비전실수 사차 정수 공액 궤도.
   • $C_t$의 경우: 3개의 유리 정수, 15쌍의 실수 이차 정수, 2쌍의 허수 이차 정수, 4개의 비전실수 삼차 정수 공액 궤도, 24개의 전실수 사차 정수 갈루아 궤도, 그리고 25개의 비전실수 사차 정수 공액 궤도.
   • 데이터는 표 1과 2에 제공된다.

2. 말러 측도의 일반 공식: 저자들은 임의의 CM 매개변수 $t$에 대해 $\mu(t)$와 $\nu(t)$를 cusp form의 $L$-값들로 표현하는 일반 공식(명제 5.1)을 유도한다. 이는 기존에 유리수 $t$에 대해서만 알려졌던 결과들을 일반화한다.

3. 전실수체를 위한 행렬식 항등식:

   • 이차 사례 ($n=2$): $F_t$를 위한 12쌍의 실수 이차 매개변수와 $C_t$를 위한 15쌍의 경우, 저자들은 다음과 같은 형태의 항등식을 증명한다:
     $$\det \begin{pmatrix} a\mu(t) & b\mu(t^\sigma) \\ -\mu(t^\sigma) & \mu(t) \end{pmatrix} = r \pi^{-4} L(F_t, 2) = s L''(F_t, 0)$$
     ($C_t$에 대해서도 유사한 형태 존재). 이는 표 1에 나열되어 있다.
   • 사차 사례 ($n=4$): 두 가족 모두에 대한 24개의 전실수 사차 매개변수 갈루아 궤도에 대해, 저자들은 $4 \times 4$ 행렬식 항등식을 확립한다. 이 행렬식들은 네 개의 갈루아 공액들의 말러 측도를 포함하며, $L^{(4)}(F_t, 0)$ (또는 $L^{(4)}(C_t, 0)$)의 유리수 배와 같다. 이는 표 3에 나열되어 있다.
   • 특히, $\sqrt[3]{t}$가 특정 영역 $K_Q^\circ$ (구체적으로 $t \in (-1, 27)$) 내에 있는 매개변수의 경우, 저자들은 항등식의 유효성을 유지하기 위해 "수정된 말러 측도" $\tilde{n}(t)$를 사용한다.

4. 비전실수 사례: 논문은 또한 비전실수 $t$ (삼차 및 사차)에 대한 말러 측도를 newform의 $L$-값들의 선형 결합으로 표현하는 공식(정리 5.6 및 5.8)을 제공하지만, 이는 전실수 사례와 같은 행렬식 항등식을 산출하지는 않는다.

의의 및 주장
본 논문은 이러한 가족들에 대해 차수 4까지의 CM 매개변수 분류에 대한 "완전한 해법"을 제공하고, 말러 측도와 특수 $L$-값들을 연결하는 포괄적인 새로운 행렬식 항등식 세트를 확립한다고 주장한다.

• 계산적 초점: 저자들은 regulator 접근법이나 이를 Beilinson 추측의 언어로 번역(이는 $K_2$의 명시적 원소를 구성하는 것을 필요로 함)하여 이 항등식들을 증명하는 것이 아님을 명시적으로 밝힌다. 대신, 행렬식이 기대되는 $L$-값과 유리수 상수를 제외하고 일치함을 검증하는 "계산적 측면"에 집중한다.
• 독창성: 저자들은 $F_t$와 $C_t$ 가족에 대해 나열된 $4 \times 4$ 행렬식 항등식 중 기존 문헌에서 알려진 것은 없다고 주장한다.
• 한계: 결과는 행렬식 항등식을 위해 전실수 수체로 제한된다. 저자들은 비전실수 수체의 경우 갈루아 공액들이 동일한 방식으로 선형 독립이 아니어서 유사한 행렬식 항등식을 형성할 수 없음을 언급한다. 또한 비-CM 곡량의 경우 이러한 항등식이 보장되지 않음을 관찰하였으나, 이차 사례의 $Q$-곡선에 대해 수치적 증거에 기반한 추측을 제시한다.

이 연구는 유리수 매개수를 넘어 더 높은 차수의 수체로 확장함으로써, 유리수 매개수에서부터 시작된 기존 연구들(Boyd, Rodriguez Villegas, Rogers 및 저자 자신의 이전 연구)을 유의미하게 확장하고, 이러한 맥락에서 말러 측도와 $L$-함수 사이의 관계를 체계적인 계산적 검증을 통해 제공한다.