Elements in $K_4$ and regulator maps of Fermat curves

기술적 요약: $K_4$의 원소들과 페르마 곡선의 레귤레이터 맵

문제 정의
본 논문은 모든 정수 $N \geq 3$에 대하여, $x^N + y^N = 1$로 정의된 페르마 곡선 $X_N$의 세 번째 아담스 고유공간(Adams eigenspace) $K_4^{(3)}(X_N)$에서 명시적이고 비자명한 원소를 구성하는 문제를 다룬다. $K_2(X_N)$의 구조와 로스(Ross) 원소 $\{1-x, 1-y\}$의 비자명성은 잘 확립되어 있으나, $K_4$ 그룹의 페르마 곡선에 대한 연구는 거의 이루어지지 않았다. 주요 목표는 $K_4^{(3)}(X_N)$의 명시적 원소를 구성하고, 베일린슨(Beilinson)의 레귤레이터 맵을 통해 이들의 비자명성을 검증하는 것이다. 나아가 저자들은 특정 페르마 모티브(Fermat motives)에 대한 $L$-함수의 $s=3$에서의 특수값과 관련된 베일린슨 추측을 수치적으로 검증하고자 한다.

방법론
저자들은 폴리로그 복합체(polylogarithmic complexes)와 곤차로프(Goncharov) 및 데 쥬(de Jeu)의 연구를 기반으로 한 균등한 구성 전략을 채택한다.

1. 폴리로그 복합체: 구성에는 함수체 $F = \mathbb{Q}(X_N)$에 대한 곤차로프의 무게 3 폴리로그 복합체 $\Gamma(F, 3)$가 사용된다. 이 복합체는 블록 그룹 $B_3(F)$와 $B_2(F) \otimes F^\times_{\mathbb{Q}}$를 포함한다.
2. 명시적 코사이클(Cocycles): 저자들은 다음과 같은 형태의 $\Gamma(F, 3)$ 내 명시적 2-코사이클 $\xi_{r,s}^N(\zeta)$를 구성한다:
   $$\xi_{r,s}^N(\zeta) := \{x^N\}_2 \otimes (1 - \zeta x^r y^s) - \frac{N}{s} \{\zeta x^r y^s\}_2 \otimes x^N$$
   여기서 $\zeta$는 단위근이다.
3. 데 쥬의 맵: 저자들은 이 코사이클들에 데 쥬의 맵 $\phi_{dJ}: H_2(\Gamma(F, 3)) \to K_4^{(3)}(F)$를 적용한다. 생성된 원소가 단순히 열린 곡선 $U$가 아닌 $K_4^{(3)}(X_N)$에 속하도록 하기 위해, 기저체가 완전 실수체(totally real)라는 점에 기초한 정리 3.6을 활용하여 코사이클의 잔여(residue)가 첨점(cusp)과 정의 함수의 영점(zero)에서 소멸함을 검증한다.
4. 특정 선택: 저자들은 $\Xi_N = \Xi_{-2,1}^N$을 정의하기 위해 구체적인 경우 $(r, s) = (-2, 1)$ 및 $\zeta = 1$ (및 단위근에 의한 트위스트)에 집중한다.
5. 레귤레이터 계산: 비자명성을 증명하기 위해, 저자들은 베일린슨의 레귤레이터 맵 $r_B$에 대한 이 원소들의 상을 계산한다. 이 과정에서 $r_B$를 데 쥬의 호환성 정리에 따라 곤차로프의 레귤레이터 $r_3(2)$와 연관시킨다. 레귤레이터 적분은 $X_N(\mathbb{C})$의 호몰로지를 군 환 $\mathbb{Q}[(\mathbb{Z}/N\mathbb{Z})^{\oplus 2}]$ 상의 모듈로서 생성하는 특정 호몰로지 사이클 $\gamma_N$에 대해 계산된다.
6. 해석적 도구: 이러한 적분의 평가는 다음을 포함한다:
   • 자기에(Zagier)의 트리로그(trilogarithm) 함수 $L_3(z)$.
   • $K_2$에 대한 오츠보(Otsubo)의 결과를 일반화한 초기하 함수 $F(\alpha; x)$.
   • $N \to \infty$일 때의 점근 분석.
