[논문 리뷰] Local invariants of non-commutative tori

Fedor Sukochev, Dmitriy Zanin|arXiv (Cornell University)|2019. 10. 02.

Advanced Operator Algebra Research참고 문헌 25인용 수 4

한 줄 요약

이 논문은 일반적인 곡률이 있는 비가환 토러스에 대해 점 游적 열 추적 전개를 수립하며, conformal 경우를 초월해 Minakshisundaram-Plejel 정리를 확장한다. 이는 Dirac 연산자가 아니라 Laplace-Beltrami 연산자를 사용하여 전개의 계수로 나타나는 국소 불변량을 계산하는 알고리즘을 제공하며, 비가환 기하학에서 스칼라 곡률 및 고차 곡률 불변량에 관한 이전 결과를 다차원, 비conformal로 변형된 토러스로 일반화한다.

ABSTRACT

We consider a generic curved non-commutative torus extending the notion of conformally deformed non-commutative torus from \cite{Connes-Tretkoff}. In general, a curved non-commutative torus is no longer represented by a spectral triple, not even by a twisted spectral triple. Therefore, the geometry of this manifold is governed by a positive second order differential operator (Laplace-Betrami operator) rather than a first order differential operator (Dirac operator). For this manifold, we prove an asymptotic expansion of the heat semi-group generated by Laplace-Beltrami operator and provide an algorithm to compute the local invariants which appear as coefficients in the expansion. This allows to extend the results of \cite{Connes-Tretkoff}, \cite{Connes-Moscovici}, \cite{FaKh} (beyond conformal case and/or for multi-dimensional tori).

연구 동기 및 목표

• 일반적이고 비평탄한 리만 계량을 가진 비가환 토러스로 Minakshisundaram-Plejel 정리를 일반화하는 것.
• 곡률이 있는 비가환 토러스에서 Laplace-Beltrami 연산자의 열 핵의 추적에 대한 점근 전개의 존재를 확립하는 것.
• 스펙트럴 트리플렛 또는 왜곡된 스펙트럴 트리플렛의 구조가 없는 상황에서도 국소 불변량(열 전개의 계수)을 체계적으로 계산하는 알고리즘적 방법을 제공하는 것.
• 비가환 기하학에서 스칼라 곡률 및 고차 불변량에 관한 이전 결과를 다차원, 비conformal로 변형된 토러스로 확장하는 것.
• 스펙트럴 트리플렛 또는 왜곡된 스펙트럴 트리플렛의 구조가 없는 상황에서 열 추적 전개를 통해 국소 불변량을 정의하는 것.

제안 방법

• 비가환 토러스 위에서 리만 계량의 기하적 실현으로서 양의 두 번째 순서 미분 연산자(즉, Laplace-Beltrami 연산자)를 구성하는 것.
• 이 연산자에 의해 생성된 열 반군을 사용하여 열핵의 추적에 대한 점근 전개를 도출하는 것.
• 열 전개에서 계수로 정의된 국소 불변량 $ a_k(x) $를 $ ext{Tr}( ho(x)e^{-t riangle_g}) \thicksim t^{-d/2} \text{sum} t^{k/2} a_k(x) $로, $ k $ 는 짝수로 정의하는 것.
• 원래 토러스를 더 높은 차원의 비가환 토러스로 포함시키기 위해 계량의 변형 $ g' $ 을 통한 정규화 절차를 도입하여 해석적 계속성을 활용하는 것.
• 복소해석 기법, 특히 윤곽선 적분과 상관 함수 $ \text{corr}_k(u,z) $ 의 해석적 성질을 적용하여 서로 다른 계량 구조에서의 추적을 연결하는 것.
• 포아송 합성 공식과 추적 항등식을 사용하여 확장된 계량에서의 열 추적을 원래 계량과 연결하여 계수 추출을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 일반적이고 비conformal로 변형된 리만 계량을 가진 비가환 토러스로 Minakshisundaram-Plejel 점근 전개를 확장할 수 있는가?
• RQ2 스펙트럴 트리플렛의 구조가 없는 상황에서 국소 불변량(열 추적 전개의 계수)을 어떻게 체계적으로 계산할 수 있는가?
• RQ3 곡률이 있는 비가환 토러스에서 Laplace-Beltrami 연산자의 열 추적 전개의 구조는 어떠한가?
• RQ4 계수 $ a_k(x) $ 는 비가환 설정에서 스칼라 곡률 및 리만 곡률과 같은 기하학적 불변량과 어떻게 관련이 있는가?
• RQ5 2차원 conformal 경우를 초월하여 다차원 비가환 토러스로 $ a_k(x) $ 의 알고리즘적 계산을 일반화할 수 있는가?

주요 결과

• 일반적인 곡률이 있는 비가환 토러스에 대해 열 추적 $ \text{Tr}(\rho(x)e^{-t\triangle_g}) $ 의 점근 전개가 존재하며, 계수 $ a_k(x) $ 는 국소 불변량에 해당한다.
• 계수 $ a_k(x) $ 는 $ a_k(x) = \tau(x \nu^{-1/2} I_k \nu^{1/2}) $ 로 주어지며, 여기서 $ I_k $ 는 계량 텐서로부터 명시적으로 계산 가능한 함수성분이다.
• 이 방법은 이전의 스칼라 곡률($ a_2 $) 및 고차 불변량($ a_4 $) 결과를 비conformal, 다차원 비가환 토러스로 일반화한다.
• 원래 토러스를 더 높은 차원의 비가환 토러스로 포함시키는 변형을 통해 열 추적 전개가 증명되며, 이는 추적 비교를 가능하게 한다.
• 확장된 계량에서 추적은 $ \text{Tr}(e^{-t\triangle}) = (\frac{\tau}{t})^{(d'-d)/2}(1 + O(t^\nu)) $ 를 만족하며, 이는 원래 전개를 고차 보정 항까지 복원할 수 있게 한다.
• 최종 결과로 $ \text{Tr}(\rho(x)e^{-t\triangle_g}) \thicksim t^{-d/2} \text{sum}_{k \text{ even}} t^{k/2} \tau(x \nu^{-1/2} I_k \nu^{1/2}) $ 를 확인하여 국소 불변량을 계산하는 완전한 알고리즘을 제공한다.