[論文レビュー] Galois-Type Extensions and Equivariant Projectivity

Tomasz Brzeziński, Hajac, Piotr M.|ArXiv.org|Jan 1, 2009

Algebraic structures and combinatorial models参考文献 78被引用数 15

ひとこと要約

本稿は、コールゲブラとコリング理論を用いてガロア型拡張の統一的枠組みを構築し、同変的射影性を用いた主拡張を導入することで、非可換幾何における主バンドルを一般化する。強いつながり（代数的データから構成される）が、有限生成射影加群（非可換ベクトルバンドル）をもたらし、チェーン＝ガロア乗数の構成を可能にする。特に、量子ホップファイブレーションにおけるディラック q-モノポールの明示的構成が、主要な例として提示される。

ABSTRACT

The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and factorisations. To achieve broad perspective, this theory is placed in the context of far reaching generalisations of the Galois condition to the setting of corings. At the same time, to bring together K-theory and general Galois theory, the equivariant projectivity of extensions is assumed resulting in the centrepiece concept of a principal extension. Motivated by noncommutative geometry, we employ such extensions as replacements of principal bundles. This brings about the notion of a strong connection and yields finitely generated projective associated modules, which play the role of noncommutative vector bundles. Subsequently, the theory of strong connections is developed. It is purported as a basic ingredient in the construction of the Chern character for Galois-type extensions (called the Chern-Galois character).

研究の動機と目的

• ホップ＝ガロア枠組みを超えて、ホップ代数をコールゲブラに置き換えることにより、非可換幾何における主バンドルを一般化すること。
• コールゲブラ＝ガロア拡張と代数（余）拡張をコリング形式主義内で統一すること。
• 忠実平坦性の代わりに同変的射影性を導入し、関連する加群が有限生成射影的であることを保証すること。
• 非可換ベクトルバンドルの構成とチェーン＝ウェイ理論の実現のため、主拡張における強いつながりを開発すること。
• ポドレースの2次元球面などの量子同次空間における、ディラック q-モノポールなどの明示的例の構成

提案手法

• 理論は、コールゲブラ＝ガロア拡張と代数（余）拡張の間の相互作用に基づき、エンティンギング構造とファクタリゼーションを用いる。
• （余）移動写像が定義され、拡張と余拡張の構造を関連づける。双対性が成立すればガロア型条件が得られる。
• 拡張の同変的射影性により、任意の有限次元コ表現に対して関連する加群が有限生成射影的であることが保証される。
• 強いつながりは左不変接続形式により定義され、代数的データ（例：双線形スプリッティング i:C→P）を用いてその存在が証明される。
• チェーン＝ガロア乗数は強いつながりを用いて構成され、古典的チェーン乗数を非可換主拡張へ一般化する。
• 量子ホップファイブレーションに適用するため、対称的コールゲブラ＝ガロア拡張とリフト写像 ℓ=(S⊗id)∘Δ∘i を用いた明示的構成が得られる。

実験結果

リサーチクエスチョン

• RQ1 ホップ＝ガロア拡張を超えて、量子群の量子部分群による商でない量子同次空間を含むように、ガロア条件を一般化する方法は何か？
• RQ2 ガロア型拡張の関連加群が有限生成射影的であることを保証する代数的条件は何か？（K理論への応用を想定）
• RQ3 対称的コールゲブラ＝ガロア拡張において、強いつながりを純粋に代数的データからどのように構成できるか？
• RQ4 量子ホップファイブレーションの文脈において、ディラックモノポールの非可換幾何的解釈は何か？
• RQ5 強いつながりから、主拡張におけるチェーン＝ガロア乗数はどのように導かれるか？

主な発見

• 対称的コールゲブラ＝ガロア拡張に強いつながりが存在するための必要十分条件は、双線形スプリッティング i:C→P が存在し、接続形式 ω(c)=Si(c)_{(1)}d i(c)_{(2)} が強いつながり条件を満たすことである。
• ディラック q-モノポールは、双線形スプリッティング i からリフト写像 ℓ=(S⊗id)∘Δ∘i を用いて明示的に構成され、古典的ディラックモノポールを量子設定に一般化する。
• ポドレースの2次元球面上のラインバンドルの切断加群は、E≅(S²_{q,s})²p として実現され、明示的なべき等行列 p は式 (3.115) に与えられる。
• チェーン＝ガロア乗数は強いつながりを用いて構成され、K理論におけるチェーン乗数の非可換類似物を提供する。
• 定理 3.3 より、左不変接続形式 ω は接続1形式であることが示され、補題 3.17 を用いてその強いつながり性が証明される。
• 強いつながりの存在は、スプリッティング i が右および左両方のコリニアリティを満たすことを示し、コモジュール構造と整合性を持つことを保証する。