7. 수치적 검증: $N \in \{3, 4, 6\}$인 경우, 저자들은 PARI/GP를 사용하여 레귤레이터 적분을 수치적으로 평가하고, 이를 관련 복소 곱축(CM) 타원 곡선(해당 페르마 모티브와 동형인)과 연관된 헤케 $L$-함수의 미분값과 비교한다.

주요 기여 및 결과

• 비자명한 원소의 구성: 본 논문은 구성된 원소 $\Xi_N \in K_4^{(3)}(X_N)$가 모든 $N \geq 3$에 대해 비자명함을 증명한다(정리 1.1). 이는 트위스트된 버전의 원소 $(\tau_\varepsilon)^*(\Xi_N)$의 레귤레이터 적분이 0이 아님을 보임으로써 달성된다.
• 명시적 레귤레이터 공식:
  • 트리로그 공식: 레귤레이터 적분이 자기에의 트리로그 $L_3$와 함수 $f_{N,z}(t)$를 포함하는 적분으로 명시적으로 표현된다(정리 1.3).
  • 초기하 공식: 레귤레이터 형식이 초기하 함수 $F(\alpha; -1)$에 의해 가중치가 부여된 미분 형식들의 선형 결합으로 표현되며, 이는 $K_2$에 대한 오츠보의 결과를 일반화한 것이다(정리 1.6).
• 점근적 거동: 저자들은 $N \to \infty$일 때의 레귤레이터 적분에 대한 점근 공식을 유도한다:
  $$\int_{\gamma_N} r_B((\tau_\varepsilon)^*(\Xi_N)) \sim \frac{3}{2}\zeta(3)N^2$$
  이는 큰 $N$에 대해 원소들의 비자명성을 확인시켜 주며, 이들의 성장률에 대한 통찰을 제공한다(정리 1.4).
• 선형 독립성: $N$이 3의 배수가 아닌 경우, 원소 $\Xi_N$, $\iota^*(\Xi_N)$, 그리고 $\tau_\varepsilon^*(\Xi_N)$는 $K_4^{(3)}(X_N, \mathbb{Q}(\varepsilon))$에서 0이 아니며 선형 독립임을 보인다(정리 1.2).
• 베일린슨 추측의 수치적 검증: 본 논문은 $N \in \{3, 4, 6\}$인 모티브 $X_{[-2,1]}^N$에 대해 베일린슨 추측의 약한 형태를 수치적으로 검증한다. 이 경우 모티브는 CM을 가진 타원 곡선 $E_3, E_4, E_6$에 대응한다. 계산된 레귤레이터 적분은 유리수 인자와 $\pi$의 거듭제곱을 제외하면 $L'(E, -1)$을 포함하는 예측값과 일치한다(정리 1.8).

의의 및 주장
저자들은 이 연구를 $K_2$ 수준을 넘어 일반적인 페르마 곡선에 대해 베일린슨 추측을 다룬 첫 번째 작업으로 규정한다.

• 일반화: 본 연구는 로스 원소의 $K_2$ 구성을 $K_4$로 확장하며, 오츠보의 초기하 공식을 $K_2$에서 $K_4$로 확장한다.
• 균등성: 이 구성은 $N$에 대해 균등하며, 이는 케이스별 분석이 필요한 모듈러 곡선의 기존 방식과 달리 모든 차수 $N \geq 3$에 대해 단일한 원소 가족을 제공한다.
• 검증: 본 논문은 페르마 곡선의 $s=3$에서의 베일린슨 추측에 대한 첫 번째 명시적 수치 검증을 제공하며, 대수적 K-이론의 구성과 해석적 $L$-값 예측 사이의 간극을 메운다.
• 겸허한 태도: 저자들은 랭크 2 모티브(타원 곡선에 대응)에 대해 추측을 검증했으나, 더 높은 랭크의 페르마 모티브(예: $N=5$)에 대한 추측은 여전히 열려 있으며, 이 경우 $K_4$의 완전한 기저를 구성하는 것은 여전히 미해결 과제임을 언급한다. 또한 레귤레이터의 추측된 단사성에 의존하지 않고 자신들의 원소들의 선형 독립성을 무조건적으로 증명하는 것이 여전히 어렵다는 점을 인정한다.