[論文レビュー] Duality and equivalence of module categories in noncommutative geometry II: Mukai duality for holomorphic noncommutative tori

Jonathan Block|ArXiv.org|Apr 12, 2006

Algebraic structures and combinatorial models参考文献 16被引用数 10

ひとこと要約

本稿は、非可換トーラスへのムカイ双対性の拡張を、非可換幾何学における準正則層の一般化としての準完全なDGカテゴリを導入することによって行っている。ホロモーフィック非可換トーラスの導来カテゴリと、双対な複素トーラス上のホロモーフィックgerbeの導来カテゴリとの間には、変形されたピカード線束を介して同値が確立されており、これはねじれ双モジュール構造とシュワーツ関数上のラプラシアン型作用素のスペクトル解析を用いてなされる。

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.

研究の動機と目的

• 曲がりのないDG代数上のモジュールの導来カテゴリの枠組みを、非可換幾何学において準正則層を含むように拡張するため、準完全なDGカテゴリを導入すること。
• 曲がりのある微分graded代数を用いたDGカテゴリの枠組みを用いて、複素幾何学における導来押し出しと6つの作用素のカテゴリカル構造を提供すること。
• ホロモーフィック非可換トーラスに対して、ピカード線束の変形とねじれ双モジュール構造を用いて、ムカイ双対性の変形版を定式化し、証明すること。
• 非可換トーラスとその双対上のホロモーフィックgerbeの導来カテゴリの間の同値を、変形ピカード線束によって誘導されるねじれ双モジュールを用いて確立すること。
• シュワーツ関数上でのラプラシアン型作用素のスペクトル的性質を解析し、層の複体のコホモロジーのためのカーネルを構成し、次数 $ g $ におけるランク1の自由モジュールの存在を証明すること。

提案手法

• 曲がりのある微分graded代数 $ (\tilde{\text{A}}^\bullet, d, c) $ を用いて、可積分な非可換幾何を記述し、曲率項 $ c $ が変形データを符号化する。
• 複素多様体上の準正則層に対応する、完全なDGカテゴリ $ \tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $ の拡大として、準完全カテゴリ $ q\tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $ を導入する。
• 複素トーラス $ X $ とその双対 $ X^\vee $ に対して、ホロモーフィック接続と $ B $-場を含む曲率形式を用いて、$ X \times X^\vee $ 上に変形ピカード線束を構成する。
• 双モジュール構造を $ \mathcal{Y}^\bullet \otimes_{\mathcal{A}(X;B)} \mathcal{A}^{0,\bullet}(X;B) $ 上に定義し、対角に制限され、最高次元成分を抽出する写像 $ \beta $ を導入する。
• シュワーツ関数上に作用する作用素 $ \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) $ のスペクトル理論を解析する。
• 複体 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ のコホモロジーが、$ k - l = g $ のときのみ非自明であり、次数 $ g $ で $ \mathcal{A}(\Lambda;\sigma) $-モジュールとしてランク1の自由モジュールであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 曲がりのあるDGA上の完全なDGカテゴリは、非可換幾何学における準正則層を含むように、どのように拡張可能か？
• RQ2 準正則複体に制限された複素幾何学における導来押し出しのカテゴリカル構造は何か？
• RQ3 ピカード線束の変形とねじれ双モジュール構造を用いて、ムカイ双対性を非可換トーラスへ一般化可能か？
• RQ4 変形ピカードバンドルに関連するシュワーツ関数上でのラプラシアン型作用素 $ \mathbb{L} $ のスペクトル的挙動は何か？
• RQ5 複体 $ (\mathcal{Y}^\bullet, \mathbb{Y}^0 + \Phi) $ のコホモロジーが、何の条件下で次数 $ g $ にランク1の非自明な自由モジュールを生成するか？

主な発見

• 準完全カテゴリ $ q\tilde{\text{P}}_{\tilde{\text{A}}^\bullet} $ は、導来押し出しの自然な枠組みを提供し、正則層のカテゴリを準正則層を含むように一般化する。
• ホロモーフィック非可換トーラスの導来カテゴリは、関手 $ \mathcal{F} \mapsto p_{2*}(p_1^*\mathcal{F} \otimes \mathcal{P}) $ を介して、双対な複素トーラス上のホロモーフィックgerbeの導来カテゴリと同値である。ここで $ \mathcal{P} $ は変形ピカードバンドルである。
• 作用素 $ \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) $ のコホモロジーは、次数 $ g $ を除きすべて自明であり、次数 $ g $ では $ \mathcal{A}(\Lambda;\sigma) $-モジュールとしてランク1の自由モジュールであり、関数 $ a $ によって生成される。
• 写像 $ \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) $ の正規直交基底をなす。