[論文レビュー] On auto-equivalences and complete derived invariants of gentle algebras

Sebastian Opper|arXiv (Cornell University)|Apr 9, 2019

Algebraic structures and combinatorial models参考文献 33被引用数 11

ひとこと要約

この論文は、きつい代数の導来圏の間の三角同値が、関連する向き付け可能なマーク付き曲面に線分場を備えた微分同相写像を誘導することを確立し、$(\mathcal{S}, \eta)$ が任意のグローバル次元をもつきつい代数の完全な導来不変量であることを証明している。さらに、自己同値の群は、写像類群における線分場の安定化部分群と明示的に記述された群の拡張であることを示し、球面ねじれをデーンねじれとして同定している。

ABSTRACT

We study triangulated categories which can be modeled by an oriented marked surface $\mathcal{S}$ and a line field $η$ on $\mathcal{S}$. This includes bounded derived categories of gentle algebras and -- conjecturally -- all partially wrapped Fukaya categories introduced by Haiden-Katzarkov-Kontsevich. We show that triangle equivalences between such categories induce diffeomorphisms of the associated surfaces preserving orientation, marked points and line fields up to homotopy. This shows that the pair $(\mathcal{S}, η)$ is a triangle invariant of such categories and prove that it is a complete derived invariant for gentle algebras of arbitrary global dimension. We deduce that the group of auto-equivalences of a gentle algebra is an extension of the stabilizer subgroup of $η$ in the mapping class group and a group, which we describe explicitely in case of triangular gentle algebras. We show further that diffeomorphisms associated to spherical twists are Dehn twists.

研究の動機と目的

• きつい代数の導来圏の幾何的分類を、線分場を備えた表面モデルを用いて行う。
• このような圏間の三角同値が、向き、マーク付き点、線分場をホモトピー的に保存する微分同相写像を誘導することを証明する。
• 任意のグローバル次元をもつきつい代数について、表面と線分場の対$(\mathcal{S}, \eta)$ が完全な導来不変量であることを示す。
• 自己同値群の構造を、写像類群と明示的なスケーリング同値群を含む拡張として記述する。
• 導来圏における球面ねじれが、表面モデル上の幾何的デーンねじれとして同定されることを示す。

提案手法

• きつい代数の導来圏を、マーク付き曲面$\mathcal{S}$ と線分場$\eta$ を用いて表面に類似した圏としてモデル化する。
• 導来圏内の非分解的対象と、$\mathcal{S}$ 上の重み付き曲線のホモトピー類との間の全単射を構成する。
• 射の特徴的系列と交差データを用いて、対象を再構成し、最小性やねじれ数といった本質的性質を検出する。
• 三角同値が弧複体上の単体的同型を誘導することを証明し、それが線分場$\eta$ をホモトピー的に保存する表面の微分同相写像に引き上げられることを示す。
• 三角形分割と写像類群作用の理論を応用して、自己同値から微分同相写像への誘導写像$\Psi$ の核と像を分析する。
• 幾何的再構成技術を用いて、導来圏内のティルティング対象が特定の交差および合成条件を満たす弧の集合に対応することを示し、これにより自己準同型環の代数的再構成が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 きつい代数の導来圏間の三角同値は、関連する幾何的表面モデル上での微分同相写像として実現可能か？
• RQ2 $(\mathcal{S}, \eta)$ であるマーク付き曲面と線分場の対は、きつい代数の完全な導来不変量か？
• RQ3 きつい代数の自己同値群は、その表面モデルの写像類群とどのように関係しているか？
• RQ4 導来圏内の球面ねじれは、表面モデル上の幾何的デーンねじれに対応するか？
• RQ5 きつい代数の導来圏内のティルティング対象は、その弧代表から幾何的に再構成可能か？

主な発見

• きつい代数の導来圏間の三角同値は、関連する表面$\mathcal{S}$ 上の微分同相写像を誘導し、その写像は向き、マーク付き点、線分場$\eta$ をホモトピー的に保存する。
• $(\mathcal{S}, \eta)$ は、任意のグローバル次元をもつきつい代数の完全な導来不変量である。すなわち、導来同値性は表面と線分場データの同値性を意味する。
• きつい代数の自己同値群は、写像類群における$\eta$ の安定化部分群と、明示的に記述されたスケーリング同値群の拡張である。特に、三角形のきつい代数に対して明示的に記述されている。
• 導来圏内の球面ねじれは、表面モデル上のデーンねじれに正確に対応し、これらのカテゴリカルな自己同型が幾何的に実現されることを確立する。
• きつい代数の導来圏内のティルティング対象は、特定の交差および合成条件を満たす弧の集合から幾何的に再構成可能であり、その自己準同型環は幾何的構成により元の代数と同型である。
• ティルティング対象の自己準同型環は、$k\Gamma/R$ と同型である。ここで$\Gamma$ は弧の方向付き交差を符号化するクーヴィーであり、$R$ は二次零関係のイデアルである。これにより、きつい代数が導来同値に関して閉じていることの幾何的証明が得られる。