[논문 리뷰] Lectures on Noncommutative Geometry

Victor Ginzburg|ArXiv.org|2005. 06. 29.

Algebraic structures and combinatorial models참고 문헌 49인용 수 81

한 줄 요약

이 논문은 2003년 시카고 대학교에서 개최된 강의를 바탕으로, 호크시ลด 코homology, 파울슨 및 게르스텐하버 대수, 변형 양자화, 비가환 미분 형식 등의 기초적 구조를 중심으로 한 비가환 기하학에 대한 확장된 강의 노트를 제시한다. 비가환 카라비-바흐 이론과 비가환 심플렉틱 기하학과 같은 새로운 프레임워크를 도입하면서, 향후 통합 이론을 위한 열린 문제와 지침 원칙을 강조한다.

ABSTRACT

These Lectures are based on a course on noncommutative geometry given by the author in 2003 at the University of Chicago. The lectures contain some standard material, such as Poisson and Gerstenhaber algebras, deformations, Hochschild cohomology, Serre functors, etc. We also discuss many less known as well as some new results, in particular, noncommutative Chern-Weil theory, noncommutative symplectic geometry, noncommutative differential forms and double-tangent bundles.

연구 동기 및 목표

• 2003년 시카고 대학교에서의 강의를 바탕으로 비가환 기하학의 기초적 및 고급 주제를 종합적으로 다루되, rough draft 형태로 제공한다.
• 비가환 기하학과 가환 기하학 간의 개념적·구조적 유사성을 탐색하며, '작은 비가환 기하학'(가환 대수의 변형)과 '큰 비가환 기하학'(다른 오페라드에 의해 지배되는 독립적인 비가환 세계)을 구분한다.
• 비가환 미분 형식, 더블 도함수, 더블 탄젠트 번들과 같은 새로운 또는 덜 알려진 구성 요소를 도입하고 연구한다.
• 특히 코즐 유형의 오페라드와 비가환 설정에서의 형식적 미끄러움에 관해 열린 문제와 추측을 제시한다.
• 핵심 원리와 예시를 강조하여 향후 비가환 기하학의 체계적인 이론을 위한 기초를 다진다.

제안 방법

• 비가환 대수에서의 변형과 도함수를 연구하기 위해 호크시ลด 호몰로지와 코호몰로지를 중심 도구로 사용한다.
• 특히 ${\rm P}$-대수에 대해, 바르 복합체 구조를 이용해 오페라드 위의 대수에 대한 코호몰로지 이론을 정의한다.
• 널리 퍼진 대수기하학 개념을 일반화하기 위해, 영 아이디얼 위에서의 올림성질을 통해 ${\rm P}$-대수에 대한 형식적 미끄러움의 개념을 도입한다.
• 호크시ลด-코스타ント-로젠버그 정리를 활용하여, 비가환 설정에서 호크시ลด 코호몰로지와 미분 형식 간의 관계를 규명한다.
• 순환 코호몰로지를 이용해 고전적 특성류를 비가환 대수에 대해 유사화함으로써 비가환 카라비-바흐 이론을 개발한다.
• 오페라드 이론적 프레임워크를 활용해 다양한 기하학을 구분한다: 가환 기하학(가환 대수의 오페라드)과 비가환 기하학(결합 대수의 오페라드).

실험 결과

연구 질문

• RQ1 미래의 비가환 기하학 이론에 포함되어야 할 최소한의 구조적 원칙은 무엇인가?
• RQ2 비가환 설정에서의 형식적 미끄러움과 비가환 1-형식의 모듈로의 미끄러움 및 프로젝티브 성질 간의 관계는 어떻게 되는가?
• RQ3 ${\mathcal{P}}$가 코즐일 경우, ${\mathcal{P}}$-대수의 바르 복합체가 비가환 미분 형식의 모듈로에 대한 해상으로서 기능할 수 있는가?
• RQ4 비가환 카라비-바흐 이론과 순환 코호몰로지 사이의 정확한 관계는 무엇이며, 고전적 카라비-바흐 동치관계를 어떻게 일반화할 수 있는가?
• RQ5 어떤 대수들은 가환 기하학의 관점에서는 미끄러운데도 비가환 '큰' 기하학의 관점에서는 그렇지 않은 이유는 무엇이며, 오페라드 이론은 이 현상에서 어떤 역할을 하는가?

주요 결과

• 모든 ${\mathcal{P}}$-대수 $A$에 대해, 호크시ลด 코호몰로지 $H^i_{\mathcal{P}}(A,M)$ 는 복합체 $\operatorname{Hom}_{{A\text{-}{\sf mod}}}({{\mathsf{B}}_{\bullet}^{\mathcal{P}}A}, M)$ 의 코호몰로지와 동형이며, 이는 ${\mathcal{P}}$-대수에 대한 코호몰로지의 호몰로지적 해석을 제공한다.
• ${\mathcal{P}}$-대수 $A$의 형식적 미끄러움은 $\Omega^1_{\mathcal{P}}A$ 의 프로젝티브 성질과 $I/I^2 \to \mathcal{U}^{\mathcal{P}}A \otimes_{\mathcal{U}^{{\mathcal{P}}\!}R} \Omega^1_{\mathcal{P}}R$ 의 단사성과 동치이며, 고전적 기준을 일반화한다.
• 모든 ${\mathcal{P}}$-대수 $A$에 대해, $H^2_{\mathcal{P}}(A,M)$ 가 영이 되는 것은 $\Omega^1_{\mathcal{P}}A$ 가 프로젝티브일 때이고, 이는 코호몰로지의 소멸성과 기하적 성질을 연결한다.
• 만약 ${{\mathsf{B}}_{\bullet}^{\mathcal{P}}A}$ 가 $\Omega^1_{\mathcal{P}}A$ 를 해상하는 것으로서의 성질을 갖는다(즉, $i > 1$ 에 대해 $H_i({{\mathsf{B}}_{\bullet}^{\mathcal{P}}A}) = 0$) 라는 추측이 참이라면, $H^i_{\mathcal{P}}(A,M)$ 는 $\operatorname{Ext}^i_{A\text{-}{\sf mod}}(\Omega^1_{\mathcal{P}}A, M)$ 과 동형이 되며, 이는 코호몰로지와 유도 함수를 통합한다.
• 자연스러운 사상 $\Omega^{{\bullet}}_{\mathcal{P}}A \to C^{\mathcal{P}}_{\bullet}(A,A)$ 가 존재한다는 것은, 비가환 데 라무 복합체의 유사체를 지지하며, 비가환 미적분의 발전을 뒷받침한다.
• 만약 $A$ 가 형식적으로 미끄럽고 $M$ 이 $A$-모듈로 프로젝티브라면, 텐서 대수 $T_A M$ 도 형식적으로 미끄럽다. 이는 특정 구성에서 형식적 미끄러움 성질의 안정성을 나타낸다.