[논문 리뷰] Duality and equivalence of module categories in noncommutative geometry I

Jonathan Block|arXiv (Cornell University)|2005. 09. 13.

Algebraic structures and combinatorial models참고 문헌 23인용 수 66

한 줄 요약

이 논문은 비가환 기하학, 대수기하학, 수학적 물리학에서의 이중성들을 통합하기 위해 미분가환 범주 프레임워크를 제안한다. 도르베오 데이타로부터 곡률이 있는 미분가환 대수를 구성함으로써, 복소다양체 위의 계량층의 유도 범주를 실현하고, 비가환 복소 토러스에 대해 세르 이중성을 수립하며, 바움-콘스 추측을 유도 동치와 연결한다.

ABSTRACT

This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of categories of modules. In this paper, we develop a general framework needed to describe these dualities. In various geometric contexts, e.g. complex geometry, generalized complex geometry, and noncommutative geometry, the geometric structure is encoded in a certain differential graded algebra. We develop the module theory of such differential graded algebras in such a way that we can recover the derived category of coherent sheaves on a complex manifold. In this paper and ones to follow we apply this to stating and proving the duality statements mentioned above. After developing the general framework, we look at a (complex) Lie algebroid $\A o T_\cx X$. One can then consider our analogue of the derived category of coherent sheaves, integrable with respect to the Lie algebroid. We then establish a (Serre) duality theorem for "elliptic" Lie algebroids and for noncommutative tori.

연구 동기 및 목표

• 비가환 기하학, 대수기하학, 수학적 물리학에서의 이중성 진술을 위한 일반적 프레임워크를 개발하기 위해.
• 연산자 K-이론에서의 바움-콘스 추측을 대수기하학 및 물리학에서의 유도 동치와 연결하기 위해.
• 전역 미분기하학적 자료를 사용하여 복소다양체 위의 계량층의 유도 범주를 포괄하는 미분가환 범주를 구성하기 위해.
• 표준적인 dg-모듈을 넘어서, 곡률이 있는 dga 구성에 의한 왜곡된 복합체를 포함하는, 준위상동치의 올바른 개념을 확장하기 위해.
• 이중화 모듈과 적분 함수를 사용하여 비가환 복소 토러스에 대해 세르 이중성을 수립하기 위해.

제안 방법

• 콤���한 복소다양체의 도르베오 복합체를 사용하여 군 2-코호몰로지 σ를 포함하는 곡률이 있는 미분가환 대수(dga) A를 정의한다.
• dga A로부터 유도된 계량층을 전역 미분기하학적 구조를 통해 포괄하는 미분가환 범주 P_A를 구성한다.
• 복소벡터공간 V의 (1,0)-성분을 사용하여 A = A^{0,•}(Λ;σ)에 대해 왜곡된 미분 ∂̄를 도입하며, 이는 이중성과의 호환성을 확보한다.
• dga에 추적 τ를 부여하고, 이중화 모듈 (D, D̄, *, ∫)을 정의하여 세르 이중성을 실현한다.
• 최고차수 형식에 대한 ∫ 기능을 사용하여 비퇴화된 쌍대형성 쌍을 정의하고, 이중성 공리의 검증을 수행한다.
• 범주 P_A가 E ↦ E ⊗ D 와 유도된 미분 D̄를 갖는 세르 함수를 가짐을 보이며, 이는 고전적 세르 이중성의 일반화이다.

실험 결과

연구 질문

• RQ1 비가환 기하학에서의 이중성 진술, 예를 들어 T-이중성과 미러 대칭은 어떻게 단일 범주적 프레임워크 아래 통합될 수 있는가?
• RQ2 복소다양체 위의 계량층의 유도 범주를 국소적 해석적 자료가 아닌 전역 미분기하학적 자료로부터 재구성할 수 있는가?
• RQ3 도르베오 dga 위의 dg-모듈에 대해 준위상동치의 적절한 개념은 무엇이며, 기존 개념과 어떻게 다를까?
• RQ4 바움-콘스 추측은 대수기하학 및 물리학에서의 유도 동치와 어떻게 관련되어 있는가?
• RQ5 세르 이중성은 비가환 복소 토러스로 확장될 수 있으며, 이 이중성의 배경이 되는 구조는 무엇인가?

주요 결과

• 미분가환 범주 P_A의 호모토피 범주는 콤팩트한 복소다양체 X 위의 계량층의 유도 범주와 동치이다.
• σ가 자명한 경우 dga A = A^{0,•}(Λ;σ)는 쌍대 복소토러스 X^∨의 도르베오 대수와 동형이 되며, 고전적 기하학과의 일致성을 확인한다.
• dga A는 타원적이며, 추적 τ와 최고차수 형식 적분을 통해 정의된 이중화 모듈 (D, D̄, *, ∫)을 갖는다.
• P_A 위의 세르 함수는 E ↦ E ⊗ D 와 유도된 미분 D̄로 주어지며, σ = 1일 경우 고전적 세르 함수를 복원한다.
• 표준적인 dg-모듈의 호모로지 결함을 피하기 위해 곡률이 있는 dga와 정교화된 범주 P_A를 사용함으로써, 이는 회피된다.
• 이 프레임워크는 브레인을 스티브링 이론에서 계량층의 모델로 실현하며, 버그먼의 연구와 연결되어 물리학적 의미를 지닌다.