[논문 리뷰] Duality and equivalence of module categories in noncommutative geometry II: Mukai duality for holomorphic noncommutative tori

Jonathan Block|ArXiv.org|2006. 04. 12.

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

한 줄 요약

이 논문은 비가환 토러스에 대해 Mukai duality를 확장하기 위해, 비가환 기하학에서 코herent sheaves를 quasi-coherent sheaves로 일반화하는 quasi-perfect DG category를 도입한다. 이는 deformed Poincaré 선다발을 통해 복소 토러스의 쌍대 복소 토러스 위의 holomorphic gerbe의 유도 범주와 holomorphic 비가환 토러스의 유도 범주 사이의 동치를 수립한다. 이는 twisted bimodule 구조와 Schwartz 함수 위에서 정의된 라플라스 유사 연산자의 스펙트럼 분석을 통해 이루어진다.

ABSTRACT

This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a complex manifold. In this paper we enlarge this category to include objects which correspond to quasi-coherent sheaves. We then apply this framework to proving an equivalence of categories between derived categories on the noncommutative complex torus and on a holomorphic gerbe on the dual complex torus.

연구 동기 및 목표

• 비가환 기하학에서 유도 범주의 프레임워크를 일반화하기 위해, perfect 범주를 quasi-coherent sheaves를 포함하도록 확장하는 quasi-perfect DG 범주를 도입한다.
• curved differential graded algebra를 갖는 DG 범주를 사용하여 복소 기하학에서의 유도 상향보내기와 여섯 가지 연산의 카테고리적 프레임워크를 제공한다.
• holomorphic 비가환 토러스에 대해 Mukai duality의 변형된 버전을 제시하고 증명한다. 이는 복소 토러스와 그 쌍대 사이의 고전적 이중성을 확장한다.
• deformed Poincaré 선다발에 의해 유도된 twisted bimodule를 사용하여 비가환 토러스와 그 쌍대 위의 holomorphic gerbe 사이의 유도 범주 간 동치를 수립한다.
• Schwartz 함수 위에서 정의된 라플라스 유사 연산자의 스펙트럼 성질을 분석하여 복합체의 코homology에 대한 커널을 구성하고, 차수 g에서 랭크 1의 자유 모듈러의 존재를 증명한다.

제안 방법

• 복소다양체 위의 quasi-coherent sheaves에 대응하는, perfect DG 범주 $ \tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $의 확장으로서 quasi-perfect 범주 $ q\tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $를 도입한다.
• 적분 가능한 비가환 기하학을 기록하기 위해, 곡률 항 $ c $ 가 변형 데이터를 포함하는 curved differential graded algebra $ (\tilde{\text{A}}^\bullet, d, c) $ 를 사용한다.
• 복소 토러스 $ X $ 와 그 쌍대 $ X^\vee $ 에 대해, $ X \times X^\vee $ 위에 holomorphic 연결과 $ B $-fields를 포함한 곡률 형식을 사용하여 deformed Poincaré 선다발을 구성한다.
• $ \mathcal{Y}^\bullet \otimes_{\mathcal{A}(X;B)} \mathcal{A}^{0,\bullet}(X;B) $ 위에 bimodule 구조를 정의하고, 대각선에 제한되며 최고 차수 성분을 선택하는 contraction 사상 $ \beta $ 를 정의한다.
• Schwartz 함수 위에서 작용하는 연산자 $ \mathbb{L} = \sum_j \left( -\frac{\partial^2}{\partial z_j \partial \overline{z}_j} - 2\pi\sqrt{-1} Y_j + 4\pi^2(|z_j - w_j|^2 + |B_j(w)|^2) \right) $ 의 스펙트럼 이론을 분석한다.
• $ \Box^{0} $ 의 커널이 $ k - l = g $ 인 경우에만 비자명하다는 것을 증명하고, 복합체 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ 의 코homology 가 차수 $ g $ 에서 $ \mathcal{A}(\Lambda;\sigma) $-모듈러의 랭크 1 자유 모듈러임을 증명한다.

실험 결과

연구 질문

• RQ1 curved DGA 위의 perfect DG 범주는 비가환 기하학에서 quasi-coherent sheaves를 포함하도록 어떻게 확장될 수 있는가?
• RQ2 quasi-coherent 복합체에 제한된 복소 기하학에서 유도 상향보내기의 카테고리적 구조는 무엇인가?
• RQ3 Poincaré 선다발의 변형과 twisted bimodule 구조를 통해 Mukai duality 는 비가환 토러스로 일반화될 수 있는가?
• RQ4 deformed Poincaré 선다발과 관련된 Schwartz 함수 위에서 작용하는 라플라스 유사 연산자 $ \mathbb{L} $ 의 스펙트럼 행동은 어떠한가?
• RQ5 복합체 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ 의 코homology 가 차수 $ g $ 에서 비자명한 랭크 1 자유 모듈러를 유도하는 조건은 무엇인가?

주요 결과

• quasi-perfect 범주 $ q\tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $ 는 유도 상향보내기의 자연스러운 프레임워크를 제공하며, 코herent sheaves 범주를 quasi-coherent sheaves를 포함하도록 일반화한다.
• holomorphic 비가환 토러스의 유도 범주는 $ \mathcal{F} \mapsto p_{2*}(p_1^*\mathcal{F} \otimes \mathcal{P}) $ 를 통해 $ \mathcal{P} $ 가 deformed Poincaré 선다발일 때, 쌍대 복소 토러스 위의 holomorphic gerbe의 유도 범주와 동치이다.
• 연산자 $ \mathbb{L} $ 는 함수 $ a^{i,j} $ 에서 고유값 $ 2\pi(i + j + 1) $ 을 가지며, $ a^{0,0} $ 는 고유값 $ 2\pi $ 의 고유벡터이다. 전체 $ g $-차원 커널은 총 양자수 $ i + j = g - 1 $ 인 상태들로 생성된다.
• 복합체 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ 의 코homology 는 차수 $ g $ 를 제외하고는 자명하며, 차수 $ g $ 에서는 $ \mathcal{A}(\Lambda;\sigma) $-모듈러의 랭크 1 자유 모듈러로 생성된다.
• $ \beta: \mathcal{Y}^\bullet \otimes_{\mathcal{A}(X;B)} \mathcal{A}^{0,\bullet}(X;B) \to \mathcal{A}^{0,\bullet}(X;B) $ 를 $ \beta(\phi)(z) = \iota_\Xi(\phi)(z,z) $ 로 정의하면, 이는 $ \mathbb{Z} $-연결과 가환하며 대각선으로의 축소를 실현한다.
• 스펙트럼 분석은 $ \mathbb{L} a = 2\pi g a $ 를 확인하여, 기본 상태 $ a $ 가 $ \mathbb{L} $ 의 고유값 $ 2\pi g $ 의 고유벡터임을 보여주며, 전체 집합 $ \{a^{i,j}\} $ 는 $ L^2(\mathbb{C}^g) $ 의 정규직교 기저를 이룬다.