[論文レビュー] Quantum tori, mirror symmetry and deformation theory

Yan Soibelman|ArXiv.org|Nov 21, 2000

Algebraic structures and combinatorial models被引用数 9

ひとこと要約

本稿は、量子トーラス上の層の導来圏を用いて、アーベル曲面のモジュライ空間の非可換コンパクト化を提案し、$SL(2,\mathbb{Z})$ 対称性を境界にまで拡張する。$|q|=1$ における楕円曲線の退化は、モラータ同値な $A_\infty$-圏、つまり量子トーラス上の加群の圏をもたらし、ミラー対称性と変形量子化を包括的な枠組みで統一する非可換境界層を提供する。

ABSTRACT

We suggest to compactify the universal covering of the moduli space of complex structures by non-commutative spaces. The latter are described by certain categories of sheaves with connections which are flat along foliations. In the case of abelian varieties this approach gives quantum tori as a non-commutative boundary of the moduli space. Relations to mirror symmetry, modular forms and deformation theory are discussed.

研究の動機と目的

• アーベル曲面のモジュライ空間の非可換コンパクト化を構築すること、特に楕円曲線の退化に焦点を当てる。
• 上半平面から境界へと $SL(2,\mathbb{Z})$ 対称性を非可換層を通じて拡張すること。
• 退化する楕円曲線の極限を、量子トーラス上の加群の導来圏として解釈し、非可換境界を実現すること。
• この構成をホモロジー的ミラー対称性および変形量子化と結びつけること、特に単位根において。
• ガロア群や量子化パラメータに作用する双対性群の役割を、特に単位根における量子群に対して調査すること。

提案手法

• 上半平面 $\mathcal{H}$ でパrametrizedされた、楕円曲線の両立的層の導来圏 $D^b(E_q)$ を、非可換空間のモデルとして用いる。
• 退化を $\operatorname{Im}(\tau) \to 0$ として分析し、$E_q = \mathbb{C}^*/q^\mathbb{Z}$ とし、極限を量子トーラス代数上の加群の圏として特定する。
• $A_\infty$-圏理論とホッフホワイトコホホモロジーを用いて、非可換構造の変形空間およびモジュライを記述する。
• 量子トーラスのモジュライ空間の普遍被覆を用いて非可換境界層を導入し、$SL(2,\mathbb{Z})$ 対称性を実直線へと拡張する。
• 再構成定理（Bondal-Orlov, Polishchuk）を用い、非可換極限においても導来圏と幾何的対象を関連付ける。
• 量子トーラスのモラータ同値性を双対性として一般化し、量子化関数代数へと拡張し、単位根におけるガロア作用と結びつける。

実験結果

リサーチクエスチョン

• RQ1 複素構造のアーベル曲面モジュライ空間は、量子トーラスを境界層として用いてどのように非可換コンパクト化可能か？
• RQ2 上半平面からコンパクト化されたモジュライ空間の境界へと $SL(2,\mathbb{Z})$ 対称性がどのように拡張されるか？
• RQ3 量子トーラス上の加群の導来圏として、$|q|=1$ における楕円曲線の退化を記述できるか？ また、ミラー対称性の下でそれらの圏は同値となるか？
• RQ4 量子化パラメータに作用するグローバルな双対性群が存在し、特に単位根においてモラータ同値性が異なる値の間で保たれるか？
• RQ5 境界モジュラー形式やロバチェフスキー平面内の測地線は、非可換幾何学およびコンパクト化されたモジュライ空間の構造とどのように関係するか？

主な発見

• 退化する楕円曲線 $|q|=1$ は、量子トーラス代数上の加群の導来圏に対応し、非可換境界層を形成する。
• $SL(2,\mathbb{Z})$ 対称性は上半平面から実直線境界へと拡張され、量子トーラスのモジュライに作用する。
• ホモロジー的ミラー対称性は、$D^b(E_q)$ とフォーカビーカテゴリ $D^b(F(T^2_q))$ が境界で同じ $A_\infty$-圏に退化することを示唆し、非可換幾何学を通じた同値性を支持する。
• 単位根における量子群に対して、量子化座標環 $\mathbb{C}[G]_q$ は古典的 $\mathbb{C}[G]$ 上の有限ランクの射影加群となる。これは、量子的・古典的構造の深い関係を示唆する。
• 単位根における量子化パラメータに作用する双対性群は、$\operatorname{Gal}(\overline{\mathbb{Q}}^{ab}/\mathbb{Q})$ であると予想され、数体を越えてモラータ同値性を一般化する。
• 境界モジュラー形式、例えば Zagier の $s(x)$ は、$\mathbb{P}^1(\mathbb{Q})$ 上の有理関数を法とする関数として解釈され、非可換境界枠組みにおいてモジュラー性が現れる。