[논문 리뷰] The twisted Selberg trace formula and the Selberg zeta function for compact orbifolds

Ksenia Fedosova|arXiv (Cornell University)|2015. 11. 13.

Advanced Algebra and Geometry참고 문헌 30인용 수 7

한 줄 요약

이 논문은 컴팩트한 홀로모르픽 오비폴드에서 비유니터리 표현에 대해 비틀린 셀버그 트레이스 공식을 수립하며, 관련된 셀버그 제타 함수가 전체 복소평면으로 유리형 해석적 계속성을 가짐을 증명한다. 이 접근법은 오비_bundle 위에서의 궤도 적분 계산과 열핵 점근 해석을 사용하여 고전적인 트레이스 공식 기법을 비유니터리 설정으로 확장한다.

ABSTRACT

We study elements of the spectral theory of compact hyperbolic orbifolds $Γ\backslash \mathbb{H}^{n}$. We establish a version of the Selberg trace formula for non-unitary representations of $Γ$ and prove that the associated Selberg zeta function admits a meromorphic continuation to $\mathbb{C}$.

연구 동기 및 목표

• 이산군이 하이퍼볼릭 공간에 작용하는 경우, 셀버그 트레이스 공식을 비유니터리 표현으로 확장한다.
• 컴팩트한 오비폴드에서의 셀버그 제타 함수가 유니터리 경우를 초월하여 유리형 해석적 계속성을 확립한다.
• 홀수 차원의 특이 스트라타를 가진 오비_bundle 위의 일반화된 라플라시안에 대해 열핵 점근 해석을 일반화한다.
• 비유니터리 설정에서 타원형 원소에 대한 궤도 적분을 계산하여 트레이스 공식 적용을 가능하게 한다.
• 홀수 차원 오비폴드에서의 해석적 토르션을 연구하기 위한 기초 도구를 제공한다.

제안 방법

• 비유니터리 표현 $\chi$ 와 유니터리 표현 $\sigma$ 와 관련된 비자기적 라플라시안에 대해 비틀린 셀버그 트레이스 공식을 유도한다.
• 시험 함수 $\phi$ 를 $\mathcal{P}(\mathbb{C})$ 에서 선택하여 스펙트럼 데이터와 궤도 적분 $I_\phi(\gamma)$ 를 연결한다.
• 유도된 표현 $\pi_{\sigma',\lambda}$ 의 특징과 짝수 다항식 $P_\gamma(i\lambda)$ 를 사용하여 타원형 원소에 대한 궤도 적분을 계산한다.
• 오비_bundle 위의 일반화된 라플라시안에 대해 열 추적 전개의 점근적 형태 $\text{Tr}\, e^{-t\Delta} \sim \sum_{k=0}^\infty a_k t^{k/2}$ 를 확립한다.
• 차원이 홀수일 경우 열 전개의 상수항이 0이 되는 것을 이용하여 해석적 토르션 결과를 뒷받침한다.
• 대칭 공간 $\mathbb{H}^{2n+1} = G/K$ 에서 트레이스 공식을 적용하며, 여기서 $G = SO_0(2n+1,1)$, $K = SO(2n)$ 이다.

실험 결과

연구 질문

• RQ1 비유니터리 표현 $\chi$ 인 경우 컴팩트한 하이퍼볼릭 오비폴드의 셀버그 제타 함수가 복소평면 전체에 대해 유리형 해석적 계속성을 가질 수 있는가?
• RQ2 비자기적 라플라시안에 의해 유도되는 비유니터리 표현에서의 셀버그 트레이스 공식을 일반화할 수 있는가?
• RQ3 비유니터리 설정에서 타원형 원소에 대한 궤도 적분의 구조는 어떠한가?
• RQ4 홀수 차원의 특이 스트라타를 가진 오비_bundle 위에서 열핵 전개는 어떻게 행동하는가?
• RQ5 홀수 차원에서 열핵 상수항이 0이 되는 것이 해석적 토르션에 어떤 영향을 미치는가?

주요 결과

• 컴팩트한 홀수 차원 하이퍼볼릭 오비폴드와 비유니터리 $\chi$ 에 대해 셀버그 제타 함수 $Z(s,\sigma,\chi)$ 는 $\mathbb{C}$ 전체에 대해 유리형 해석적 계속성을 가진다.
• 타원형 원소에 대한 궤도 적분은 $I_\phi(\gamma) = \sum_{\sigma' \in \widehat{SO(2n)}} \int_{\mathbb{R}} \Theta_{\lambda,\sigma'}(\phi) P_\gamma(i\lambda) d\lambda$ 로 표현되며, 특징과 짝수 다항식을 포함한다.
• 컴팩트한 오비_bundle 위의 일반화된 라플라시안에 대해 열 추적 전개는 $\text{Tr}\, e^{-t\Delta} = \frac{1}{2\pi t^{\dim(\mathcal{O})/2}} \sum_{k=0}^\infty a_k t^{k/2}$ 의 형태를 가지며, 실수 계수 $a_k$ 를 가진다.
• 오비폴드와 그 모든 특이 스트라타가 홀수 차원일 경우 상수항 $a_0$ 이 0이 된다.
• 트레이스 공식 접근을 통해 $Z'(s,\sigma,\chi)/Z(s,\sigma,\chi)$ 의 잔여류가 정수임을 확인하여 유리형 해석적 계속성을 확인한다.
• 결과는 향후 연구에서 홀수 차원 오비폴드에서 해석적 토르션의 계량 불변성을 증명하기 위한 기초를 제공한다.