[論文レビュー] Une structure de categorie de modeles de Quillen sur la categorie des dg-categories

Gonçalo Tabuada|ArXiv.org|Jul 20, 2004

Constraint Satisfaction and Optimization被引用数 5

ひとこと要約

この論文は、零対象を備えた小規模な微分付き可換圏の圏（DCATp）における、弱同値を準同値とするコフィブレント的に生成されたクィルレンモデル構造を構成する。モデル構造は、特定のdg圏と複体から導かれる生成コフibrationおよびアセイクルコフibrationを用いて確立され、すべての対象がファイブレーション的であり、モデル圏の認識定理の条件も満たす。

ABSTRACT

We construct a cofibrantly generated Quillen model structure on the category of small differential graded categories. ----- Nous construisons une structure de categorie de modeles de Quillen a engendrement cofibrant sur la categorie des petites categories differentielles graduees.

研究の動機と目的

• 小規模なdg圏の圏に、特徴的な零対象（DCATp）を備えたクィルレンモデル構造を確立すること。
• 準同値を弱同値として定義し、dg圏理論における導来的同値と整合させる。
• dg圏のためのホモトピー的枠組みを提供し、ファイブレーション的分解と導来関手を可能にする。
• 単体的圏における既存の結果に類似した、dg圏へのモデル圏技法の拡張を行う。
• すべての対象がファイブレーション的であることを保証し、dg圏の導来圏におけるホモトピー的構成を簡素化する。

提案手法

• DCATp として、零対象を備えた小規模dg圏の圏を導入し、DCATからDCATpへの忠実な関手 I を備える。
• 重要なdg圏を定義する：K（2つの対象とホモトピー関係を満たす射の集合を持つ）、A（1つの対象とkに倣う自己準同態代数を持つ）、B（2つの独立した対象とkに倣う自己準同態を持つ）、および各 n ∈ ℤ に対して P(n) と C(n) を定義する。
• 生成コフibration I を、各 n に対して Q: O → I(A) および I(S(n)) として構成する。ここで S(n) は C(n) から P(n) へのdg関手である。
• アセイクル生成コフibration J を、各 n に対して I(F): I(A) → I(K) および I(R(n)): I(B) → I(P(n)) として定義する。
• 認識定理 [3, 2.1.19] を適用し、集合 I と J を用いてモデル圏公理を検証する。
• I-内因的射が J-内因的射と弱同値の共通部分と一致することを証明し、ホーヴェイの基準によりモデル構造が正当化されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 小規模dg圏の圏に、零対象を備え、弱同値を準同値とするコフィブレント的に生成されたクィルレンモデル構造を定義できるか？
• RQ2 このようなモデル構造を実現するために必要な明示的な生成コフibrationおよびアセイクルコフibrationの集合は何か？
• RQ3 特にファイブレーション性を含むdg圏のホモトピー的性質は、このモデル構造においてどのように振る舞うか？
• RQ4 この構成は、単体的圏やdgモジュールにおける既知のモデル構造をどの程度一般化するか？
• RQ5 このモデル構造においてすべての対象がファイブレーション的であるか？そしてこれは導来関手や分解にどのような意味を持つのか？

主な発見

• DCATp に弱同値を準同値とするコフィブレント的に生成されたクィルレンモデル構造が存在する。
• 生成コフibrationは I = {Q: O → I(A)} ∪ {I(S(n)) | n ∈ ℤ} であり、アセイクル生成コフibrationは J = {I(F): I(A) → I(K)} ∪ {I(R(n)) | n ∈ ℤ} である。
• I-内因的射のクラスは、J-内因的射と弱同値の共通部分と一致し、認識定理に必要な条件を満たす。
• DCATp のすべての対象がこのモデル構造においてファイブレーション的であるため、ホモトピー的構成が簡素化される。
• このモデル構造はdg圏の枠組みと整合しており、[2]および[5]の技法、特にDG商の構成において拡張されている。
• 証明は、複体における全射準同値の特徴付けに依拠しており、モデル圏に必要な上昇性を保証する。