[論文レビュー] Lattice theory of torsion classes

Laurent Demonet, Osamu Iyama+3 more|arXiv (Cornell University)|Nov 6, 2017

Algebraic structures and combinatorial models参考文献 34被引用数 56

ひとこと要約

本稿は、有限次元代数上の捩れクラスの包合的枠組みをラティス理論的に構築し、poset $τ A$ が完全かつ双代数的で、完全に半分配的であるラティスであることを証明する。Hasse有向グラフへのブリックラベリングを導入し、代数的商と合同関係を特徴づける。また、$τ A$ が完全に合同関数的であることを確立する。特に、前射影的代数に関しては、$τ kQ$ と型Aのカンブリアンラティスの同型について、表現論的証明を提供する。

ABSTRACT

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $\Pi$, for which $\operatorname{\mathsf{tors}} \Pi$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} \Pi$ are exactly its Hasse-regular lattice quotients.

研究の動機と目的

• 有限次元代数 $A$ 上の捩れクラスのposet $τ A$ を、包括的なラティス理論的枠組みで理解すること。
• 商代数 $A/I$ から生じる $τ A$ の代数的商を、ラティス合同関係によって特徴づけること。
• 代数的合同関係における強制順序とHasse有向グラフの矢印構造の表現論的解釈を提供すること。
• 前射影的代数 $Π$ の特別な場合を分析し、$τ Π$ が弱順序を伴うワイル群と同型であることを明らかにすること。
• 型$A$において、$τ Π$ のすべてのHasse正則ラティス商が代数的商であるかどうかを特定すること。

提案手法

• ラティス理論的道具を用いて、$τ A$ が完全かつ双代数的で、完全に半分配的であるラティスであることを示すこと。
• $τ A$ のHasse有向グラフにブリックラベリングを導入し、捩れクラスの構造的情報を符号化すること。
• ブリックラベリングによって決定される特定の矢印の縮約により、代数的合同関係を特徴づけること。
• 強制順序を用いて、表現論的言語でラティス合同関係を解釈すること。
• 前射影的代数におけるワイル群の構造を活用し、$τ Π$ と弱順序、カンブリアンラティスの関係を明示すること。
• 表現論的技法を用いて、ディンキン有向グラフ $Q$ に対して $τ kQ$ とカンブリアンラティスの同型を再証明すること。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数 $A$ 上の捩れクラスのposet $τ A$ は、強力な構造的性質を持つラティスとしてどのように理解できるか？
• RQ2 代数的合同関係の下で、$τ A$ のHasse有向グラフのどの矢印が縮約され、それはどのようにブリックラベリングによって特徴づけられるか？
• RQ3 捩れクラスの文脈において、強制順序の表現論的意味は何か？
• RQ4 前射影的代数 $Π$ 上の捩れクラスのラティス $τ Π$ は、ワイル群と弱順序とどのように関係しているか？
• RQ5 型$A$において、$τ Π$ のすべてのHasse正則ラティス商は代数的商であるか？

主な発見

• 捩れクラスのposet $τ A$ は、完全かつ双代数的で、完全に半分配的であるラティスである。
• $τ A$ のHasse有向グラフは、その強力なラティス的性質のおかげで、本質的な構造的情報を保持している。
• 代数的合同関係（$A$ の両側イデアル $I$ から生じる）は、正確にラティス商 $τ (A/I)$ に対応する。
• 代数的合同関係の下でHasse有向グラフの矢印が縮約される条件は、有向グラフのブリックラベリングによって完全に特徴づけられる。
• ディンキン有向グラフ $Q$ に対して、ラティス $τ kQ$ はカンブリアンラティスと同型であり、新たな表現論的証明が与えられた。
• 型$A$において、$τ Π$ の代数的商は、$τ Π$ のHasse正則ラティス商にちょうど一致する。