Geometric families of multiple elliptic Gamma functions and arithmetic applications, II

기술 요약: 다중 타원 감마 함수의 기하학적 가족과 산술적 응용, II

문제 정의
본 논문은 다중 타원 감마 함수의 산술적 성질, 특히 $n \ge 2$인 경우 $SL_n(\mathbb{Z})$의 합동 부분군(congruence subgroups) 작용 하에서의 거동을 다룬다. 이러한 기하학적 함수들을 정의하고 베르누이 유리 함수(Bernoulli rational functions)를 포함하는 코바운더리 관계(coboundary relations)를 확립한 첫 번째 논문 [Mor25]에 이어, 본 연구는 정수론적 단위(elliptic units)의 구성을 정확히 하나의 복소 플레이스(complex place)를 갖는 수체로 일반화하는 것을 목표로 한다. 핵심적인 문제는 이 기하학적 함수들의 평활화된 버전(smoothed versions)이 $\Gamma_0(N, n) \subset SL_n(\mathbb{Z})$에 대한 부분 모듈러 심볼(partial modular symbols)을 생성함을 보이는 것이다. 구체적으로, 저자들은 이 평활화된 함수들이 수체의 완전 양의 단위(totally positive units) 그룹으로부터 유도된 토러스(tori) 상에서 $(n-2)$-코사이클(cocycle)로 제한되는 코사이클 관계를 만족함을 증명하고자 한다.

방법론
본 논문은 기하학적 분석, 원뿔의 조합론적 위상 수학(combinatorial topology of cones), 그리고 유한 군에 대한 푸리에 분석을 결arian하게 결합하여 사용한다. 방법론은 다음과 같은 세 가지 주요 단계로 진행된다:

1. 기하학적 설정 및 모듈러 성질: 저자들은 랭크 $n$인 격자 $L$ 위의 기하학적 함수군 $G_{n-2}$와 연관된 베르누이 유리 함수 $B_n$을 정의한다. 이들은 첫 번째 기저 벡터를 정수 $N$으로 스케일링하여 생성된 "평활화 격자(smoothing lattice)" $L'$와 함수 $L$을 비교함으로써 "평활화 연산(smoothing operation)"을 도입한다. 핵심적인 기술적 과제는 $\Gamma_0(N, n)$의 작용 하에서 이 함수들의 모듈러 변환 성질을 분석하는 것이다.
2. 원뿔 분해를 통한 코바운더리 분석: 평활화된 함수가 특정 코사이클 관계를 만족함을 증명하기 위해(정리 2), 저자들은 다중 타원 감마 함수를 정의하는 원뿔 $C^\pm(a, x)$에 대한 상세한 조합론적 분석을 수행한다. 이들은 선형 형식(linear forms)의 부호를 추적하기 위해 "부호 표(sign tables)"를 도입한다. 결정적인 단계는 "잘 배치된(well-placed)" 선형 형식(랭크가 $n-1$이 아니거나 0이 중점(barycenter)이 아닌 경우)에 대해, 임의의 세 원뿔의 교집합은 공집합이며, 임의의 벡터는 정확히 0개 또는 2개의 원뿔에 속한다는 것을 증명하는 것이다. 이는 특정 계수 함수($f_1$ 및 $f_2$)의 소멸로 이어지며, 결과적으로 평활화된 감마 함수의 곱이 상수 단위근(root of unity)임을 증명한다.
3. 평활화 및 유리성: 저자들은 베르누이 유리 함수 $B_n$에 고전적인 평활화 연산을 적용한다. [CD14]에서 영감을 얻은 $(\mathbb{Z}/N\mathbb{Z})^n$ 유한 군에 대한 푸리에 분석을 사용하여, 평활화된 $B_n$ 함수를 사이클로토믹 단위(cyclotomic units)의 트레이스(trace) 합으로 표현한다. 이를 통해 이 함수들이 유리 값을 가지며, 복소 변수 $w$와 $x$에는 의존하지 않고 오직 선형 형식과 격자 클래스에만 의존함을 확립한다.

주요 기여 및 결과

• 정리 1 (주요 결과): 본 논문은 잘 배치된 선형 형식 $a_1, \dots, a_n$과 "좋은" 평활화 격자 $L'$에 대하여, 평활화된 다중 타ellptic 감마 함수가 다음의 곱셈 관계를 만족함을 증명한다:
  $$\prod_{j=1}^n G_{n-2, a_1, \dots, \hat{a}_j, \dots, a_n}(v)(w, x, L, L')^{(-1)^{j+1}} = \exp\left( \frac{2\pi i b}{D(N, n)} \right)$$
  여기서 $b$는 형식들과 격자 클래스에 의존하는 정수이며, $D(N, n)$은 $N$과 $n$에 의존하는 특정 정수이다. 이는 $SL_2(\mathbb{Z})$에 대한 고전적인 데데킨트-라데마허 관계(Dedekind-Rademacher relation)를 고차원으로 일반화한 것이다.
• 정리 2: 저자들은 [Mor25]의 코바운더리 관계를 확장하여, 평활화되지 않은 기하학적 감마 함수의 곱이 더 넓은 범위의 선형 형식(구체적으로 쌍대 공간(dual space)에서 "잘 배치된" 형식들)에 대해 $\exp(2\pi i B_n)$과 같음을 보인다. 이는 랭크가 $n-1$인 경우까지 포괄한다.
• 정리 3: 본 논문은 평활화된 베르누이 유리 함수 $B_n(v)(w, x, L, L')$가 유리수임을 확립한다. 또한, 이들은 사이클로토믹 단위의 트레이스의 합으로 표현되며, 이는 이들의 분모에 대한 균등한 상계(uniform bound)가 존재함을 시사한다. 구체적으로, 그 값들은 $D(N, n)^{-1}\mathbb{Z}$에 속한다.
• 코호몰로지적 해석: 이 결과들은 군 코호몰로지(group cohomology) 관점에서 해석된다. 평활화된 함수들은 $\Gamma_0(N, n)$에 대한 부분 모듈러 심볼을 정의한다. 이 함수들을 수체의 완전 양의 단위 그룹으로부터 유도된 $\Gamma_0(N, n)$의 부분군 $U$로 제한할 때, 이들은 특정 계수 모듈(coefficient modules) 값을 갖는 $(n-2)$-코사이클(감마 함수의 경우) 및 $(n-1)$-코사이클(베르누이 함수의 경우)을 생성한다.

의의
본 논문은 힐베르트의 제12문제와 관련된 문제인, 정확히 하나의 복소 플레이스를 갖는 수체를 위한 추측된 고차 엘립틱 단위(higher elliptic units) 구성을 향한 필수적인 단계로서의 의의를 갖는다. 복소 삼차체($n=3$)로부터 임의의 차수 $n$으로 엘립틱 단위의 구성을 일반화함으로써, 저자들은 이러한 수체들의 아벨 확장에 대한 해석적 기술을 제공한다. 이 연구는 다중 타원 감마 함수의 기하학적 가족과 산술적 응용 사이의 간극을 메우며, 이러한 함수들의 "모듈러 결함(modularity defect)"이 균등하게 유계된 분모를 갖는 평활화된 고차 데데킨트 합(higher Dedekind sums)으로 감소함을 증명한다. 이 유계성은 스타크 유형 단위(Stark-type units)의 구성을 위해 요구되는 정수성(integrality) 성질에 있어 매우 중요하다. 본 논문은 이러한 단위들의 전체적인 구성과 단위 그룹 상에서의 성질 검증은 본 시리즈의 세 번째 논문에서 다룰 것임을 명시하고 있다.