[논문 리뷰] A residue formula for the fundamental Hochschild class of the Podles sphere

Ulrich Kraehmer, Elmar Wagner|arXiv (Cornell University)|2010. 08. 11.

Algebraic structures and combinatorial models참고 문헌 10인용 수 5

한 줄 요약

이 논문은 Dábrowski와 Sitarz에 의해 구성된 스펙트럴 트리플을 이용해 표준 PodleÈs 양자 구면의 기본 Hochschild 코hom로지 클래스를 잔류(residue)로 표현하는 공식을 수립한다. 디랙 연산자, 감마 행렬, 군 유사 생성자 $K^{-2}$를 포함한 왜곡된 연산자의 트레이스의 잔류를 계산함으로써, 저자들은 이 잔류가 표준 기본 클래스와 코homologous인 Hochschild 코사이클을 정의함을 보여주며, 비가환 기하학에서 스펙트럴 트리플과 Hochschild 코hom로지 사이의 관계에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula.

연구 동기 및 목표

• 표준 PodleÈs 양자 구면의 기본 Hochschild 코hom로지 클래스가 스펙트럴 트리플로부터 유도되는지 여부를 규명하는 것.
• 비가환 기하학에서 스펙트럴 트리플과 Hochschild (코)코hom로지 사이의 관계에 대한 열린 질문을 해결하는 것.
• Dábrowski와 Sitarz의 스펙트럴 트리플을 통해 기본 Hochschild 클래스를 실현하는 구체적인 잔류 공식을 제공하는 것.
• 디랙 연산자와 군 유사 생성자 $K^{-2}$를 포함한 왜곡된 트레이스의 잔류가 비자명한 Hochschild 코사이클을 유도함을 보여주는 것.

제안 방법

• 저자들은 Dábrowski와 Sitarz에 의해 구성된 PodleÈs 구면 위의 짝수, ${\mathcal{U}}_{q}(\mathfrak{su}(2))$-등변 스펙트럴 트리플을 기초 기하적 구조로 사용한다.
• 재수형 수열 $\mathrm{tr}_{\mathcal{H}}(\gamma a_0[D,a_1][D,a_2]K^{-2}|D|^{-z})$ 를 정의하며, $\mathrm{Re}\,z > 2$ 에서 정의되며 $\{z \in \mathbb{C} \mid \mathrm{Re}\,z > 1\}$ 으로 유리형 계속을 가지며 $z=2$ 에 단순극을 가짐을 보인다.
• 잔류는 $z=2$ 에서 정의되며, 이는 다중선형 함수 $\varphi(a_0,a_1,a_2)$ 로서 정의되며, 이 함수가 Hochschild 코사이클임을 보여준다.
• 핵심 기술적 단계는 힐버트 공간 성분 $\mathcal{H}_\pm$ 에서의 연산자 작용과 이에 관련된 이동 연산자 $B$ 및 $B^*$ 를 활용하여 $K^{2\mu}$ 와 $|D|^{-z}$ 를 포함한 트레이스의 잔류를 명시적 스펙트럴 자료를 이용해 계산하는 것이다.
• 저자들은 $\mathcal{A}$ 위에서의 왜곡된 트레이스 $\tau_\mu$ 와의 관계를 설정하며, 이는 $\int_{[1]}$ 과 $\int_{[x_0]}$ 기능을 통해 명시적으로 계산되며, 기존의 알려진 기본 코사이클 $\tilde{\varphi}(a_0,a_1,a_2) = \varepsilon(a_0)E(a_1)F(a_2)$ 와 비교한다.
• 잔류 기능이 정규화와 $-q^{-2}$ 요소를 제외하고 알려진 비자명한 Hochschild 코사이클과 일치함을 보여, 코homologous 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 표준 PodleÈs 양자 구면의 기본 Hochschild 코hom로지 클래스가 스펙트럴 트리플로부터 잔류 공식을 통해 실현될 수 있는가?
• RQ2 Dábrowski와 Sitarz의 스펙트럴 트리플이 표준 기본 Hochschild 클래스를 생성하는가?
• RQ3 대수 $\mathcal{A}$ 위에서의 왜곡된 트레이스는 디랙 연산자로부터 구성된 제타 함수의 잔류와 어떻게 관련이 있는가?
• RQ4 스펙트럴 트리플에서 유도된 잔류 코사이클이 알려진 명시적 Hochschild 코사이클 $\tilde{\varphi}(a_0,a_1,a_2) = \varepsilon(a_0)E(a_1)F(a_2)$ 와 코homologous한가?
• RQ5 양자군 생성자 $E$, $F$, 쌍대원소 $\varepsilon$ 를 기반으로 하여 잔류 코사이클의 정확한 정규화 및 함수 형태는 무엇인가?

주요 결과

• 잔류 $\mathrm{Res}_{z=2} \mathrm{tr}_{\mathcal{H}}(\gamma a_0[D,a_1][D,a_2]K^{-2}|D|^{-z})$ 는 $\mathcal{A}^\bigotimes 3$ 위에서 기본 Hochschild 코hom로지 클래스를 나타내는 Hochschild 코사이클을 정의한다.
• 이 잔류 코사이클은 $\varphi(a_0,a_1,a_2) = \frac{q - q^{-1}}{\ln q} \varepsilon(a_0)(E(a_1)F(a_2) - F(a_1)E(a_2))$ 로 명시적으로 계산되며, 이는 표준 기본 코사이클 $\tilde{\varphi}$ 와 코homologous이다.
• 모든 $\mu \in \mathbb{R}$ 에 대해 $\tau_\mu(a) = \frac{\mathrm{Res}_{z=2|\mu|} \mathrm{tr}_{\mathcal{H}}(aK^{2\mu}|D|^{-z})}{\mathrm{Res}_{z=2|\mu|} \mathrm{tr}_{\mathcal{H}}(K^{2\mu}|D|^{-z})}$ 는 명시적으로 계산되며, 스펙트럴 데이터와 대수적 트레이스 사이의 다리를 놓는다.
• 모든 $\mu < 0$ 에 대해 $\tau_\mu = \varepsilon$, 쌍대원소이다; $\mu = 0$ 에서는 $\tau_0 = \varepsilon + c \int_{[x_0]}$ 이며, $c = \frac{\ln q}{2(q^{-1}-q)\ln(q^{-1}-q)}$; $\mu > 0$ 에서는 $\tau_\mu = \varepsilon - \frac{1 - q^{-2\mu}}{q(1 - q^{-2(\mu+1)})} \int_{[x_0]}$.
• 잔류 코사이클이 $\frac{q - q^{-3}}{\ln q} \tilde{\varphi}$ 와 코homologous임을 보여, 스펙트럴 트리플이 정규화를 제외하고 기본 클래스를 생성함을 확인한다.
• 계산 결과, Dábrowski와 Sitarz의 스펙트럴 트리플이 기본 Hochschild 클래스를 실현함을 확인하며, 비가환 기하학에서 핵심적인 질문을 해결한다.