The Chow-Kontsevich dilogarithm

기술 요약: Chow-Kontsevich Dilogarithm (Chow-Kontsevich 로그함수)

문제 제기
본 논문은 표수 $p \geq 5$인 환경에서 대수적 순환(algebraic cycles)에 대한 레귤레이터 맵(regulator maps)과 미분 불변량(infinitesimal invariants)의 구성을 다룬다. 미분적인 Dehn invariant 및 dilogarithm 맵의 유사체들은 표수 0에서(Cathelineau, Bloch, Esnault, Unver의 연구를 통해) 잘 확립되어 왔으나, 표수 $p$의 상황은 뚜렷하게 다른 과제들을 제시한다. 구체적으로, 표준 로그 함수는 그 멱급수의 전개 과정에서 분모 문제로 인해 정의되지 않는다. 또한, $k_2 = k[t]/(t^2)$에서의 $K_3(k_2)$의 비가약 부분(indecomposable part)의 구조는 표수 $p$에서 차이가 있으며, 이는 하나의 dilogarithm 함수가 아닌 두 개의 독립적인 dilogarithm 함수가 존재할 가능성을 시사한다. 본 논문은 Kontsevich의 $1\frac{1}{2}$-logarithm 함수를 활용하여, $k_2$ 위의 곡선 상에서 미분적 Chow dilogarithm의 표수 $p$ 유사체 역할을 하는 "Chow-Kontsevich dilogarithm" $\rho_K$를 정의하는 것을 목표로 한다.

방법론
구성 과정은 다음과 같은 몇 가지 기술적 단계로 진행된다:

1. 표수 $p$의 Logarithms 및 Dilogarithms:
   저자는 Kontsevich의 $1\frac{1}{2}$-logarithm 함수 $\mathcal{L}_1(s) = \sum_{1 \leq i \leq p-1} \frac{s^i}{i}$를 사용한다. 이 함수는 정보 이론의 근본적인 4항 함수 방정식(four-term functional equation)을 만족한다. 이를 사용하여, Bloch group 상의 표수 $p$ 가법적 dilogarithm $\ell i^{(p)}_2: B_2(k_2) \to k$를 정의한다. 이 맵은 Bloch complex differential $\delta$와 특정 로그 성분들의 웨지 곱 $\ell^{(p)} = \frac{1}{2} \sum_{1 \leq i < p} i \cdot \ell_{p-i} \wedge \ell_i$를 통해 표현된다.

2. 비교 1-form $\Omega^{(p)}$의 구성:
   $k_2$ 위의 곡선 $C$에 대해 전역적인 레귤레이터를 정의하기 위해, 저자는 함수들과 곡선의 국소적 리프팅(local liftings)들을 비교해야 한다. 표수 0에서는 표준 로그로부터 유도된 1-form $\Omega$를 사용하여 이를 수행한다. 표수 $p$에서, 저자는 $\Lambda^3 R^\times_\infty$ (여기서 $R$은 표수 $p$인 환) 상의 유일한 1-form $\Omega^{(p)}$를 구성한다. 이 form은 특정 원소들에 대해 소멸한다는 성질과 $e^{\alpha t^a} \wedge e^{\beta t^b} \wedge e^{\gamma t^c}$ 형태의 항들에 대한 명시적 값을 통해 정의된다 (단, $a+b+c=p$).

3. 재매개변수화에 대한 불변성 (Invariance under Reparametrization):
   핵심적인 기술적 난관은 $\Omega^{(p)}$의 residue가 국소 좌표(parametrization)의 선택에 독립적임을 증명하는 것이다. 저자는 $\sigma$가 $k((s))_\infty$의 연속 자가동형(continuous automorphism)이고 $(t)$에 대해 항등 함수일 때, $\Omega^{(p)}$의 residue가 불변임을 증명한다. 이는 미분적 자가동형에 대한 상세한 분석과 절단된 지수 급수(truncated exponential series)를 이용한 $\sigma(e^{\alpha t^a})$의 전개를 통해 이루어진다.

