[論文レビュー] Exact structures and degeneration of Hall algebras

Xin Fang, Mikhail Gorsky|arXiv (Cornell University)|May 25, 2020

Algebraic structures and combinatorial models参考文献 53被引用数 7

ひとこと要約

この論文は、完全な加法的圏における非分解的対象上の次数関数によって誘導されるHall代数の退化が、同じ加法的圏上のより小さな完全構造のHall代数にちょうど一致することを確立する。主な結果は、完全構造、AR系列、非射影的／非内因的非分解的対象の部分集合の間のラティス同型であり、その結果、このような構造のラティスがブール型であり、有限の場合には単体的錐の面ラティスとして実現可能であることが示される。

ABSTRACT

We study degenerations of the Hall algebras of exact categories induced by degree functions on the set of isomorphism classes of indecomposable objects. We prove that each such degeneration of the Hall algebra $\mathcal{H}(\mathcal{E})$ of an exact category $\mathcal{E}$ is the Hall algebra of a smaller exact structure $\mathcal{E}' < \mathcal{E}$ on the same additive category $\mathcal{A}.$ When $\mathcal{E}$ is admissible in the sense of Enomoto, for any $\mathcal{E}' < \mathcal{E}$ satisfying suitable finiteness conditions, we prove that $\mathcal{H}(\mathcal{E}')$ is a degeneration of $\mathcal{H}(\mathcal{E})$ of this kind. In the additively finite case, all such degree functions form a simplicial cone whose face lattice reflects properties of the lattice of exact structures. For the categories of representations of Dynkin quivers, we recover degenerations of the negative part of the corresponding quantum group, as well as the associated polyhedral structure studied by Fourier, Reineke and the first author. Along the way, we give minor improvements to certain results of Enomoto and Brüstle-Langford-Hassoun-Roy concerning the classification of exact structures on an additive category. We prove that for each idempotent complete additive category $\mathcal{A}$, there exists an abelian category whose lattice of Serre subcategories is isomorphic to the lattice of exact structures on $\mathcal{A}$. We show that every Krull-Schmidt category admits a unique maximal admissible exact structure and that the lattice of smaller exact structures of an admissible exact structure is Boolean.

研究の動機と目的

• 完全な加法的圏における非分解的対象上の次数関数によるHall代数の退化の仕組みを理解すること。
• 同じ加法的圏上のより小さな完全構造から生じるHall代数のすべての可能な退化を分類すること。
• 完全構造、AR系列、非射影的／非内因的非分解的対象の部分集合の間のラティス同型を確立すること。
• この退化フレームワークを通じて、量子群およびダイニングクイバー表現の文脈で既知の多面体構造を回復すること。
• idempotent完全でHom-有限な加法的圏において、完全構造のラティスがブール型であり、有限性条件下で単体的錐の実現を許容することを示すこと。

提案手法

• 完全な加法的圏における非分解的対象の同型類に次数関数を定義し、それによってそのHall代数の退化を誘導する。
• 各退化が、同じ加法的圏上のより小さな完全構造のHall代数として実際に得られることを証明する。
• 外三角カテゴリおよび相対的完全構造の理論を用いて、退化をAR系列の部分カテゴリおよび非射影的／非内因的対象の部分集合に関連付ける。
• 次の間のラティス同型を確立する：外三角の相対的完全類、相対的完全構造、AR系列の部分集合、非射影的／非内因的非分解的対象の部分集合。
• 有限性条件下で、次数関数の集合がその面ラティスが完全構造のラティスと同型である単体的錐をなすことを示す。
• Enomoto、Brüstle-Langford-Hassoun-Royらの結果を活用し、加法的圏上の完全構造の分類を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 非分解的対象上の次数関数によって誘導されるHall代数のすべての退化が、同じ加法的圏上のより小さな完全構造のHall代数として実現可能であるか。
• RQ2 加法的圏上の完全構造のラティスと、非射影的または非内因的非分解的対象の部分集合のラティスとの間の正確な関係は何か。
• RQ3 加法的に有限な場合に、非分解的対象上の次数関数は、単体的錐の面ラティスとどのように関係するか。
• RQ4 idempotent完全でHom-有限な加法的圏上の完全構造のラティスが、どのような条件下でブール型になるか。
• RQ5 ダイニングクイバーの場合に、この退化フレームワークから、量子群の負部分の多面体構造を回復できるか。

主な発見

• 非分解的対象上の次数関数によって誘導される完全な加法的圏のHall代数のすべての退化が、同じ加法的圏上のより小さな完全構造のHall代数として実際に得られる。
• Enomotoの意味での適切な完全構造において、有限性条件を満たすより小さな完全構造は、すべてこのような退化を生じる。
• 加法的に有限な場合、次数関数の集合はその面ラティスが完全構造のラティスと同型である単体的錐をなす。
• idempotent完全でHom-有限な加法的圏上の完全構造のラティスは、非射影的または非内因的非分解的対象が有限個である構造に制限するとブール型である。
• ダイニングクイバーの表現の圏において、このフレームワークは、対応する量子群の負部分の既知の退化およびFourier、Reineke、Fangらが研究した関連する多面体構造を回復する。
• 任意の与えられたidempotent完全加法的圏上の完全構造のラティスと同型なSerre部分圏のラティスを持つアーベル圏が存在する。