[논문 리뷰] On the Noncommutative Geometry of Twisted Spheres

Paolo Aschieri, Francesco Bonechi|ArXiv.org|2001. 08. 21.

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

한 줄 요약

이 논문은 다중매개변수 양자 평면과 구면에서의 공변 미분법을 사용하여 비가환 기하학적 프레임워크를 개발하며, 비틀림 한계에서만 외부 대수학이 비자명하고 유한차원이 된다는 것을 보여준다. 핵심 결과는 인stanton 프로젝터와 순환 2n-코호몰로지 사이의 초전도체 쌍대성(pairing)을 명시적으로 계산하여 위상수학적 전하가 1이 됨을 확인한 것으로, 비가환 지수 이론에서의 정수성과 기하학적 일致성을 확인한다.

ABSTRACT

We describe noncommutative geometric aspects of twisted deformations, in particular of the spheres in Connes and Landi [8] and in Connes and Dubois Violette [7], by using the differential and integral calculus on these spaces that is covariant under the action of their corresponding quantum symmetry groups. We start from multiparametric deformations of the orthogonal groups and related planes and spheres. We show that only in the twisted limit of these multiparametric deformations the covariant calculus on the plane gives by a quotient procedure a meaningful calculus on the sphere. In this calculus the external algebra has the same dimension of the classical one. We develop the Haar functional on spheres and use it to define an integral on forms. In the twisted limit (differently from the general multiparametric case) the Haar functional is a trace and we thus obtain a cycle on the algebra. Moreover we explicitely construct the *-Hodge operator on the space of forms on the plane and then by quotient on the sphere. We apply our results to even spheres and we compute the Chern-Connes pairing between the character of this cycle, i.e. a cyclic 2n-cocycle, and the instanton projector defined in [7].

연구 동기 및 목표

• 양자군의 공변성을 이용하여 비틀림 구면에서 일관된 비가환 미분법을 수립하기 위해.
• 기본 양자 구면에서의 차원 감소 문제를 해결하기 위해 비틀림 변형에 초점을 맞추기 위해.
• 하어 기능과 함께 구면 대수에 대한 사이클을 구성하고, 닫힌 그룹화된 추적을 정의하기 위해.
• 인stanton 프로젝터와 순환 코호몰로지 사이의 초전도체 쌍대성을 계산하여 위상수학적 정수성을 검증하기 위해.
• 다중매개변수 양자군의 비틀림 한계가 고전적 차원을 유지하는 의미 있는 비가환 기하학을 유도함을 보여주기 위해.

제안 방법

• 표준 양자 구면과 비틀림 양자 구면 사이를 연결하는 통합 프레임워크로 다중매개변수 직교 양자군의 변형을 사용하기 위해.
• 비틀림 한계에서만 유클리드 실수 구조를 갖는 양자 평면 위의 공변 미분법을 구성하기 위해.
• 텐서 공간의 반대칭화를 통해 외부 대수학을 정의하고, 양자군 작용과의 호환성을 보장하기 위해.
• 비틀림 구면에서 하어 기능을 사용하여 추적을 정의하고, 대수 위의 사이클을 구성하기 위해.
• 양자 평면 위의 *-호지 연산자를 명시적으로 계산하고, 몫 구조를 통해 구면으로 내림리기하기 위해.
• 양자 구면 위의 클리퍼드 대수학적 구조를 활용하여 인stanton 프로젝터의 정상 연결의 곡률을 이용해 초전도체 쌍대성 공식을 적용하기 위해.

실험 결과

연구 질문

• RQ1 비틀림 구면에서 고전적 차원성을 유지하는 일관된 비가환 미분법을 구성할 수 있는가?
• RQ2 다중매개변수 양자군의 비틀림 한계는 일반적인 다중매개변수 경우와 달리 구면에서 비자명한 미분법을 유도하는가?
• RQ3 비틀림 구면에서 하어 기능은 추적인가? 이는 비가환 기하학에서 사이클 구성에 가능하게 하는가?
• RQ4 비틀림 2n-구면에서 인stanton 프로젝터와 순환 코호몰로지 사이의 초전도체 쌍대성의 값은 얼마인가?
• RQ5 *-호지 연산자는 양자 평면과 구면에서 어떻게 행동하는가? 그리고 평면에서의 몫 구조를 통해 일관되게 정의될 수 있는가?

주요 결과

• 비틀림 2n-구면에서 인stanton 프로젝터와 순환 2n-코호몰로지 사이의 초전도체 쌍대성은 정확히 1로 평가되며, 위상수학적 정수성을 확인한다.
• 다중매개변수 양자군의 비틀림 한계에서만, 양자 평면 위의 공변 미분법이 구면에서 비자명하고 유한차원적인 외부 대수학을 유도한다.
• 비틀림 구면에서 하어 기능은 추적이며, 닫힌 그룹화된 추적과 대수 위의 사이클 구성에 기여한다.
• *-호지 연산자는 양자 평면에서 명시적으로 구성되었고, 몫 구조를 통해 구면으로 일관되게 내림리어졌으며, 공변성을 유지한다.
• 인stanton bundle의 정상 연결의 곡률은 반에르미트 성질을 가지며, *-구조와 쌍대성 공식의 호환성을 보장한다.
• 순환 코호몰로지의 정규화는 쌍대성이 정수 값을 갖도록 보장하며, 지수 이론의 기대와 일致한다.