[논문 리뷰] Flat vector bundles and analytic torsion on orbifolds

Shu Shen, Jianqing Yu|arXiv (Cornell University)|2017. 04. 26.

Advanced Operator Algebra Research참고 문헌 47인용 수 6

한 줄 요약

이 논문은 평탄한 오비폴드 벡터 번들의 일대일 대응을 오비폴드 기본군의 표현을 통해 설정하고, 컴acts 오비폴드에서의 Ray-Singer 계량에 대한 이상성 공식을 유도하며, 재구성형 유형의 국소 대칭 오비폴드에서의 애널리틱 토르션이 Ruelle 동역학 제타 함수의 0에서의 값과 일치함을 증명한다. 이는 스펙트럼 이론과 궤도 적분을 이용하여 기존의 다양체에서의 결과를 오비폴드로 확장한 것이다.

ABSTRACT

This article is devoted to a study of flat orbifold vector bundles. We construct a bijection between the isomorphic classes of proper flat orbifold vector bundles and the equivalence classes of representations of the orbifold fundamental groups of base orbifolds. We establish a Bismut-Zhang like anomaly formula for the Ray-Singer metric on the determine line of the cohomology of a compact orbifold with coefficients in an orbifold flat vector bundle. We show that the analytic torsion of an acyclic unitary flat orbifold vector bundle is equal to the value at zero of a dynamical zeta function when the underlying orbifold is a compact locally symmetric space of the reductive type, which extends one of the results obtained by the first author for compact locally symmetric manifolds.

연구 동기 및 목표

• 평탄한 오비폴드 벡터 번들의 오비폴드 기본군의 표현을 통한 분류를 수립하기 위해.
• 컴팩트 오비폴드에서 평탄한 벡터 번들과 함께 Ray-Singer 계량에 대한 Bismut-Zhang 이상성 공식을 일반화하기 위해.
• 재구성형 유형의 컴팩트 국소 대칭 오비폴드에서 약한 단위 평탄한 오비폴드 번들의 애널리틱 토르션은 Ruelle 동역학 제타 함수의 0에서의 값과 일치함을 증명하기 위해.
• 스펙트럼 이론과 궤도 적분 기법을 사용하여 이전의 애널리틱 토르션과 제타 함수 결과를 다양체에서 오비폴드 설정으로 확장하기 위해.

제안 방법

• 고유 평탄한 오비폴드 벡터 번들의 이sovorphism 클래스와 오비폴드 기본군의 표현의 동치류 사이의 전단사 사상 구축.
• 분석적 토르션과 $L^2$-계량을 사용하여 코homology의 결정선에서 Ray-Singer 계량 정의.
• 오비폴드에서 국소적으로 계산 가능한 Chern-Simons 형식을 통해 Ray-Singer 계량의 로그 변화에 대한 이상성 공식 유도.
• Bismut의 단순비대칭 궤도 적분 공식과 제타-정규화된 행렬식을 사용하여 애널리틱 토르션과 Ruelle 동역학 제타 함수 연결.
• Casimir 연산자 $C^{rak{g},Z, ilde{ ho}}$ 의 스펙트럼 분석 및 그라디드 행렬식 ${\rm det}_{\rm gr}(C^{rak{g},Z, ilde{ ho}} + \sigma)$ 정의.
• Selberg 제타 함수 $Z_{\eta,\rho}(\sigma)$ 의 유리형 계속성 증명 및 항등식 $Z_{\eta,\rho}(\sigma) = {\rm det}_{\rm gr}(C^\cdots) \exp(P_{\eta,\rho}(\sigma))$ 수립.

실험 결과

연구 질문

• RQ1 평탄한 오비폴드 벡터 번들을 군 표현의 관점에서 어떻게 분류할 수 있는가?
• RQ2 평탄한 벡터 번들과 함께 컴팩트 오비폴드에서의 Ray-Singer 계량에 대한 이상성 공식은 무엇인가?
• RQ3 재구성형 유형의 컴팩트 국소 대칭 오비폴드에서의 약한 단위 평탄한 오비폴드 번들의 애널리틱 토르션은 동역학 제타 함수의 0에서의 값과 일치하는가?
• RQ4 스펙트럼 불변량인 애널리틱 토르션과 제타 함수는 다양체와 비교해 오비폴드에서는 어떻게 행동하는가?
• RQ5 Bismut-Zhang 이상성 공식은 오비폴드 설정으로 확장될 수 있는가?

주요 결과

• 고유 평탄한 오비폴드 벡터 번들의 이sovorphism 클래스와 오비폴드 기본군의 표현의 동치류 사이에 자연스러운 전단사 사상 수립.
• 컴팩트 오비폴드에서의 Ray-Singer 계량에 대한 이상성 공식 유도. 이는 Bismut-Zhang 결과를 오비폴드 경우로 일반화한 것이다.
• 재구성형 유형의 컴팩트 국소 대칭 공간에서의 약한 단위 평탄한 오비폴드 번들의 애널리틱 토르션은 Ruelle 동역학 제타 함수의 0에서의 값과 일치한다.
• Selberg 제타 함수 $Z_{\eta,\rho}(\sigma)$ 는 유리형 계속성을 가지며 $Z_{\eta,\rho}(\sigma) = {\rm det}_{\rm gr}(C^\cdots + \sigma_\eta + \sigma^2) \exp(P_{\eta,\rho}(\sigma))$ 를 만족하여 애널리틱 토르션과 제타 함수를 연결한다.
• 제타 함수의 영점과 극의 차수는 Casimir 연산자의 스펙트럼과 표현 데이터에 의해 명시적으로 결정된다.
• 약한 경우에 제타 함수는 $Z_{\eta,\rho}(0) = C_\rho$ 를 만족하며, 이는 표현과 기하학적 구조에 따라 결정되는 상수로, 오비폴드에 대한 Fried 추측을 확인한다.