Fourier Coefficients of Siegel--Eisenstein Series of Degree $2m$ and Weight $m+1$

기술 요약: 차수 $2m$ 및 가중치 $m+1$인 지겔-아이젠슈타인 급수의 푸리에 계수

문제 정의
본 논문은 $n = 2m$ 차수 및 가중치 $k = m+1$인 지겔-아이젠슈타인 급수 $E^{(n)}_k(Z)$의 푸리에 전개를 조사한다. 구체적으로는 $m \equiv 1 \pmod 4$이고 $m \ge 5$인 경우를 다룬다. 가중치 $k = (n+2)/2$는 지겔 모듈러 형식 이론에서 경계 사례(boundary case)에 해당한다. Shimura와 Weissauer가 $k \ge (n+1)/2$인 경우 지겔-아이젠슈타인 급수가 특정 예외적인 경우를 제외하고는 정칙(holomorphic)임을 입증했으나, $k = (n+2)/2 \equiv 2 \pmod 4$인 경우는 변수 $Z = X + \sqrt{-1}Y$의 허수부 $Y$에 대해 비정칙적 의존성을 나타내는 것으로 알려져 있다.

주요 목적은 이 특정 가중치와 차수에 대해 푸리에 계수 함수 $A^{(n)}_T(Y)$를 명시적으로 결정하는 것이다. 여기에는 상수항(constant term)과 0이 아닌 지수(index)에 대한 계수 계산, 비정칙 항의 정확한 성질(특히 $\sqrt{\det Y}$에 대한 의존성) 식별, 그리고 $L$-함수의 극(pole)이나 지겔 급수(Siegel series)가 감마 인자(gamma factors)의 영점(zeros)과 상호작용하는 예외적인 경우의 구분이 포함된다.

방법론
분석은 근본적으로 Mizumoto이 확립한 지겔-아이젠슈타인 급수의 일반적인 푸리에 전개 공식에 의존한다. 본 논문은 브루하트 셀(Bruhat cells)의 다양한 계수(rank) $\nu$에 따른 기여분으로 급수를 분해하고, 복소 매개변수 $s$가 $s=0$으로 접근할 때의 거동을 분석하는 방식으로 진행된다.

주요 방법론적 구성 요소는 다음과 같다:

1. Mizumoto의 전개: 급수는 $\nu$(셀의 계수)와 $\lambda$(지수 행렬 $T$의 계수)에 대한 합으로 표현된다. 각 항은 지겔 급수, 쾨허-마아스 제타 함수(Koecher–Maass zeta functions), 그리고 합성 초기하 함수(confluent hypergeometric functions)를 포함한다.
2. $s=0$에서의 로랑 전개(Laurent Expansion): 급수가 $s=0$에서 정의되므로, 저자들은 각 성분의 로랑 전개의 유한 부분(finite part)을 계산한다. 이를 위해 다음 요소들로부터 발생하는 영점과 극을 주의 깊게 추적해야 한다:
   • 감마 인자 $\Gamma_\nu(s)$.
   • 지겔 급수 $S_\nu(T, s)$.
   • 쾨허-마아스 제타 함수 $\zeta^{(n)}_\nu(g, s)$.
   • 완비된 리만 제타 함수 $\xi(s)$.
3. 계수에 따른 사례 분석:
   • 상수항 ($T=0$): 계산은 $\nu = 0, 1, 2, 2m-1, 2m$의 기여를 합산하는 과정을 포함한다. 저자들은 에프스타인 제타 함수(Epstein zeta functions)의 함수 방정식과 잔차 공식을 활용하여 합을 단순화한다.
   • 0이 아닌 지수 ($T \neq 0$): 양의 준정부호(positive semi-definite, $T \ge 0$)와 양의 준정부호가 아닌(non-positive semi-definite, $T \not\ge 0$) 지수를 구분하여 분석한다.
   • 예외적 쌍(Exceptional Pairs): 저자들은 Mizumoto 공식의 스칼라 인자가 $s=0$에서 비양수 차수를 갖는 특정 지수 집합 $J^{(n)}_\lambda$를 정의한다. 이들이 최종 푸리에 계수에 기여하는 유일한 항들이다.
   • 제곱 판별식 극(Square-Discriminant Poles): 지겔 급수가 단순 극을 갖는 경우(계수 $\lambda$가 짝수이고 관련 행렬의 판별식이 제곱인 경우)에 특별히 주의를 기울인다. 이러한 극과 스칼라 인자의 영점 사이의 상호작용는 최종적으로 비제로(non-zero) 계수가 존재하는지를 결정한다.

