The divisor of the twisted Selberg zeta function

기술 요약: 비틀린 셀베르그 제타 함수의 약수(Divisor)

문제 정의
본 논문은 무한 영역을 가진 기하학적으로 유한한 쌍곡 오비서피스(orbisurface) $X = \Gamma \backslash \mathbb{H}$와 연관된 비틀린 셀베르그 제타 함수 $Z_{X,\chi}(s)$의 해석적 구조를 다룬다. 이 함수는 유한 차원 유니터리 표현 $\chi: \Gamma \to U(V)$에 의해 비틀린, 기본군 $\Gamma$ 내의 원시 쌍곡 켤레류(primitive hyperbolic conjugacy classes)에 대한 무한 곱으로 정의된다. 비틀린 요소가 없는 오비폴드 점이 없는 곡면의 경우나 특정 표현을 위한 전이 연산자(transfer operator) 접근법을 통한 경우(예: $Z_{X,\chi}$의 복소 평면으로의 메로모르픽 연속 확장)는 이미 확립되었으나, 오비폴드 특이점( $\Gamma$ 내의 타원형 요소)과 유니터리 비틀림(twist)을 모두 포함하는 일반적인 경우에 대해 스펙트럼 및 기하학적 데이터를 통해 약수(divisor, 영점과 극점)를 기술하는 완전한 인수분해 공식은 여전히 미해결 과제로 남아 있었다.

방법론
저자들은 인수분해를 도출하기 위해 스펙트럼 이론, 산란 이론(scattering theory), 그리고 복소 해석학의 결합된 방법을 사용한다. 방법론은 다음과 같은 몇 가지 핵심 단계로 진행된다:

1. 모델 케이스 및 기하학적 분해: 저자들은 먼저 기본군 $\Gamma$가 순환군(cyclic group)인 "모델" 오비서피스들에 대해 인수분해 공식을 확립한다. 여기에는 쌍곡 평면, 원뿔(elliptic generators), 포물선 실린더(cusps), 그리고 쌍곡 실린더가 포함된다. 이들은 구성 요소 역할을 한다. 그 후, 저자들은 일반적인 기하학적으로 유한한 오비서피스를 컴팩트 코어(compact core), 유한한 수의 퍼널 엔드(funnel ends), 그리고 컵스 엔드(cusp ends)로 이루어진 기하학적 분해를 활용한다.
2. 레졸번트 분석 및 정규화된 트레이스: 증명의 핵심은 비틀린 라플라시안 $\Delta_{X,\chi}$의 레졸번트(resolvent)에 달려 있다. 저자들은 레졸번트를 위한 두 가지 유형의 정규화된 트레이스를 정의한다: 대수적 정규화($\Phi_{X,\chi}$)와 산란 이론적 정규화($\Upsilon_{X,\chi}$).
   • 대수적 트레이스는 셀베르그 트레이스 공식에 의해 셀베르크 제타 함수의 로그 미분과 관련이 있다.
   • 산란 트레이스는 상대적 산란 행렬식(relative scattering determinant)의 로그 미분과 관련이 있다.
3. 함수 방정식에 의한 연결: 두 정규화된 트레이스를 비교함으로써, 저자들은 셀베르크 제타 함수를 산란 행렬식과 연결하는 함수 방정식을 도출한다. 이 과정에서 오비폴드 점에 의해 도입된 특이점과 비틀림 $\chi$, 특히 $s=1/2$ 근처에서의 레졸번트 거동 및 포러블릭(parabolic) 요소의 기여를 세심하게 처리한다.
4. 하다마르 인수분해(Hadamard Factorization): 확립된 메로모르픽 연속 확장 및 정규화된 트레이스에 대한 점근적 경계(특히 트레이스가 $\langle s \rangle^{2+\kappa}$와 같이 성장한다는 사실)를 사용하여, 저자들은 하다마르 인수분해 정리를 적용한다. 이를 통해 제타 함수를 여러 개의 전해 함수(전체 함수)의 곱, 즉 레조넌스(resonances)의 바이어슈트라스 곱, 감마 함수, 바恩스 $G$-함수, 그리고 다항식 지수 인자의 곱으로 표현할 수 있다.

