[논문 리뷰] Gluing Formula for Refined Analytic Torsion

Boris Vertman|ArXiv.org|2008. 08. 04.

Advanced Operator Algebra Research참고 문헌 29인용 수 11

한 줄 요약

이 논문은 홀수 차원 닫힌 다중다양체가 초표면을 따라 분할된 경우, 에타 불변량 분할, 코homological 장점 길이 수열, 그리고 Cheeger-Müller 정리의 조합을 통해 정밀 분석 토르션의 접합 공식을 수립한다. 핵심 결과는 전체 다중다양체의 정밀 분석 토르션을 조각들의 토르션의 곱으로 표현하며, 마스лов 삼중 지수와 에타 불변량의 오차 항을 포함한 보정 인자에 의해 조정되며, 유니터리 표현과 접합 초표면 근처의 곱 구조를 가진 메트릭에 대해 유효하다.

ABSTRACT

In the previous article "Refined Analytic Torsion on Manifolds with Boundary" we have presented a construction of refined analytic torsion in the spirit of Braverman and Kappeler, which does apply to compact manifolds with and without boundary. We now derive a gluing formula for our construction, which can be viewed as a gluing law for the original definition of refined analytic torsion by Braverman and Kappeler. A gluing formula allows to compute the torsion invariant by cutting the manifold into elementary pieces and performing computations on each component. Certainly, the general fact of existence of such gluing formulas is remarkable from the analytic point of view, since the secondary spectral invariants are uppermost non-local.

연구 동기 및 목표

• 경계가 있는 컴act 다중다양체의 맥락에서 정밀 분석 토르션의 접합 공식을 유도하는 것.
• 장점 길이 코homology 수열과 경계가 있는 다중다양체에서의 Poincaré 대칭성을 분석하여 정밀 토르션의 분할 법칙을 수립하는 것.
• 원래의 Braverman-Kappeler 정의를 일반화한 접합 공식을 제공하는 것.
• 조합 토르션과 마스볼 지수 보정을 통합하여 스칼라 분석 토르션의 접합 공식을 개선하는 것.
• 특히 비자명한 유니터리 표현에 대해 Vishik의 접합 공식에 의존하지 않도록, 결정선 간의 새로운 동형사상 구축을 통해 접합 공식을 수립하는 것.

제안 방법

• KL의 결과를 활용하여 홀수 부호 연산자의 짝수 부분의 에타 불변량의 분할 공식을 유도한다.
• 특수한 경우 $\lambda=0$ 에서 장점 길이 코homology 수열과 경계가 있는 다중다양체에서의 Poincaré 대칭성을 세밀히 분석하여 정밀 토르션 $\rho_{[0,\lambda]}$ 의 분할 공식을 수립한다.
• Cheeger-Müller 정리를 적용하여 분석적 토르션과 조합적 토르션을 연결함으로써 접합 공식을 가능하게 한다.
• 특히 유니터리 표현에 적합한, Vishik의 공식에 의존하지 않는 결정선 간의 새로운 동형사상을 사용한다.
• 최종 접합 공식에 마스볼 삼중 지수 $\tau_\mu$ 와 오차 항 $\text{Err}\eta(\mathcal{B}_{\text{even}})$ 를 통합한다.
• 접합 초표면 $N$ 근처에서 곱 메트릭과 번들 구조를 가정하여 디랙형 연산자에 대한 알려진 분할 정리와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 경계가 있는 컴팩트 홀수 차원 다중다양체에 대해 정밀 분석 토르션의 접합 공식을 어떻게 도출할 수 있는가?
• RQ2 분할된 다중다양체의 정밀 분석 토르션과 그 구성 요소의 토르션 사이를 연결하는 정확한 보정 인자는 무엇인가?
• RQ3 마스볼 삼중 지수와 에타 불변량 오차 항은 정밀 분석 토르션의 접합 공식에 어떻게 기여하는가?
• RQ4 특히 비자명한 유니터리 표현에 대해 Vishik의 결과에 의존하지 않고 접합 공식을 수립할 수 있는가?
• RQ5 정밀 분석 토르션은 접합 하에서 조합적 토르션과 스칼라 분석 토르션과 어떻게 관련이 있는가?

주요 결과

• 전체 다중다양체 $M$ 의 정밀 분석 토르션은 $M_1$ 과 $M_2$ 의 토르션의 곱과 캐논컬한 동형사상 $\Omega$ 를 통해 연결되며, 보정 인자 $K(M,M_1,M_2,\rho) = 2^{\chi(N)} \exp(i\phi)$ 를 포함한다. 여기서 $\phi = \pi(\text{sign} - \text{Err}\eta(\mathcal{B}_{\text{even}}))$ 이다.
• 오차 항 $\text{Err}\eta(\mathcal{B}_{\text{even}})$ 는 $\tau_\mu(I-P_1,P,P_1) + \frac{m-1}{2}(\dim\ker\mathcal{B}^1_{\text{even}} + \dim\ker\mathcal{B}^2_{\text{even}} - \dim\ker\mathcal{B}_{\text{even}})$ 로 명시적으로 주어지며, 마스볼 삼중 지수와 핵의 차원을 포함한다.
• 정밀 분석 토르션의 접합 공식은 평탄한 헤르미트 메트릭(즉, 유니터리 표현)을 가정할 경우 유효하며, 경계가 있는 다중다양체에서 Cheeger-Müller 정리와의 호환성을 보장한다.
• Lee의 스칼라 분석 토르션 결과의 개선이 이루어지며: $\frac{T^{RS}(M,E)}{T^{RS}_{\text{rel}}(M_1,E) \cdot T^{RS}_{\text{abs}}(M_2,E)} = \tau(\mathcal{H})^{-1} \cdot 2^{\chi(N)/2}$ 이며, 여기서 $\tau(\mathcal{H})$ 는 장점 길이 코homology 수열의 토르션이다.
• 유도된 정밀 분석 토르션의 접합 공식은 원래의 Braverman-Kappeler 정의와 동치임을 보이며, 경계가 있는 다중다양체로의 적용 가능성을 확장한다.
• 보정 인자 $K(M,M_1,M_2,\rho)$ 는 위상적(오일러 특성수) 및 스펙트럴(에타 불변량) 자료를 모두 포함하며, 보조 불변량의 국소적이지 않은 성격을 반영한다.