Formal multiple Eisenstein series and their derivations

기술 요약: 형식적 다중 아이젠슈타인 급수와 그 유도

문제 정의
본 논문은 다중 아이젠슈타인 급수(multiple Eisenstein series)의 대수적 구조와 다중 제타 값(multiple zeta values, MZVs) 및 (준)모듈러 형식(quasi-modular forms) 사이의 관계를 다룬다. 고전적인 다중 아이젠슈타인 급수(Gangl–Kaneko–Zagier에 의해 도입됨)와 그 정규화된 버전들은 복잡한 대수적 관계를 만족하지만, 해석적 수렴성이나 특정 $q$-급수 실현에 의존하지 않고 이러한 관계를 포착할 수 있는 순수하게 형식적인 프레임워크는 부족한 상태였다. 구체적으로, 저자들은 고전적 아이젠슈타인 급수의 대수적 성질(유도에 대한 거동 포함)을 반영하는 "형식적" 대수를 정의하고, 이 형식적 대수와 형식적 다중 제타 값의 대수 사이의 엄밀한 연결 고리를 구축하고자 한다.

방법론
저자들은 조합론적 및 대수적 접근 방식을 통해 형식적 다중 아이젠슈타인 급수의 대수 $\mathcal{G}_f$를 구성한다:

1. 대수적 설정: 저자들은 알파벳 $\mathcal{A} = \{ \binom{k}{d} \mid k \ge 1, d \ge 0 \}$를 정의하고 자유 대수 $\mathbb{Q}\langle \mathcal{A} \rangle$를 고려한다. 이 공간에 규칙 $\binom{k_1}{d_1} \ast \binom{k_2}{d_2} = \binom{k_1+k_2}{d_1+d_2}$에 의해 정의되는 "스터플(stuffle)" 곱(준-셔플 곱)을 부여한다. 이는 MZV에 사용되는 표준 스터플 곱을 확장한 것이다.
2. 스왑 불변성(Swap Invariance): 핵심 단계는 $\mathcal{A}$의 단어들의 생성 급수에 작용하는 선형 사상 $\sigma$("스왑")를 도입하는 것이다. 이 사상은 다중 아이젠슈타인 급수의 $q$-급수 전개에서 관찰되는 분할의 공액(conjugation of partitions)으로부터 동기를 얻었다. 대수 $\mathcal{G}_f$는 $\sigma(w) - w$ 형태의 원소들로 생성된 아이디얼에 의한 $(\mathbb{Q}\langle \mathcal{A} \rangle, \ast)$의 몫(quotient)으로 정의된다. 이는 "스왑 불변성"을 근본적인 관계로 부과한다.
3. 유도(Derivations): 저자들은 기저 자유 대수 상의 세 가지 특정 유도 $W, D, \delta$를 도입한다. 저자들은 이 유도들이 $\sigma$-공변적(스왑 사상과 교환 가능)임을 증명하며, 이를 통해 $\mathcal{G}_f$ 몫 대수 상에서 잘 정의된 유도로 내려올 수 있음을 보장한다.
   • $W$는 가중치 연산자로 작용한다.
   • $D$는 가중치를 2만큼 증가시키는 유도($q \frac{d}{dq}$에 대응)로 작용한다.
   • $\delta$는 다섯 가지 특정 준-셔플 대수 상의 유도들의 합으로 구성된, 가중치 $-2$를 갖는 더 복잡한 유도이다.
4. MZV로의 몫: 저자들은 형식적 다중 제타 값의 대수 $\mathcal{Z}_f$를 $\binom{1, \dots, 1, k_1, \dots, k_r}{d_1, \dots, d_s, 0, \dots, 0}$의 형태가 아닌 단어들로 생성된 아이디얼 $N$에 의한 $\mathcal{G}_f$의 몫으로 정의한다. 이는 "상수항"으로의 투영에 해당한다.

주요 기여 및 결과

