[論文レビュー] Happel's functor and homologically well-graded Iwanaga-Gorenstein algebras

Hiroyuki Minamoto, Kota Yamaura|arXiv (Cornell University)|Nov 20, 2018

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

ひとこと要約

この論文は、有限次元代数の自明な拡大から、有限に次数付き Iwanaga-Gorenstein (IG) 代数へとHappelの函手を一般化し、ホモロジカルに良い次数付き（hwg）IG代数という概念を導入する。一般化されたHappel函手が全単射であるための必要十分条件として、代数がhwgであること、そして同値であるための必要十分条件として、代数がhwg IGであることであることを証明し、次数付きコhen-Macaulay加群の安定圏における標準的ティルティング対象が得られることを示している。

ABSTRACT

Happel constructed a fully faithful functor $\mathcal{H} :\mathsf{D}^{\mathrm{b}}( ext{mod} \ Λ) o \underline{ ext{mod}}^{\Bbb{Z}} \ ext{T}(Λ)$ for a finite dimensional algebra $Λ$. He also showed that this functor $\mathcal{H}$ gives an equivalence precisely when $ ext{gldim } Λ< \infty$. Thus if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H} (Λ)$ of $\underline{ ext{mod}}^{\mathbb{Z}} \ ext{T}(Λ)$. In this paper we generalize Happel's functor $\mathcal{H}$ in the case where $ ext{T}(Λ)$ is replaced with a finitely graded IG algebra $A$. We study when this functor is fully faithful or gives an equivalence. For this purpose we introduce the notion of homologically well-graded (hwg) IG-algebra, which can be characterized as an algebra posses a homological symmetry which, a posteriori, guarantee that the algebra is IG. We prove that hwg IG-algebras is precisely the class of finitely graded IG-algebras that Happel's functor is fully faithful. We also identify the class that Happel's functor gives an equivalence. As a consequence of our result, we see that if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H}(T)$ of $\underline{ ext{CM}}^{\Bbb{Z}} A$. For some special classes of finitely graded IG algebras, our tilting objects $\mathcal{H}(T)$ coincide with tilting object constructed in previous works.

研究の動機と目的

• 有限次元代数の導来圏から、有限に次数付きIG代数上の次数付きコhen-Macaulay加群の安定圏へのHappelの三角函手を拡張すること。
• 一般化されたHappel函手が全単射または同値となるような有限に次数付きIG代数のクラスを同定すること。
• ホモロジカルに良い次数付き（hwg）IG代数という概念を導入し、その性質を特徴づけること。このクラスは、函手の全単射性および同値性を保証する。
• 一般化されたHappel函手による標準的対象の像が、次数付きCM加群の安定圏におけるティルティング対象をなすことの確立。
• hwg IG代数が示すホモロジカルな対称性が、Frobenius代数におけるそれと同様に、IG性を示すことの証明。

提案手法

• T(Λ)を有限に次数付きIG代数Aに置き換えることにより、D^b(mod Λ)からT(Λ)上の次数付き加群の安定圏へのHappelの元来の函手Hを一般化する。
• 一般化されたHappel函手Hを、D^b(mod^{[0,ℓ−1]} A)を定義域とし、mod^Z A（A上の次数付きCM加群の安定圏）を余定義域とするものとして定義する。
• ホモロジカルに良い次数付き（hwg）IG代数を、ホモロジカルな対称性条件を満たす有限に次数付きIG代数として導入する。
• 導来圏におけるコティルティング双代数と双対性の存在を用い、RHom_Λ(A,C) ≅ Aのような導来圏内の同型を介して、hwg IG代数を特徴づける。
• Aがhwgであることと、一般化されたHappel函手Hが全単射であること、およびHが同値であることとが同値であることを確立する。
• 局所コhomology不変量μ^ht(p)_i(p,A)によるhwg IG代数の特徴づけを再表現し、Aがhwgであることと、すべての素イデアルpとすべてのi ≠ ℓに対してμ^ht(p)_i(p,A) = 0であることとが同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限に次数付きIG代数Aに対して、一般化されたHappel函手がいつ全単射になるか？
• RQ2 一般化されたHappel函手がいつ同値になるか？
• RQ3 一般化されたHappel函手が、次数付きCM加群の安定圏におけるティルティング対象をもたらすような、有限に次数付きIG代数の構造的性質は何か？
• RQ4 hwg IG代数におけるホモロジカルな対称性は、どのようにIG性を示すのか？
• RQ5 一般化されたHappel函手を用いて、mod^Z Aにおける標準的ティルティング対象を構成できるか？また、特殊な場合（可換IG代数や次数付き導来Frobenius拡張など）における既知のティルティング対象とどのように関係するか？

主な発見

• 一般化されたHappel函手Hは、有限に次数付きIG代数Aがホモロジカルに良い次数付き（hwg）であることと、かつそのときに限り全単射である。
• 函手Hが同値であることは、Aがホモロジカルに良い次数付きIG代数であることと、かつそのときに限り成立する。
• hwg IG代数Aに対して、D^b(mod^{[0,ℓ−1]} A)におけるティルティング対象Tの像H(T)は、mod^Z Aにおけるティルティング対象である。
• ティルティング対象H(T)の自己準同型代数は、Aから自然に構成されるBeilinson代数∇Aと同型である。
• 有限に次数付きIG代数Aがhwgであることと、すべての素イデアルpとすべてのi ≠ ℓに対して局所コhomology不変量μ^ht(p)_i(p,A)が消えることとは同値である。
• 一般化されたHappel函手は、mod^Z Aにおけるティルティング対象の標準的構成を提供し、可換IG代数や次数付き導来Frobenius拡張といった特殊な場合における既知のティルティング対象を回復する。