[论文解读] 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

一句话总结

本论文将Happel的函子从有限维代数的平凡扩张推广至有限分次Iwanaga-Gorenstein（IG）代数，引入了同调良分次（hwg）IG-代数的概念。证明了广义Happel函子是完全忠实的当且仅当该代数是hwg的，并在代数为hwg IG代数时给出一个等价关系，从而在分次Cohen-Macaulay模的稳定范畴中产生一个典范的tilting对象。

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.

研究动机与目标

• 将Happel的三角范畴函子从有限维代数的导出范畴推广至有限分次IG代数上分次Cohen-Macaulay模的稳定范畴。
• 识别出使得广义Happel函子完全忠实或成为等价的有限分次IG代数的类。
• 引入并刻画同调良分次（hwg）IG-代数的概念，作为确保函子完全忠实与等价性质的类。
• 建立广义Happel函子下典范对象的像在分次CM模的稳定范畴中构成tilting对象。
• 表明hwg IG-代数展现出一种同调对称性，该对称性蕴含其IG性质，类似于Frobenius代数中的对称性。

提出的方法

• 将Happel原始函子H从D^b(mod Λ)推广至T(Λ)上分次模的稳定范畴，将T(Λ)替换为一个有限分次IG代数A。
• 定义广义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是等价当且仅当A是hwg IG。
• 通过局部上同调不变量μ^ht(p)_i(p,A)重新表达hwg IG-代数的刻画，表明当且仅当对所有素理想p和所有i ≠ ℓ，这些不变量为零时，A是hwg。

实验结果

研究问题

• RQ1 对于有限分次IG代数A，广义Happel函子在何时是完全忠实的？
• RQ2 在何种条件下广义Happel函子成为等价？
• RQ3 哪些结构性质刻画了使得广义Happel函子在分次CM模的稳定范畴中产生tilting对象的有限分次IG代数？
• RQ4 hwg IG-代数中的同调对称性如何蕴含其Iwanaga-Gorenstein性质？
• RQ5 广义Happel函子能否用于在mod^Z A中构造典范的tilting对象，它们与特殊情形（如交换IG代数和分次导出Frobenius扩张）中的已知tilting对象有何关系？

主要发现

• 广义Happel函子H是完全忠实的当且仅当有限分次IG代数A是同调良分次（hwg）的。
• 函子H给出等价当且仅当A是同调良分次IG代数。
• 对于一个hwg IG代数A，D^b(mod^{[0,ℓ−1]} A)中tilting对象T的像H(T)是mod^Z A中的tilting对象。
• tilting对象H(T)的自同态代数同构于从A自然构造的Beilinson代数∇A。
• 有限分次IG代数A是hwg当且仅当对所有素理想p和所有i ≠ ℓ，局部上同调不变量μ^ht(p)_i(p,A)为零。
• 广义Happel函子在mod^Z A中提供了tilting对象的典范构造，在特殊情形（如交换IG代数和分次导出Frobenius扩张）下可恢复已知的tilting对象。