[論文レビュー] Line Bundles over Quantum Tori

Lawrence Taylor|ArXiv.org|Dec 7, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 5

ひとこと要約

本稿は、実二次体のヒルベルト12番目の問題を解くためのマニン計画の中心的役割を果たす非ハウスドルフ空間である量子トーラス上の正則ラインバンドルの理論を構築する。同定は、擬格子上の整値交代形式へのチャーン類写像を介したアペル＝ウンベルト型分類を確立し、これによりヒーゼンベルク群およびシータ関数と関連づけ、一般化されたシータ関数を用いた類体の生成への道筋を示唆する。

ABSTRACT

We study the problem of defining line bundles over certain non-Hausdorff spaces known as Quantum Tori, motivated by the proposed theory of Real Multiplication for real quadratic fields. We draw analogies from the theory of Line Bundles over Complex Tori to define a non-trivial cohomological notion of Line Bundles over Quantum Tori. We prove a structure theorem for isomorphism classes of such line bundles analogous to the Appel-Humbert Theorem for Complex Tori. In the second half of this text we consider Lines Bundles over Quantum Tori as topological spaces, and compare this notion with the cohomological definition. We define the Chern class of a line bundle and link this to an alternating pairing on a certain subgroup of Quantum Tori. Finally we investigate how our results are related to the study of Quantum Tori by Zilber using Model theoretic techniques.

研究の動機と目的

• 量子トーラス上の正則ラインバンドルのコhomological枠組みを、複素トーラスに類似した形で構築すること。
• ラインバンドルの同型類を、擬格子上の整値交代形式へのチャーン類写像を用いて分類すること。
• ラインバンドルの構造と関連するヒーゼンベルク群およびそのペアリングとの関係を、算術的不変量と結びつけること。
• 弱化された正則性条件の下で、量子トーラス上のラインバンドルに関連するシータ関数が、実二次体のアーベル拡大を生成する役割を果たすかを検討すること。
• 特にシュワンデルの予想の下で、ラインバンドルのモデル理論的解釈を、アナリティック＝ザリスキ構造において調査すること。

提案手法

• 量子トーラス $Z_L = \mathbb{R}/L$ 上の正則ラインバンドルを、$H^1(L, \mathcal{H}^*)$ における層論的コhomology的構成により定義する。
• ラインバンドルを、整値交代形式への写像 $Ch: H^1(L, \mathcal{H}^*) \to \mathrm{Alt}^2(L, \mathbb{Z})$ として分類するチャーン類写像を導入する。
• アペル＝ウンベルト定理を一般化して、同型 $H^1(L, \mathcal{H}^*) \cong \mathbb{C}^\times \times \mathrm{Alt}^2(L, \mathbb{Z})$ を確立する。
• 各ラインバンドル $\mathcal{L}$ に付随するヒーゼンベルク群 $K(\mathcal{L})$ を定義し、$K(\mathcal{L}) \times K(\mathcal{L}) \to \mathbb{C}^\times$ へのペアリング $e^\mathcal{L}$ を備える。
• 実二次体上の類体を生成する可能性を有する非正則的シータ関数のモデルとして、進田の二重シン関数を用いる。
• ジルバーのアナリティック＝ザリスキ構造における $K(\mathcal{L})$ のモデル理論的性質を分析し、シュワンデルの予想の下で定義可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 量子トーラス上の正則ラインバンドルは、複素トーラスにおけるアペル＝ウンベルト定理に類似した形で、どのように体系的に分類可能か？
• RQ2 ラインバンドルのチャーン類とその関連するヒーゼンベルク群の構造との間の明確な関係は何か？
• RQ3 量子トーラス上のラインバンドルに関連するシータ関数は、実二次体のアーベル拡大を生成できるか。もしそうならば、どのような弱化された解析的条件の下で可能か？
• RQ4 ヒーゼンベルク群およびそのペアリングは、アナリティック＝ザリスキ幾何学のようなモデル理論的構造において、どの程度解釈可能か？
• RQ5 ジルバーの構造における定義可能ペアリング $e^\mathcal{L}$ の存在は、対数関数のような追加関数を必要とするのか。これは安定性にどのように影響するか？

主な発見

• 量子トーラス $Z_L$ 上の正則ラインバンドルの同型類群は、$\mathbb{C}^\times \times \mathrm{Alt}^2(L, \mathbb{Z})$ に同型であり、アペル＝ウンベルト定理を一般化する。
• チャーン類写像 $Ch: H^1(L, \mathcal{H}^*) \to \mathrm{Alt}^2(L, \mathbb{Z})$ は、擬格子 $L$ 上の整値交代形式によってラインバンドルを分類し、非自明な $Ch(\mathcal{L})$ が成り立つと、$K(\mathcal{L})$ は有限である。
• Ch(\mathcal{L}) が非自明なとき、$K(\mathcal{L}) \cong (\mathbb{Z}/s_\eta\mathbb{Z}) \times (\mathbb{Z}/s_\eta\mathbb{Z})$（$s_\eta \in \mathbb{Z}$）であり、ペアリング $e^\mathcal{L}$ も非自明である。
• Ch(\mathcal{L}) = 0 のとき、ヒーゼンベルク群 $K(\mathcal{L})$ は全量子トーラス $Z_L$ に同型であり、ペアリング $e^\mathcal{L}$ は自明である。
• 量子トーラス上の正則シータ関数は、必然的に指数関数的関数であるため、類体生成には不十分である。代わりに、進田の二重シン関数のような一般化された関数がより関連性がある可能性がある。
• シュワンデルの予想の下、ヒーゼンベルク群 $K(\mathcal{L})$ はアナリティック＝ザリスキ集合であるが、対数関数を追加しない限り、Zilberの標準的構造においてペアリング $e^\mathcal{L}$ は定義可能でない。