[論文レビュー] Derived Representation Schemes and Cyclic Homology

Yuri Berest, George A. Khachatryan+1 more|arXiv (Cornell University)|Dec 7, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用数 4

ひとこと要約

本稿では、古典的表現スキーム Rep_V(A) のホモトピー的拡張として、導来表現スキーム DRep_V(A) を導入し、循環ホモロジー HC_n(A) から DRep_V(A) のホモロジー H_n(DRep_V(A)) への標準的トレース写像を構成する。主な貢献は、古典的トレースを高次循環ホモロジーへ関手的に拡張することであり、非可換幾何学と導来代数的構造との間に深い関係を明らかにしている。

ABSTRACT

We describe the derived functor DRep_V(A) of the affine representation scheme Rep_V(A), parametrizing the representations of an associative k-algebra A on a finite-dimensional vector space V. We construct the characteristic maps Tr_V(A)_n: HC_n(A) o H_n[DRep_V(A)], extending the canonical trace Tr_V(A): HC_0(A) o k[Rep_V(A)] to the higher cyclic homology of the algebra A, and describe a related derived version of the representation functor introduced recently by M. Van den Bergh. We study various operations on the homology of DRep_V(A) induced by known operations on cyclic and Hochschild homology of A.

研究の動機と目的

• 非可換ホモロジー代数における制限を克服するため、結合代数に対する古典的表現スキーム Rep_V(A) の導来ファンクターを構築すること。
• 循環ホモロジーを、非可換スペクトル上の関数の導来空間としての幾何的解釈を提供し、古典的トレースを一般化すること。
• HC_0(A) から k[Rep_V(A)] への標準的トレース写像 Tr_V(A): HC_0(A) → k[Rep_V(A)] を、導来枠組みを用いて高次循環ホモロジーへ拡張すること。
• 循環ホモロジーおよびホッホシュライブホモロジーにおける既知の作用素（例：コネス微分、ボット周期性）が、導来表現スキーム上にどのように幾何的構造を誘導するかを明らかにすること。
• ヴァン・デン・ベルクの双モジュール上の表現ファンクターの導来版を提供し、非可換代数の幾何的理解を豊かにすること。

提案手法

• 古典的表現ファンクター Rep_V(A) の導来ファンクターを表現する可換DG代数として、導来表現スキーム DRep_V(A) を定義する。
• 古典的トレース Tr_V(A) を HC_0(A) から高次循環ホモロジーへ拡張する特性写像 Tr_V(A)_n: HC_n(A) → H_n(DRep_V(A)) を構成する。
• DGA_k および CDGA_k のモデルカテゴリ構造を用いて、可換DG代数のホモトピー論を活用し、適切な導来構成を保証する。
• 非可換代数上の幾何的構造が、今や導来設定においても標準的可換構造を表現空間に誘導するという原則を適用する。
• DGA_k および CDGA_k のモデルカテゴリが適切であることを用いて、押し出しにおける弱同値の安定性を保証し、ホモトピー的不変性に不可欠な性質を確保する。
• 自由拡張に関連する二重複体の全複体を用いて押し出しを分析し、導来設定における準同型性の性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的表現スキーム Rep_V(A) をどのように導来化することで、非可換ホモロジー代数における高次ホモトピー的情報を捉えることができるか？
• RQ2 HC_0(A) から k[Rep_V(A)] へのトレース写像の導来類似物は何か？ そして、それを高次循環ホモロジー群へどのように拡張できるか？
• RQ3 循環ホモロジーおよびホッホシュライブホモロジーにおける既知の作用素（例：コネス微分、ゲルステンハーバー括弧）が、導来表現スキーム上にどのように幾何的構造を誘導するか？
• RQ4 導来表現ホモロジー H_•(A,V) が A の完全な循環ホモロジーをどの程度捉えられるか？ また、この文脈においてトレース写像の役割は何か？
• RQ5 ヴァン・デン・ベルクが導入した双モジュール上の表現ファンクターを、この枠組みを用いて自然に導来設定へ拡張できるか？

主な発見

• 導来表現スキーム DRep_V(A) は、そのホモロジー H_•(DRep_V(A)) が A と V のみに依存する可換DG代数として表現され、H_0 は古典的表現代数 A_V に同型である。
• 本稿では、古典的トレース Tr_V(A) を HC_0(A) からすべての高次循環ホモロジー群へ拡張する標準的トレース写像 Tr_V(A)_n: HC_n(A) → H_n(DRep_V(A)) を構成する。
• これらのトレース写像は関手的であり、循環ホモロジーを A の非可換スPECTRUM 上の関数の導来空間としての幾何的解釈を提供する。
• コネス微分やボット周期性といった作用素が、循環ホモロジーにおいては、導来表現ホモロジー H_•(A,V) 上にそれに対応する幾何的構造を誘導する。
• モデルカテゴリ DGA_k および CDGA_k が適切であることが証明され、押し出しにおける弱同値の安定性が保証され、導来構成に不可欠な性質が得られた。
• この構成は、プロセッチの特徴多様体に関する定理を一般化し、導来特徴多様体が導来表現ホモロジー H_•(A,V) を通じて研究可能であることを示唆している。