[논문 리뷰] Fried conjecture in small dimensions

Nguyen Viet Dang, Colin Guillarmou외 2명|HAL (Le Centre pour la Communication Scientifique Directe)|2018. 07. 03.

Advanced Topology and Set Theory인용 수 4

한 줄 요약

이 논문은 3차원에서 평탄한 벡터 번들의 부드러운 아노소프 벡터장에 대해 분석 토션과 비틀린 루엘 제타 함수의 0에서의 값 사이의 프리드 추측을 증명한다. 높은 차원에서 스펙트럼 조건 하에 제타 함수가 0에서 국소적으로 일정함을 확립하고, 변동하는 음의 곡률을 가진 하이퍼볼릭 3-다양체 위의 지오데식 흐름 근처의 아노소프 흐름에 대해 추측을 확인하여, 변수 음의 곡률 환경에서 처음으로 비해석적 예시에서 추측이 성립하는 것을 보여준다.

ABSTRACT

We study the twisted Ruelle zeta function $ζ_X(s)$ for smooth Anosov vector fields $X$ acting on flat vector bundles over smooth compact manifolds. In dimension $3$, we prove Fried conjecture, relating Reidemeister torsion and $ζ_X(0)$. In higher dimensions, we show more generally that $ζ_X(0)$ is locally constant with respect to the vector field $X$ under a spectral condition. As a consequence, we also show Fried conjecture for Anosov flows near the geodesic flow on the unit tangent bundle of hyperbolic $3$-manifolds. This gives the first examples of non-analytic Anosov flows and geodesic flows in variable negative curvature where Fried conjecture holds true.

연구 동기 및 목표

• 부드러운 아노소프 벡터장에 대해 평탄한 벡터 번들의 분석 토션과 비틀린 루엘 제타 함수의 0에서의 값 사이의 프리드 추측을 증명한다.
• 프리드 추측의 타당성을 비해석적 아노소프 흐름과 변수 음의 곡률에서의 지오데식 흐름으로 확장한다.
• 높은 차원에서 비틀린 루엘 제타 함수가 0에서 스펙트럼 조건 하에 국소적으로 일정함을 증명한다.
• 하이퍼볼릭 3-다양체의 단위 접선다양체 위의 지오데식 흐름 근처의 아노소프 흐름에 대해 추측을 확인한다.
• 변수 음의 곡률 환경에서 비해석적 아노소프 흐름에 대해 프리드 추측이 성립하는 첫 번째 예를 제공한다.

제안 방법

• 콤���한 다양체 M 위의 부드러운 아노소프 벡터장 X와 평탄한 헤르미트 번들 E를 고려하여, X의 원시 닫힌 궤도를 통해 정의된 비틀린 루엘 제타 함수 ζ_X,ρ(λ)를 분석한다.
• Rugh, Fried, 그리고 Giulietti-Liverani-Pollicott의 C^∞ 아노소프 흐름에 대한 이전 작업을 바탕으로 제타 함수의 유리형 연속 기법을 적용한다.
• 비틀린 라플라시안이 불안정 및 안정 방향에서 영 모드를 가지지 않는 스펙트럼 조건을 이용하여, X에 대해 ζ_X(0)의 국소 일정성을 확립한다.
• Ray-Singer 분석 토션 τ_ρ(M)과 acyclic 유니터리 표현에 대해 체거-뮐러 정리에 의해 등가인 Reidemeister 토션에 의존한다.
• 셀버그 트레이스 공식 기법과 하이퍼볼릭 다양체에서 대칭 텐서의 비자기 성분에 대한 SO(n)의 표현 이론을 적용하여 제타 함수를 분석한다.
• 비틀린 라플라시안과 발산 연산자의 핵의 차원을 이용하여 셀버그 제타 함수의 영점의 차수를 확립한다.

실험 결과

연구 질문

• RQ1 3차원에서 평탄한 벡터 번들을 지닌 아노소프 흐름에 대해 프리드 추측이 성립하는가?
• RQ2 높은 차원에서 비틀린 루엘 제타 함수가 스펙트럼 조건 하에 s=0에서 국소적으로 일정한가?
• RQ3 변수 음의 곡률에서 하이퍼볼릭 3-다양체 위의 지오데식 흐름으로 프리드 추측이 확장되는가?
• RQ4 비해석적 아노소프 흐름 중에서 프리드 추측이 성립하는 것이 있는가?
• RQ5 셀버그 제타 함수의 영점의 차수와 비틀린 라플라시안의 핵 사이의 정확한 관계는 무엇인가?

주요 결과

• 3차원에서 부드러운 아노소프 벡터장에 대해 평탄한 벡터 번들을 지닌 프리드 추측이 증명되었으며, |ζ_X,ρ(0)|^{(-1)^{n_0}} = τ_ρ(M)임을 보였다.
• 높은 차원에서 비틀린 라플라시안에 대한 스펙트럼 조건 하에 ζ_X(0)이 벡터장 X에 대해 국소적으로 일정함을 증명하였다.
• 하이퍼볼릭 3-다양체의 단위 접선다양체 위의 지오데식 흐름 근처의 아노소프 흐름에 대해 추측이 검증되었으며, 변수 음의 곡률 조건 하에서도 성립한다.
• 이로써 변수 음의 곡률 환경에서 비해석적 아노소프 흐름에 대해 프리드 추측이 성립하는 첫 번째 알려진 예가 제공되었다.
• 셀버그 제타 함수 Z_{S,σ_m}(s)의 영점의 차수는 비틀린 라플라시안과 발산 연산자의 핵의 차원을 통해 계산되었다.
• s₀ ≠ n/2일 때, 영점의 차수는 dim(ker(∇*∇ - n²/4 - m + (s₀ - n/2)²) ∩ ker D*)이며, s₀ = n/2일 때는 그 두 배이다.