[논문 리뷰] The Taylor expansion of Ruelle L-function at the origin and the Borel regulator

Ken‐ichi Sugiyama|ArXiv.org|2008. 04. 17.

Analytic Number Theory Research참고 문헌 10인용 수 4

한 줄 요약

이 논문은 유한 체적의 기하학적 비대칭성을 가진 홀로모르픽 다양체 위의 커푸실 단위 국소계열에 대한 루엘 L-함수에 대해 기능 방정식과 리만 유형의 가설을 수립한다. 원점에서의 로렌트 전개를 계산하여 두 번째 계수는 군대 기여를 제외한 체적의 유리수 배임을 보여주며, 차원 3에서 주계수는 K-이론 원소의 주기로 식별되며, 체거-밀러 정리에 의해 보렐 재규화와 $L^2$- torsion과 연결된다.

ABSTRACT

We will prove that Ruelle L-function for a cuspidal local system on an odd dimensional hyperbolic manifold with finite volume satisfies a functional equation and an analog of the Riemann hypothesis. We will also compute its Laurent expansion at the origin and will prove that the second coefficient coincides with a rational multiple of the volume up to a certain contribution from cusps. Moreover if the dimension is three we will identify the leading coefficient. Both of them will be intepreted by the Borel regulator in algebraic K-theory. Also a relation with the L^2-torsion will be discussed.

연구 동기 및 목표

• 홀수 차원의 유한 체적 초구형 다양체 위의 루엘 L-함수에 대해 기능 방정식과 리만 가설의 유사체를 수립하기.
• 루엘 L-함수의 원점에서의 로렌트 전개를 계산하고, 두 번째 계수가 군대 기여를 제외한 체적의 유리수 배임을 밝혀내기.
• 차원 3에서의 타일러 전개의 주계수를 식별하고, 이를 K-이론 원소의 주기로 해석하기.
• 체거-밀러 정리를 통해 루엘 L-함수의 특수값을 $L^2$-torsion과 보렐 재규화와 연결하기.

제안 방법

• 루엘 L-함수의 해석적 계속성과 기능 방정식을 분석하기 위해 하이퍼볼릭 다양체 위의 라플라스 연산자의 스펙트럼 이론과 셀버그 트레이스 공식을 사용하기.
• 열핵 전개에 멜린 변환을 적용하여 루엘 L-함수와 관련된 제타 함수를 연구하고 특수값을 추출하기.
• 분석적 토르션(Ray-Singer 토르션)과 루엘 L-함수의 0에서의 로그 도함수를 연결하기 위해 체거-밀러 정리를 활용하기.
• $K_{2l-1}(ield{C})$ 위에서 보렐 재규화 사상 정의 및 계산하여 타일러 전개의 주계수를 재규화 주기로 해석하기.
• 루엘 L-함수의 로그 도함수의 행동을 분석하여 대칭성 성질을 도출하고 임계대에서의 영점과 극을 특정하기.
• 에프스타인 제타 함수와 군대 기여를 사용하여 $\delta(X,\rho)$ 를 정의하고, 이는 기능 방정식과 계수 구조를 수정한다.

실험 결과

연구 질문

• RQ1 홀수 차원의 유한 체적 초구형 다양체 위의 커푸실 단위 국소계열에 대한 루엘 L-함수가 기능 방정식과 리만 가설의 유사체를 만족하는가?
• RQ2 루엘 L-함수의 원점에서의 로렌트 전개의 정확한 구조는 무엇이며, 계수들은 체적과 군대 기여와 같은 기하학적 불변량과 어떻게 관련되는가?
• RQ3 차원 3에서 타일러 전개의 주계수는 어떤 K-이론 원소의 주기로 식별될 수 있으며, 보렐 재규화와는 어떻게 관련되는가?
• RQ4 초구형 다양체의 $L^2$-torsion은 체거-밀러 정리를 통해 루엘 L-함수의 특수값과 어떻게 연결되는가?
• RQ5 에프스타인 제타 함수를 통해 군대에서 정의된 상수 $\delta(X,\rho)$ 는 기능 방정식과 계수 구조를 수정하는 데 어떤 역할을 하는가?

주요 결과

• 루엘 L-함수는 $ R_X(z,\rho) \cdot R_X(-z,\rho)^{-1} = \exp\left[\frac{\operatorname{vol}(X)}{\pi} Y(z) + 4\sum_{j=0}^{n}(-1)^j \delta(X,\rho) z \right] $ 의 형태의 기능 방정식을 만족하며, 여기서 $ Y(z) $ 는 0에서 값이 0인 유리수 다항식이다.
• 원점에서의 로렌트 전개의 두 번째 계수 $ c_1 $ 은 $ c_1 - 2\sum_{j=0}^{n}(-1)^j \delta(X,\rho) = \text{유리수 배 of } \frac{\operatorname{vol}(X)}{\pi} $ 를 만족하며, 차원 3에서는 등식 $ c_1 = -3r \frac{\operatorname{vol}(X)}{\pi} $ 가 성립한다.
• 차원 3에서 타일러 전개의 주계수는 $ K_1(\mathbb{C}) $ 내의 특정 원소의 주기로 식별되며, 이를 보렐 재규화 주기로 해석한다.
• $ L^2 $-torsion은 특수값 $ \zeta_X'(0,\rho) $ 와 관련되며, 이는 루엘 L-함수의 0에서의 로그 도함수와 같고, 열핵의 멜린 변환을 통해 표현된다.
• 상수 $ \delta(X,\rho) $ 는 군대에서의 에프스타인 제타 함수에서 유래하며, 기능 방정식과 계수 전개에서 체적 항을 수정한다.
• 루엘 L-함수 $ R_X(z,\rho) $ 의 원점에서의 타일러 전개의 주항은 $ \exp(-\zeta_X'(0,\rho)) $ 이며, 이는 분석적 토르션과 루엘 L-함수의 원점에서의 행동을 연결한다.