[論文レビュー] Cyclic symmetries of A_n-quiver representations

David Nadler|arXiv (Cornell University)|Jun 1, 2013

Algebraic structures and combinatorial models参考文献 12被引用数 5

ひとこと要約

この論文は、$A_n$-quiver表現に関連する二周期的 $A_\infty$-圏に対して、循環圏 $\underline{\Lambda}$ を用いて循環的関手的構造を構成する。$\underline{\Lambda}^{\mathrm{op}}$ から二周期的 $A_\infty$-圏の圏への厳密関手を確立し、$A_n$-quiver表現の循環的対称性を対称的で組み合わせ的な形で表現する。また、$\mathrm{Sym}^2(S^1)$ の点の選択を組み込むことで、重み付きバージョンを構成し、$S^1$-equivariant 構造へ拡張され、$K$-理論およびミラー対称性と関連する。

ABSTRACT

This short note contains a combinatorial construction of symmetries arising in symplectic geometry (partially wrapped or infinitesimal Fukaya categories), algebraic geometry (derived categories of singularities), and K-theory (Waldhausen's S-construction). Our specific motivation (in the spirit of expectations of Kontsevich, and to be taken up in general elsewhere) is a combinatorial construction of quantizations of Lagrangian skeleta (equivalent to microlocal sheaves in their many guises). We explain here the one dimensional case of ribbon graphs where the main result of this paper gives an immediate solution.

研究の動機と目的

• 二周期的 $A_\infty$-圏の文脈において、$A_n$-quiver表現に対する自然で、対称的かつ組み合わせ的な関手的構造を構築すること。
• 大規模な循環圏 $\underline{\Lambda}^{\mathrm{op}}$ から二周期的 $A_\infty$-圏の圏への厳密関手を確立し、$A_n$-quiver表現の循環的対称性を捉えること。
• 点 $c \in \mathrm{Sym}^2(S^1)$ の選択を組み込むことで、重み付き設定に拡張し、$S^1$-equivariant 構造を可能とし、$K$-理論およびミラー対称性と関連付けること。
• シンプレクティックトポロジーおよび代数幾何学に関連する、$A_n$-quiverの導来圏の循環的性質を理解するための明示的かつ計算可能な枠組みを提供すること。

提案手法

• 各有限な循環的順序付き集合 $S \subset S^1$ に対して、$S$ をインデックスとするオブジェクトと次数1の射を持つ基本圏のねじれ複体を用いて、二周期的 $A_\infty$-圏 $\mathcal{C}_{S,st}$ を定義する。
• $\underline{\Lambda}$ の各対象 $S$ に $\mathcal{C}_{S,st}$ を割り当てる厳密関手 $\mathcal{C}_{\mathrm{st}}: \underline{\Lambda}^{\mathrm{op}} \to \mathcal{A}_{\mathrm{per}}^{\mathrm{str}}$ を構成し、循環的集合間の次数1の写像によって誘導される射を備える。
• オブジェクトに $\mathrm{Sym}^2(S^1)$ の点 $c$ を付与することで重み付きバージョンを導入し、シフト-重み付き射を持つ関手 $\mathcal{C}_{\mathrm{st,gr}}: \underline{\Lambda}^{\mathrm{op}}_{\mathrm{gr}} \to \mathcal{A}^{\mathrm{str}}$ を得る。
• 射 $(\varphi, \gamma)$ のオブジェクトへの作用を、$s_i \mapsto s_i[-\beta_i]$ として定義し、$\beta_i$ はパス $\gamma$ と $s_i$ の間の符号付き交差数を数えるものとする。射の合成を保つために、射上で恒等写像を用いる。
• 各 $\mathcal{C}_{S,c,st,gr}$ と有限次元 $A_n$-quiver表現の導来圏 $\mathcal{Q}_{n,gr}$ の間の quasi-equivalence を用いて関係を確立し、$c$ の区間内での重複度に従ってシフトが定まる。
• 射を定数パスと恒等パスの成分に分解することで関手的構造を検証し、一般的配置への還元により、整合性が保証される。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$A_\infty$-圏の文脈で、$A_n$-quiver表現の循環的対称性を体系的に関手的構造として表現できるか？
• RQ2 $A_n$-quiverの導来圏の $S^1$-equivariant 構造の背後にある正確な組み合わせ的構造は何か？
• RQ3 点 $c \in \mathrm{Sym}^2(S^1)$ の組み込みが、循環的関手的構造をどのように精緻化し、重み付き $A_\infty$-構造と関連付けるか？
• RQ4 二周期的 $A_\infty$-圏としての $A_n$-quiver表現は、循環圏 $\underline{\Lambda}$ を用いて対称的に表現可能か？
• RQ5 この構成は、微小局所層、ミラー対称性、および $K$-理論における Waldhausen の $S$-構成とどのように関係するか？

主な発見

• $S \mapsto \mathcal{C}_{S,st}$ の割り当ては、$\mathcal{C}_{\mathrm{st}}: \underline{\Lambda}^{\mathrm{op}} \to \mathcal{A}_{\mathrm{per}}^{\mathrm{str}}$ という厳密関手に拡張され、$A_n$-quiver表現の二周期的導来圏の普遍的かつ対称的な表現を提供する。
• $n=2$ の場合、この構成は普遍的な完全三角形の対称的表現をもたらし、既知の $A_\infty$-圏理論の結果と整合する。
• 重み付きバージョン $\mathcal{C}_{\mathrm{st,gr}}$ は、$\underline{\Lambda}^{\mathrm{op}}_{\mathrm{gr}}$ から $\mathcal{A}^{\mathrm{str}}$ への関手であり、射は $s_i \mapsto s_i[-\beta_i]$ として作用し、パスと頂点の間の符号付き交差数 $\beta_i$ によって決定される。
• 射 $F: \mathcal{Q}_{n,gr} \to \mathcal{C}_{S,c,st,gr}$ が quasi-equivalence として存在し、$m_i$ を $s_i[\eta_i]$、$w_i$ を $v_i$ に送る。ここで $\eta_i$ は $[s_0, s_i)$ 内での $c$ の重複度である。これにより、標準的な導来圏と同値であることが示される。
• 関手的構造は、射を定数パスと恒等パスの成分に分解することで検証され、オブジェクト上のシフト作用が合成と整合的である。
• 自然な双対性 $\underline{\Lambda} \simeq \underline{\Lambda}^{\mathrm{op}}$ と整合するため、循環的関手的構造の双対的表現が可能である。