[논문 리뷰] The resolvent cocycle in twisted cyclic cohomology and a local index formula for the Podles sphere

Adam Rennie, Roger Senior|arXiv (Cornell University)|2011. 11. 24.

Advanced Operator Algebra Research참고 문헌 18인용 수 5

한 줄 요약

이 논문은 이전 연구보다 더 약한 미세 조건 하에서, 비틀린 순환 코hom로의 비틀린 해소 코호모로지 족을 사용하여 PodleÅs 구면에 대한 국소적 인덱스 공식을 수립한다. 유한 합성 가능한 모듈러 스펙트럴 트리플렛에 대해 해소 코호모로지 족의 존재성과 연속성을 증명하며, 이를 통해 유도된 비틀린 Hochschild 계열이 차원 2에서 영이 아니며, 비자명한 인덱스 페어링을 유도함을 보이며, 고전적 극한에서 $ q \to 1 $ 일 때 기대되는 위상적 인덱스를 회복함을 보인다. 주요 기여는 $ q $-변형 기하학에서의 인덱스 이론을 통합하는 프레임워크를 제공하며, 역 모듈러 자동사상의 비틀림을 통해 차원 감소 문제를 해결함으로써 이루어진다.

ABSTRACT

We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the resolvent cocycle, a finitely summable analogue of the JLO cocycle, under weaker smoothness hypotheses and in the more general setting of `modular' spectral triples. As an application we show that using our twisted resolvent cocycle, we can obtain a local index formula for the Podles sphere. The resulting twisted cyclic cocycle has non-vanishing Hochschild class which is in dimension 2.

연구 동기 및 목표

• 이전에 요구된 것보다 더 약한 미세 조건 하에서, 편미분 연산자 계산에 의존하지 않고 모듈러 스펙트럴 트리플렛으로의 해소 코호모로지 족의 일반화를 수행함.
• 유한 합성 가능하고 약한 미세 조건을 만족하는 설정에서, 해소 코호모로지 족이 등변 K-이론과 수치적 인덱스 페어링을 계산함을 보임.
• 표준 모듈러 자동사상이 비틀린 Hochschild 호모로지에서 차원 감소 문제를 야기하는 데 반해, 역 모듈러 자동사상의 사용을 통해 $ q $-변형 기하학에서의 차원 감소 문제를 해결함.
• 비틀린 순환 코호모로지에서 PodleÅs 구면에 대한 국소적 인덱스 공식을 유도함으로써, 이전의 여러 연구 결과를 통합함.
• 잔여 코호모로지의 차수 2 항이 코 boundary가 아니라는 것을 보이며, Hochschild 계열의 비자명성을 증명함.

제안 방법

• 주기적인 모듈러 자동사상 군을 사용하여, 가중치(무게)를 갖는 비틀린 추적을 포함하는 반유한 스펙트럴 트리플렛의 일반화로서 모듈러 스펙트럴 트리플렛을 도입함.
• 완전한 편미분 연산자 계산이 필요로 하지 않는, 해소 코호모로지 족의 구축을 가능하게 하는 스펙트럴 트리플렛에 대한 약한 미세 조건을 정의함.
• 해소 코호모로지 족을 JLO 코호모로지의 유한 합성 가능성에 대응하는 형태로 구성하며, 이러한 약한 미세 조건 하에서의 존재성과 연속성을 증명함.
• [KNR]의 결과를 활용하여, 해소 코호모로지 족이 $ K $-이론에 값을 갖는 인덱스를 수치적 인덱스 페어링과 호환되게 계산함을 보임.
• 스펙트럴 트리플렛이 약한 미세 조건과 합성 가능성 조건을 만족하는 2차원 모듈러 스펙트럴 트리플렛임을 확인함으로써, 이 프레임워크를 PodleÅs 구면에 적용함.
• 해소 코호모로지 족을 사용하여 명시적인 인덱스 페어링을 계산하며, Neshveyev와 Tuset의 수정된 편미분 연산자 계산을 활용하여 완전한 국소적 인덱스 공식을 도출함.

실험 결과

연구 질문

• RQ1 이전에 요구된 것보다 더 약한 미세 조건 하에서, 편미분 연산자 계산에 의존하지 않고 모듈러 스펙트럴 트리플렛에서 해소 코호모로지 족을 구성할 수 있는가?
• RQ2 비틀린 순환 코호모로지에서 비틀린 해소 코호모로지 족이 PodleÅs 구면에 대해 비자명한 인덱스 페어링을 유도하는가? 그리고 차원 2에서의 Hochschild 계열이 영이 아닌가?
• RQ3 왜 표준 모듈러 자동사상 대신 역 모듈러 자동사상의 사용이 비틀린 Hochschild 호모로지에서 발생하는 차원 감소 문제를 피하는가?
• RQ4 전체 순환 코호모로지의 맥락에서 해소 코호모로지 족은 JLO 코호모로지와 어떻게 관련이 있는가? 그리고 국소적 인덱스 공식에 대한 함의는 무엇인가?
• RQ5 PodleÅs 구면에서의 인덱스 페어링의 고전적 극한은 $ q \to 1 $ 일 때 어떤가? 그리고 예상되는 위상적 인덱스를 회복하는가?

주요 결과

• 유한 합성 가능하고 약한 미세 조건을 만족하는 모듈러 스펙트럴 트리플렛에 대해, 해소 코호모로지 족이 존재하고 연속적이며, 편미분 연산자 계산을 요구하지 않음으로써 수치적 인덱스를 계산함.
• 해소 코호모로지 족은 비틀린 순환 코호모로지 족을 정의하며, 등변 $ K $-이론과 비자명하게 페어링되어 잘 정의된 인덱스 문제를 유도함.
• PodleÅs 구면의 경우, 잔여 코호모로지의 차수 2 항은 Hochschild 계열이 영이 아니며, 0-코호모로지와 코homologous가 아니라는 것을 보임으로써 이를 증명함.
• 프로젝션 $ P_{N/2} $에 대한 인덱스 페어링은 명시적으로 $ \mathrm{Ind} = q^{-|N|}[N]_q $ 로 주어지며, $ q \to 1 $ 일 때 $ N $ 으로 수렴하여 고전적 인덱스를 회복함.
• 역 모듈러 자동사상의 사용은 차원 감소 문제를 피함: 표준 모듈러 자동사상은 차원 2에서 영이 되는 Hochschild 계열을 유도하지만, 역 자동사상은 비자명한 계열을 유도함.
• 명시적 계산을 통해 코호모로지의 차수 2 부분이 코 boundary가 아니라는 것을 확인함. 이는 결과적으로 비자명한 인덱스 페어링이 존재하며, 문헌에서 알려진 결과와 일치함.