주요 기여 및 결과

1. 상수항 공식 (정리 4.1 및 6.1):
   본 논문은 상수항 $A^{(2m)}_0(Y)$에 대한 명시적인 공식을 도출한다.

   • $m \equiv 3 \pmod 4$인 경우, 상수항은 $1$이며, 이는 해당 경우의 정칙성과 일치한다.
   • $m \equiv 1 \pmod 4$인 경우, 상수항은 $Y$에 대한 비자명한 의존성을 보인다:
     $$A^{(2m)}_0(Y) = 1 + \frac{(\epsilon_m - 1)\pi^{m+1}}{\zeta(m+1)\zeta(2m)\sqrt{\det Y}} \left( \frac{\zeta(m)}{2^{m+1}m!} + \frac{(m-2)!\zeta(m-1)}{(2m)!} \zeta^{(2m)}_1(Y, m-1) \right)$$
     여기서 $\epsilon_m = (-1)^{(m+1)/2}$이고 $\zeta^{(2m)}_1(Y, m-1)$은 여해석적 연속(meromorphic continuation)을 통해 이해되는 쾨허-마아스 제타 함수이다. 이 결과는 차수 2에 대한 Kohnen, Nagaoka, Haruki의 공식을 고차원으로 일반화한다.

2. 0이 아닌 지수 항 (Proposition 5.3 및 5.5):
   본 논문은 $T \neq 0$인 경우의 계수 $A^{(n)}_T(Y)$에 대한 완전한 특성화를 제공한다.

   • 양의 준정부호 $T$: 계수는 특정 계수 $\nu \in J^{(n)}_\lambda$에 대한 유한 합으로 표현된다. 각 항은 지겔 급수 $S_\lambda(h, u)$와 특정 지점에서의 합성 초기하 함수(또는 그 도함수)의 값을 사용하여 표현된다.
   • 양의 준정부호가 아닌 $T$: 비제로 계수는 행렬 $h$의 부호(signature) $(p, q)$와 판별식의 기우성(parity)에 의해 결정되는 특정 계수 $\lambda$와 셀 계수 $\nu$의 쌍에서만 발생함을 확인하였다.
   • 예외적인 경우: 저자들은 스칼라 인자의 영점이 지겔 급수의 극을 상쇄하는 경우(특히 $(\lambda, \nu) = (n-2, n)$ 및 제곱 판별식 케이스)를 명시적으로 처리한다. 이러한 경우 계수는 지겔 급수 또는 관련 $L$-함수의 도함수를 포함한다.

3. 차수 6의 상쇄 (부록 A):
   본 논문은 $m=3$ (차수 6)인 경우, 상수항 계산에서 추가적인 중간 계수($\nu=3, 4$)가 나타남을 언급한다. 그러나 이 항들이 서로 상쇄됨을 보여줌으로써, $m \ge 5$에 대한 일반적인 공식이 상수항에 대해 균등하게 적용될 수 있음을 입증한다.

의의
본 논문은 예외적 가중치 $k=2$ (즉, $n=2$)에 대한 차수 2의 공식을 고차수로 확장한 결과물이라고 주장한다. Mizumoto의 일반적인 전개 공식을 활용함으로써, 저자는 $m \equiv 1 \pmod 4$인 차수 $n=2m$에 대한 상수항과 0이 아닌 지수의 처리를 통합하였다. 본 연구는 이 경계 가중치에서 비정칙적 $Y$ 의존성의 구조를 명확히 하며, 이것이 지겔 급수의 극과 감마 및 제타 인자의 영점 사이의 특정한 상호작용으로부터 발생함을 보여준다. 이 결과는 거의 정칙 모듈러 형식(nearly holomorphic modular forms)과 임계 가중치 범위에서의 아이젠슈타인 급수의 푸리에 전개에 대한 이해를 확장한다.