[논문 리뷰] The refined analytic torsion and a well-posed boundary condition for the odd signature operator

Rung-Tzung Huang, Yoonweon Lee|arXiv (Cornell University)|2010. 04. 11.

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

한 줄 요약

이 논문은 경계를 가진 홀수 차원 컴acts Riemannian 다양체 위에서 홀수 서명 연산자에 대해 상호보완적이고 잘 정의된 경계 조건을 소개하며, 이로 인해 이 설정에서 정밀 분석 토션의 정의가 가능해진다. 이는 토션의 Agmon 각도 선택에 무관하고 내부 메트릭 변화에 대해 불변임을 보여주며, 열핵 점근 분석을 통해 zeta-행렬식과 에타 불변량을 사용하여 경계가 있는 다양체로 분석 토션 프레임워크를 확장한다.

ABSTRACT

In this paper we discuss the refined analytic torsion on an odd dimensional compact oriented Riemannian manifold with boundary under some assumption. For this purpose we introduce two boundary conditions which are complementary to each other and well-posed for the odd signature operator $\mathcal{B}$ in the sense of Seeley. We then show that the zeta-determinants of $\mathcal{B}^2$ and eta-invariants of $\mathcal{B}$ subject to these boundary conditions are well defined by using the method of the asymptotic expansions of the traces of the heat kernels. We use these facts to define the refined analytic torsion on a compact manifold with boundary and show that it is invariant on the change of metrics in the interior of the manifold. We finally describe the refined analytic torsion under these boundary conditions as an element of the determinant line.

연구 동기 및 목표

• 경계가 있는 홀수 차원 컴팩트 Riemannian 다양체에서 표준 경계 조건이 분석 토션과 에타 불변량 둘 다 실패하므로, 정밀 분석 토션을 정의한다.
• 홀수 서명 연산자 $\mathcal{B}$에 대해 Seeley의 의미에서 잘 정의된 두 상호보완적 경계 조건을 구성하여 스펙트럼 및 해석적 잘 정의됨을 보장한다.
• 열핵 점근 분석을 사용하여 이러한 조건 하에서 $\mathcal{B}^2$의 zeta-행렬식과 $\mathcal{B}$의 에타 불변량이 잘 정의됨을 보인다.
• 내부 메트릭의 연속적 변형에 대해 정밀 분석 토션이 불변임을 증명한다.
• 닫힌 다양체의 경우를 일반화하여, 정밀 분석 토션을 코homology의 행렬식 선다발의 원소로 기술한다.

제안 방법

• 경계에서 Hodge 분해와 심플렉틱 구조를 기반으로 한 두 경계 조건 $\mathcal{P}_{-, L_0}$ 및 $\mathcal{P}_{+, L_1}$을 도입하여, 홀수 서명 연산자 $\mathcal{B}$에 대해 잘 정의됨을 보장한다.
• 열핵 추적의 점근 전개 방법을 사용하여 이러한 경계 조건 하에서 $\mathcal{B}^2$의 zeta-행렬식과 $\mathcal{B}$의 에타 불변량을 정의한다.
• 스펙트럼 성질을 확립하여 $\mathcal{B}^2$와 $\mathcal{B}$가 실축 근처의 작은 영역에 스펙트럼을 가지며 유한 개의 고유값 외에는 모두 포함됨을 보여, zeta 및 에타 함수 정규화를 가능하게 한다.
• 경계 조건에 의해 유도된 코호몰로지 복합체 (1.1)이 Poincaré 대칭성을 만족함을 보여, 위상적 대칭성과 일致함을 보장한다.
• 정규화된 zeta-행렬식과 에타 불변량의 곱으로서 정밀 분석 토션을 정의하고, 연속성과 위상적 불변성에 의해 Agmon 각도에 대한 독립성을 입증한다.
• 내부 메트릭의 연속적 변형에 대해 토션이 변화하지 않음을 보여, 핵차원의 위상적 불변성과 에타 불변량의 연속적 의존성에 기반하여 메트릭 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 표준 경계 조건(APS, 절대/상대)이 분석 토션과 에타 불변량 둘 다 실패하는 경우, 경계가 있는 컴팩트 Riemannian 다양체에서 정밀 분석 토션을 일관적으로 정의할 수 있는가?
• RQ2 홀수 서명 연산자 $\mathcal{B}$에 대해 Seeley 의미에서 잘 정의되고, Ray-Singer 분석 토션과 에타 불변량 양쪽 모두와 호환되는 경계 조건은 무엇인가?
• RQ3 새로운 경계 조건 하에서 $\mathcal{B}^2$의 zeta-행렬식과 $\mathcal{B}$의 에타 불변량은 잘 정의되는가?
• RQ4 정밀 분석 토션은 zeta 및 에타 함수에 대한 Agmon 각도 선택에 독립적인가?
• RQ5 내부에서 Riemannian 메트릭의 연속적 변형에 대해 정밀 분석 토션은 불변인가?

주요 결과

• 정밀 분석 토션 $\rho_{an,\widetilde{\mathcal{P}}_0}(g^M,\nabla)$ 및 $\rho_{an,\widetilde{\mathcal{P}}_1}(g^M,\nabla)$는 zeta 및 에타 함수에 대한 Agmon 각도 선택에 독립적이다.
• $\mathcal{P}_{-, L_0}$ 및 $\mathcal{P}_{+, L_1}$의 새로운 경계 조건 하에서 열핵 점근 분석을 통해 $\mathcal{B}^2$의 zeta-행렬식과 $\mathcal{B}$의 에타 불변량이 잘 정의된다.
• 내부 메트릭의 연속적 변형에 대해 정밀 분석 토션은 불변하며, $\mathcal{B}^{\text{trivial}}_{\text{even}}$의 핵차원이 위상적 불변량이고 에타 불변량이 연속적으로 변화하기 때문이다.
• 경계 조건에 의해 유도된 코호몰로지 복합체 (1.1)은 대칭 관계 $\mathcal{P}_{-, L_0}\Gamma^Y = \Gamma^Y\mathcal{P}_{+, L_1}$ 및 $\mathcal{B}_{\mathcal{P}_{-, L_0}}\Gamma = \Gamma\mathcal{B}_{\mathcal{P}_{+, L_1}}$에 의해 Poincaré 대칭성을 만족한다.
• 만약 $\nabla$가 Hermitian 연결이라면 Ray-Singer 노름이 1이다. 즉, $\|\rho_{\widetilde{\mathcal{P}}_{0},[0,\lambda]}\|_\lambda = 1$ 이고, 고주파수 부분에 대한 zeta-정규화된 행렬식에 의해 토션 노름이 정규화되기 때문이다.
• 정밀 분석 토션은 닫힌 다양체의 경우를 일반화하여, 코homology의 행렬식 선다발 $\operatorname{Det}(H^\bullet(M,E))$의 원소로 기술된다.