주요 기여 및 결과
주요 결과는 모든 $\mathbb{C}$에서 유효한 $Z_{X,\chi}(s)$에 대한 명시적인 인수분해 공식인 정리 A를 제공한다:

$$Z_{X,\chi}(s) = e^{q(s)} G_{X^\wedge, \chi}(s) G_\infty(s)^{-\dim(V) \chi_{\text{top}}^e(X)} \cdot \frac{\Gamma(s - 1/2)^{n_p}}{\Gamma(s + 1/2)^{n_d}} \cdot P_{X,\chi}(s)$$

여기서:

• $q(s)$는 차수가 최대 2인 다항식이다.
• $P_{X,\chi}(s)$는 비틀린 라플라시안 $\Delta_{X,\chi}$의 레조넌스들의 바이어슈트라스 곱(차수 2인 하다마르 곱)이다.
• $G_\infty(s)$는 위상적 오일러 특성 $\chi_{\text{top}}^e(X)$를 고려하여 바恩스 $G$-함수와 관련된 특정 전체 함수이다.
• $G_{X^\wedge, \chi}(s)$는 오비폴드 특이점(타원형 요소)의 기여를 처리하기 위해 특별히 설계된, 바恩스 $G$-함수와 감마 함수들로 구성된 새로운 전체 함수이다.
• 감마 인자 $\Gamma(s \pm 1/2)$는 표현 $\chi$가 포러블릭 요소 상에서 갖는 고유값에 따라 결정되는 "특이도 차수(singularity degrees)" $n_p$(컵스에서) 및 $n_d$(디스크 엔드에서)를 설명한다.
• 오비폴드 오일러 특성 $\chi_{\text{orb}}^e(X)$와 감마 함수의 곱 $\Gamma_{X^\wedge, \chi}(s)$를 사용하는 대안적인 형태도 제공된다.

구체적 발견:

• 오비폴드 특이점: 본 논문은 오비폴드 점으로부터 발생하는, 인수분해에서 이전에 관찰되지 않았던 기여를 식별한다. 이는 $G_{X^\wedge, \chi}(s)$ (또는 동등한 $\Gamma_{X^\wedge, \chi}(s)$) 함수에 담겨 있으며, 이는 표준 인자들의 로그 미분의 정수가 아닌 잔차(non-integer residues)를 보정한다.
• 일반화: 이 결과는 오비폴드 점이 없는 비틀림 없는 곡면에 대한 Borthwick, Judge, Perry (2006)의 인수분해를 임의의 유한 영역을 가진 기하학적으로 유한한 오비서피스와 유니터리 비틀림의 경우로 일반화한다.
• 메로모르픽 연속 확장: 이 증명은 인수분해의 결과로서 $Z_{X,\chi}$가 전체 복소 평면으로 메로모르픽 연속 확장이 됨을 입증하며, 이는 전이 연산자 방법의 대안을 제공한다.

의의
본 논문은 무한 영역의 쌍곡 오비서피스에 대한 비틀린 셀베르크 제타 함수의 영점과 극점에 대한 완전한 스펙트럼 및 기하학적 해석을 제공한다고 주장한다. 이를 통해 제타 함수의 약수를 다음의 요소들로 표현한다:

1. 스펙트럼 개체: 라플라시안의 레조넌스 ($P_{X,\chi}$).
2. 기하학적/위상적 개체: 오일러 특성, 컵스의 수, 그리고 특이도 차수.
3. 표현론적 개체: 타원형 및 포러블릭 요소에서의 비틀림 $\chi$의 구체적인 고유값.

저자들은 오비폴드 특이점의 존재가 인수분해 공식에 별도의 인자를 필요로 한다는 점을 보여주며, 이는 비틀림 없는 공식이 충분하다는 가정을 교정한다. 이 연구는 비틀림과 특이점을 통합하여 처리하며, 비컴팩트하고 특이한 쌍곡 기하학의 맥락에서 셀베르크 제타 함수를 분석하기 위한 견고한 프레임워크를 제공한다. 이 논문은 새로운 실험적 응용을 제안하기보다는, 주기적 측지선의 분포와 기저 라플라시안의 스펙트럼적 성질을 이해하는 데 필수적인 제타 함수의 약수에 대한 이론적 토대를 공고히 하는 데 목적이 있다.