[論文レビュー] Auslander-Reiten theory for simply connected differential graded algebras

Karsten Schmidt|ArXiv.org|Jan 4, 2008

Algebraic structures and combinatorial models参考文献 32被引用数 9

ひとこと要約

この論文は、体上の単連結な微分付き代数のオースランダー＝レーセンクォーヴァーが、有限個の成分を持つための必要十分条件が、その代数が球面のコホモロジー代数に quasi-isomorphic であることであることを確立している。著者は、それぞれが異なる成分に属する無限族のモジュールを構成し、球面以外の代数では、コホモロジー次元に応じて非可算個の成分を有する必要があることを示している。

ABSTRACT

Peter Jorgensen introduced the Auslander-Reiten quiver of a simply connected Poincare duality space. He showed that its components are of the form ZA_infty and that the Auslander-Reiten quiver of a d-dimensional sphere consists of d-1 such components. In this thesis we show that this is the only case where finitely many components appear. More precisely, we construct families of modules, where for each family, each module lies in a different component. Depending on the cohomology dimensions of the differential graded algebras which appear, this is either a discrete family or an n-parameter family for all n.

研究の動機と目的

• 単連結な微分付き代数のオースランダー＝レーセンクォーヴァーが有限個の成分を持つための条件を同定すること。
• ジョルゲンセンの、ポincare双対性空間のオースランダー＝レーセンクォーヴァーに関する先行結果を、一般の単連結dg代数へと拡張すること。
• dg代数のコホモロジー次元を用いて、オースランダー＝レーセンクォーヴァーの成分の構造を特徴づけること。
• d次元球面のコホモロジー代数のみが有限個の成分をもつことを示し、それ以外のすべてのケースでは無限個の成分を有することを示すこと。

提案手法

• オースランダー＝レーセン理論の環境として、微分付き代数の導来圏を三角的圏として用いる。
• 単連結なポincare双対性空間のオースランダー＝レーセンクォーヴァーの構成を、dg代数の文脈に応用する。
• 最小半自由解体を用いてdg代数をモデル化し、そのモジュール圏を分析する。
• 離散的またはnパラメータ族の、それぞれが異なるオースランダー＝レーセン成分に属する、非分解的モジュールの族を構成する。
• アモルティude不等式を用いて、球面以外のケースで有限個の成分をもつことを制限し、排除する。
• 有理ホモトピー論と最小サリバンモデルを用いて、位相的性質とdg代数の代数的構造との関係を活用する。

実験結果

リサーチクエスチョン

• RQ1 単連結な微分付き代数のオースランダー＝レーセンクォーヴァーが有限個の成分を持つのはいつか？
• RQ2 球面のコホモロジーに quasi-isomorphic でないdg代数のオースランダー＝レーセン成分の構造はいかなるものか？
• RQ3 単連結なdg代数のコホモロジー次元は、オースランダー＝レーセン成分の数や種類にどのように影響するか？
• RQ4 球面でないdg代数に対して、それぞれが異なる成分に属する無限族のモジュールを構成できるか？
• RQ5 単連結な空間の導来圏におけるオースランダー＝レーセン成分の数には、どのような位相的意味があるか？

主な発見

• 有限個のオースランダー＝レーセン成分をもつ唯一の単連結な微分付き代数は、d次元球面のコホモロジー代数である。
• それ以外のすべての単連結dg代数に対して、オースランダー＝レーセンクォーヴァーは無限個の成分を含む。
• 著者は、各コホモロジー次元に対して、離散的族またはnパラメータ族の非分解的モジュールを構成し、それぞれが異なる成分に属する。
• コホモロジー次元が1より大きい場合、成分の数は非可算となり、任意のn ≥ 1に対してnパラメータ族が存在する。
• オースランダー＝レーセンクォーヴァーの成分はすべて ℤA∞ の形をとり、ジョルゲンセンのポincare双対性空間に対する結果を一般化する。
• 構成により、球面が唯一、オースランダー＝レーセンクォーヴァーが有限個の ℤA∞-成分の和集合となるケースであり、d次元球面ではd−1個の成分をもつことが示された。