[論文レビュー] Noncommutative augmentation categories

Baptiste Chantraine, Georgios Dimitroglou Rizell+2 more|arXiv (Cornell University)|Mar 14, 2016

Algebraic structures and combinatorial models被引用数 8

ひとこと要約

本稿は、微分的可換代数（DGA）の増幅カテゴリ構成を非可換設定に一般化する。非可換代数に係数をとるDGAの双対化により、増幅のA∞-カテゴリが得られる。2つの別個の構成——ユニタル非可換代数（ケースI）と非可換ヒルバート代数（ケースII）——を導入し、安定的・ターミナル同型とDGAホモトピーに関して不変であることを証明。非可換レジェンドリアン接触ホモロジー不変量への拡張を実現する。

ABSTRACT

To a differential graded algebra with coefficients in a noncommutative algebra, by dualisation we associate an $A_\infty$-category whose objects are augmentations. This generalises the augmentation category of Bourgeois and Chantraine to the noncommutative world.

研究の動機と目的

• 可換係数に限って定義されていた増幅カテゴリ構成を、非可換係数をもつ微分的可換代数へ一般化すること。
• 非可換DGAの増幅を対象とするA∞-カテゴリを定義し、DGAホモトピーおよび安定的・ターミナル同型に関して不変性を保つこと。
• 2つの別個の構成を提供すること：ユニタル非可換代数（ケースI）と、非可換ヒルバート代数（ケースII）のための修正された構成で、有限次元代数や群環を含む。
• 得られたA∞-カテゴリが、安定的・ターミナル同型およびDGAホモトピーに関して不変であることを確立し、既知の結果を非可換ケースへ拡張すること。
• 構成をマイクロローカル層理論およびミラー双対性と結びつけ、A∞-構造が任意のマイクロローカルランクの層に対応することを示唆すること。

提案手法

• 非可換代数に係数をとる微分的可換代数Aの双対化により、増幅データを捉えるコホモロジーをもつコチェイン複体を構成する。
• 双対化プロセスを通じてA∞-作用を定義し、非可換設定に適応する。非退化ペアリングと高次作用を用いて、[2]の可換ケースの構成を一般化する。
• 2つの構成を導入：ケースIはユニタル非可換代数上の増幅モジュールの双対を用いる。ケースIIはヒルバート構造を用いて、修正されたA∞-構造を定義する。
• 特に、増幅が非可換代数上でのみ存在する場合（例：特性代数）に、チェカノフ＝エリアシバーグDGAにこの構成を適用する。
• 摂動技法と一貫したレジェンドリアンリンク列（例：n重コピー・リンク）を用い、モース関数からの混合弦を組み込んだ「プラス」バージョンの増幅カテゴリを定義する。
• DGAの安定的・ターミナル同型およびDGAホモトピーに関する既知の不変性結果を活用し、それらを非可換A∞-カテゴリへ拡張。準同値不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 微分的可換代数における増幅カテゴリ構成を、可換係数から非可換係数に拡張する方法は何か？
• RQ2 非可換DGAsの増幅から生じる適切なA∞-カテゴリ的構造は何か。可換ケースとはどのように異なるか？
• RQ3 双対化プロセスは、非可換設定においてDGAホモトピーおよび安定的・ターミナル同型に関して不変性を保つように適応可能か？
• RQ4 非可換ヒルバート代数の役割は、A∞-構造をどのように精錬するか。一般の非可換ケースとはどのように異なるか？
• RQ5 得られたA∞-カテゴリは、非可換領域におけるマイクロローカル層理論およびホモロジー的ミラー双対性とどのように関係するか？

主な発見

• 本稿は、ユニタル非可換代数に係数をとる微分的可換代数の増幅カテゴリをA∞-カテゴリとして構成し、[2]の可換ケースを一般化する。
• 2つの別個のA∞-構造が定義される：一般のユニタル非可換代数（ケースI）と、非可換ヒルバート代数（ケースII）のための修正された構造で、結果が異なる。
• ケースI（ユニタル非可換代数）において、単位元mの双対がサイクルであることが示され、非可換性による境界の非消滅に対しても、コホモロジーがwell-definedであることが保証される。
• 2つの増幅に関する双線形化（コ）複体は、DGAの安定的・ターミナル同型に関して不変であり、さらにDGAホモトピーに対しても不変である。これは、既知の結果を非可換係数へ一般化する。
• モース関数からの混合弦を組み込んだ「プラス」バージョンの増幅カテゴリが定義され、同じDGA不変性原理に関して不変であることが示された。
• 安定的・ターミナル同型なDGAに対して、得られたA∞-カテゴリは準同値である。これは、[29]の不変性結果を非可換設定へ拡張する。