• $\mathcal{G}_f$의 정의: 본 논문은 $\mathcal{G}_f$를 형식적 다중 아이젠슈타인 급수의 대수로 공식 정의한다. 단일 인덱스 원소 $G_f(k_1, \dots, k_r)$ (여기서 $d_i=0$)가 재귀적 공식(결과 2.11)과 일반화된 오일러 관계(결과 2.12)를 포함하여 고전적 아이젠슈타인 급수와 동일한 대수적 관계를 만족함을 보인다.
• $sl_2$-대수 구조: 주요 결과(정리 1.2, 정리 4.12)는 $\mathcal{G}_f$가 $sl_2$-대수임을 확립한다. 유도 $W, D, \delta$는 다음의 교환자 관계를 만족한다:
  $$[W, D] = 2D, \quad [W, \delta] = -2\delta, \quad [\delta, D] = W.$$
  이는 준-모듈러 형식의 대수에 알려진 $sl_2$-구조를 다중 아이젠슈타인 급수의 영역으로 일반화한 것이다.
• 형식적 MZV와의 연결: 정리 1.1은 $G_f(k_1, \dots, k_r)$를 $\zeta_f(k_1, \dots, k_r)$로 매핑하는 전사 대수 준동형 사상 $\pi: \mathcal{G}_f \to \mathcal{Z}_f$의 존재를 증명한다. 이 사상의 커널(kernel)은 명시적으로 기술된다. 정리 2.17은 이렇게 정의된 형식적 다중 제타 값이 확장된 이중 셔플 관계(extended double shuffle relations)를 만족함을 보여줌으로써, 형식적 접근 방식의 일관성을 확인한다.
• 형식적 준모듈러 형식: $G_f(2), G_f(4), G_f(6)$에 의해 생성되는 부분 대수 $\mathcal{M}_f \subset \mathcal{G}_f$는 $sl_2$-대수로서 고전적 준모듈러 형식 $\tilde{M}$과 동형임을 보인다(정리 5.4). 이 부분 대수는 라마누잔 미분 방정식과 채지(Chazy) 방정식을 만족한다.
• 형식적 모듈러 및 첨두 형식(Cusp Forms): 저자들은 $\mathcal{M}_f$ 내의 $\delta$의 커널을 형식적 모듈러 형식 $\mathcal{M}_f$로, $\mathcal{M}_f$ 내의 $\pi$의 커널을 형식적 첨두 형식 $\mathcal{S}_f$로 정의한다. 이 공간들이 각각의 고전적 대응물과 동형임을 증명한다(명제 5.7, 따름정리 5.9).
• 균형 잡힌 설정(Balanced Setup): 부록(및 섹션 6)은 Nils Matthes(및 Burmester)가 도입한 "균형 잡힌 설정"을 설명하며, 이는 $\mathcal{G}_f$와 다른 알파벳 위의 자유 대수의 몫 사이의 대안적인 동형 관계를 제공하여 스터플 곱과 스왑 불변성에 대한 다른 관점을 제시한다.

의의

본 논문은 고전적 (준)모듈러 형식에 대한 "새롭고 순수하게 형식적인 접근 방식"을 제공한다고 주장한다. $\mathcal{G}_f$를 구축함으로써, 저자들은 $q$-급수의 해석적 성질이나 아이젠슈타인 급수의 수렴성에 의존하지 않고 형식적 다중 제타 값과 모듈러 형식 사이의 새로운 연결 고리를 만든다.

그 의의는 다음과 같다:

1. 통합: "상수항" 투영이 대수 준동형 사상인 단일한 형식적 프레임워크 아래에서 다중 제타 값과 다중 아이젠슈타인 급수의 대수적 구조를 통합한다.
2. 유도: 준모듈러 형식의 $sl_2$-대수 구조를 다중 아이젠슈타인 급수의 영역으로 확장하며, 이전에 고전적 해석적 환경에서만 알려졌던 명시적인 유도 공식을 제공한다.
3. 형식적 관계: 확장된 이중 셔플 관계가 스왑 불변성, 스터플 곱, 그리고 형식적 MZ를 정의하는 특정 몫의 결합과 동등함을 보여줌으로써 새로운 관점을 제공한다.

저자들은 $\mathcal{G}_f$가 단일 인덱스 원소들에 의해 생성될 것이라는 추측(추측 2.6)과 조합적 다중 아이젠슈타인 급수의 공간과 동형일 것이라는 추측(추측 4.18)을 언급하며, 이들이 여전히 미해결 과제로 남아 있음을 밝히고 있다. 본 연구는 이러한 연결을 더욱 탐구하기 위한 대수적 토대를 마련한다.