[논문 리뷰] On the leafwise cohomology and dynamical zeta functions for fiber bundles over the circle

Junhyeong Kim|arXiv (Cornell University)|2017. 12. 12.

Topological and Geometric Data Analysis참고 문헌 3인용 수 3

한 줄 요약

이 논문은 원환면 위의 표면 묶음에 대해 잎자루(cohomology)와 동적 제타 함수의 정규화된 행렬식에 대한 명시적 공식을 제공하며, 함수 방정식과 특수값 공식을 수립한다. 이는 덴징거의 추측적 동적 리프슈츠 추적 공식을 구체적인 기하적 맥락에서 실현하며, 섬유 코homology 위의 단일화 작용을 통해 횡단 동역학과 코homological 불변량을 연결한다.

ABSTRACT

In this paper, we give concrete descriptions of leafwise cohomology groups and show the regularized determinant expression of the dynamical zeta function for fiber bundles over $S^{1}$. As applications, we show a functional equation and some formulas for special values of the dynamical zeta function.

연구 동기 및 목표

• 1-차원 폴로노미아이제이션을 갖춘 S¹ 위의 피브어 번들에 대한 잎자루 코homology 군을 구체적으로 기술하기.
• 이 기하적 맥락에서 동적 제타 함수의 정규화된 행렬식 표현을 도출하기.
• 코homology의 쌍대성에 의존하여 동적 제타 함수의 함수 방정식을 수립하기.
• 단일화 작용의 고유값 분해와 리프슈츠 수를 이용하여 제타 함수의 특수값을 계산하기.
• 폴로노미아이제이션 기하학에서 덴징거의 추측적 동적 리프슈츠 추적 공식을 구체적으로 실현하기.

제안 방법

• 닫힌 표면 S 위의 미분형사 $\varphi$ 의 스텐션을 이용하여 S¹ 위의 피브어 번들 M 를 구성하고, 1-차원 폴로노미아이제이션 $\mathcal{F}$ 를 유도한다.
• 잎자루 코homology $H^i_{\mathcal{F}}(M)$ 를 $H^i(S, \mathbb{C})$ 와 단일화 작용 $\varphi^*$ 를 통해 기술한다.
• 리프슈츠 고정점 정리에 의해 S 위의 $\mathbb{Z}$-작용의 주기적 궤도를 동적 제타 함수 $\zeta(M;s)$ 와 연결한다.
• 정규화된 행렬식 표현 $\zeta(M;s) = \prod_{i=0}^d \det(1 - \varphi^* r^{-s} \mid H^{d-i}(S,\mathbb{C}))^{(-1)^{i+1}}$ 을 유도한다.
• 포incare 쌍대성과 단일화 작용의 대칭성을 이용하여 함수 방정식 $\zeta(M;s) = (-r^s)^{\chi(S)} \zeta(M;-s)$ 를 증명한다.
• 단일화 작용 $\varphi^*$ 의 고유값 분해를 통해 특수값을 계산하고, 이를 리프슈츠 수 $\Lambda(\varphi^m)$ 과 연결한다.

실험 결과

연구 질문

• RQ1 S¹ 위의 표면 묶음에 대한 잎자루 코homology 군은 섬유 코homology 로 어떻게 명시적으로 기술될 수 있는가?
• RQ2 이 맥락에서 동적 제타 함수의 정규화된 행렬식 표현은 무엇인가?
• RQ3 동적 제타 함수는 함수 방정식을 만족하는가? 만약 그렇다면 그 대칭성은 무엇인가?
• RQ4 제타 함수의 특수값은 단일화 작용의 반복에 대한 리프슈츠 수와 어떻게 관련이 있는가?
• RQ5 덴징거의 추측적 동적 리프슈츠 추적 공식은 이 예시에서 구체적으로 실현될 수 있는가?

주요 결과

• 잎자루 코homology 군 $H^i_{\mathcal{F}}(M)$ 는 벡터 공간으로서 $H^i(S, \mathbb{C})$ 와 동형이며, 무한소 생성자 $\Theta$ 는 단일화 $\varphi^*$ 를 통해 작용한다.
• 동적 제타 함수는 정규화된 행렬식 표현 $\zeta(M;s) = \prod_{i=0}^d \det(1 - \varphi^* r^{-s} \mid H^{d-i}(S,\mathbb{C}))^{(-1)^{i+1}}$ 을 갖는다.
• 제타 함수는 함수 방정식 $\zeta(M;s) = (-r^s)^{\chi(S)} \zeta(M;-s)$ 를 만족하며, $\mathrm{Re}(s) = 0$ 에 대해 대칭적이다.
• s = k 에서의 제타 함수의 차수는 $\mathrm{ord}_{s=k}\zeta(M;s) = \sum_i (-1)^{i+1} \dim(H^i_{\mathcal{F}}(M)^{\Theta \sim k})$ 로 주어진다.
• s = k 에서의 특수값은 $\zeta(M;k)^* = (\log r)^{\mathrm{ord}_{s=k}\zeta(M;s)} \exp\left(\sum_{m \geq 1} \frac{r^{-km} \Lambda(\varphi^m) + \mathrm{ord}_{s=k}\zeta(M;s)}{m}\right)$ 로 주어진다.
• 리프슈츠 수 $\Lambda(\varphi^m) = \sum_i (-1)^i \mathrm{tr}(\varphi^{m*} \mid H^i(S))$ 는 제타 함수의 특수점에서의 상대적 도함수를 완전히 결정한다.