4. 레귤레이터 $\rho_K$의 정의:
   매끄러운 proper curve $C$와 $k_2$ 위의 매끄러운 리프팅 집합 $P$에 대하여, 레귤레이터 $\rho_K: \Lambda^3 k(C, P)^\times \to k$는 국소적 기여도를 합산함으로써 정의된다. 세 함수 $(f, g, h)$의 튜플에 대해, 값은 다음과 같이 계산된다:

   • 곡선과 함수의 국소적 리프팅을 선택한다.
   • 국소 residue 상의 표수 $p$ dilogarithm $\ell i^{(p)}_2$를 계산한다.
   • 국소 리프팅과 일반적인 리프팅을 비교하는 $\Omega^{(p)}$의 residue로부터 유도된 "결함 항(defect term)"을 더한다.
     이 합은 유한하며 모든 보조적 선택(리프팅 및 동형 사상)으로부터 독립적임이 증명된다.

5. 순환의 미분 불변량 (Infinitesimal Invariant of Cycles):
   레귤레이터는 $\square^3_{k_\infty}$ (여기서 $k_\infty = k[[t]]$) 내의 코디멘션 2 순환(codimension 2 cycles)에 대한 불변량으로 확장된다. 저자는 유한한 reduction을 갖는 순환들의 부분군 $z^2_f(k_\infty, 3)$을 정의한다. 맵 $\rho_K$는 경계(boundaries) 상에서 소멸하며, 순환의 $(t^2)$에 대한 reduction에만 의존함이 밝혀졌다.

주요 기여 및 결과

• Chow-Kontsevich Dilogarithm ($\rho_K$): 본 논문은 곡선 $C$에 대한 레귤레이터 맵 $\rho_K: \Lambda^3 k(C, P)^\times \to k$를 구축한다. 이 맵은 표수 0의 미분적 Chow dilogarithm $\rho$와 구별된다.
• 선형 독립성: 저자는 $\rho$와 $\rho_K$가 선형 독립임을 입증한다. 구체적으로, $t \mapsto a \cdot t$ 스케일링 하에서 $\rho$는 $a^3$에 의해 스케일링되는 반면, $\rho_K$는 $a^p$에 의해 스케일링된다. 이는 $k_2$의 $K$-이론 구조와 일치하게, 표수 $p \geq 5$에서 두 개의 독립적인 dilogarithm 함수가 존재함을 확인시켜 준다.
• 명시적 계산: 좌표 $z$를 가진 $\mathbb{P}^1_{k_2}$ 상에서 레귤레이터는 명시적으로 계산된다. 튜플 $(z-\alpha) \wedge (z-\beta) \wedge (z-\gamma)$에 대해, 값은 $a^p \cdot \mathcal{L}_1(s)$로 주어지며, 여기서 $s$는 점들의 cross-ratio로부터 유도되고 $a$는 리프팅으로부터의 계수이다.
• Modulus 성질: 본 논문은 $\rho_K$가 $(t^2)$에 대한 순환 상에서 잘 정의된 맵을 유도함을 증명한다. 두 순환이 $(t^2)$에 대해 합동(congruent)이면, $\rho_K$ 하에서 동일한 값을 갖는다.
• Goncharov의 추측과의 관계: 이 구성은 강한 상호성 법칙(strong reciprocity laws)에 관한 Goncharov의 추측의 유사체로 프레임화된다. $\rho_K$는 모티빅 복합체 맵 $\Lambda^3 k(C, P)^\times \to B_2(k_2)$와 표수 $p$ dilogarithm $\ell i^{(p)}_2$의 합성으로 기대된다.

의의
본 논문은 $\rho_K$의 구축이 표수 $p$의 dilogarithm 레귤레이터의 그림을 완성하는 순수 표수 $p$ 객체를 제공한다고 주장한다. 가법적 dilogarithm $\ell i_2$(표수 0 방법론에서 유도된)가 표수 $p$에서도 존재하지만, $k_2$의 $K$-이론의 전체 구조를 포착하기에는 불충분하다. Kontsevich의 $1\frac{1}{2}$-logarithm에 기반한 $\rho_K$의 추가는 $k_2$의 미분적 $K_3(k_2)$와 $k \oplus k$ 사이의 동형 사상을 구축할 수 있게 한다.

나아가, 본 논문은 표수 0의 결과와 유사하게 표수 $p$에서의 순환에 대한 미분 불변량을 확립한다. 이는 Chow-Kontsevich dilogarithm이 양의 표수 환경에서 모티빅 코홈로지(motivic cohomology)와 상호성 법칙을 연구하기 위한 올바른 표수 $p$ 유사체임을 시사한다. 본 연구는 새로운 실험적 응용을 제안하기보다는, 양의 표수에서 레귤레이터와 $K$-이론을 위한 이론적 틀을 공고히 하는 데 중점을 둔다.